David Henriques

According to our database, David Henriques authored at least 17 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Classification of Fish Species Using Multispectral Data from a Low-Cost Camera and Machine Learning.

Filipe Monteiro, Vasco Bexiga, Paulo Chaves Ferreira, Joaquim Godinho, David Henriques, Pedro Melo-Pinto, Tiago Nunes, Fernando Piedade, Nelson Pimenta, Luis Sustelo, Armando M. Fernandes

Remote. Sens., August, 2023

A New GIMME-Based Heuristic for Compartmentalised Transcriptomics Data Integration.

Diego Troitiño-Jordedo, Lucas Carvalho, David Henriques, Vítor Pereira, Miguel Rocha, Eva Balsa-Canto

Proceedings of the Practical Applications of Computational Biology and Bioinformatics, 2023

2021

AI environment for predictive maintenance in a manufacturing scenario.

Rosaria Rossini, Gianluca Prato, Davide Conzon, Claudio Pastrone, Eliseu Moura Pereira, João Reis, Gil Gonçalves, David Henriques, Ana Rita Santiago, Antonio J. M. Ferreira

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2017

Data-driven reverse engineering of signaling pathways using ensembles of dynamic models.

David Henriques, Alejandro Fernández Villaverde, Miguel Rocha, Julio Saez-Rodriguez, Julio R. Banga

PLoS Comput. Biol., 2017

2016

Network inference for logic-based ordinary differential equations

David Henriques

PhD thesis, 2016

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

Irene Otero-Muras, David Henriques, Julio R. Banga

Bioinform., 2016

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

Eva Balsa-Canto, David Henriques, Attila Gábor, Julio R. Banga

Bioinform., 2016

2015

BioPreDyn-bench: a suite of benchmark problems for dynamic modelling in systems biology.

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

BMC Syst. Biol., 2015

Reverse engineering of logic-based differential equation models using a mixed-integer dynamic optimization approach.

David Henriques, Miguel Rocha, Julio Saez-Rodriguez, Julio R. Banga

Bioinform., 2015

2014

Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains.

Manuel Biscaia, David Henriques, Paulo Mateus

ACM Trans. Comput. Log., 2014

BioPreDyn-bench: benchmark problems for kinetic modelling in systems biology.

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

CoRR, 2014

MEIGO: an open-source software suite based on metaheuristics for global optimization in systems biology and bioinformatics.

Jose A. Egea, David Henriques, Thomas Cokelaer, Alejandro Fernández Villaverde, Aidan MacNamara, Diana-Patricia Danciu, Julio R. Banga, Julio Saez-Rodriguez

BMC Bioinform., 2014

2013

MEIGO: an open-source software suite based on metaheuristics for global optimization in systems biology and bioinformatics.

Jose A. Egea, David Henriques, Thomas Cokelaer, Alejandro Fernández Villaverde, Julio R. Banga, Julio Saez-Rodriguez

CoRR, 2013

2012

Decidability and complexity for ω-regular properties of stochastic systems.

David Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus

Log. J. IGPL, 2012

CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms.

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

BMC Syst. Biol., 2012

Statistical Model Checking for Markov Decision Processes.

David Henriques, João G. Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

2011

Model Human Behavior: Don't Constrain It!

H. Dominic Covvey, Donald D. Cowan, Paulo S. C. Alencar, William Malyk, Joel So, David Henriques, Shirley L. Fenton

Proceedings of the International Perspectives in Health Informatics, 2011