Yuxin Deng

According to our database, Yuxin Deng authored at least 99 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

A binary integer programming-based method for qubit mapping in sparse architectures.

Hui Jiang, Jianling Fu, Yuxin Deng, Jun Wu

Acta Informatica, March, 2025

2024

The Expansion Methods of Inception and Its Application.

Cuiping Shi, Zhenquan Liu, Jiageng Qu, Yuxin Deng

Symmetry, April, 2024

Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq.

Wenjun Shi, Qinxiang Cao, Yuxin Deng

J. Circuits Syst. Comput., April, 2024

Qubit Mapping Based on Tabu Search.

Hui Jiang, Yuxin Deng, Ming Xu

J. Comput. Sci. Technol., March, 2024

Encodability Criteria for Quantum Based Systems.

Anna Schmitt, Kirstin Peters, Yuxin Deng

Log. Methods Comput. Sci., 2024

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs.

Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li

CoRR, 2024

Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs.

Yuxin Deng, Huiling Wu, Ming Xu

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

An Assertion-Based Logic for Local Reasoning about Probabilistic Programs.

Huiling Wu, Anran Cui, Yuxin Deng

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

DRMF: Degradation-Robust Multi-Modal Image Fusion via Composable Diffusion Prior.

Linfeng Tang, Yuxin Deng, Xunpeng Yi, Qinglong Yan, Yixuan Yuan, Jiayi Ma

Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

SAR Imaging Simulation of Turbulent Wakes Based on the CFD Technology and EM Scattering Model.

Yuxin Deng, Min Zhang, Wangqiang Jiang, Jinxing Li

Proceedings of the IGARSS 2024, 2024

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains.

Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

ResMatch: Residual Attention Learning for Feature Matching.

Yuxin Deng, Kaining Zhang, Shihua Zhang, Yansheng Li, Jiayi Ma

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

SDGMNet: Statistic-Based Dynamic Gradient Modulation for Local Descriptor Learning.

Yuxin Deng, Jiayi Ma

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Preface for the special issue of Theoretical Computer Science in honor of the 60^th birthday of Yuxi Fu.

Yijia Chen, Pierre-Louis Curien, Yuxin Deng, Min Zhang

Theor. Comput. Sci., February, 2023

ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning.

Yuxin Deng, Jiayi Ma

IEEE Trans. Image Process., 2023

Investigation on the Radar Scattering and Doppler Spectrum From Trimaran Based on the Motion of Six Degrees of Freedom.

Yuxin Deng, Jinxing Li, Wangqiang Jiang, Min Zhang

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023

Child Safety and Data Privacy in Smart Homes With Speakers: Comparison of Privacy Policies in the United States and China.

Jingwei Wu, Wanxi Mao, Yuxin Deng, Jinghong Xu

IEEE Secur. Priv., 2023

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs.

Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li

CoRR, 2023

Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models.

Zezhong Chen, Yuxin Deng, Wenjie Du

CoRR, 2023

ResMatch: Residual Attention Learning for Local Feature Matching.

Yuxin Deng, Jiayi Ma

CoRR, 2023

2022

An algebraic method to fidelity-based model checking over quantum Markov chains.

Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng

Theor. Comput. Sci., 2022

Model checking QCTL plus on quantum Markov chains.

Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng

Theor. Comput. Sci., 2022

Formal semantics of a classical-quantum language.

Yuxin Deng, Yuan Feng

Theor. Comput. Sci., 2022

SuperFusion: A Versatile Image Registration and Fusion Network with Semantic Awareness.

Linfeng Tang, Yuxin Deng, Yong Ma, Jun Huang, Jiayi Ma

IEEE CAA J. Autom. Sinica, 2022

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.

Wenjie Du, Yuxin Deng, Daniel Gebler

Sci. Ann. Comput. Sci., 2022

Too Slow to Be Useful? On Incorporating Humans in the Loop of Smart Speakers.

Shih-Hong Huang, Chieh-Yang Huang, Yuxin Deng, Hua Shen, Szu-Chi Kuan, Ting-Hao Kenneth Huang

CoRR, 2022

Encodability Criteria for Quantum Based Systems (Technical Report).

Anna Schmitt, Kirstin Peters, Yuxin Deng

CoRR, 2022

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains.

Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu

CoRR, 2022

Invited talk: Formal Verification of Quantum Protocols.

