| Publication | Date of Publication | Type |
|---|
From legal contracts to legal calculi: the code-driven normativity
(available as arXiv preprint) | 2024-02-06 | Paper |
| From legal contracts to legal calculi: the code-driven normativity | 2024-02-06 | Paper |
Proof search in a context-sensitive logic for molecular biology
Journal Of Logic And Computation | 2019-01-31 | Paper |
Typed interpretations of extensible objects
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions
Programming Languages and Systems | 2016-04-26 | Paper |
Hereditary History-Preserving Bisimilarity: Logics and Automata
Programming Languages and Systems | 2016-02-26 | Paper |
The role of concurrency in an evolutionary view of programming abstractions
Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
Logical characterizations of behavioral relations on transition systems of probability distributions
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A logic for true concurrency
Journal of the ACM | 2015-08-14 | Paper |
An overview of boxed ambients (abstract)
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
Formal Methods in System Design | 2012-09-27 | Paper |
Saving space in a time efficient simulation algorithm
Fundamenta Informaticae | 2012-07-04 | Paper |
Event structure semantics of parallel extrusion in the pi-calculus
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
A spectrum of behavioral relations over LTSs on probability distributions
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Probabilistic bisimulation and simulation algorithms by abstract interpretation
Automata, Languages and Programming | 2011-07-07 | Paper |
A logic for true concurrency
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
A type system for Discretionary Access Control
Mathematical Structures in Computer Science | 2009-08-26 | Paper |
Foundations of Security Analysis and Design II
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Compositional Event Structure Semantics for the Internal π-Calculus
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Controlling information release in the \(\pi\)-calculus
Information and Computation | 2007-08-23 | Paper |
Trustworthy Global Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2242580 (Why is no real title available?) | 2006-01-02 | Paper |
Communication and mobility control in boxed ambients
Information and Computation | 2005-11-07 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
| scientific article; zbMATH DE number 2044504 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 2038768 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 1954374 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1863161 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1759632 (Why is no real title available?) | 2002-11-28 | Paper |
