default search action
Yuxin Deng
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. 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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j40]Wenjun Shi
, Qinxiang Cao
Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq. J. Circuits Syst. Comput. 33(6): 2450112:1-2450112:25 (2024) - [j39]Hui Jiang, Yuxin Deng, Ming Xu:
Qubit Mapping Based on Tabu Search. J. Comput. Sci. Technol. 39(2): 421-433 (2024) - [j38]Anna Schmitt, Kirstin Peters, Yuxin Deng:
Encodability Criteria for Quantum Based Systems. Log. Methods Comput. Sci. 20(2) (2024) - [j37]Cuiping Shi
The Expansion Methods of Inception and Its Application. Symmetry 16(4): 494 (2024) - [c53]Yuxin Deng, Kaining Zhang, Shihua Zhang, Yansheng Li, Jiayi Ma:
ResMatch: Residual Attention Learning for Feature Matching. AAAI 2024: 1501-1509 - [c52]Yuxin Deng, Jiayi Ma:
SDGMNet: Statistic-Based Dynamic Gradient Modulation for Local Descriptor Learning. AAAI 2024: 1510-1518 - [c51]Hui Jiang
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. HSCC 2024: 18:1-18:12 - [c50]Yuxin Deng, Min Zhang, Wangqiang Jiang, Jinxing Li:
SAR Imaging Simulation of Turbulent Wakes Based on the CFD Technology and EM Scattering Model. IGARSS 2024: 10595-10598 - [c49]Linfeng Tang
DRMF: Degradation-Robust Multi-Modal Image Fusion via Composable Diffusion Prior. ACM Multimedia 2024: 8546-8555 - [c48]Yuxin Deng, Huiling Wu, Ming Xu:
Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs. VMCAI (2) 2024: 163-184 - [i22]Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li:
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. CoRR abs/2402.15827 (2024) - 2023
- [j36]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) - [j35]Yuxin Deng
Investigation on the Radar Scattering and Doppler Spectrum From Trimaran Based on the Motion of Six Degrees of Freedom. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 16: 6889-6901 (2023) - [j34]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) - [j33]Yuxin Deng, Jiayi Ma
ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning. IEEE Trans. Image Process. 32: 591-602 (2023) - [i21]Yuxin Deng, Jiayi Ma:
ResMatch: Residual Attention Learning for Local Feature Matching. CoRR abs/2307.05180 (2023) - [i20]Yuxin Deng, Huiling Wu, Ming Xu:
Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs. CoRR abs/2308.04741 (2023) - [i19]Zezhong Chen, Yuxin Deng, Wenjie Du:
Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models. CoRR abs/2309.12941 (2023) - [i18]Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li:
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. CoRR abs/2310.11882 (2023) - 2022
- [j32]Wenjie Du
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. Sci. Ann. Comput. Sci. 32(2): 211-254 (2022) - [j31]Linfeng Tang
SuperFusion: A Versatile Image Registration and Fusion Network with Semantic Awareness. IEEE CAA J. Autom. Sinica 9(12): 2121-2137 (2022) - [j30]Ming Xu
Model checking QCTL plus on quantum Markov chains. Theor. Comput. Sci. 913: 43-72 (2022) - [j29]Yuxin Deng
Formal semantics of a classical-quantum language. Theor. Comput. Sci. 913: 73-93 (2022) - [j28]Ming Xu
An algebraic method to fidelity-based model checking over quantum Markov chains. Theor. Comput. Sci. 935: 61-81 (2022) - [c47]Anna Schmitt
Encodability Criteria for Quantum Based Systems. FORTE 2022: 151-169 - [c46]Yuxin Deng:
Invited talk: Formal Verification of Quantum Protocols. FAVPQC@ICFEM 2022: 1 - [i17]Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu:
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. CoRR abs/2202.05412 (2022) - [i16]Anna Schmitt
Encodability Criteria for Quantum Based Systems (Technical Report). CoRR abs/2204.06068 (2022) - [i15]Yuxin Deng, Jiayi Ma:
ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning. CoRR abs/2205.07439 (2022) - [i14]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
- [j27]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) - [j26]Wenjun Shi
Symbolic Reasoning About Quantum Circuits in Coq. J. Comput. Sci. Technol. 36(6): 1291-1306 (2021) - [j25]Ying-Ji Sun, Ming Xu
An optimal quantum error-correcting procedure using quantifier elimination. Quantum Inf. Process. 20(4): 170 (2021) - [j24]Yuxin Deng, Min Zhang
Electromagnetic Scattering of Near-Field Turbulent Wake Generated by Accelerated Propeller. Remote. Sens. 13(24): 5178 (2021) - [c45]Yinkai Chen, Rui Zhang, Xin Qiu, Xin Li, Yuxin Deng:
Explaining GBDT by Probabilistic Finite-State Automata. ICCPR 2021: 328-333 - [c44]Zhihao Wang, Honggang Xu, Xin Li, Yuxin Deng
Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping. PAKDD (3) 2021: 141-154 - [c43]Yuxin Deng, Zezhong Chen, Wenjie Du, Bifei Mao, Zhizhang Liang, Qiushi Lin, Jinghui Li:
Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness. QRS Companion 2021: 487-493 - [i13]Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng:
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains. CoRR abs/2101.04971 (2021) - [i12]Jiayi Ma, Yuxin Deng:
SDGMNet: Statistic-based Dynamic Gradient Modulation for Local Descriptor Learning. CoRR abs/2106.04434 (2021) - [i11]Yuxin Deng, Yuan Feng:
Formal Semantics of a Classical-Quantum Language. CoRR abs/2107.00804 (2021) - 2020
- [j23]Xudong Qin, Simon Bliudze
SMT-based generation of symbolic automata. Acta Informatica 57(3-5): 627-656 (2020) - [j22]Ming Xu, Yuxin Deng
Time-bounded termination analysis for probabilistic programs with delays. Inf. Comput. 275: 104634 (2020) - [j21]Xin Li, Patrick Gardy, Yuxin Deng
Reachability of Patterned Conditional Pushdown Systems. J. Comput. Sci. Technol. 35(6): 1295-1311 (2020) - [j20]Peixin Wang
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proc. ACM Program. Lang. 4(POPL): 25:1-25:30 (2020) - [c42]Hua Wu, Yuxin Deng
Qsimulation V2.0: An Optimized Quantum Simulator. ICTAC 2020: 307-316 - [c41]Xudong Qin, Yuxin Deng
Verifying Quantum Communication Protocols with Ground Bisimulation. TACAS (2) 2020: 21-38 - [i10]Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
Symbolic Reasoning about Quantum Circuits in Coq. CoRR abs/2005.11023 (2020)
2010 – 2019
- 2019
- [c40]Yuxin Deng
Formalisation of Probabilistic Testing Semantics in Coq. The Art of Modelling Computational Systems 2019: 276-292 - [c39]Patrick Gardy, Yuxin Deng
Simulations for Multi-Agent Systems with Imperfect Information. ICFEM 2019: 138-153 - 2018
- [j19]Hengyang Wu
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Fuzzy Sets Syst. 333: 106-123 (2018) - [j18]Marcello M. Bonsangue
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) - [j17]Hengyang Wu, Yuxin Deng
Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems. IEEE Trans. Fuzzy Syst. 26(2): 416-429 (2018) - [c38]Yuxin Deng
Bisimulations for Probabilistic and Quantum Processes (Invited Paper). CONCUR 2018: 2:1-2:14 - [c37]Xin Li, Hua Vy Le Thanh, Yuxin Deng, Julian Dolby:
Generating Permission-Based Security Policies. DSA 2018: 1-7 - 2017
- [j16]Yuxin Deng
Probabilistic bisimilarity as testing equivalence. Inf. Comput. 257: 58-64 (2017) - [c36]Yuxin Deng
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. ICFEM 2017: 464-480 - [c35]Chen Fu
On Equivalence Checking of Nondeterministic Finite Automata. SETTA 2017: 216-231 - [c34]Yuxin Deng, Yuan Feng
Bisimulations for probabilistic linear lambda calculi. TASE 2017: 1-8 - 2016
- [j15]Hengyang Wu
Logical characterizations of simulation and bisimulation for fuzzy transition systems. Fuzzy Sets Syst. 301: 19-36 (2016) - [j14]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) - [c33]Wenjie Du, Yuxin Deng
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. SETTA 2016: 67-84 - 2015
- [j13]Yuxin Deng:
Book Introduction by the Author: Semantics of Probabilistic Processes An Operational Approach. Bull. EATCS 116 (2015) - [j12]Yuxin Deng
Program equivalence in linear contexts. Theor. Comput. Sci. 585: 71-90 (2015) - [c32]Yuxin Deng
On Coinduction and Quantum Lambda Calculi. CONCUR 2015: 427-440 - [i9]Yuxin Deng, Wenjie Du, Daniel Gebler:
Modal Characterisations of Behavioural Pseudometrics. CoRR abs/1509.03391 (2015) - 2014
- [j11]Yuxin Deng
Real-reward testing for probabilistic processes. Theor. Comput. Sci. 538: 16-36 (2014) - [j10]Yuan Feng
Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Log. 15(2): 14:1-14:32 (2014) - [c31]Yuxin Deng
Modal Characterisations of Probabilistic and Fuzzy Bisimulations. ICFEM 2014: 123-138 - 2013
- [j9]Yuxin Deng
On the semantics of Markov automata. Inf. Comput. 222: 139-168 (2013) - [j8]Yuxin Deng
Compositional reasoning for weighted Markov decision processes. Sci. Comput. Program. 78(12): 2537-2579 (2013) - [c30]Xiaojie Deng, Yu Zhang, Yuxin Deng
The Buffered π-Calculus: A Model for Concurrent Languages. LATA 2013: 250-261 - 2012
- [j7]Yuxin Deng
Characterisations of testing preorders for a finite probabilistic π-calculus. Formal Aspects Comput. 24(4-6): 701-726 (2012) - [c29]Yuxin Deng
Open Bisimulation for Quantum Processes. IFIP TCS 2012: 119-133 - [c28]Yuxin Deng, Iliano Cervesato, Robert J. Simmons:
Relating Reasoning Methodologies in Linear Logic and Process Algebra. LINEARITY 2012: 50-60 - [i8]Yuxin Deng, Yuan Feng:
Open Bisimulation for Quantum Processes. CoRR abs/1201.0416 (2012) - [i7]Yuxin Deng, Alwen Tiu:
Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus. CoRR abs/1201.2258 (2012) - [i6]Yuan Feng, Yuxin Deng, Mingsheng Ying:
Symbolic bisimulation for quantum processes. CoRR abs/1202.3484 (2012) - [i5]Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong:
The Buffered π-Calculus: A Model for Concurrent Languages. CoRR abs/1212.6183 (2012) - 2011
- [c27]Yuxin Deng
A Framework for Verifying Data-Centric Protocols. FMOODS/FORTE 2011: 106-120 - [c26]Yuxin Deng
Compositional Reasoning for Markov Decision Processes - (Extended Abstract). FSEN 2011: 143-157 - [c25]Yuxin Deng
On the Semantics of Markov Automata. ICALP (2) 2011: 307-318 - [c24]Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan:
Real-Reward Testing for Probabilistic Processes (Extended Abstract). QAPL 2011: 61-73 - [i4]Yuxin Deng, Wenjie Du:
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation. CoRR abs/1103.4577 (2011) - [i3]Yuxin Deng, Yu Zhang:
Program Equivalence in Linear Contexts. CoRR abs/1106.2872 (2011) - 2010
- [c23]Yuxin Deng
Characterising Probabilistic Processes Logically - (Extended Abstract). LPAR (Yogyakarta) 2010: 278-293 - [i2]Yuxin Deng, Rob J. van Glabbeek:
Characterising Probabilistic Processes Logically. CoRR abs/1007.5188 (2010)
2000 – 2009
- 2009
- [c22]Xiangxi Li, Yu Zhang, Yuxin Deng
Verifying Anonymous Credential Systems in Applied Pi Calculus. CANS 2009: 209-225 - [c21]Yuxin Deng
Testing Finitary Probabilistic Processes. CONCUR 2009: 274-288 - [c20]Yuxin Deng, Wenjie Du:
A Local Algorithm for Checking Probabilistic Bisimilarity. FCST 2009: 401-407 - [c19]Yuxin Deng, Jean-François Monin:
Verifying Self-stabilizing Population Protocols with Coq. TASE 2009: 201-208 - [c18]Wenjie Du, Yuxin Deng
On Mobility and Communication. ISDT 2009: 19-33 - [c17]Yuxin Deng
The Kantorovich Metric in Computer Science: A Brief Survey. QAPL 2009: 73-82 - 2008
- [j6]Jun Pang, Zhengqin Luo, Yuxin Deng
On automatic verification of self-stabilizing population protocols. Frontiers Comput. Sci. China 2(4): 357-367 (2008) - [j5]Yuxin Deng
Characterising Testing Preorders for Finite Probabilistic Processes. Log. Methods Comput. Sci. 4(4) (2008) - [c16]Xin Chen, Yuxin Deng
Game Characterizations of Process Equivalences. APLAS 2008: 107-121 - [c15]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 - [c14]Jun Pang, Zhengqin Luo, Yuxin Deng:
On Automatic Verification of Self-Stabilizing Population Protocols. TASE 2008: 185-192 - [i1]Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan:
Characterising Testing Preorders for Finite Probabilistic Processes. CoRR abs/0810.3708 (2008) - 2007
- [j4]Yuxin Deng:
A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences. Bull. EATCS 93: 207-219 (2007) - [j3]Yuxin Deng
Axiomatizations for probabilistic finite-state behaviors. Theor. Comput. Sci. 373(1-2): 92-114 (2007) - [c13]Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. ACNS 2007: 87-103 - [c12]Yuxin Deng
Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP 2007: 363-378 - [c11]Yuxin Deng
Characterising Testing Preorders for Finite Probabilistic Processes. LICS 2007: 313-325 - [c10]Lin Song, Yuxin Deng, Xiaojuan Cai:
Towards Automatic Measurement of Probabilistic Processes. QSIC 2007: 50-59 - [c9]Yuxin Deng
Probabilistic Barbed Congruence. QAPL 2007: 185-203 - [c8]Yuxin Deng
Remarks on Testing Probabilistic Processes. Computation, Meaning, and Logic 2007: 359-397 - 2006
- [j2]Yuxin Deng
Ensuring termination by typability. Inf. Comput. 204(7): 1045-1082 (2006) - [j1]Yuxin Deng
Towards an algebraic theory of typed mobile processes. Theor. Comput. Sci. 350(2-3): 188-212 (2006) - [c7]Yuxin Deng
Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust 2006: 65-79 - 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 - [c6]Yuxin Deng
Compositional Reasoning for Probabilistic Finite-State Behaviors. Processes, Terms and Cycles 2005: 309-337 - [c5]Yuxin Deng
Axiomatizations for Probabilistic Finite-State Behaviors. FoSSaCS 2005: 110-124 - [c4]Yuxin Deng
Weak Probabilistic Anonymity. SecCO@CONCUR 2005: 55-76 - [c3]Yuxin Deng
Metrics for Action-labelled Quantitative Transition Systems. QAPL 2005: 79-96 - 2004
- [c2]Yuxin Deng
Towards an Algebraic Theory of Typed Mobile Processes. ICALP 2004: 445-456 - [c1]Yuxin Deng
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 2024-11-07 20:34 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: