Filipe Gouveia
ONGOING
| Acronym | Title | Funding Entity | Start Date | End Date |
|---|---|---|---|---|
| ZELVE | Zero-Execution Logic Validation and Energy Estimation for Microservice CI/CD | FCT | LASIGE | 01/10/2026 | 31/10/2027 |
PAST
| Acronym | Title | Funding Entity | Start Date | End Date |
|---|---|---|---|---|
| LiquidDevX | Improving the Developer Experience with Liquid Types | FCT | LASIGE | 01/10/2025 | 01/10/2026 |
Pedro T. Monteiro, Filipe Gouveia. pyModRev: A Python Tool for Model Revision of Boolean Networks, In Lecture Notes in Computer Science, pages 56 - 70. Springer Nature Switzerland, 2026 [Biblius]
Andrew Cropper, Filipe Gouveia, David M. Cerna. Honey, I Shrunk the Hypothesis Space (Through Logical Preprocessing). Journal of Artificial Intelligence Research, 85, AI Access Foundation, 2026 [Biblius]