Yuxin Deng and University - Free people check

(1 - 11 from 11

)

ICALP 2018

iuuk.mff.cuni.cz

... France); Mikołaj Bojańczyk (Warsaw Univ, Poland); Udi Boker (Interdisciplinary Center Herzliya, Israel); Yuxin Deng (East China Normal University, China) ...

LinkedIn: Yuxin Deng | LinkedIn

Yuxin Deng. Dr at Shanghai Jiao Tong University. 所在地区中国上海市区所属行业高等教育

LinkedIn: Yuxin Deng - United Kingdom | LinkedIn

Yuxin Deng Student at University of Leeds Location Leeds, United Kingdom Join LinkedIn and access Yuxin Deng’s full profile ...

Programming Languages and Systems: 6th Asian Symposium, APLAS

books.google.nl

Game Characterizations of Process Equivalences Xin Chen⋆ and Yuxin Deng⋆ ⋆ Department of Computer Science and Engineering, Shanghai Jiao Tong University, China Abstract. In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing ...

Google Groups: [caml-list] tase call for participation

: 20 verifying self-stabilizing population protocols with coq yuxin deng (shanghai jiao tong university) and jean-fran?ois monin (univers= it=a8=a6 de grenoble 1). ...

Google Groups: [isabelle] tase call for participation

: ... wang (aston university). verifying self-stabilizing population protocols with coq yuxin deng (shanghai jiao tong university) and jean-fran?ois monin (universit¨¦ ...

Yuxin Deng | LinkedIn

www.linkedin.com

Yuxin Deng. Dr at Shanghai Jiao Tong University Location Shanghai City, China Industry Higher Education

Yuxin Deng - Google Scholar Citations

scholar.google.com

Cancel. Yuxin Deng. Shanghai Jiao Tong University. Computer Science. Verified email at sjtu.edu.cn - Homepage · Scholar. Get my own profile. Google Scholar ...

Yuxin Deng - Citações do Google Acadêmico - Google Scholar

scholar.google.co.in

Yuxin Deng. Professor, East China Normal University. E-mail confirmado em sei.ecnu.edu.cn - Página inicial · Computer Science. ArtigosCitado porCoautores ...

Yuxin Deng - Google Scholar Citationsscholar.google.fr/citations?user=anobfigAAAAJ&hl=th

scholar.google.fr

Alwen TiuResearch School of Computer Science, The Australian National Universityยืนยันอีเมลแล้วที่ anu.edu.au. ติดตาม. Yuxin Deng. Professor, East China ...

Yuan Feng - Google Scholar Citations

scholar.google.com

Yuxin Deng Lvzhou Li. View all co-authors. Yuan Feng. University of Technology Sydney and Tsinghua University. Quantum programming theory - quantum information theory .

All web results to the name "Yuxin Deng"

Related search requests for Yuxin Deng

Jiao Tong
Yuan Feng

Person "Deng" (4)
Forename "Yuxin" (65)
Name "Deng" (1829)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Yuxin Deng and University Free People Check