David Henriques

According to our database1, David Henriques authored at least 10 papers between 2012 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Data-driven reverse engineering of signaling pathways using ensembles of dynamic models.
PLoS Computational Biology, 2017

2016
SYNBADm: a tool for optimization-based automated design of synthetic gene circuits.
Bioinformatics, 2016

AMIGO2, a toolbox for dynamic modeling, optimization and control in systems biology.
Bioinformatics, 2016

2015
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.
Bioinformatics, 2015

2014
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

2012
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


  Loading...