David Henriques

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 6

Top Topics

Signaling Pathways

Systems Biology

Benchmark Problems

Biochemical Networks

Top Venues

ACM Trans. Comput. Log.

Publications

Diego Troitiño-Jordedo, Lucas Carvalho, David Henriques, Vítor Pereira, Miguel Rocha, Eva Balsa-Canto
A New GIMME-Based Heuristic for Compartmentalised Transcriptomics Data Integration. PACBB (2023)
Filipe Monteiro, Vasco Bexiga, Paulo Chaves, Joaquim Godinho, David Henriques, Pedro Melo-Pinto, Tiago Nunes, Fernando Piedade, Nelson Pimenta, Luis Sustelo, Armando M. Fernandes
Classification of Fish Species Using Multispectral Data from a Low-Cost Camera and Machine Learning. Remote. Sens. 15 (16) (2023)
Rosaria Rossini, Gianluca Prato, Davide Conzon, Claudio Pastrone, Eliseu Moura Pereira, João Reis, Gil Gonçalves, David Henriques, Ana Rita Santiago, António Ferreira
AI environment for predictive maintenance in a manufacturing scenario. ETFA (2021)
David Henriques, Alejandro Fernández Villaverde, Miguel Rocha, Julio Saez-Rodriguez, Julio R. Banga
Data-driven reverse engineering of signaling pathways using ensembles of dynamic models. PLoS Comput. Biol. 13 (2) (2017)
Eva Balsa-Canto, David Henriques, Attila Gábor, Julio R. Banga
AMIGO2, a toolbox for dynamic modeling, optimization and control in systems biology. Bioinform. 32 (21) (2016)
Irene Otero-Muras, David Henriques, Julio R. Banga
SYNBADm: a tool for optimization-based automated design of synthetic gene circuits. Bioinform. 32 (21) (2016)
David Henriques, Miguel Rocha, Julio Saez-Rodriguez, Julio R. Banga
Reverse engineering of logic-based differential equation models using a mixed-integer dynamic optimization approach. Bioinform. 31 (18) (2015)
Alejandro Fernández Villaverde, David Henriques, Kieran Smallbone, Sophia Bongard, Joachim Schmid, Damjan Cicin-Sain, Anton Crombach, Julio Saez-Rodriguez, Klaus Mauch, Eva Balsa-Canto, Pedro Mendes, Johannes Jaeger, Julio R. Banga
BioPreDyn-bench: a suite of benchmark problems for dynamic modelling in systems biology. BMC Syst. Biol. 9 (2015)
Alejandro Fernández Villaverde, David Henriques, Kieran Smallbone, Sophia Bongard, Joachim Schmid, Damjan Cicin-Sain, Anton Crombach, Julio Saez-Rodriguez, Klaus Mauch, Eva Balsa-Canto, Pedro Mendes, Johannes Jaeger, Julio R. Banga
BioPreDyn-bench: benchmark problems for kinetic modelling in systems biology. CoRR (2014)
Manuel Biscaia, David Henriques, Paulo Mateus
Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains. ACM Trans. Comput. Log. 16 (1) (2014)
Jose A. Egea, David Henriques, Thomas Cokelaer, Alejandro Fernández Villaverde, Aidan MacNamara, Diana-Patricia Danciu, Julio R. Banga, Julio Saez-Rodriguez
MEIGO: an open-source software suite based on metaheuristics for global optimization in systems biology and bioinformatics. BMC Bioinform. 15 (2014)
Jose A. Egea, David Henriques, Thomas Cokelaer, Alejandro Fernández Villaverde, Julio R. Banga, Julio Saez-Rodriguez
MEIGO: an open-source software suite based on metaheuristics for global optimization in systems biology and bioinformatics. CoRR (2013)
Camille Terfve, Thomas Cokelaer, David Henriques, Aidan MacNamara, Emanuel J. V. Gonçalves, Melody K. Morris, Martijn P. van Iersel, Douglas A. Lauffenburger, Julio Saez-Rodriguez
CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms. BMC Syst. Biol. 6 (2012)
David Henriques, João G. Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke
Statistical Model Checking for Markov Decision Processes. QEST (2012)
David Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus
Decidability and complexity for ω-regular properties of stochastic systems. Log. J. IGPL 20 (6) (2012)
H. Dominic Covvey, Donald D. Cowan, Paulo S. C. Alencar, William Malyk, Joel So, David Henriques, Shirley L. Fenton
Model Human Behavior: Don't Constrain It! ITCH (2011)