| Publication | Date of Publication | Type |
|---|
Cryptographically sound security proofs for basic and public-key Kerberos
Computer Security – ESORICS 2006 | 2022-03-09 | Paper |
| Formalization of automated trading systems in a concurrent linear framework | 2021-12-20 | Paper |
Formalization of automated trading systems in a concurrent linear framework
(available as arXiv preprint) | 2021-12-20 | Paper |
| Towards meta-reasoning in the concurrent logical framework CLF | 2021-06-09 | Paper |
Towards meta-reasoning in the concurrent logical framework CLF
(available as arXiv preprint) | 2021-06-09 | Paper |
| Relating reasoning methodologies in linear logic and process algebra | 2021-04-27 | Paper |
Relating reasoning methodologies in linear logic and process algebra
(available as arXiv preprint) | 2021-04-27 | Paper |
Relating reasoning methodologies in linear logic and process algebra
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Optimized compilation of multiset rewriting with comprehensions
Programming Languages and Systems | 2016-02-26 | Paper |
Modular multiset rewriting
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Substructural meta-theory of a type-safe language for web programming
Fundamenta Informaticae | 2014-05-14 | Paper |
Specifying properties of concurrent computations in CLF
Electronic Notes in Theoretical Computer Science | 2014-01-10 | Paper |
| Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types | 2013-09-20 | Paper |
Typed multiset rewriting specifications of security protocols
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
Relating state-based and process-based concurrency through linear logic
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
An improved proof-theoretic compilation of logic programs
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation | 2009-10-09 | Paper |
Breaking and fixing public-key Kerberos
Information and Computation | 2008-04-16 | Paper |
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
Higher-Order and Symbolic Computation | 2007-05-21 | Paper |
Formal analysis of Kerberos 5
Theoretical Computer Science | 2007-01-09 | Paper |
A linear logical framework
Information and Computation | 2004-03-04 | Paper |
A Linear Spine Calculus
Journal Of Logic And Computation | 2004-01-28 | Paper |
| scientific article; zbMATH DE number 1962758 (Why is no real title available?) | 2003-08-11 | Paper |
| scientific article; zbMATH DE number 1962759 (Why is no real title available?) | 2003-08-11 | Paper |
| scientific article; zbMATH DE number 1884406 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1746674 (Why is no real title available?) | 2002-06-09 | Paper |
| scientific article; zbMATH DE number 1444722 (Why is no real title available?) | 2000-10-08 | Paper |
Efficient resource management for linear logic proof search
Theoretical Computer Science | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1420805 (Why is no real title available?) | 2000-03-22 | Paper |
A general modal framework for the event calculus and its skeptical and credulous variants
The Journal of Logic Programming | 1999-07-20 | Paper |
| scientific article; zbMATH DE number 804606 (Why is no real title available?) | 1996-05-02 | Paper |
