Yuxin Deng

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 59

Top Venues

CoRR

Theor. Comput. Sci.

ICFEM

J. Comput. Sci. Technol.

Mines ParisTech, France (PHD)

Education History

Mines ParisTech, France

PHD

Publications

Hui Jiang, Yuxin Deng, Ming Xu
Qubit Mapping Based on Tabu Search. J. Comput. Sci. Technol. 39 (2) (2024)
Yuxin Deng, Kaining Zhang, Shihua Zhang, Yansheng Li, Jiayi Ma
ResMatch: Residual Attention Learning for Feature Matching. AAAI (2024)
Yuxin Deng, Jiayi Ma
SDGMNet: Statistic-Based Dynamic Gradient Modulation for Local Descriptor Learning. AAAI (2024)
Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. CoRR (2024)
Wenjun Shi, Qinxiang Cao, Yuxin Deng
Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq. J. Circuits Syst. Comput. 33 (6) (2024)
Cuiping Shi, Zhenquan Liu, Jiageng Qu, Yuxin Deng
The Expansion Methods of Inception and Its Application. Symmetry 16 (4) (2024)
Yuxin Deng, Huiling Wu, Ming Xu
Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs. VMCAI (2) (2024)
Anna Schmitt, Kirstin Peters, Yuxin Deng
Encodability Criteria for Quantum Based Systems. Log. Methods Comput. Sci. 20 (2) (2024)
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)
Zezhong Chen, Yuxin Deng, Wenjie Du
Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models. CoRR (2023)
Yijia Chen, Pierre-Louis Curien, Yuxin Deng, Min Zhang
birthday of Yuxi Fu. Theor. Comput. Sci. 945 (2023)
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. CoRR (2023)
Yuxin Deng, Huiling Wu, Ming Xu
Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs. CoRR (2023)
Yuxin Deng, Jiayi Ma
ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning. IEEE Trans. Image Process. 32 (2023)
Yuxin Deng, Jinxing Li, Wangqiang Jiang, Min Zhang
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 (2023)
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) (2023)
Yuxin Deng, Jiayi Ma
ResMatch: Residual Attention Learning for Local Feature Matching. CoRR (2023)
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
An algebraic method to fidelity-based model checking over quantum Markov chains. Theor. Comput. Sci. 935 (2022)
Anna Schmitt, Kirstin Peters, Yuxin Deng
Encodability Criteria for Quantum Based Systems. FORTE (2022)
Anna Schmitt, Kirstin Peters, Yuxin Deng
Encodability Criteria for Quantum Based Systems (Technical Report). CoRR (2022)
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 (2022)
Yuxin Deng
Invited talk: Formal Verification of Quantum Protocols. FAVPQC@ICFEM (2022)
Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains. CoRR (2022)
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
Model checking QCTL plus on quantum Markov chains. Theor. Comput. Sci. 913 (2022)
Wenjie Du, Yuxin Deng, Daniel Gebler
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. Sci. Ann. Comput. Sci. 32 (2) (2022)
Linfeng Tang, Yuxin Deng, Yong Ma, Jun Huang, Jiayi Ma
SuperFusion: A Versatile Image Registration and Fusion Network with Semantic Awareness. IEEE CAA J. Autom. Sinica 9 (12) (2022)
Yuxin Deng, Yuan Feng
Formal semantics of a classical-quantum language. Theor. Comput. Sci. 913 (2022)
Yuxin Deng, Jiayi Ma
ReDFeat: Recoupling Detection and Description for Multimodal Feature Learning. CoRR (2022)
Zhihao Wang, Honggang Xu, Xin Li, Yuxin Deng
Learning Attention-Based Translational Knowledge Graph Embedding via Nonlinear Dynamic Mapping. PAKDD (3) (2021)
Ying-Ji Sun, Ming Xu, Yuxin Deng
An optimal quantum error-correcting procedure using quantifier elimination. Quantum Inf. Process. 20 (4) (2021)
Cong Tian, Yuxin Deng, Yu Jiang
Preface to the Topic of Formal Methods and Their Applications. Int. J. Softw. Informatics 11 (4) (2021)
Yinkai Chen, Rui Zhang, Xin Qiu, Xin Li, Yuxin Deng
Explaining GBDT by Probabilistic Finite-State Automata. ICCPR (2021)
Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng
An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains. CoRR (2021)
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
Symbolic Reasoning About Quantum Circuits in Coq. J. Comput. Sci. Technol. 36 (6) (2021)
Yuxin Deng, Min Zhang, Wangqiang Jiang, Letian Wang
Electromagnetic Scattering of Near-Field Turbulent Wake Generated by Accelerated Propeller. Remote. Sens. 13 (24) (2021)
Yuxin Deng, Yuan Feng
Formal Semantics of a Classical-Quantum Language. CoRR (2021)
Jiayi Ma, Yuxin Deng
SDGMNet: Statistic-based Dynamic Gradient Modulation for Local Descriptor Learning. CoRR (2021)
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)
Xudong Qin, Yuxin Deng, Wenjie Du
Verifying Quantum Communication Protocols with Ground Bisimulation. TACAS (2) (2020)
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) (2020)
Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang
SMT-based generation of symbolic automata. Acta Informatica 57 (3-5) (2020)
Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng
Symbolic Reasoning about Quantum Circuits in Coq. CoRR (2020)
Xin Li, Patrick Gardy, Yuxin Deng, Hiroyuki Seki
Reachability of Patterned Conditional Pushdown Systems. J. Comput. Sci. Technol. 35 (6) (2020)
Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du
Qsimulation V2.0: An Optimized Quantum Simulator. ICTAC (2020)
Ming Xu, Yuxin Deng
Time-bounded termination analysis for probabilistic programs with delays. Inf. Comput. 275 (2020)
Patrick Gardy, Yuxin Deng
Simulations for Multi-Agent Systems with Imperfect Information. ICFEM (2019)
Yuxin Deng, Jean-François Monin
Formalisation of Probabilistic Testing Semantics in Coq. The Art of Modelling Computational Systems (2019)
Hengyang Wu, Yuxin Deng
Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems. IEEE Trans. Fuzzy Syst. 26 (2) (2018)
Yuxin Deng
Bisimulations for Probabilistic and Quantum Processes (Invited Paper). CONCUR (2018)
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 (2018)
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 (2018)
Xin Li, Hua Vy Le Thanh, Yuxin Deng, Julian Dolby
Generating Permission-Based Security Policies. DSA (2018)
Yuxin Deng, Min Zhang, Guoqing Lei
An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. ICFEM (2017)
Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang
On Equivalence Checking of Nondeterministic Finite Automata. SETTA (2017)
Yuxin Deng, Yuan Feng
Probabilistic bisimilarity as testing equivalence. Inf. Comput. 257 (2017)
Yuxin Deng, Yuan Feng
Bisimulations for probabilistic linear lambda calculi. TASE (2017)
Hengyang Wu, Yuxin Deng
Logical characterizations of simulation and bisimulation for fuzzy transition systems. Fuzzy Sets Syst. 301 (2016)
Wenjie Du, Yuxin Deng, Daniel Gebler
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. SETTA (2016)
Yuxin Deng, Robert J. Simmons, Iliano Cervesato
Relating reasoning methodologies in linear logic and process algebra. Math. Struct. Comput. Sci. 26 (5) (2016)
Yuxin Deng, Yuan Feng, Ugo Dal Lago
On Coinduction and Quantum Lambda Calculi. CONCUR (2015)
Yuxin Deng, Yu Zhang
Program equivalence in linear contexts. Theor. Comput. Sci. 585 (2015)
Yuxin Deng, Wenjie Du, Daniel Gebler
Modal Characterisations of Behavioural Pseudometrics. CoRR (2015)
Yuxin Deng
Book Introduction by the Author: Semantics of Probabilistic Processes An Operational Approach. Bull. EATCS 116 (2015)
Yuan Feng, Yuxin Deng, Mingsheng Ying
Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Log. 15 (2) (2014)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Real-reward testing for probabilistic processes. Theor. Comput. Sci. 538 (2014)
Yuxin Deng, Hengyang Wu
Modal Characterisations of Probabilistic and Fuzzy Bisimulations. ICFEM (2014)
Yuxin Deng, Matthew Hennessy
Compositional reasoning for weighted Markov decision processes. Sci. Comput. Program. 78 (12) (2013)
Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong
The Buffered π-Calculus: A Model for Concurrent Languages. LATA (2013)
Yuxin Deng, Matthew Hennessy
On the semantics of Markov automata. Inf. Comput. 222 (2013)
Yuxin Deng, Iliano Cervesato, Robert J. Simmons
Relating Reasoning Methodologies in Linear Logic and Process Algebra LINEARITY (2012)
Yuxin Deng, Yuan Feng
Open Bisimulation for Quantum Processes. IFIP TCS (2012)
Yuan Feng, Yuxin Deng, Mingsheng Ying
Symbolic bisimulation for quantum processes CoRR (2012)
Yuxin Deng, Yuan Feng
Open Bisimulation for Quantum Processes CoRR (2012)
Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong
The Buffered π-Calculus: A Model for Concurrent Languages CoRR (2012)
Yuxin Deng, Matthew Hennessy
On the Semantics of Markov Automata. ICALP (2) (2011)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Real-Reward Testing for Probabilistic Processes (Extended Abstract) QAPL (2011)
Yuxin Deng, Wenjie Du
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation CoRR (2011)
Yuxin Deng, Matthew Hennessy
Compositional Reasoning for Markov Decision Processes - (Extended Abstract). FSEN (2011)
Yuxin Deng, Yu Zhang
Program Equivalence in Linear Contexts CoRR (2011)
Yuxin Deng, Stéphane Grumbach, Jean-François Monin
A Framework for Verifying Data-Centric Protocols. FMOODS/FORTE (2011)
Yuxin Deng, Rob J. van Glabbeek
Characterising Probabilistic Processes Logically CoRR (2010)
Yuxin Deng, Rob J. van Glabbeek
Characterising Probabilistic Processes Logically - (Extended Abstract). LPAR (Yogyakarta) (2010)
Wenjie Du, Yuxin Deng
On Mobility and Communication. ISDT (2009)
Yuxin Deng, Wenjie Du
The Kantorovich Metric in Computer Science: A Brief Survey. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Testing Finitary Probabilistic Processes. CONCUR (2009)
Yuxin Deng, Jean-François Monin
Verifying Self-stabilizing Population Protocols with Coq. TASE (2009)
Xiangxi Li, Yu Zhang, Yuxin Deng
Verifying Anonymous Credential Systems in Applied Pi Calculus. CANS (2009)
Yuxin Deng, Wenjie Du
A Local Algorithm for Checking Probabilistic Bisimilarity. FCST (2009)
Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan
Characterising Testing Preorders for Finite Probabilistic Processes CoRR (2008)
Jun Pang, Zhengqin Luo, Yuxin Deng
On automatic verification of self-stabilizing population protocols. Frontiers Comput. Sci. China 2 (4) (2008)
Xiaojuan Cai, Yuxin Deng
A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol. ISCSCT (2) (2008)
Xin Chen, Yuxin Deng
Game Characterizations of Process Equivalences. APLAS (2008)
Jun Pang, Zhengqin Luo, Yuxin Deng
On Automatic Verification of Self-Stabilizing Population Protocols. TASE (2008)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Characterising Testing Preorders for Finite Probabilistic Processes. Log. Methods Comput. Sci. 4 (4) (2008)
Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang
Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP (2007)
Yuxin Deng
A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences. Bull. EATCS 93 (2007)
Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. ACNS (2007)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
Remarks on Testing Probabilistic Processes. Electron. Notes Theor. Comput. Sci. 172 (2007)
Yuxin Deng, Catuscia Palamidessi
Axiomatizations for probabilistic finite-state behaviors. Theor. Comput. Sci. 373 (1-2) (2007)
Yuxin Deng, Catuscia Palamidessi, Jun Pang
Weak Probabilistic Anonymity. Electron. Notes Theor. Comput. Sci. 180 (1) (2007)

Yuxin Deng.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yuxin Deng