Yuxin Deng

Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), 2022

2021

Electromagnetic Scattering of Near-Field Turbulent Wake Generated by Accelerated Propeller.

Yuxin Deng, Min Zhang, Wangqiang Jiang, Letian Wang

Remote. Sens., 2021

An optimal quantum error-correcting procedure using quantifier elimination.

Ying-Ji Sun, Ming Xu, Yuxin Deng

Quantum Inf. Process., 2021

Symbolic Reasoning About Quantum Circuits in Coq.

Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng

J. Comput. Sci. Technol., 2021

Preface to the Topic of Formal Methods and Their Applications.

Cong Tian, Yuxin Deng, Yu Jiang

Int. J. Softw. Informatics, 2021

Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness.

Yuxin Deng, Zezhong Chen, Wenjie Du, Bifei Mao, Zhizhang Liang, Qiushi Lin, Jinghui Li

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping.

Zhihao Wang, Honggang Xu, Xin Li, Yuxin Deng

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2021

Explaining GBDT by Probabilistic Finite-State Automata.

Yinkai Chen, Rui Zhang, Xin Qiu, Xin Li, Yuxin Deng

Proceedings of the ICCPR '21: 10th International Conference on Computing and Pattern Recognition, Shanghai, China, October 15, 2021

2020

Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.

Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu

Proc. ACM Program. Lang., 2020

Reachability of Patterned Conditional Pushdown Systems.

Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki

J. Comput. Sci. Technol., 2020

Time-bounded termination analysis for probabilistic programs with delays.

Ming Xu, Yuxin Deng

Inf. Comput., 2020

SMT-based generation of symbolic automata.

Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang

Acta Informatica, 2020

Verifying Quantum Communication Protocols with Ground Bisimulation.

Xudong Qin, Yuxin Deng, Wenjie Du

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Qsimulation V2.0: An Optimized Quantum Simulator.

Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019

Simulations for Multi-Agent Systems with Imperfect Information.

Patrick Gardy, Yuxin Deng

Proceedings of the Formal Methods and Software Engineering, 2019

Formalisation of Probabilistic Testing Semantics in Coq.

Yuxin Deng, Jean-François Monin

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems.

Hengyang Wu, Yuxin Deng

IEEE Trans. Fuzzy Syst., 2018

Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016).

Marcello M. Bonsangue, Yuxin Deng

Sci. Comput. Program., 2018

Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems.

Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng

Fuzzy Sets Syst., 2018

Generating Permission-Based Security Policies.

Xin Li, Hua Vy Le Thanh, Yuxin Deng, Julian Dolby

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

Bisimulations for Probabilistic and Quantum Processes (Invited Paper).

Yuxin Deng

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Probabilistic bisimilarity as testing equivalence.

Yuxin Deng, Yuan Feng

Inf. Comput., 2017

Bisimulations for probabilistic linear lambda calculi.

Yuxin Deng, Yuan Feng

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

On Equivalence Checking of Nondeterministic Finite Automata.

Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics.

Yuxin Deng, Min Zhang, Guoqing Lei

Proceedings of the Formal Methods and Software Engineering, 2017

2016

Logical characterizations of simulation and bisimulation for fuzzy transition systems.

Hengyang Wu, Yuxin Deng

Fuzzy Sets Syst., 2016

2015

Program equivalence in linear contexts.

Yuxin Deng, Yu Zhang

Theor. Comput. Sci., 2015

Book Introduction by the Author: Semantics of Probabilistic Processes An Operational Approach.

Yuxin Deng

Bull. EATCS, 2015

Modal Characterisations of Behavioural Pseudometrics.

Yuxin Deng, Wenjie Du, Daniel Gebler

CoRR, 2015

On Coinduction and Quantum Lambda Calculi.

Yuxin Deng, Yuan Feng, Ugo Dal Lago

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Symbolic Bisimulation for Quantum Processes.

Yuan Feng, Yuxin Deng, Mingsheng Ying

ACM Trans. Comput. Log., 2014

Real-reward testing for probabilistic processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan

Theor. Comput. Sci., 2014

Modal Characterisations of Probabilistic and Fuzzy Bisimulations.

Yuxin Deng, Hengyang Wu

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Compositional reasoning for weighted Markov decision processes.

Yuxin Deng, Matthew Hennessy

Sci. Comput. Program., 2013

On the semantics of Markov automata.

