| Publication | Date of Publication | Type |
|---|
| From electric circuits to chemical networks | 2024-02-09 | Paper |
| Algorithmic Minimization of Uncertain Continuous-Time Markov Chains | 2024-01-26 | Paper |
| Computing with biological switches and clocks | 2023-11-30 | Paper |
| Chemical reaction network designs for asynchronous logic circuits | 2023-11-30 | Paper |
| Programming discrete distributions with chemical reaction networks | 2023-11-30 | Paper |
| Formal lumping of polynomial differential equations through approximate equivalences | 2023-08-08 | Paper |
| Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis | 2023-06-28 | Paper |
| Operations on records | 2023-04-12 | Paper |
| An imperative object calculus | 2022-08-18 | Paper |
| An extension of system F with subtyping | 2022-08-16 | Paper |
| Operations on records | 2022-08-16 | Paper |
| Syntax-guided optimal synthesis for chemical reaction networks | 2022-08-12 | Paper |
| Lumpability for uncertain continuous-time Markov chains | 2022-03-24 | Paper |
| PID Control of Biochemical Reaction Networks | 2022-02-24 | Paper |
| Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes | 2021-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5151017 | 2021-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5146655 | 2021-01-26 | Paper |
| Syntactic Markovian Bisimulation for Chemical Reaction Networks | 2020-02-24 | Paper |
| Central Limit Model Checking | 2019-11-22 | Paper |
| Efficiency through uncertainty | 2019-10-22 | Paper |
| Efficient syntax-driven lumping of differential equations | 2019-09-17 | Paper |
| Comparing chemical reaction networks: a categorical and algorithmic perspective | 2019-06-18 | Paper |
| Symbolic computation of differential equivalences | 2019-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621150 | 2019-02-08 | Paper |
| Experimental biological protocols with formal semantics | 2018-10-17 | Paper |
| Comparing Chemical Reaction Networks | 2018-04-23 | Paper |
| A stochastic hybrid approximation for chemical kinetics based on the linear noise approximation | 2018-03-22 | Paper |
| Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation | 2018-01-11 | Paper |
| Forward and Backward Bisimulations for Chemical Reaction Networks | 2017-09-12 | Paper |
| Reachability Computation for Switching Diffusions | 2017-07-11 | Paper |
| Programming Discrete Distributions with Chemical Reaction Networks | 2016-11-30 | Paper |
| Chemical Reaction Network Designs for Asynchronous Logic Circuits | 2016-11-30 | Paper |
| Symbolic computation of differential equivalences | 2016-10-24 | Paper |
| Automated Design and Verification of Localized DNA Computation Circuits | 2015-09-30 | Paper |
| Anytime, anywhere | 2015-03-17 | Paper |
| The Measurable Space of Stochastic Processes | 2014-05-12 | Paper |
| A Process Model of Actin Polymerisation | 2014-03-21 | Paper |
| A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis | 2014-01-17 | Paper |
| Manipulating Trees with Hidden Labels | 2013-12-06 | Paper |
| Stochastic Pi-calculus Revisited | 2013-10-04 | Paper |
| Two-domain DNA strand displacement | 2013-04-29 | Paper |
| Continuous Markovian Logics - Axiomatization and Quantified Metatheory | 2013-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2915679 | 2012-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2906944 | 2012-09-05 | Paper |
| Processes in space | 2012-05-30 | Paper |
| Modular Markovian Logic | 2011-07-07 | Paper |
| Strand algebras for DNA computing | 2011-05-23 | Paper |
| Processes in Space | 2010-07-29 | Paper |
| Turing universality of the Biochemical Ground Form | 2010-04-01 | Paper |
| Strand Algebras for DNA Computing | 2010-01-07 | Paper |
| A process model of Rho GTP-binding proteins | 2009-08-07 | Paper |
| On the Computational Power of Biochemistry | 2009-02-03 | Paper |
| Termination Problems in Chemical Kinetics | 2008-11-25 | Paper |
| Bitonal membrane systems: interactions of biological membranes | 2008-11-06 | Paper |
| On process rate semantics | 2008-03-06 | Paper |
| Transactions on Computational Systems Biology IV | 2007-05-02 | Paper |
| Transactions on Computational Systems Biology III | 2006-11-14 | Paper |
| Types for the ambient calculus | 2006-08-03 | Paper |
| AN UNIVERSALITY RESULT FOR A (MEM)BRANE CALCULUS BASED ON MATE/DRIP OPERATIONS | 2006-04-06 | Paper |
| Deciding validity in a spatial logic for trees | 2006-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714431 | 2006-01-02 | Paper |
| Brane Calculi | 2005-12-23 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| Secrecy and group creation | 2005-02-22 | Paper |
| A spatial logic for concurrency. I | 2004-11-23 | Paper |
| BioAmbients: an abstraction for biological compartments | 2004-10-27 | Paper |
| A spatial logic for concurrency. II | 2004-10-04 | Paper |
| TQL: a query language for semistructured data based on the ambient logic | 2004-09-24 | Paper |
| Equational properties of mobile ambients | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046754 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737192 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473151 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417861 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484489 | 2003-06-12 | Paper |
| Comparing object encodings. | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536435 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536614 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778816 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763663 | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752045 | 2001-10-21 | Paper |
| Mobile ambients | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490733 | 2000-07-20 | Paper |
| Explicit substitutions | 2000-02-09 | Paper |
| A semantic basis for Quest | 2000-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222941 | 1999-01-06 | Paper |
| A theory of primitive objects: Untyped and first-order systems | 1996-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4715213 | 1996-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4855341 | 1995-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4855343 | 1995-11-09 | Paper |
| Dynamic typing in polymorphic languages | 1995-06-08 | Paper |
| An extension of system \(F\) with subtyping | 1994-06-09 | Paper |
| Formal parametric polymorphism | 1994-02-22 | Paper |
| Operations on records | 1991-01-01 | Paper |
| A semantics of multiple inheritance | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789049 | 1988-01-01 | Paper |
| Basic polymorphic typechecking | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3332229 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956374 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3902486 | 1980-01-01 | Paper |
