| Publication | Date of Publication | Type |
|---|
From electric circuits to chemical networks
Natural Computing | 2024-02-09 | Paper |
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
IEEE Transactions on Automatic Control | 2024-01-26 | Paper |
Chemical reaction network designs for asynchronous logic circuits
Natural Computing | 2023-11-30 | Paper |
Computing with biological switches and clocks
Natural Computing | 2023-11-30 | Paper |
Programming discrete distributions with chemical reaction networks
Natural Computing | 2023-11-30 | Paper |
Formal lumping of polynomial differential equations through approximate equivalences
Journal of Logical and Algebraic Methods in Programming | 2023-08-08 | Paper |
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Operations on records
Lecture Notes in Computer Science | 2023-04-12 | Paper |
An imperative object calculus
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
An extension of system \(F\) with subtyping
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Operations on records (extended abstract)
Category Theory and Computer Science | 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
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
Two-domain DNA strand displacement
| 2021-02-16 | Paper |
An intuitive automated modelling interface for systems biology
| 2021-01-26 | Paper |
Syntactic Markovian bisimulation for chemical reaction networks
Lecture Notes in Computer Science | 2020-02-24 | Paper |
Central limit model checking
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Efficiency through uncertainty
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Efficient syntax-driven lumping of differential equations
| 2019-09-17 | Paper |
Symbolic computation of differential equivalences
Theoretical Computer Science | 2019-06-18 | Paper |
Comparing chemical reaction networks: a categorical and algorithmic perspective
Theoretical Computer Science | 2019-06-18 | Paper |
Reversibility in massive concurrent systems
| 2019-02-08 | Paper |
Experimental biological protocols with formal semantics
| 2018-10-17 | Paper |
Comparing Chemical Reaction Networks
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 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, finite abstractions with certifiable and tuneable precision
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Programming discrete distributions with chemical reaction networks
Lecture Notes in Computer Science | 2016-11-30 | Paper |
Chemical reaction network designs for asynchronous logic circuits
Lecture Notes in Computer Science | 2016-11-30 | Paper |
Symbolic computation of differential equivalences
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Automated Design and Verification of Localized DNA Computation Circuits
Lecture Notes in Computer Science | 2015-09-30 | Paper |
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
The measurable space of stochastic processes
Fundamenta Informaticae | 2014-05-12 | Paper |
A process model of actin polymerisation
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
A process model of rho GTP-binding proteins in the context of phagocytosis
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Manipulating trees with hidden labels
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Stochastic Pi-calculus Revisited
Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
Two-domain DNA strand displacement
Mathematical Structures in Computer Science | 2013-04-29 | Paper |
Continuous Markovian logics -- axiomatization and quantified metatheory
Logical Methods in Computer Science | 2013-01-07 | Paper |
Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
| 2012-09-18 | Paper |
Mobile ambients
| 2012-09-05 | Paper |
Processes in space
Theoretical Computer Science | 2012-05-30 | Paper |
Modular Markovian Logic
Automata, Languages and Programming | 2011-07-07 | Paper |
Strand algebras for DNA computing
Natural Computing | 2011-05-23 | Paper |
Processes in space
Programs, Proofs, Processes | 2010-07-29 | Paper |
Turing universality of the biochemical ground form
Mathematical Structures in Computer Science | 2010-04-01 | Paper |
Strand Algebras for DNA Computing
Lecture Notes in Computer Science | 2010-01-07 | Paper |
A process model of Rho GTP-binding proteins
Theoretical Computer Science | 2009-08-07 | Paper |
On the Computational Power of Biochemistry
Algebraic Biology | 2009-02-03 | Paper |
Termination Problems in Chemical Kinetics
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Bitonal membrane systems: interactions of biological membranes
Theoretical Computer Science | 2008-11-06 | Paper |
On process rate semantics
Theoretical Computer Science | 2008-03-06 | Paper |
Transactions on Computational Systems Biology IV
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Transactions on Computational Systems Biology III
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Types for the ambient calculus
Information and Computation | 2006-08-03 | Paper |
AN UNIVERSALITY RESULT FOR A (MEM)BRANE CALCULUS BASED ON MATE/DRIP OPERATIONS
International Journal of Foundations of Computer Science | 2006-04-06 | Paper |
Deciding validity in a spatial logic for trees
Journal of Functional Programming | 2006-01-25 | Paper |
scientific article; zbMATH DE number 2242579 (Why is no real title available?)
| 2006-01-02 | Paper |
Brane Calculi
Computational Methods in Systems Biology | 2005-12-23 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Secrecy and group creation
Information and Computation | 2005-02-22 | Paper |
A spatial logic for concurrency. I
Information and Computation | 2004-11-23 | Paper |
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science | 2004-10-27 | Paper |
A spatial logic for concurrency. II
Theoretical Computer Science | 2004-10-04 | Paper |
TQL: a query language for semistructured data based on the ambient logic
Mathematical Structures in Computer Science | 2004-09-24 | Paper |
Equational properties of mobile ambients
Mathematical Structures in Computer Science | 2004-09-07 | Paper |
scientific article; zbMATH DE number 2089394 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2086655 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2080397 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 1956515 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1927564 (Why is no real title available?)
| 2003-06-12 | Paper |
Comparing object encodings.
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1759481 (Why is no real title available?)
| 2002-06-25 | Paper |
scientific article; zbMATH DE number 1759623 (Why is no real title available?)
| 2002-06-25 | Paper |
scientific article; zbMATH DE number 1722648 (Why is no real title available?)
| 2002-03-21 | Paper |
scientific article; zbMATH DE number 1692931 (Why is no real title available?)
| 2002-01-21 | Paper |
Mobility and security
| 2001-10-21 | Paper |
Mobile ambients
Theoretical Computer Science | 2000-08-21 | Paper |
scientific article; zbMATH DE number 1479620 (Why is no real title available?)
| 2000-07-20 | Paper |
Explicit substitutions
Journal of Functional Programming | 2000-02-09 | Paper |
A semantic basis for Quest
Journal of Functional Programming | 2000-02-08 | Paper |
scientific article; zbMATH DE number 1231618 (Why is no real title available?)
| 1999-01-06 | Paper |
A theory of primitive objects: Untyped and first-order systems
Information and Computation | 1996-12-12 | Paper |
scientific article; zbMATH DE number 944097 (Why is no real title available?)
| 1996-11-12 | Paper |
scientific article; zbMATH DE number 814798 (Why is no real title available?)
| 1995-11-09 | Paper |
scientific article; zbMATH DE number 814796 (Why is no real title available?)
| 1995-11-09 | Paper |
Dynamic typing in polymorphic languages
Journal of Functional Programming | 1995-06-08 | Paper |
An extension of system \(F\) with subtyping
Information and Computation | 1994-06-09 | Paper |
Formal parametric polymorphism
Theoretical Computer Science | 1994-02-22 | Paper |
Operations on records
Mathematical Structures in Computer Science | 1991-01-01 | Paper |
A semantics of multiple inheritance
Information and Computation | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4052993 (Why is no real title available?)
| 1988-01-01 | Paper |
Basic polymorphic typechecking
Science of Computer Programming | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3864476 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3776834 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3711375 (Why is no real title available?)
| 1980-01-01 | Paper |
