| Publication | Date of Publication | Type |
|---|
| Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems | 2024-04-17 | Paper |
| Gardening with the PythiaA model of continuity in a dependent setting | 2024-04-10 | Paper |
| A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity | 2024-02-23 | Paper |
| A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs | 2024-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6061671 | 2023-12-08 | Paper |
| The expressive power of Structural Operational Semantics with explicit assumptions | 2023-12-08 | Paper |
| On the security and safety of AbU systems | 2023-05-26 | Paper |
| AbU: a calculus for distributed event-driven programming with attribute-based interaction | 2023-05-02 | Paper |
| Computing Embeddings of Directed Bigraphs | 2022-09-01 | Paper |
| A calculus for attribute-based memory updates | 2022-03-31 | Paper |
| Constructive logical characterizations of bisimilarity for reactive probabilistic systems | 2019-03-13 | Paper |
| A natural deduction approach to dynamic logic | 2019-01-15 | Paper |
| Structural operational semantics for non-deterministic processes with quantitative aspects | 2017-02-06 | Paper |
| Finding a Forest in a Tree | 2016-06-09 | Paper |
| Behavioural equivalences for coalgebras with unobservable moves | 2015-11-10 | Paper |
| Directed Bigraphs | 2015-07-10 | Paper |
| Structural operational semantics for continuous state stochastic transition systems | 2015-04-28 | Paper |
| A Model of Countable Nondeterminism in Guarded Type Theory | 2014-07-24 | Paper |
| A Categorical Model of the Fusion Calculus | 2014-05-13 | Paper |
| An Algebra for Directed Bigraphs | 2014-01-17 | Paper |
| Undecidability of Model Checking in Brane Logic | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847782 | 2013-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847805 | 2013-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844811 | 2013-08-19 | Paper |
| Developing (Meta)Theory of λ-calculus in the Theory of Contexts1 1Work partially supported by Italian MURST project tosca and EC-WG types. | 2013-07-24 | Paper |
| The Theory of Contexts for First Order and Higher Order Abstract Syntax | 2013-07-24 | Paper |
| Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic | 2013-07-24 | Paper |
| Structural Operational Semantics for Continuous State Probabilistic Processes | 2012-09-20 | Paper |
| Synthesis of Distributed Mobile Programs Using Monadic Types in Coq | 2012-09-20 | Paper |
| DBtk: A Toolkit for Directed Bigraphs | 2012-06-01 | Paper |
| Measurable stochastics for Brane calculus | 2012-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408131 | 2010-02-24 | Paper |
| Reactive Systems over Directed Bigraphs | 2008-09-18 | Paper |
| Implementing Spi Calculus Using Nominal Techniques | 2008-06-19 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts | 2007-08-17 | Paper |
| About permutation algebras, (pre)sheaves and named sets | 2006-11-17 | Paper |
| Consistency of the theory of contexts | 2006-06-09 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4435467 | 2003-11-12 | Paper |
| On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535076 | 2002-06-12 | Paper |
| Encoding modal logics in logical frameworks | 2001-02-14 | Paper |
| \(\pi\)-calculus in (Co)inductive-type theory | 2000-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938644 | 2000-04-25 | Paper |
| On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories | N/A | Paper |
