Yuxin Deng
East China Normal University
H-index: 25
Asia-China
Top articles of Yuxin Deng
Encodability criteria for quantum based systems
2022/6/12
Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq
Journal of Circuits, Systems, and Computers
2024/4/1
Yuxin Deng
H-Index: 14
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
arXiv preprint arXiv:2402.15827
2024/2/24
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-Time Markov Chains
arXiv preprint arXiv:2310.11882
2023/10/18
Preface for the special issue of Theoretical Computer Science in honor of the 60th birthday of Yuxi Fu
2023/2/4
Local Reasoning About Probabilistic Behaviour for Classical–Quantum Programs
2023/12/30
Yuxin Deng
H-Index: 14
Ming Xu
H-Index: 14
Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models
arXiv preprint arXiv:2309.12941
2023/9/22
Yuxin Deng
H-Index: 14
Reasoning about Software Trustworthiness with Derivation Trees
Journal of Shanghai Jiaotong University (Science)
2022/11/12
An algebraic method to fidelity-based model checking over quantum Markov chains
Theoretical Computer Science
2022/10/31
Ming Xu
H-Index: 14
Yuxin Deng
H-Index: 14
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.
Sci. Ann. Comput. Sci.
2022/7/1
Yuxin Deng
H-Index: 14
Daniel Gebler
H-Index: 11
A Pattern Matching-Based Framework for Quantum Circuit Rewriting
arXiv preprint arXiv:2206.06684
2022/6/14
Model checking QCTL plus on quantum Markov chains
Theoretical Computer Science
2022/4/20
Ming Xu
H-Index: 14
Yuxin Deng
H-Index: 14
Formal semantics of a classical-quantum language
Theoretical Computer Science
2022/4/20
Yuxin Deng
H-Index: 14
Yuan Feng
H-Index: 3
Checking continuous stochastic logic against quantum continuous-time Markov chains
arXiv preprint arXiv:2202.05412
2022/2/11
Quingo: A programming framework for heterogeneous quantum-classical computing with nisq features
ACM Transactions on Quantum Computing
2021/12/21
Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness
2021/12/6
Yuxin Deng
H-Index: 14
Jinghui Li
H-Index: 3
Symbolic reasoning about quantum circuits in Coq
Journal of Computer Science and Technology
2021/12
Explaining GBDT by Probabilistic Finite-State Automata
2021/10/15