| Publication | Date of Publication | Type |
|---|
| Pattern Matching over a Dynamic Network of Tuple Spaces | 2021-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4963996 | 2021-02-24 | Paper |
| Replacement freeness: a criterion for separating process calculi | 2020-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5114827 | 2020-06-26 | Paper |
| A formal approach to the engineering of domain-specific distributed systems | 2020-01-31 | Paper |
| Basic observables for processes | 2018-07-04 | Paper |
| Programming Autonomic Systems with Multiple Constraint Stores | 2015-06-22 | Paper |
| Programming and Verifying Component Ensembles | 2014-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848139 | 2013-09-25 | Paper |
| A WSDL-based type system for asynchronous WS-BPEL processes | 2011-05-23 | Paper |
| An accessible verification environment for UML models of services | 2011-01-14 | Paper |
| From flow logic to static type systems for coordination languages | 2010-04-29 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Global Computing. Programming Environments, Languages, Security, and Analysis of Systems | 2010-02-05 | Paper |
| Dynamic management of capabilities in a network aware coordination language | 2009-11-04 | Paper |
| On Observing Dynamic Prioritised Actions in SOC | 2009-07-14 | Paper |
| C WS: A Timed Service-Oriented Calculus | 2008-09-17 | Paper |
| Regulating Data Exchange in Service Oriented Applications | 2008-07-01 | Paper |
| Specifying and Analysing SOC Applications with COWS | 2008-06-19 | Paper |
| Basic observables for a calculus for global computing | 2007-10-10 | Paper |
| A Calculus for Orchestration of Web Services | 2007-09-04 | Paper |
| Global computing in a dynamic network of tuple spaces | 2007-01-22 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| Confining data and processes in global computing applications | 2006-10-25 | Paper |
| On the expressive power of \textsc{Klaim}-based calculi | 2006-05-29 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673434 | 2005-04-29 | Paper |
| MetaKlaim: a type safe multi-stage language for global computing | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449169 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4445774 | 2004-02-02 | Paper |
| Klava: a Java package for distributed and mobile applications | 2003-02-04 | Paper |
| Trace and testing equivalence on asynchronous processes | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536592 | 2002-11-28 | Paper |
| Proof Techniques for Cryptographic Processes | 2002-04-23 | Paper |
| Divergence in testing and readiness semantics | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499204 | 2001-08-22 | Paper |
| Types for access control | 2000-08-21 | Paper |
| Linda-based applicative and imperative process algebras | 2000-08-21 | Paper |
| Basic observables for processes | 2000-01-12 | Paper |
