Filipe Gouveia

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 6

Top Topics

Human Agent Interaction

Statistical Models

Multiple Robots

Top Venues

J. Comput. Biol.

J. Artif. Intell. Res.

Publications

Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro, Inês Lynce
Iterative Train Scheduling under Disruption with Maximum Satisfiability. J. Artif. Intell. Res. 79 (2024)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks. CMSB (2020)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Revision of Boolean Models of Regulatory Networks Using Stable State Observations. J. Comput. Biol. 27 (2) (2020)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Model Revision of Boolean Regulatory Networks at Stable State. ISBRA (2019)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Model Revision of Logical Regulatory Networks Using Logic-Based Tools. ICLP (Technical Communications) (2018)
Filipe Gouveia, Pedro T. Monteiro, Vasco M. Manquinho, Inês Lynce
Logic-Based Encodings for Ricochet Robots. EPIA (2017)