Yuxin Deng, Matthew Hennessy

Inf. Comput., 2013

The Buffered π-Calculus: A Model for Concurrent Languages.

Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong

Proceedings of the Language and Automata Theory and Applications, 2013

2012

Characterisations of testing preorders for a finite probabilistic π-calculus.

Yuxin Deng, Alwen Tiu

Formal Aspects Comput., 2012

Relating Reasoning Methodologies in Linear Logic and Process Algebra

Yuxin Deng, Iliano Cervesato, Robert J. Simmons

Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012

Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus

Yuxin Deng, Alwen Tiu

CoRR, 2012

Open Bisimulation for Quantum Processes.

Yuxin Deng, Yuan Feng

Proceedings of the Theoretical Computer Science, 2012

2011

Real-Reward Testing for Probabilistic Processes (Extended Abstract)

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation

Yuxin Deng, Wenjie Du

CoRR, 2011

Compositional Reasoning for Markov Decision Processes - (Extended Abstract).

Yuxin Deng, Matthew Hennessy

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

A Framework for Verifying Data-Centric Protocols.

Yuxin Deng, Stéphane Grumbach, Jean-François Monin

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

Characterising Probabilistic Processes Logically

Yuxin Deng, Rob J. van Glabbeek

CoRR, 2010

Characterising Probabilistic Processes Logically - (Extended Abstract).

Yuxin Deng, Rob J. van Glabbeek

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

On Mobility and Communication.

Wenjie Du, Yuxin Deng

Proceedings of the Fifth International Symposium on Domain Theory, 2009

The Kantorovich Metric in Computer Science: A Brief Survey.

Yuxin Deng, Wenjie Du

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

Verifying Self-stabilizing Population Protocols with Coq.

Yuxin Deng, Jean-François Monin

Proceedings of the TASE 2009, 2009

A Local Algorithm for Checking Probabilistic Bisimilarity.

Yuxin Deng, Wenjie Du

Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

Testing Finitary Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Verifying Anonymous Credential Systems in Applied Pi Calculus.

Xiangxi Li, Yu Zhang, Yuxin Deng

Proceedings of the Cryptology and Network Security, 8th International Conference, 2009

2008

Characterising Testing Preorders for Finite Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan

Log. Methods Comput. Sci., 2008

On automatic verification of self-stabilizing population protocols.

Jun Pang, Zhengqin Luo, Yuxin Deng

Frontiers Comput. Sci. China, 2008

A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol.

Xiaojuan Cai, Yuxin Deng

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

Game Characterizations of Process Equivalences.

Xin Chen, Yuxin Deng

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Axiomatizations for probabilistic finite-state behaviors.

Yuxin Deng, Catuscia Palamidessi

Theor. Comput. Sci., 2007

Remarks on Testing Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Probabilistic Barbed Congruence.

Yuxin Deng, Wenjie Du

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences.

Yuxin Deng

Bull. EATCS, 2007

Towards Automatic Measurement of Probabilistic Processes.

Lin Song, Yuxin Deng, Xiaojuan Cai

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Characterising Testing Preorders for Finite Probabilistic Processes.

Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Scalar Outcomes Suffice for Finitary Probabilistic Testing.

Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang

Proceedings of the Programming Languages and Systems, 2007

Analyzing an Electronic Cash Protocol Using Applied Pi Calculus.

Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng

Proceedings of the Applied Cryptography and Network Security, 5th International Conference, 2007

2006

Towards an algebraic theory of typed mobile processes.

Yuxin Deng, Davide Sangiorgi

Theor. Comput. Sci., 2006

Ensuring termination by typability.

Yuxin Deng, Davide Sangiorgi

Inf. Comput., 2006

Measuring Anonymity with Relative Entropy.

Yuxin Deng, Jun Pang, Peng Wu

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2005

Axiomatisations and Types for Probabilistic and Mobile Processes. (Axiomatisations et types pour des processus probabilistes et mobiles).

Yuxin Deng

PhD thesis, 2005

Weak Probabilistic Anonymity.

Yuxin Deng, Catuscia Palamidessi, Jun Pang

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005

Metrics for Action-labelled Quantitative Transition Systems.

Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Compositional Reasoning for Probabilistic Finite-State Behaviors.

Yuxin Deng, Catuscia Palamidessi, Jun Pang

Proceedings of the Processes, 2005