| Publication | Date of Publication | Type |
|---|
| Revealing the trajectories of KLAIM tuples, statically | 2024-02-23 | Paper |
| A π-calculus with explicit substitutions: The late semantics | 2022-08-18 | Paper |
| Dynamic matrices and the cost analysis of concurrent programs | 2022-08-16 | Paper |
| Security Issues in Service Composition | 2021-05-25 | Paper |
| Security Metrics at Work on the Things in IoT Systems | 2020-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216080 | 2020-02-14 | Paper |
| A formal approach to the engineering of domain-specific distributed systems | 2020-01-31 | 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 |
| Pierpaolo Degano | 2016-01-08 | Paper |
| Hard Life with Weak Binders | 2014-07-23 | Paper |
| Co-Algebraic Models for Quantitative Spatial Logics | 2014-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849570 | 2013-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847793 | 2013-09-11 | Paper |
| Towards Nominal Context-Free Model-Checking | 2013-08-07 | Paper |
| Nominal Automata for Resource Usage Control | 2012-09-20 | Paper |
| Event based choreography | 2010-08-26 | Paper |
| Formal Methods at the Crossroads. From Panacea to Foundational Support | 2010-03-30 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Global Computing. Programming Environments, Languages, Security, and Analysis of Systems | 2010-02-05 | Paper |
| Secure Service Orchestration | 2009-10-22 | Paper |
| ν-Types for Effects and Freshness Analysis | 2009-08-20 | Paper |
| Coordination Via Types in an Event-Based Framework | 2009-03-10 | Paper |
| Linear programming-based optimization of the distance spectrum of linear block codes | 2008-12-21 | Paper |
| Event-Based Service Coordination | 2008-06-19 | Paper |
| Ugo Montanari and Software Verification | 2008-06-19 | Paper |
| History Dependent Automata for Service Compatibility | 2008-06-19 | Paper |
| Synchronised Hyperedge Replacement as a Model for Service Oriented Computing | 2007-09-11 | Paper |
| Types and Effects for Resource Usage Analysis | 2007-09-07 | Paper |
| Theoretical Computer Science | 2006-11-01 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| New bounds for the Marcum Q-function | 2005-05-11 | Paper |
| Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types | 2005-04-06 | Paper |
| MetaKlaim: a type safe multi-stage language for global computing | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738222 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448354 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4445774 | 2004-02-02 | Paper |
| Extrinsic information in iterative decoding: a unified view | 2003-06-30 | Paper |
| Mark, a reasoning kit for mobility | 2003-02-17 | Paper |
| Tile formats for located and mobile systems. | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536592 | 2002-11-28 | Paper |
| On the semantics of durational actions | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736347 | 2001-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736365 | 2001-08-29 | Paper |
| Types for access control | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699285 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222915 | 1998-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222916 | 1998-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842791 | 1998-11-09 | Paper |
| Structured transition systems with parametric observations: observational congruences and minimal realizations | 1997-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4341030 | 1997-06-16 | Paper |
| A \(\pi\)-calculus with explicit substitutions | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027626 | 1993-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3358716 | 1990-01-01 | Paper |
