| Publication | Date of Publication | Type |
|---|
| Five axioms of alpha-conversion | 2024-07-05 | Paper |
| Reasoning about cryptographic protocols in the spi calculus | 2023-05-17 | Paper |
| Tabular: Probabilistic Inference from the Spreadsheet | 2021-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5278083 | 2017-07-13 | Paper |
| A lambda-calculus foundation for universal probabilistic programming | 2017-05-10 | Paper |
| Fabular: regression formulas as probabilistic programming | 2016-10-24 | Paper |
| A semantics for web services authentication | 2015-11-11 | Paper |
| Modular verification of security protocol code by typing | 2015-06-11 | Paper |
| Anytime, anywhere | 2015-03-17 | Paper |
| Typing a multi-language intermediate code | 2015-03-17 | Paper |
| Stack inspection | 2015-03-17 | Paper |
| Semantic subtyping with an SMT solver | 2015-03-05 | Paper |
| A Preconditioner for Fictitious Domain Formulations of Elliptic PDEs on Uncertain Parameterized Domains | 2015-01-14 | Paper |
| A model-learner pattern for bayesian reasoning | 2014-11-27 | Paper |
| Type Inference for Correspondence Types | 2014-07-22 | Paper |
| Tabular | 2014-04-10 | Paper |
| A chart semantics for the pi-calculus | 2013-12-06 | Paper |
| Measure transformer semantics for Bayesian machine learning | 2013-09-26 | Paper |
| Deriving Probability Density Functions from Probabilistic Functional Programs | 2013-08-05 | Paper |
| Typing Correspondence Assertions for Communication Protocols | 2013-04-26 | Paper |
| Semantic subtyping with an SMT solver | 2012-09-21 | Paper |
| Mobile ambients | 2012-09-05 | Paper |
| On solving stochastic collocation systems with algebraic multigrid | 2012-08-17 | Paper |
| Cryptographic Verification by Typing for a Sample Protocol Implementation | 2011-09-16 | Paper |
| Roles, stacks, histories: a triple for Hoare | 2011-07-25 | Paper |
| Measure transformer semantics for Bayesian machine learning | 2011-05-19 | Paper |
| Solving stochastic collocation systems with algebraic multigrid | 2011-05-18 | Paper |
| Principles and applications of refinement types | 2010-12-13 | Paper |
| Roles, stacks, histories: A triple for Hoare | 2010-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3525844 | 2008-09-18 | Paper |
| Verified interoperable implementations of security protocols | 2008-03-06 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Static Analysis | 2006-10-31 | Paper |
| Types for the ambient calculus | 2006-08-03 | Paper |
| Deciding validity in a spatial logic for trees | 2006-01-25 | Paper |
| Validating a web service security abstraction by typing | 2005-12-13 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| A semantics for web services authentication | 2005-06-30 | Paper |
| Secrecy and group creation | 2005-02-22 | Paper |
| Model checking mobile ambients | 2004-10-27 | Paper |
| Equational properties of mobile ambients | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738363 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474850 | 2004-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428316 | 2003-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418581 | 2003-08-11 | Paper |
| Typing correspondence assertions for communication protocols | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484480 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798028 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778711 | 2002-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536340 | 2002-11-04 | Paper |
| Region analysis and a π-calculus with groups | 2002-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536435 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536614 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778816 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769429 | 2002-02-05 | Paper |
| Operational equivalences for untyped and polymorphic object calculi | 2001-03-19 | Paper |
| Relating operational and denotational semantics for input/output effects | 2000-10-17 | Paper |
| Bisimilarity as a theory of functional programming | 2000-08-23 | Paper |
| Mobile ambients | 2000-08-21 | Paper |
| Compilation and equivalence of imperative objects | 2000-05-28 | Paper |
| A calculus for cryptographic protocols: The spi calculus | 1999-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4230922 | 1999-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223023 | 1999-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222941 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222760 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698362 | 1996-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4856176 | 1995-11-23 | Paper |
