| Publication | Date of Publication | Type |
|---|
| Comparing transition systems with independence and asynchronous transition systems | 2023-06-28 | Paper |
| Axiomatizing Petri net concatenable processes | 2022-12-09 | Paper |
| On the category of Petri net computations | 2022-08-18 | Paper |
| Quantifying leakage in the presence of unreliable sources of information | 2017-06-30 | Paper |
| A descriptive type foundation for RDF Schema | 2016-08-18 | Paper |
| An analysis of trust in anonymity networks in the presence of adaptive attackers | 2016-07-27 | Paper |
| Descriptive Types for Linked Data Resources | 2015-12-03 | Paper |
| Minimal type inference for linked data consumers | 2015-06-15 | Paper |
| A Bayesian Model for Event-based Trust | 2013-12-06 | Paper |
| Structural operational semantics for stochastic and weighted transition systems | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848667 | 2013-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848079 | 2013-09-25 | Paper |
| Deriving Bisimulation Congruences: A 2-categorical Approach | 2013-08-15 | Paper |
| A Type Inference Algorithm for Secure Ambients | 2013-07-24 | Paper |
| Tracing where and who provenance in linked data: a calculus | 2013-01-07 | Paper |
| A Game-Theoretic Analysis of Cooperation in Anonymity Networks | 2012-06-29 | Paper |
| Permission-Based Separation Logic for Message-Passing Concurrency | 2012-04-02 | Paper |
| Trust in Anonymity Networks | 2010-08-31 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| An analysis of the exponential decay principle in probabilistic trust models | 2009-09-29 | Paper |
| Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation | 2009-08-11 | Paper |
| Foundations of Security Analysis and Design II | 2009-05-14 | Paper |
| Trust models in ubiquitous computing | 2009-01-21 | Paper |
| Towards a Formal Framework for Computational Trust | 2008-09-17 | Paper |
| Models of Computation: A Tribute to Ugo Montanari’s Vision | 2008-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504340 | 2008-06-11 | Paper |
| Structural Operational Semantics for Stochastic Process Calculi | 2008-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431914 | 2008-01-02 | Paper |
| Security Policies as Membranes in Systems for Global Computing | 2007-10-11 | Paper |
| Programming Languages and Systems | 2007-09-28 | Paper |
| Semantic Barbs and Biorthogonality | 2007-09-07 | Paper |
| Space-aware ambients and processes | 2007-04-13 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| A Hybrid Intuitionistic Logic: Semantics and Decidability | 2006-09-22 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Communication and mobility control in boxed ambients | 2005-11-07 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| Observational congruences for dynamically reconfigurable tile systems | 2005-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665741 | 2005-04-11 | Paper |
| Locating reaction with 2-categories | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474226 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457841 | 2004-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449234 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421730 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417873 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415245 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484493 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484495 | 2003-06-12 | Paper |
| Functorial models for Petri nets | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536441 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535170 | 2002-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769427 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754142 | 2001-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729230 | 2001-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499237 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249180 | 1999-06-16 | Paper |
| An axiomatization of the category of Petri net computations | 1999-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4371024 | 1998-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247292 | 1998-01-01 | Paper |
| On the semantics of place/transition Petri nets | 1997-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353639 | 1997-09-10 | Paper |
| Process versus unfolding semantics for Place/Transition Petri nets | 1997-02-28 | Paper |
| An axiomatization of the algebra of Petri net concatenable processes | 1997-02-27 | Paper |
| Models for concurrency: Towards a classification | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035257 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018066 | 1993-01-16 | Paper |
