| Publication | Date of Publication | Type |
|---|
| Hamming Distance Kernelisation via Topological Quantum Computation | 2022-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992513 | 2021-06-09 | Paper |
| A Type Theory for Probabilistic $$\lambda $$–calculus | 2020-07-20 | Paper |
| Note on filtered colimits of Hilbert spaces | 2019-11-22 | Paper |
| A quantum annealing approach to biclustering | 2018-10-26 | Paper |
| Biclustering with a quantum annealer | 2018-10-23 | Paper |
| A probabilistic semantics for the pure \(\lambda\)-calculus | 2017-11-03 | Paper |
| On negation as instantiation | 2017-01-19 | Paper |
| Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression | 2016-03-23 | Paper |
| Probabilistic Analysis of Programs: A Weak Limit Approach | 2016-01-07 | Paper |
| A Calculus of Anyons | 2015-01-13 | Paper |
| Semantics of Probabilistic Programs: A Weak Limit Approach | 2015-01-12 | Paper |
| Relational Analysis and Precision via Probabilistic Abstract Interpretation | 2014-05-13 | Paper |
| Semantic Abstraction and Quantum Computation | 2014-01-17 | Paper |
| On Probabilistic Techniques for Data Flow Analysis | 2014-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863887 | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851703 | 2013-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849850 | 2013-09-20 | Paper |
| Linear Structures for Concurrency in Probabilistic Programming Languages | 2013-06-06 | Paper |
| Probabilistic Confinement in a Declarative Framework | 2013-05-24 | Paper |
| Probabilistic Semantics and Program Analysis | 2010-07-06 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Foundations of Security Analysis and Design II | 2009-05-14 | Paper |
| A Systematic Approach to Probabilistic Pointer Analysis | 2008-05-15 | Paper |
| Abstract Interpretation for Worst and Average Case Analysis | 2007-09-24 | Paper |
| On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages | 2007-09-11 | Paper |
| Tempus fugit: How to plug it | 2007-08-10 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Reversible combinatory logic | 2006-08-28 | Paper |
| Coordination Models and Languages | 2006-01-10 | Paper |
| Quantitative static analysis of distributed systems | 2005-10-11 | Paper |
| Probabilistic -calculus and Quantitative Program Analysis | 2005-07-13 | Paper |
| Measuring the confinement of probabilistic systems | 2005-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813208 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421876 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411968 | 2003-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953364 | 2001-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944894 | 2000-12-05 | Paper |
| An algebraic perspective of constraint logic programming | 1997-04-21 | Paper |
| Nondeterminism and infinite computations in constraint programming | 1997-02-27 | Paper |
| Negation as instantiation | 1996-04-22 | Paper |
