Filipe Gouveia

According to our database, Filipe Gouveia authored at least 7 papers between 2017 and 2024.

Collaborative distances:

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

2024

Iterative Train Scheduling under Disruption with Maximum Satisfiability.

Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro, Inês Lynce

J. Artif. Intell. Res., 2024

Scalable Knowledge Refactoring using Constrained Optimisation.

Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper

CoRR, 2024

2020

Revision of Boolean Models of Regulatory Networks Using Stable State Observations.

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro

J. Comput. Biol., 2020

ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks.

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro

Proceedings of the Computational Methods in Systems Biology, 2020

2019

Model Revision of Boolean Regulatory Networks at Stable State.

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro

Proceedings of the Bioinformatics Research and Applications - 15th International Symposium, 2019

2018

Model Revision of Logical Regulatory Networks Using Logic-Based Tools.

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017

Logic-Based Encodings for Ricochet Robots.

Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Inês Lynce

Proceedings of the Progress in Artificial Intelligence, 2017