| Publication | Date of Publication | Type |
|---|
| Realizability in the unitary sphere | 2024-12-19 | Paper |
| Categorical semantics of reversible pattern-matching | 2024-12-17 | Paper |
| A curry-Howard correspondence for linear, reversible computation | 2024-09-25 | Paper |
| LO\(_\text{v}\)-calculus: a graphical language for linear optical quantum circuits | 2024-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6187071 | 2024-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6168444 | 2023-08-08 | Paper |
| Strong simulation of linear optical processes | 2023-08-07 | Paper |
| Quantum circuits synthesis using Householder transformations | 2023-04-25 | Paper |
| Hybrid quantum-classical circuit simplification with the ZX-calculus | 2023-03-29 | Paper |
| On new PageRank computation methods using quantum computing | 2023-03-24 | Paper |
| Semantics of quantum programming languages: Classical control, quantum control | 2022-08-26 | Paper |
| An automated deductive verification framework for circuit-building quantum programs | 2021-10-18 | Paper |
| Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem | 2021-07-05 | Paper |
| Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress | 2021-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986659 | 2021-04-27 | Paper |
| On the semantics of polychronous polytimed specifications | 2021-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151026 | 2021-02-16 | Paper |
| Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces | 2019-02-08 | Paper |
| From symmetric pattern-matching to quantum control | 2018-07-17 | Paper |
| Parallelism and Synchronization in an Infinitary Context | 2018-04-23 | Paper |
| A symbolic operational semantics for TESL -- with an application to heterogeneous system testing | 2017-12-01 | Paper |
| Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target | 2017-10-23 | Paper |
| The geometry of parallelism: classical, probabilistic, and quantum effects | 2017-10-20 | Paper |
| The vectorial \(\lambda\)-calculus | 2017-05-18 | Paper |
| On quantum and probabilistic linear lambda-calculi (extended abstract) | 2016-10-07 | Paper |
| Generating Reversible Circuits from Higher-Order Functional Programs | 2016-08-10 | Paper |
| Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus | 2015-01-15 | Paper |
| Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi | 2015-01-13 | Paper |
| Quantum computation: from a programmer's perspective | 2014-11-07 | Paper |
| Quantum computation: a tutorial | 2014-11-07 | Paper |
| Applying quantitative semantics to higher-order quantum computing | 2014-04-10 | Paper |
| On a fully abstract model for a quantum linear functional language (extended abstract) | 2014-01-17 | Paper |
| An Introduction to Quantum Programming in Quipper | 2013-12-17 | Paper |
| A typed, algebraic, computational lambda-calculus | 2013-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3560839 | 2010-05-14 | Paper |
| A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract) | 2008-04-11 | Paper |
| A lambda calculus for quantum computation with classical control | 2006-08-28 | Paper |
| Typed Lambda Calculi and Applications | 2005-11-11 | Paper |
