×

zbMATH — the first resource for mathematics

Edit Profile

Deng, Yuxin

Compute Distance To:
Author ID: deng.yuxin
Published as: Deng, Y.; Deng, Y. X.; Deng, Yu-Xin; Deng, Yu-xin; Deng, Yuxin
Documents Indexed: 43 Publications since 2001, including 1 Book
all top 5

Co-Authors

2 single-authored
6 Hennessy, Matthew C. B.
6 van Glabbeek, Robert Jan
5 Morgan, Carroll C.
4 Feng, Yuan
4 Palamidessi, Catuscia
4 Sangiorgi, Davide
3 Du, Wenjie
3 Pang, Jun
2 Wu, Hengyang
2 Zhang, Chenyi
1 Bu, Tianming
1 Cai, Xiaojuan
1 Cervesato, Iliano
1 Chen, Yixiang
1 Dal Lago, Ugo
1 Deng, Xiaojie
1 Fu, Yuxi
1 Gebler, Daniel E.
1 Hennessy, Matthew
1 Luo, Zhengqin
1 Simmons, Robert jun.
1 Song, Lei
1 Tiu, Alwen Fernanto
1 Yang, Wei-Zhong
1 Ying, Mingsheng
1 Zhang, Yu
1 Zhang, Yu
1 Zhong, Farong
all top 5

Serials

4 Theoretical Computer Science
3 Information and Computation
2 Fuzzy Sets and Systems
2 Journal of Shanghai Jiaotong University (Science)
1 Formal Aspects of Computing
1 MSCS. Mathematical Structures in Computer Science
1 Journal of Shanghai Jiaotong University (English Edition)
1 Bulletin of the European Association for Theoretical Computer Science EATCS
1 ACM Transactions on Computational Logic
1 Logical Methods in Computer Science

Fields

36 Computer science (68-XX)
5 Mathematical logic and foundations (03-XX)
3 Quantum theory (81-XX)
2 Information and communication theory, circuits (94-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription