| 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 |
Equilibrium and termination
| 2021-02-16 | Paper |
scientific article; zbMATH DE number 7226005 (Why is no real title available?)
| 2020-07-30 | Paper |
Synchronous balanced analysis
Hybrid Systems Biology | 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
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 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
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Pointless learning
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Computing continuous-time Markov chains as transformers of unbounded observables
Lecture Notes in Computer Science | 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
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
Rigid geometric constraints for Kappa models
| 2016-12-16 | Paper |
Moment semantics for reversible rule-based systems
Reversible Computation | 2016-09-30 | Paper |
Thermodynamic graph-rewriting
Logical Methods in Computer Science | 2015-08-25 | Paper |
Disjunctive normal forms and local exceptions
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
Intrinsic information carriers in combinatorial dynamical systems
Chaos: An Interdisciplinary Journal of Nonlinear Science | 2015-05-19 | Paper |
Transformation and refinement of rigid structures
Graph Transformation | 2014-09-26 | Paper |
Reversible sesqui-pushout rewriting
Graph Transformation | 2014-09-26 | Paper |
Approximating Markov processes by averaging
Journal of the ACM | 2014-09-12 | Paper |
Free energy of Petri nets
Lecture Notes in Computer Science | 2014-06-02 | Paper |
General reversibility
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
Self-assembling trees
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
Distributed measurement-based quantum computation
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Pauli measurements are universal
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Classical knowledge for quantum cryptographic reasoning
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Labelled Markov processes: stronger and faster approximations
| 2013-08-27 | Paper |
Thermodynamic Graph-Rewriting
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Constraining rule-based dynamics with types
Mathematical Structures in Computer Science | 2013-04-29 | Paper |
Equilibrium and termination. II: The case of Petri nets
Mathematical Structures in Computer Science | 2013-04-29 | Paper |
Approximating labelled Markov processes again!
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Cooperative assembly systems
Lecture Notes in Computer Science | 2011-09-16 | Paper |
On the statistical thermodynamics of reversible communicating processes
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Probabilistic coherence spaces as a model of higher-order probabilistic computation
Information and Computation | 2011-07-08 | Paper |
Extended measurement calculus
| 2010-05-14 | Paper |
Conditional expectation and the approximation of labelled Markov processes.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Approximating Markov Processes by Averaging
Automata, Languages and Programming | 2009-07-14 | Paper |
How liquid is biological signalling?
Theoretical Computer Science | 2009-03-20 | Paper |
Quadratic Form Expansions for Unitaries
Theory of Quantum Computation, Communication, and Cryptography | 2009-01-13 | Paper |
The measurement calculus
Journal of the ACM | 2008-12-21 | Paper |
Computational self-assembly
Theoretical Computer Science | 2008-11-06 | Paper |
Rule-Based Modelling of Cellular Signalling
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Rule-Based Modelling, Symmetries, Refinements
Formal Methods in Systems Biology | 2008-06-17 | Paper |
Abstract Interpretation of Cellular Signalling Networks
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Self-assembling graphs
Natural Computing | 2007-11-27 | Paper |
The One Way to Quantum Computation
Automata, Languages and Programming | 2007-09-11 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Bisimulation and cocongruence for probabilistic systems
Information and Computation | 2006-06-30 | Paper |
Computational Methods in Systems Biology
Lecture Notes in Computer Science | 2005-12-23 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Formal molecular biology
Theoretical Computer Science | 2004-10-27 | Paper |
Modeling and querying biomolecular interaction networks
Theoretical Computer Science | 2004-10-27 | Paper |
Linear logic and elementary time
Information and Computation | 2003-08-19 | Paper |
scientific article; zbMATH DE number 1956561 (Why is no real title available?)
| 2003-07-30 | Paper |
Computational isomorphisms in classical logic
Theoretical Computer Science | 2003-07-29 | Paper |
scientific article; zbMATH DE number 1950547 (Why is no real title available?)
| 2003-07-17 | Paper |
scientific article; zbMATH DE number 1950559 (Why is no real title available?)
| 2003-07-17 | Paper |
scientific article; zbMATH DE number 1841820 (Why is no real title available?)
| 2002-12-04 | Paper |
scientific article; zbMATH DE number 1670484 (Why is no real title available?)
| 2001-12-03 | Paper |
Reversible, irreversible and optimal \(\lambda\)-machines
Theoretical Computer Science | 2000-08-23 | Paper |
scientific article; zbMATH DE number 1223612 (Why is no real title available?)
| 1999-03-18 | Paper |
scientific article; zbMATH DE number 1231529 (Why is no real title available?)
| 1998-12-14 | Paper |
scientific article; zbMATH DE number 1231514 (Why is no real title available?)
| 1998-12-13 | Paper |
scientific article; zbMATH DE number 1086661 (Why is no real title available?)
| 1998-06-02 | Paper |
A new deconstructive logic: linear logic
Journal of Symbolic Logic | 1998-04-05 | Paper |
On the linear decoration of intuitionistic derivations
Archive for Mathematical Logic | 1995-09-11 | Paper |
scientific article; zbMATH DE number 786499 (Why is no real title available?)
| 1995-08-16 | Paper |
scientific article; zbMATH DE number 786494 (Why is no real title available?)
| 1995-08-16 | Paper |
scientific article; zbMATH DE number 517072 (Why is no real title available?)
| 1994-03-17 | Paper |
The structure of multiplicatives
Archive for Mathematical Logic | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4099290 (Why is no real title available?)
| 1989-01-01 | Paper |
