| Publication | Date of Publication | Type |
|---|
| Describing and animating quantum protocols | 2024-10-01 | Paper |
| Specification structures and propositions-as-types for concurrency | 2024-06-21 | Paper |
Hamming Distance Kernelisation via Topological Quantum Computation
Theory and Practice of Natural Computing | 2022-12-09 | Paper |
| Formalization \textit{of} quantum protocols using Coq | 2021-12-06 | Paper |
Formalization \textit{of} quantum protocols using Coq
(available as arXiv preprint) | 2021-12-06 | Paper |
| Analysis of a quantum error correcting code using quantum process calculus | 2021-04-27 | Paper |
Analysis of a quantum error correcting code using quantum process calculus
(available as arXiv preprint) | 2021-04-27 | Paper |
Quantum error-correcting output codes
International Journal of Quantum Information | 2019-02-08 | Paper |
Automated equivalence checking of concurrent quantum systems
ACM Transactions on Computational Logic | 2019-02-07 | Paper |
Communicating quantum processes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Exogenous probabilistic computation tree logic
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Simulating and compiling code for the sequential quantum random access machine
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Equivalence checking of quantum protocols
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Techniques for Formal Modelling and Analysis of Quantum Systems
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Lossless quantum data compression and quantum Kolmogorov complexity
International Journal of Quantum Information | 2011-07-13 | Paper |
| Specification and verification of quantum protocols | 2010-05-14 | Paper |
On Feedback and the Classical Capacity of a Noisy Quantum Channel
IEEE Transactions on Information Theory | 2008-12-21 | Paper |
SECOND QUANTIZED KOLMOGOROV COMPLEXITY
International Journal of Quantum Information | 2008-11-17 | Paper |
Types and typechecking for Communicating Quantum Processes
Mathematical Structures in Computer Science | 2006-08-28 | Paper |
Intensional and extensional semantics of dataflow programs
Formal Aspects of Computing | 2005-02-08 | Paper |
| scientific article; zbMATH DE number 1953276 (Why is no real title available?) | 2003-07-27 | Paper |
| scientific article; zbMATH DE number 910713 (Why is no real title available?) | 2000-04-26 | Paper |
A specification structure for deadlock-freedom of synchronous processes
Theoretical Computer Science | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1088044 (Why is no real title available?) | 1997-11-17 | Paper |
| scientific article; zbMATH DE number 860038 (Why is no real title available?) | 1996-05-07 | Paper |
