| Publication | Date of Publication | Type |
|---|
| Reversible causal graph dynamics: invertibility, block representation, vertex-preservation | 2024-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6168435 | 2023-08-08 | Paper |
| Hybrid quantum-classical circuit simplification with the ZX-calculus | 2023-03-29 | Paper |
| Outcome determinism in measurement-based quantum computation with qudits | 2023-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5091270 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5092417 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089188 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020630 | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384922 | 2021-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014779 | 2021-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4997268 | 2021-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986660 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856401 | 2021-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5146656 | 2021-01-26 | Paper |
| A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics | 2021-01-20 | Paper |
| Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics | 2021-01-20 | Paper |
| Quantum programming with inductive datatypes: causality and affine type theory | 2020-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5114829 | 2020-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111225 | 2020-05-26 | Paper |
| Contextuality in multipartite pseudo-telepathy graph games | 2019-11-29 | Paper |
| Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus | 2019-02-08 | Paper |
| A complete characterization of all-versus-nothing arguments for stabilizer states | 2018-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4608639 | 2018-03-21 | Paper |
| Determinism and computational power of real measurement-based quantum computation | 2017-11-22 | Paper |
| Contextuality in multipartite pseudo-telepathy graph games | 2017-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2958434 | 2017-02-01 | Paper |
| Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition | 2016-10-07 | Paper |
| Reversibility in Extended Measurement-Based Quantum Computation | 2016-09-30 | Paper |
| Reversible Causal Graph Dynamics | 2016-08-10 | Paper |
| Minimum Degree Up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms | 2016-01-11 | Paper |
| New Protocols and Lower Bounds for Quantum Secret Sharing with Graph States | 2015-12-03 | Paper |
| Which Graph States are Useful for Quantum Information Processing? | 2015-11-20 | Paper |
| Quantum Circuits for the Unitary Permutation Problem | 2015-09-30 | Paper |
| Block Representation of Reversible Causal Graph Dynamics | 2015-09-29 | Paper |
| On weak odd domination and graph-based quantum secret sharing | 2015-09-16 | Paper |
| Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus | 2015-01-15 | Paper |
| Bases in Diagrammatic Quantum Protocols | 2014-05-13 | Paper |
| The Parameterized Complexity of Domination-Type Problems and Application to Linear Codes | 2014-04-16 | Paper |
| Towards a Quantum Calculus | 2014-01-17 | Paper |
| Quantum Patterns and Types for Entanglement and Separability | 2013-12-06 | Paper |
| A Hierarchy of Quantum Semantics | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851713 | 2013-10-02 | Paper |
| Parameterized Complexity of Weak Odd Domination Problems | 2013-08-16 | Paper |
| Environment and Classical Channels in Categorical Quantum Mechanics | 2013-01-07 | Paper |
| On the Minimum Degree Up to Local Complementation: Bounds and Complexity | 2012-11-06 | Paper |
| Optimal accessing and non-accessing structures for graph protocols | 2011-09-28 | Paper |
| Computational Depth Complexity of Measurement-Based Quantum Computation | 2011-01-28 | Paper |
| Rewriting Measurement-Based Quantum Computations with Generalised Flow | 2010-09-07 | Paper |
| Environment and Classical Channels in Categorical Quantum Mechanics | 2010-09-03 | Paper |
| Graph States and the Necessity of Euler Decomposition | 2010-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3560841 | 2010-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3560842 | 2010-05-14 | Paper |
| Finding Optimal Flows Efficiently | 2008-08-28 | Paper |
| Quantum Entanglement Analysis Based on Abstract Interpretation | 2008-08-28 | Paper |
| Resources Required for Preparing Graph States | 2008-04-24 | Paper |
| Classically controlled quantum computation | 2006-08-28 | Paper |
