Yu-xin Deng

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
An optimal quantum error-correcting procedure using quantifier elimination	2023-03-15	Paper
On Equivalence Checking of Nondeterministic Finite Automata	2022-11-04	Paper
An algebraic method to fidelity-based model checking over quantum Markov chains	2022-10-14	Paper
Encodability criteria for quantum based systems	2022-08-19	Paper
Model checking QCTL plus on quantum Markov chains	2022-04-07	Paper
Formal semantics of a classical-quantum language	2022-04-07	Paper
Verifying quantum communication protocols with ground bisimulation	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5009413	2021-08-04	Paper
Qsimulation V2.0: an optimized quantum simulator	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4986742	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4965811	2021-03-10	Paper
Time-bounded termination analysis for probabilistic programs with delays	2020-12-15	Paper
SMT-based generation of symbolic automata	2020-05-26	Paper
Behavioural pseudometrics for nondeterministic probabilistic systems	2018-08-16	Paper
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems	2018-02-21	Paper
Logical characterizations of simulation and bisimulation for fuzzy transition systems	2018-01-22	Paper
Probabilistic bisimilarity as testing equivalence	2017-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q5357721	2017-09-12	Paper
On Mobility and Communication	2016-08-01	Paper
Relating reasoning methodologies in linear logic and process algebra	2016-07-28	Paper
Program equivalence in linear contexts	2015-05-26	Paper
Semantics of Probabilistic Processes	2015-02-03	Paper
On real reward testing	2014-09-02	Paper
Symbolic Bisimulation for Quantum Processes	2014-07-17	Paper
Real-reward testing for probabilistic processes	2014-06-06	Paper
Probabilistic Barbed Congruence	2014-01-17	Paper
Remarks on Testing Probabilistic Processes	2013-12-06	Paper
Weak Probabilistic Anonymity	2013-12-06	Paper
On the semantics of Markov automata	2013-06-06	Paper
Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus	2013-03-22	Paper
The Buffered π-Calculus: A Model for Concurrent Languages	2013-03-18	Paper
Open Bisimulation for Quantum Processes	2012-09-21	Paper
Compositional Reasoning for Markov Decision Processes	2012-06-29	Paper
On the Semantics of Markov Automata	2011-07-07	Paper
Finite axiomatization for symbolic probabilistic \(\pi \)-calculus	2011-01-05	Paper
Characterising Probabilistic Processes Logically	2010-10-12	Paper
Testing Finitary Probabilistic Processes	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3396626	2009-09-19	Paper
Characterising Testing Preorders for Finite Probabilistic Processes	2009-04-29	Paper
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus	2009-03-10	Paper
Scalar Outcomes Suffice for Finitary Probabilistic Testing	2007-09-04	Paper
Axiomatizations for probabilistic finite-state behaviors	2007-04-13	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
Ensuring termination by typability	2006-08-16	Paper
Towards an algebraic theory of typed mobile processes	2006-03-20	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
Automata, Languages and Programming	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4673437	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4543303	2002-08-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yu-xin Deng