| Publication | Date of Publication | Type |
|---|
| Five axioms of alpha-conversion | 2024-07-05 | Paper |
Reasoning about cryptographic protocols in the spi calculus
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
Tabular: Probabilistic Inference from the Spreadsheet
Foundations of Probabilistic Programming | 2021-02-16 | Paper |
| Deriving probability density functions from probabilistic functional programs | 2017-07-13 | Paper |
A lambda-calculus foundation for universal probabilistic programming
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
A lambda-calculus foundation for universal probabilistic programming
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
Fabular: regression formulas as probabilistic programming
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
A semantics for web services authentication
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
Modular verification of security protocol code by typing
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Typing a multi-language intermediate code
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Stack inspection
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Semantic subtyping with an SMT solver
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
A preconditioner for fictitious domain formulations of elliptic PDEs on uncertain parameterized domains
SIAM/ASA Journal on Uncertainty Quantification | 2015-01-14 | Paper |
A model-learner pattern for bayesian reasoning
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
Type Inference for Correspondence Types
Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
Tabular, a schema-driven probabilistic programming language
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
A chart semantics for the pi-calculus
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Measure transformer semantics for Bayesian machine learning
Logical Methods in Computer Science | 2013-09-26 | Paper |
Deriving probability density functions from probabilistic functional programs
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Typing Correspondence Assertions for Communication Protocols
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Semantic subtyping with an SMT solver
Journal of Functional Programming | 2012-09-21 | Paper |
| Mobile ambients | 2012-09-05 | Paper |
On solving stochastic collocation systems with algebraic multigrid
IMA Journal of Numerical Analysis | 2012-08-17 | Paper |
Cryptographic Verification by Typing for a Sample Protocol Implementation
Foundations of Security Analysis and Design VI | 2011-09-16 | Paper |
Roles, stacks, histories: a triple for Hoare
Journal of Functional Programming | 2011-07-25 | Paper |
Measure transformer semantics for Bayesian machine learning
Programming Languages and Systems | 2011-05-19 | Paper |
Solving stochastic collocation systems with algebraic multigrid
Numerical Mathematics and Advanced Applications 2009 | 2011-05-18 | Paper |
| Principles and applications of refinement types | 2010-12-13 | Paper |
Roles, stacks, histories: A triple for Hoare
Reflections on the Work of C.A.R. Hoare | 2010-10-26 | Paper |
| scientific article; zbMATH DE number 5345348 (Why is no real title available?) | 2008-09-18 | Paper |
| Verified interoperable implementations of security protocols | 2008-03-06 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2006-10-31 | Paper |
Types for the ambient calculus
Information and Computation | 2006-08-03 | Paper |
Deciding validity in a spatial logic for trees
Journal of Functional Programming | 2006-01-25 | Paper |
Validating a web service security abstraction by typing
Formal Aspects of Computing | 2005-12-13 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
A semantics for web services authentication
Theoretical Computer Science | 2005-06-30 | Paper |
Secrecy and group creation
Information and Computation | 2005-02-22 | Paper |
Model checking mobile ambients
Theoretical Computer Science | 2004-10-27 | Paper |
Equational properties of mobile ambients
Mathematical Structures in Computer Science | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 2087553 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2079038 (Why is no real title available?) | 2004-07-21 | Paper |
| scientific article; zbMATH DE number 1980941 (Why is no real title available?) | 2003-09-15 | Paper |
| scientific article; zbMATH DE number 1962753 (Why is no real title available?) | 2003-08-11 | Paper |
Typing correspondence assertions for communication protocols
Theoretical Computer Science | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1927556 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1884408 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1832233 (Why is no real title available?) | 2002-11-19 | Paper |
| scientific article; zbMATH DE number 1759392 (Why is no real title available?) | 2002-11-04 | Paper |
Region analysis and a π-calculus with groups
Journal of Functional Programming | 2002-10-06 | Paper |
| scientific article; zbMATH DE number 1759481 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1759623 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1722648 (Why is no real title available?) | 2002-03-21 | Paper |
| scientific article; zbMATH DE number 1701350 (Why is no real title available?) | 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
Mathematical Structures in Computer Science | 2000-10-17 | Paper |
Bisimilarity as a theory of functional programming
Theoretical Computer Science | 2000-08-23 | Paper |
Mobile ambients
Theoretical Computer Science | 2000-08-21 | Paper |
Compilation and equivalence of imperative objects
Journal of Functional Programming | 2000-05-28 | Paper |
A calculus for cryptographic protocols: The spi calculus
Information and Computation | 1999-03-30 | Paper |
| scientific article; zbMATH DE number 1251177 (Why is no real title available?) | 1999-02-17 | Paper |
| scientific article; zbMATH DE number 1231693 (Why is no real title available?) | 1999-01-10 | Paper |
| scientific article; zbMATH DE number 1231618 (Why is no real title available?) | 1999-01-06 | Paper |
| scientific article; zbMATH DE number 1231459 (Why is no real title available?) | 1998-12-10 | Paper |
| scientific article; zbMATH DE number 756051 (Why is no real title available?) | 1996-01-28 | Paper |
| scientific article; zbMATH DE number 819768 (Why is no real title available?) | 1995-11-23 | Paper |
