default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYuxin Deng 0001
Person information
Other persons with the same name
- Yuxin Deng — disambiguation page
- Yuxin Deng 0002
![[0000-0002-1041-9855]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-1041-9855")
- Yuxin Deng 0003
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j28]Yang Wang, Yixing Zhang, Xudie Ren, Yuxin Deng:
MoDA: Mixture of Domain Adapters for Parameter-efficient Generalizable Person Re-identification. ACM Trans. Multim. Comput. Commun. Appl. 21(5): 139:1-139:19 (2025)- 2024
- [j27]Wenjun Shi, Qinxiang Cao, Yuxin Deng:
Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq. J. Circuits Syst. Comput. 33(6): 2450112:1-2450112:25 (2024) - [j26]Ming Xu, Jianling Fu, Hui Jiang, Yuxin Deng, Zhi-Bin Li:
Termination and Universal Termination Problems for Nondeterministic Quantum Programs. ACM Trans. Softw. Eng. Methodol. 33(8): 219:1-219:41 (2024) - [c36]Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li:
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. HSCC 2024: 18:1-18:12 - 2022
- [j25]Wenjie Du, Yuxin Deng, Daniel Gebler:
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. Sci. Ann. Comput. Sci. 32(2): 211-254 (2022) - [j24]Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng:
Model checking QCTL plus on quantum Markov chains. Theor. Comput. Sci. 913: 43-72 (2022) - [j23]Yuxin Deng, Yuan Feng:
Formal semantics of a classical-quantum language. Theor. Comput. Sci. 913: 73-93 (2022) - [c35]Anna Schmitt, Kirstin Peters, Yuxin Deng:
Encodability Criteria for Quantum Based Systems. FORTE 2022: 151-169 - 2021
- [j22]Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng:
Symbolic Reasoning About Quantum Circuits in Coq. J. Comput. Sci. Technol. 36(6): 1291-1306 (2021) - [j21]Ying-Ji Sun, Ming Xu, Yuxin Deng:
An optimal quantum error-correcting procedure using quantifier elimination. Quantum Inf. Process. 20(4): 170 (2021) - [c34]Zhihao Wang, Honggang Xu, Xin Li, Yuxin Deng:
Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping. PAKDD (3) 2021: 141-154 - 2020
- [j20]Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang:
SMT-based generation of symbolic automata. Acta Informatica 57(3-5): 627-656 (2020) - [j19]Ming Xu, Yuxin Deng:
Time-bounded termination analysis for probabilistic programs with delays. Inf. Comput. 275: 104634 (2020) - [j18]Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki:
Reachability of Patterned Conditional Pushdown Systems. J. Comput. Sci. Technol. 35(6): 1295-1311 (2020) - [j17]Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu:
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proc. ACM Program. Lang. 4(POPL): 25:1-25:30 (2020) - [c33]Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du:
Qsimulation V2.0: An Optimized Quantum Simulator. ICTAC 2020: 307-316 - [c32]Xudong Qin, Yuxin Deng, Wenjie Du:
Verifying Quantum Communication Protocols with Ground Bisimulation. TACAS (2) 2020: 21-38
2010 – 2019
- 2019
- [c31]Yuxin Deng, Jean-François Monin:
Formalisation of Probabilistic Testing Semantics in Coq. The Art of Modelling Computational Systems 2019: 276-292 - [c30]Patrick Gardy, Yuxin Deng:
Simulations for Multi-Agent Systems with Imperfect Information. ICFEM 2019: 138-153 - 2018
- [j16]Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng:
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Fuzzy Sets Syst. 333: 106-123 (2018) - [j15]Marcello M. Bonsangue, Yuxin Deng:
Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016). Sci. Comput. Program. 162: 1-2 (2018) - [j14]Hengyang Wu, Yuxin Deng:
Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems. IEEE Trans. Fuzzy Syst. 26(2): 416-429 (2018) - [c29]Yuxin Deng:
Bisimulations for Probabilistic and Quantum Processes (Invited Paper). CONCUR 2018: 2:1-2:14 - 2017
- [j13]Yuxin Deng, Yuan Feng:
Probabilistic bisimilarity as testing equivalence. Inf. Comput. 257: 58-64 (2017) - [c28]Yuxin Deng, Min Zhang, Guoqing Lei:
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. ICFEM 2017: 464-480 - [c27]Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang:
On Equivalence Checking of Nondeterministic Finite Automata. SETTA 2017: 216-231 - 2016
- [j12]Hengyang Wu, Yuxin Deng:
Logical characterizations of simulation and bisimulation for fuzzy transition systems. Fuzzy Sets Syst. 301: 19-36 (2016) - [c26]Wenjie Du, Yuxin Deng, Daniel Gebler:
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. SETTA 2016: 67-84 - 2015
- [j11]Yuxin Deng, Yu Zhang:
Program equivalence in linear contexts. Theor. Comput. Sci. 585: 71-90 (2015) - [c25]Yuxin Deng, Yuan Feng, Ugo Dal Lago:
On Coinduction and Quantum Lambda Calculi. CONCUR 2015: 427-440 - 2014
- [j10]Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan:
Real-reward testing for probabilistic processes. Theor. Comput. Sci. 538: 16-36 (2014) - [j9]Yuan Feng, Yuxin Deng, Mingsheng Ying:
Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Log. 15(2): 14:1-14:32 (2014) - [c24]Yuxin Deng, Hengyang Wu:
Modal Characterisations of Probabilistic and Fuzzy Bisimulations. ICFEM 2014: 123-138 - 2013
- [j8]Yuxin Deng, Matthew Hennessy:
On the semantics of Markov automata. Inf. Comput. 222: 139-168 (2013) - [j7]Yuxin Deng, Matthew Hennessy:
Compositional reasoning for weighted Markov decision processes. Sci. Comput. Program. 78(12): 2537-2579 (2013) - [c23]Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong:
The Buffered π-Calculus: A Model for Concurrent Languages. LATA 2013: 250-261 - 2012
- [j6]Yuxin Deng, Alwen Tiu:
Characterisations of testing preorders for a finite probabilistic π-calculus. Formal Aspects Comput. 24(4-6): 701-726 (2012) - [c22]Yuxin Deng, Yuan Feng:
Open Bisimulation for Quantum Processes. IFIP TCS 2012: 119-133 - 2011
- [c21]Yuxin Deng, Stéphane Grumbach, Jean-François Monin:
A Framework for Verifying Data-Centric Protocols. FMOODS/FORTE 2011: 106-120 - [c20]Yuxin Deng, Matthew Hennessy:
Compositional Reasoning for Markov Decision Processes - (Extended Abstract). FSEN 2011: 143-157 - [c19]Yuxin Deng, Matthew Hennessy:
On the Semantics of Markov Automata. ICALP (2) 2011: 307-318 - 2010
- [c18]Yuxin Deng, Rob J. van Glabbeek:
Characterising Probabilistic Processes Logically - (Extended Abstract). LPAR (Yogyakarta) 2010: 278-293
2000 – 2009
- 2009
- [c17]Xiangxi Li, Yu Zhang, Yuxin Deng:
Verifying Anonymous Credential Systems in Applied Pi Calculus. CANS 2009: 209-225 - [c16]Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan:
Testing Finitary Probabilistic Processes. CONCUR 2009: 274-288 - [c15]Wenjie Du, Yuxin Deng:
On Mobility and Communication. ISDT 2009: 19-33 - [c14]Yuxin Deng, Wenjie Du:
The Kantorovich Metric in Computer Science: A Brief Survey. QAPL 2009: 73-82 - 2008
- [j5]Jun Pang, Zhengqin Luo, Yuxin Deng:
On automatic verification of self-stabilizing population protocols. Frontiers Comput. Sci. China 2(4): 357-367 (2008) - [j4]Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan:
Characterising Testing Preorders for Finite Probabilistic Processes. Log. Methods Comput. Sci. 4(4) (2008) - [c13]Xin Chen, Yuxin Deng:
Game Characterizations of Process Equivalences. APLAS 2008: 107-121 - 2007
- [j3]Yuxin Deng, Catuscia Palamidessi:
Axiomatizations for probabilistic finite-state behaviors. Theor. Comput. Sci. 373(1-2): 92-114 (2007) - [c12]Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng:
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. ACNS 2007: 87-103 - [c11]Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang:
Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP 2007: 363-378 - [c10]Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang:
Characterising Testing Preorders for Finite Probabilistic Processes. LICS 2007: 313-325 - [c9]Yuxin Deng, Wenjie Du:
Probabilistic Barbed Congruence. QAPL 2007: 185-203 - [c8]Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang:
Remarks on Testing Probabilistic Processes. Computation, Meaning, and Logic 2007: 359-397 - 2006
- [j2]Yuxin Deng, Davide Sangiorgi:
Ensuring termination by typability. Inf. Comput. 204(7): 1045-1082 (2006) - [j1]Yuxin Deng, Davide Sangiorgi:
Towards an algebraic theory of typed mobile processes. Theor. Comput. Sci. 350(2-3): 188-212 (2006) - [c7]Yuxin Deng, Jun Pang, Peng Wu:
Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust 2006: 65-79 - 2005
- [c6]Yuxin Deng, Catuscia Palamidessi, Jun Pang:
Compositional Reasoning for Probabilistic Finite-State Behaviors. Processes, Terms and Cycles 2005: 309-337 - [c5]Yuxin Deng, Catuscia Palamidessi:
Axiomatizations for Probabilistic Finite-State Behaviors. FoSSaCS 2005: 110-124 - [c4]Yuxin Deng, Catuscia Palamidessi, Jun Pang:
Weak Probabilistic Anonymity. SecCO@CONCUR 2005: 55-76 - [c3]Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang:
Metrics for Action-labelled Quantitative Transition Systems. QAPL 2005: 79-96 - 2004
- [c2]Yuxin Deng, Davide Sangiorgi:
Towards an Algebraic Theory of Typed Mobile Processes. ICALP 2004: 445-456 - [c1]Yuxin Deng, Davide Sangiorgi:
Ensuring Termination by Typability. IFIP TCS 2004: 619-632
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-02-05 23:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
