default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYuxin Deng
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Other persons with the same name
- Yuxin Deng 0001
![[0000-0003-0753-418X]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-0753-418X")
— East China Normal University, Shanghai, China - Yuxin Deng 0002 — Wuhan University, Wuhan, Hubei, China
- Yuxin Deng 0003 — Xidian University, Xi'an, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j9]Hui Jiang, Jianling Fu, Yuxin Deng, Jun Wu:
A binary integer programming-based method for qubit mapping in sparse architectures. Acta Informatica 62(1): 4 (2025)- [j8]Yuxin Deng, Yi Sun, Huaxiong Liu:
Identifying Collapsible Sets in Directed Graphical Models via Inducing Paths. Stat. Comput. 35(5): 115 (2025) - [c9]Wentao Wang, Jiaqian Wang, Yuxin Deng, Guang Tan:
BEVSync: Asynchronous Data Alignment for Camera-based Vehicle-Infrastructure Cooperative Perception Under Uncertain Delays. AAAI 2025: 14699-14707 - [c8]Qixuan Xu, Ruolan Hu, Yilin Yuan, Yuxin Deng, Tianhui Xiong, Shuchang Xu, Guanhong Liu:
"You Need to Know What I Can Do": Revealing Sighted People's Workplace Bias Toward the Visually Impaired and Exploring Intervention Through Serious Games. CSCW Companion 2025: 351-356 - [c7]Shuyan Chao, Yuxin Deng, Zhanou Liu, Yuwei Zhang:
QAS-BO : Quantum Architecture Search Based on Bayesian Optimization Applied to Variational Quantum Algorithms. SMC 2025: 4831-4836 - 2024
- [j7]Cuiping Shi, Zhenquan Liu, Jiageng Qu, Yuxin Deng:
The Expansion Methods of Inception and Its Application. Symmetry 16(4): 494 (2024) - [c6]Huiling Wu, Anran Cui, Yuxin Deng:
An Assertion-Based Logic for Local Reasoning about Probabilistic Programs. SETTA 2024: 25-45 - 2023
- [j6]Jingwei Wu, Wanxi Mao, Yuxin Deng, Jinghong Xu:
Child Safety and Data Privacy in Smart Homes With Speakers: Comparison of Privacy Policies in the United States and China. IEEE Secur. Priv. 21(5): 6-17 (2023) - [j5]Yijia Chen, Pierre-Louis Curien, Yuxin Deng, Min Zhang:
Preface for the special issue of Theoretical Computer Science in honor of the 60th birthday of Yuxi Fu. Theor. Comput. Sci. 945: 113720 (2023) - 2022
- [c5]Yuxin Deng:
Invited talk: Formal Verification of Quantum Protocols. FAVPQC@ICFEM 2022: 1 - [i4]Shih-Hong Huang, Chieh-Yang Huang, Yuxin Deng, Hua Shen, Szu-Chi Kuan, Ting-Hao Kenneth Huang:
Too Slow to Be Useful? On Incorporating Humans in the Loop of Smart Speakers. CoRR abs/2212.03969 (2022) - 2021
- [j4]Cong Tian, Yuxin Deng, Yu Jiang:
Preface to the Topic of Formal Methods and Their Applications. Int. J. Softw. Informatics 11(4): 379-381 (2021)
2010 – 2019
- 2016
- [j3]Yuxin Deng, Robert J. Simmons, Iliano Cervesato:
Relating reasoning methodologies in linear logic and process algebra. Math. Struct. Comput. Sci. 26(5): 868-906 (2016) - 2015
- [j2]Yuxin Deng:
Book Introduction by the Author: Semantics of Probabilistic Processes An Operational Approach. Bull. EATCS 116 (2015) - 2012
- [c4]Yuxin Deng, Iliano Cervesato, Robert J. Simmons:
Relating Reasoning Methodologies in Linear Logic and Process Algebra. LINEARITY 2012: 50-60 - [i3]Yuxin Deng, Alwen Tiu:
Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus. CoRR abs/1201.2258 (2012) - [i2]Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong:
The Buffered π-Calculus: A Model for Concurrent Languages. CoRR abs/1212.6183 (2012) - 2011
- [i1]Yuxin Deng, Yu Zhang:
Program Equivalence in Linear Contexts. CoRR abs/1106.2872 (2011)
2000 – 2009
- 2009
- [c3]Yuxin Deng, Jean-François Monin:
Verifying Self-stabilizing Population Protocols with Coq. TASE 2009: 201-208 - 2008
- [c2]Xiaojuan Cai, Yuxin Deng:
A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol. ISCSCT (2) 2008: 87-90 - 2007
- [j1]Yuxin Deng:
A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences. Bull. EATCS 93: 207-219 (2007) - [c1]Lin Song, Yuxin Deng, Xiaojuan Cai:
Towards Automatic Measurement of Probabilistic Processes. QSIC 2007: 50-59 - 2005
- [b1]Yuxin Deng:
Axiomatisations and Types for Probabilistic and Mobile Processes. (Axiomatisations et types pour des processus probabilistes et mobiles). Mines ParisTech, France, 2005
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-03-08 00:47 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:
