Publications

Alexandre Lemos, Filipe Gouveia, Inês Lynce, Pedro T. Monteiro (2024). Iterative Train Scheduling under Disruption with Maximum Satisfiability. In JAIR.

Cite DOI

Filipe Gouveia (2021). Model Revision of Boolean Logical Models of Biological Regulatory Networks.

PDF Cite Code Project Slides PhD Thesis

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro (2020). ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks. In CMSB 2020.

PDF Cite Code Project Slides Video DOI

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro (2020). Semi-automatic model revision of Boolean regulatory networks: confronting time-series observations with (a)synchronous dynamics.

PDF Cite Code Project DOI

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro (2020). Revision of Boolean Models of Regulatory Networks Using Stable State Observations. In JCB.

PDF Cite Code Project DOI

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro (2019). Model revision of boolean regulatory networks at stable state. In ISBRA 2019.

PDF Cite Code Project Slides DOI

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro (2018). Model revision of logical regulatory networks using logic-based tools. In ICLP 2018.

PDF Cite Code Project DOI

Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Inês Lynce (2017). Logic-Based Encodings for Ricochet Robots. In EPIA 2017.

PDF Cite Poster Slides DOI

Filipe Gouveia (2012). Protein design using answer set programming.

PDF Cite MSc Thesis Extended Abstract