| Publication | Date of Publication | Type |
|---|
| Revealing the trajectories of KLAIM tuples, statically | 2024-02-23 | Paper |
| Process calculi for biological processes | 2023-11-30 | Paper |
| On relating some models for concurrency | 2022-11-02 | Paper |
| Security Issues in Service Composition | 2021-05-25 | Paper |
| Natural projection as partial model checking | 2020-11-02 | Paper |
| Security Metrics at Work on the Things in IoT Systems | 2020-07-20 | Paper |
| Robust declassification by incremental typing | 2020-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216080 | 2020-02-14 | Paper |
| Proved trees | 2019-12-04 | Paper |
| From natural projection to partial model checking and back | 2019-09-16 | Paper |
| Causality for mobile processes | 2019-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5367043 | 2017-10-12 | Paper |
| Regular and context-free nominal traces | 2017-06-09 | Paper |
| Automata for Specifying and Orchestrating Service Contracts | 2017-04-11 | Paper |
| Model checking usage policies | 2016-07-27 | Paper |
| Automata for Analysing Service Contracts | 2016-06-09 | Paper |
| Relating two automata-based models of orchestration and choreography | 2016-04-20 | Paper |
| Last Mile’s Resources | 2016-03-23 | Paper |
| Debits and Credits in Petri Nets and Linear Logic | 2015-09-14 | Paper |
| Linguistic Mechanisms for Context-Aware Security | 2015-01-13 | Paper |
| Hard Life with Weak Binders | 2014-07-23 | Paper |
| A quantitative study of two attacks | 2013-09-20 | Paper |
| Performance evaluation of security protocols specified in LySa | 2013-09-20 | Paper |
| Towards Nominal Context-Free Model-Checking | 2013-08-07 | Paper |
| Techniques for security checking: non-interference vs control flow analysis | 2013-07-24 | Paper |
| Nominal Automata for Resource Usage Control | 2012-09-20 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Global Computing. Programming Environments, Languages, Security, and Analysis of Systems | 2010-02-05 | Paper |
| Global Computing. Programming Environments, Languages, Security, and Analysis of Systems | 2010-02-05 | Paper |
| Perspectives of System Informatics | 2010-01-05 | Paper |
| Secure Service Orchestration | 2009-10-22 | Paper |
| ν-Types for Effects and Freshness Analysis | 2009-08-20 | Paper |
| A Formal Analysis of Complex Type Flaw Attacks on Security Protocols | 2009-01-27 | Paper |
| Synapses as stochastic concurrent systems | 2008-12-12 | Paper |
| Ugo Montanari in a Nutshell | 2008-06-19 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Types and Effects for Resource Usage Analysis | 2007-09-07 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Theoretical Computer Science | 2006-11-01 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Weakening the perfect encryption assumption in Dolev-Yao adversaries | 2005-06-30 | Paper |
| Modelling biochemical pathways through enhanced \(\pi\)-calculus | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818860 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413247 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413202 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790411 | 2003-06-02 | Paper |
| Static analysis for the \(\pi\)-calculus with applications to security | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779098 | 2002-11-24 | Paper |
| A causal semantics for CCS via rewriting logic | 2002-07-31 | Paper |
| Primitives for authentication in process algebras. | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766538 | 2002-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4505701 | 2001-09-04 | Paper |
| Names of the \(\pi\)-calculus agents handled locally | 2000-12-12 | Paper |
| LR techniques for handling syntax errors | 2000-01-04 | Paper |
| Causality for debugging mobile agents | 1999-11-01 | Paper |
| Non-interleaving semantics for mobile processes | 1999-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222997 | 1999-01-07 | Paper |
| Axiomatizing the algebra of net computations and processes | 1995-11-19 | Paper |
| A causal operational semantics of action refinement | 1995-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4327615 | 1995-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282583 | 1994-03-17 | Paper |
| Refinement of actions in event structures and causal trees | 1993-12-06 | Paper |
| Universal axioms for bisimulations | 1993-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035233 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5750408 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3359754 | 1990-01-01 | Paper |
| A partial ordering semantics for CCS | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733427 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3210197 | 1989-01-01 | Paper |
| A normal form for restricted exponential functions | 1989-01-01 | Paper |
| A distributed operational semantics of CCS based on condition/event systems | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3821598 | 1988-01-01 | Paper |
| Concurrent histories: a basis for observing distributed systems | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774958 | 1987-01-01 | Paper |
| Partial ordering models for concurrency can be defined operationally | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677155 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681915 | 1985-01-01 | Paper |
| An Evaluation Based Theorem Prover | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3687696 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3957929 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893360 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3896523 | 1979-01-01 | Paper |
