| Publication | Date of Publication | Type |
|---|
| On Composing Communicating Systems | 2024-03-01 | Paper |
| Data-driven choreographies à la Klaim | 2024-02-23 | Paper |
| Composition of synchronous communicating systems | 2023-09-25 | Paper |
| A Theory of Formal Choreographic Languages | 2023-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5057639 | 2022-12-16 | Paper |
| Probabilistic Analysis of Binary Sessions | 2022-07-18 | Paper |
| Towards refinable choreographies | 2022-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5019694 | 2022-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5019695 | 2022-01-10 | Paper |
| An abstract framework for choreographic testing | 2021-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994124 | 2021-06-17 | Paper |
| Composition and decomposition of multiparty sessions | 2021-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129942 | 2020-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216330 | 2020-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216080 | 2020-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208776 | 2020-01-10 | Paper |
| Realisability of pomsets | 2019-11-28 | Paper |
| Contract-Oriented Computing in CO2 | 2019-02-08 | Paper |
| On Sessions and Infinite Data | 2017-06-22 | Paper |
| Honesty by Typing | 2017-04-11 | Paper |
| From Communicating Machines to Graphical Choreographies | 2016-09-29 | Paper |
| Attribute-based transactions in service oriented computing | 2016-07-27 | Paper |
| Relating two automata-based models of orchestration and choreography | 2016-04-20 | Paper |
| Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods | 2016-01-08 | Paper |
| Resolving Non-determinism in Choreographies | 2014-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849570 | 2013-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849847 | 2013-09-20 | Paper |
| Synthesising Choreographies from Local Session Types | 2012-09-25 | Paper |
| A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions | 2012-09-21 | Paper |
| On the Realizability of Contracts in Dishonest Systems | 2012-08-21 | Paper |
| On Nominal Regular Languages with Binders | 2012-06-22 | Paper |
| A Theory of Design-by-Contract for Distributed Multiparty Interactions | 2010-08-31 | Paper |
| Formal Methods at the Crossroads. From Panacea to Foundational Support | 2010-03-30 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Global Computing. Programming Environments, Languages, Security, and Analysis of Systems | 2010-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396631 | 2009-09-19 | Paper |
| Coordination Via Types in an Event-Based Framework | 2009-03-10 | Paper |
| Network Applications of Graph Bisimulation | 2008-11-20 | Paper |
| Event-Based Service Coordination | 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 |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448354 | 2004-02-18 | Paper |
