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 (ITCH, 2011)

Statistical Model Checking for Markov Decision Processes. - David Henriques; João G. Martins; Paolo Zuliani; André Platzer; Edmund M. Clarke (QEST, 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)

Decidability and complexity for ω-regular properties of stochastic systems. - David Henriques; Manuel Biscaia; Pedro Baltazar; Paulo Mateus (Log. J. IGPL, 2012)

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)

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)

BioPreDyn-bench: benchmark problems for kinetic modelling in systems biology. - Alejandro Fernández Villaverde; David Henriques; Kieran Smallbone; Sophia Bongard; Joachim Schmid 004; Damjan Cicin-Sain; Anton Crombach; Julio Saez-Rodriguez; Klaus Mauch; Eva Balsa-Canto; Pedro Mendes 001; Johannes Jaeger; et al. (CoRR, 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)

Reverse engineering of logic-based differential equation models using a mixed-integer dynamic optimization approach. - David Henriques; Miguel Rocha 001; Julio Saez-Rodriguez; Julio R. Banga (Bioinform., 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 004; Damjan Cicin-Sain; Anton Crombach; Julio Saez-Rodriguez; Klaus Mauch; Eva Balsa-Canto; Pedro Mendes 001; Johannes Jaeger; et al. (BMC Syst. Biol., 2015)

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)

SYNBADm: a tool for optimization-based automated design of synthetic gene circuits. - Irene Otero-Muras; David Henriques; Julio R. Banga (Bioinform., 2016)

Network inference for logic-based ordinary differential equations - David Henriques (2016)

Data-driven reverse engineering of signaling pathways using ensembles of dynamic models. - David Henriques; Alejandro Fernández Villaverde; Miguel Rocha 001; Julio Saez-Rodriguez; Julio R. Banga (PLoS Comput. Biol., 2017)

AI environment for predictive maintenance in a manufacturing scenario. - Rosaria Rossini; Gianluca Prato; Davide Conzon; Claudio Pastrone; Eliseu Moura Pereira; João Reis 001; Gil Gonçalves 002; David Henriques; Ana Rita Santiago; Antonio J. M. Ferreira (ETFA, 2021)

A New GIMME-Based Heuristic for Compartmentalised Transcriptomics Data Integration. - Diego Troitiño-Jordedo; Lucas Carvalho; David Henriques; Vítor Pereira 001; Miguel Rocha 001; Eva Balsa-Canto (PACBB, 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., 2023)