David Henriques

17 papers C 1Misc 1Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2023 Misc conf
A New GIMME-Based Heuristic for Compartmentalised Transcriptomics Data Integration.
PACBB
Diego Troitiño-Jordedo, Lucas Carvalho, David Henriques, Vítor Pereira, Miguel Rocha, Eva Balsa-Canto
2023 J jnl
Classification of Fish Species Using Multispectral Data from a Low-Cost Camera and Machine Learning.
Remote. Sens.
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
2021 C conf
AI environment for predictive maintenance in a manufacturing scenario.
ETFA
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
2017 J jnl
Data-driven reverse engineering of signaling pathways using ensembles of dynamic models.
PLoS Comput. Biol.
David Henriques, Alejandro Fernández Villaverde, Miguel Rocha, Julio Saez-Rodriguez, Julio R. Banga
2016 J jnl
AMIGO2, a toolbox for dynamic modeling, optimization and control in systems biology.
Bioinform.
Eva Balsa-Canto, David Henriques, Attila Gábor, Julio R. Banga
2016 — —
Network inference for logic-based ordinary differential equations
David Henriques
2016 J jnl
SYNBADm: a tool for optimization-based automated design of synthetic gene circuits.
Bioinform.
Irene Otero-Muras, David Henriques, Julio R. Banga
2015 J jnl
BioPreDyn-bench: a suite of benchmark problems for dynamic modelling in systems biology.
BMC Syst. Biol.
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
2015 J jnl
Reverse engineering of logic-based differential equation models using a mixed-integer dynamic optimization approach.
Bioinform.
David Henriques, Miguel Rocha, Julio Saez-Rodriguez, Julio R. Banga
2014 J jnl
BioPreDyn-bench: benchmark problems for kinetic modelling in systems biology.
CoRR
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
2014 J jnl
Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains.
ACM Trans. Comput. Log.
Manuel Biscaia, David Henriques, Paulo Mateus
2014 J jnl
MEIGO: an open-source software suite based on metaheuristics for global optimization in systems biology and bioinformatics.
BMC Bioinform.
Jose A. Egea, David Henriques, Thomas Cokelaer, Alejandro Fernández Villaverde, Aidan MacNamara, Diana-Patricia Danciu, Julio R. Banga, Julio Saez-Rodriguez
2013 J jnl
MEIGO: an open-source software suite based on metaheuristics for global optimization in systems biology and bioinformatics.
CoRR
Jose A. Egea, David Henriques, Thomas Cokelaer, Alejandro Fernández Villaverde, Julio R. Banga, Julio Saez-Rodriguez
2012 J jnl
CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms.
BMC Syst. Biol.
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
2012 J jnl
Decidability and complexity for ω-regular properties of stochastic systems.
Log. J. IGPL
David Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus
2012 — conf
Statistical Model Checking for Markov Decision Processes.
QEST
David Henriques, João G. Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke
2011 — conf
Model Human Behavior: Don't Constrain It!
ITCH
H. Dominic Covvey, Donald D. Cowan, Paulo S. C. Alencar, William Malyk, Joel So, David Henriques, Shirley L. Fenton