According to our database1, David Henriques authored at least 10 papers between 2012 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Data-driven reverse engineering of signaling pathways using ensembles of dynamic models.
PLoS Computational Biology, 2017
SYNBADm: a tool for optimization-based automated design of synthetic gene circuits.
AMIGO2, a toolbox for dynamic modeling, optimization and control in systems biology.
BioPreDyn-bench: a suite of benchmark problems for dynamic modelling in systems biology.
BMC Systems Biology, 2015
Reverse engineering of logic-based differential equation models using a mixed-integer dynamic optimization approach.
Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains.
ACM Trans. Comput. Log., 2014
MEIGO: an open-source software suite based on metaheuristics for global optimization in systems biology and bioinformatics.
BMC Bioinformatics, 2014
Decidability and complexity for ω-regular properties of stochastic systems.
Logic Journal of the IGPL, 2012
CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms.
BMC Systems Biology, 2012
Statistical Model Checking for Markov Decision Processes.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012