| Publication | Date of Publication | Type |
|---|
| A binary integer programming-based method for qubit mapping in sparse architectures | 2025-01-08 | Paper |
| Behavioural pseudometrics for nondeterministic probabilistic systems | 2024-08-15 | Paper |
| Encodability criteria for quantum based systems | 2024-06-27 | Paper |
| Formalisation of Probabilistic Testing Semantics in Coq | 2024-03-14 | Paper |
| 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 |
