| Publication | Date of Publication | Type |
|---|
Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding
Theoretical Computer Science | 2023-08-18 | Paper |
| Minimal trap spaces of logical models are maximal siphons of their Petri net encoding | 2023-01-18 | Paper |
On the complexity of quadratization for polynomial differential equations
(available as arXiv preprint) | 2022-12-22 | Paper |
Graphical conditions for rate independence in chemical reaction networks
(available as arXiv preprint) | 2022-12-22 | Paper |
Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs
(available as arXiv preprint) | 2022-05-25 | Paper |
| Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs | 2022-05-25 | Paper |
Probably approximately correct learning of regulatory networks from time-series data
Computational Methods in Systems Biology | 2019-07-25 | Paper |
Graphical requirements for multistationarity in reaction networks and their verification in BioModels
Journal of Theoretical Biology | 2019-02-01 | Paper |
| On robustness computation and optimization in BIOCHAM-4 | 2018-10-17 | Paper |
| Influence systems vs reaction systems | 2018-03-22 | Paper |
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
Constraints | 2016-04-20 | Paper |
Inferring reaction systems from ordinary differential equations
Theoretical Computer Science | 2015-09-29 | Paper |
On the subgraph epimorphism problem
Discrete Applied Mathematics | 2014-09-12 | Paper |
A stronger necessary condition for the multistationarity of chemical reaction networks
Bulletin of Mathematical Biology | 2014-03-20 | Paper |
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
Theoretical Computer Science | 2011-06-28 | Paper |
Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints
Theoretical Computer Science | 2011-05-03 | Paper |
Abstract interpretation and types for systems biology
Theoretical Computer Science | 2009-01-15 | Paper |
From Reaction Models to Influence Graphs and Back: A Theorem
Formal Methods in Systems Biology | 2008-06-17 | Paper |
Closures and Modules Within Linear Logic Concurrent Constraint Programming
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | 2008-04-24 | Paper |
Model Revision from Temporal Logic Properties in Computational Systems Biology
Probabilistic Inductive Logic Programming | 2008-03-28 | Paper |
Computational Methods in Systems Biology
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Computational Methods in Systems Biology
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Linear concurrent constraint programming: Operational and phase semantics
Information and Computation | 2003-01-14 | Paper |
