Publication | Date of Publication | Type |
---|
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 |
https://portal.mardi4nfdi.de/entity/Q2906944 | 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 |
https://portal.mardi4nfdi.de/entity/Q5447364 | 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 |
https://portal.mardi4nfdi.de/entity/Q2704321 | 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 |