| 2024 | EPIA | Context-Aware Deep Forecasting: Principles for the Nation-Wide Management of Blood Products. | Miguel Dauphinet, Rui Henriques, Pedro T. Monteiro |
| 2020 | CPAIOR | Minimal Perturbation in University Timetabling with Maximum Satisfiability. | Alexandre Lemos, Pedro T. Monteiro, Ins Lynce |
| 2018 | ICLP | Model Revision of Logical Regulatory Networks Using Logic-Based Tools. | Filipe Gouveia, Ins Lynce, Pedro T. Monteiro |
| 2017 | EPIA | Logic-Based Encodings for Ricochet Robots. | Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Ins Lynce |
| 2017 | ICA3PP | Using Spark and GraphX to Parallelize Large-Scale Simulations of Bacterial Populations over Host Contact Networks. | Andreia Sofia Teixeira, Pedro T. Monteiro, Joo A. Carrio, Francisco C. Santos, Alexandre P. Francisco |
| 2012 | PACBB | Efficient Verification for Logical Models of Regulatory Networks. | Pedro T. Monteiro, Claudine Chaouiya |
| 2008 | ATVA | Computation Tree Regular Logic for Genetic Regulatory Networks. | Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong |
| 2008 | ECAI | Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. | Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong |
| 2008 | ECCB | Temporal logic patterns for querying dynamic models of cellular interaction networks. | Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong |