| Publication | Date of Publication | Type |
|---|
| An implicit function theorem for the stream calculus | 2024-06-27 | Paper |
| Products, polynomials and differential equations in the stream calculus | 2024-04-26 | Paper |
| Approximate Model Counting, Sparse XOR Constraints and Minimum Distance | 2024-03-14 | Paper |
| Modal epistemic logic on contracts: a doctrinal approach | 2024-02-23 | Paper |
| Algebra and coalgebra of stream products | 2023-08-21 | Paper |
| Polynomial recognition of vulnerable multi-commodities | 2022-10-28 | Paper |
| Characterising spectra of equivalences for event structures, logically | 2022-06-08 | Paper |
| Behavioural logics for configuration structures | 2022-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3385652 | 2021-12-20 | Paper |
| Pattern Matching over a Dynamic Network of Tuple Spaces | 2021-05-20 | Paper |
| Conflict vs causality in event structures | 2021-02-26 | Paper |
| Enhanced models for privacy and utility in continuous-time diffusion networks | 2019-12-12 | Paper |
| Depletable channels: dynamics, behaviour, and efficiency in network design | 2019-06-20 | Paper |
| A polynomial-time algorithm for detecting the possibility of Braess paradox in directed graphs | 2019-04-25 | Paper |
| A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes | 2018-03-09 | Paper |
| Inefficiencies in network models: a graph-theoretic perspective | 2017-12-13 | Paper |
| Full abstraction for expressiveness: history, myths and facts | 2016-07-28 | Paper |
| A semiring-based trace semantics for processes with applications to information leakage analysis | 2016-07-27 | Paper |
| On the relative expressive power of calculi for mobility | 2016-05-10 | Paper |
| A concurrent pattern calculus | 2014-09-05 | Paper |
| Synchrony vs asynchrony in communication primitives | 2013-12-13 | Paper |
| Security policies as membranes in systems for global computing | 2013-09-26 | Paper |
| On the expressive power of \textsc{Klaim}-based calculi | 2013-09-25 | Paper |
| A taxonomy of process calculi for distribution and mobility | 2012-02-06 | Paper |
| A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis | 2010-10-27 | Paper |
| Concurrent Pattern Calculus | 2010-10-27 | Paper |
| Towards a unified approach to encodability and separation results for process calculi | 2010-10-07 | Paper |
| Tree-functors, determinacy and bisimulations | 2010-06-02 | Paper |
| From flow logic to static type systems for coordination languages | 2010-04-29 | 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 |
| Depletable Channels: Dynamics and Behaviour | 2009-10-20 | Paper |
| Comparing communication primitives via their relative expressive power | 2009-03-04 | Paper |
| Towards a Unified Approach to Encodability and Separation Results for Process Calculi | 2008-11-25 | Paper |
| Network Applications of Graph Bisimulation | 2008-11-20 | Paper |
| Security Policies as Membranes in Systems for Global Computing | 2007-10-11 | Paper |
| Basic observables for a calculus for global computing | 2007-10-10 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Global computing in a dynamic network of tuple spaces | 2007-01-22 | 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/Q4738218 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449169 | 2004-02-08 | Paper |
