| Publication | Date of Publication | Type |
|---|
| Rate equations for graphs | 2022-12-22 | Paper |
| Global order routing on exchange networks | 2022-06-01 | Paper |
| Borel kernels and their approximation, categorically | 2022-05-03 | Paper |
| Survival of the fattest: evolutionary trade-offs in cellular resource storage | 2022-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151019 | 2021-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3300791 | 2020-07-30 | Paper |
| Synchronous Balanced Analysis | 2019-12-04 | Paper |
| Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems | 2019-04-15 | Paper |
| Giry and the Machine | 2018-04-23 | Paper |
| Stochastic mechanics of graph rewriting | 2018-04-23 | Paper |
| Bayesian Inversion by ω-Complete Cone Duality | 2018-03-21 | Paper |
| Robustly Parameterised Higher-Order Probabilistic Models | 2018-03-21 | Paper |
| Probabilistic game semantics | 2017-06-13 | Paper |
| Pointless Learning | 2017-05-19 | Paper |
| Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables | 2017-05-19 | Paper |
| Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models | 2017-01-26 | Paper |
| The algebras of graph rewriting | 2016-12-19 | Paper |
| Coarse-graining the dynamics of ideal branched polymers | 2016-12-16 | Paper |
| Dirichlet is natural | 2016-12-16 | Paper |
| Rigid geometric constraints for Kappa models | 2016-12-16 | Paper |
| Moment Semantics for Reversible Rule-Based Systems | 2016-09-30 | Paper |
| Thermodynamic graph-rewriting | 2015-08-25 | Paper |
| Disjunctive normal forms and local exceptions | 2015-07-02 | Paper |
| Intrinsic information carriers in combinatorial dynamical systems | 2015-05-19 | Paper |
| Transformation and Refinement of Rigid Structures | 2014-09-26 | Paper |
| Reversible Sesqui-Pushout Rewriting | 2014-09-26 | Paper |
| Approximating Markov Processes by Averaging | 2014-09-12 | Paper |
| Free Energy of Petri Nets | 2014-06-02 | Paper |
| General reversibility | 2013-12-13 | Paper |
| Self-assembling trees | 2013-12-13 | Paper |
| Distributed measurement-based quantum computation | 2013-12-06 | Paper |
| Pauli measurements are universal | 2013-12-06 | Paper |
| Classical knowledge for quantum cryptographic reasoning | 2013-12-06 | Paper |
| Labelled Markov processes: stronger and faster approximations | 2013-08-27 | Paper |
| Thermodynamic Graph-Rewriting | 2013-08-12 | Paper |
| Constraining rule-based dynamics with types | 2013-04-29 | Paper |
| Equilibrium and termination II: the case of Petri nets | 2013-04-29 | Paper |
| Approximating Labelled Markov Processes Again! | 2012-06-01 | Paper |
| Cooperative Assembly Systems | 2011-09-16 | Paper |
| On the Statistical Thermodynamics of Reversible Communicating Processes | 2011-09-02 | Paper |
| Probabilistic coherence spaces as a model of higher-order probabilistic computation | 2011-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3560842 | 2010-05-14 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Approximating Markov Processes by Averaging | 2009-07-14 | Paper |
| How liquid is biological signalling? | 2009-03-20 | Paper |
| Quadratic Form Expansions for Unitaries | 2009-01-13 | Paper |
| The measurement calculus | 2008-12-21 | Paper |
| Computational self-assembly | 2008-11-06 | Paper |
| Rule-Based Modelling of Cellular Signalling | 2008-09-18 | Paper |
| Rule-Based Modelling, Symmetries, Refinements | 2008-06-17 | Paper |
| Abstract Interpretation of Cellular Signalling Networks | 2008-04-04 | Paper |
| Self-assembling graphs | 2007-11-27 | Paper |
| The One Way to Quantum Computation | 2007-09-11 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Bisimulation and cocongruence for probabilistic systems | 2006-06-30 | Paper |
| Computational Methods in Systems Biology | 2005-12-23 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Formal molecular biology | 2004-10-27 | Paper |
| Modeling and querying biomolecular interaction networks | 2004-10-27 | Paper |
| Linear logic and elementary time | 2003-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417901 | 2003-07-30 | Paper |
| Computational isomorphisms in classical logic | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413203 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413231 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783308 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753680 | 2001-12-03 | Paper |
| Reversible, irreversible and optimal \(\lambda\)-machines | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218922 | 1999-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222844 | 1998-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222826 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362911 | 1998-06-02 | Paper |
| A new deconstructive logic: linear logic | 1998-04-05 | Paper |
| On the linear decoration of intuitionistic derivations | 1995-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842980 | 1995-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842975 | 1995-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282602 | 1994-03-17 | Paper |
| The structure of multiplicatives | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3824308 | 1989-01-01 | Paper |
