| Publication | Date of Publication | Type |
|---|
Dynamical analysis and optimization of a generalized resource allocation model of microbial growth
SIAM Journal on Applied Dynamical Systems | 2022-01-26 | Paper |
Optimal control of bacterial growth for the maximization of metabolite production
Journal of Mathematical Biology | 2019-03-15 | Paper |
The Switching Threshold Reconstruction Problem for Piecewise-Affine Models of Genetic Regulatory Networks
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Importance of metabolic coupling for the dynamics of gene expression following a diauxic shift in \textit{Escherichia coli}
Journal of Theoretical Biology | 2016-05-19 | Paper |
Qualitative simulation of the initiation of sporulation in \textit{Bacillus subtilis}
Bulletin of Mathematical Biology | 2016-03-08 | Paper |
Qualitative simulation of genetic regulatory networks using piecewise-linear models
Bulletin of Mathematical Biology | 2016-03-08 | Paper |
Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems
Physica D | 2014-05-05 | Paper |
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
Automatica | 2014-03-19 | Paper |
On the identifiability of metabolic network models
Journal of Mathematical Biology | 2014-02-03 | Paper |
CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
Theoretical Computer Science | 2011-06-28 | Paper |
Computation Tree Regular Logic for Genetic Regulatory Networks
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Experiment selection for the discrimination of semi-quantitative models of dynamical systems
Artificial Intelligence | 2007-10-23 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Modeling the dynamics of genetic regulatory networks: continuous and discrete approaches | 2006-08-28 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2144778 (Why is no real title available?) | 2005-03-14 | Paper |
A multi-scale constraint programming model of alternative splicing regulation
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 1956635 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1950550 (Why is no real title available?) | 2003-07-17 | Paper |
Comparative envisionment construction: A technique for the comparative analysis of dynamical systems
Artificial Intelligence | 2002-07-24 | Paper |
Computer-supported resolution of measurement conflicts: A case-study in materials science
Foundations of Science | 2001-03-18 | Paper |
Computer-supported resolution of measurement conflicts: A case-study in materials science
Foundations of Science | 2001-03-18 | Paper |
The computer revolution in science: steps towards the realization of computer-supported discovery environments
Artificial Intelligence | 1998-07-23 | Paper |
The computer revolution in science: steps towards the realization of computer-supported discovery environments
Artificial Intelligence | 1998-07-23 | Paper |
