| YEASTRACT: an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae MC Teixeira, PT Monteiro, M Palma, C Costa, CP Godinho, P Pais, ... Nucleic acids research 46 (D1), D348-D353, 2018 | 178 | 2018 |
| Room usage optimization in timetabling: A case study at Universidade de Lisboa A Lemos, FS Melo, PT Monteiro, I Lynce Operations Research Perspectives 6, 100092, 2019 | 28 | 2019 |
| Minimal perturbation in university timetabling with maximum satisfiability A Lemos, PT Monteiro, I Lynce International Conference on Integration of Constraint Programming …, 2020 | 14 | 2020 |
| Disruptions in timetables: a case study at Universidade de Lisboa A Lemos, PT Monteiro, I Lynce Journal of Scheduling 24 (1), 35-48, 2021 | 12 | 2021 |
| Introducing UniCorT: an iterative university course timetabling tool with MaxSAT A Lemos, PT Monteiro, I Lynce Journal of Scheduling 25 (4), 371-390, 2022 | 8 | 2022 |
| ITC 2019: University course timetabling with MaxSAT A Lemos, PT Monteiro, I Lynce Proceedings of the 13th International Conference on the Practice and Theory …, 2020 | 8 | 2020 |
| Repairing Boolean logical models from time-series data using Answer Set Programming A Lemos, I Lynce, PT Monteiro Algorithms for Molecular Biology 14, 1-16, 2019 | 8 | 2019 |
| ITC-2019: A MaxSAT approach to solve University Timetabling problems A Lemos, PT Monteiro, I Lynce Int Timetabling Compet 2019, 1-4, 2019 | 4 | 2019 |
| Iterative Train Scheduling under Disruption with Maximum Satisfiability A Lemos, F Gouveia, PT Monteiro, I Lynce Journal of Artificial Intelligence Research 79, 1047-1090, 2024 | | 2024 |
| SAT-Based Algorithms for Regular Graph Pattern Matching M Terra-Neves, J Amaral, A Lemos, R Quintino, P Resende, A Alegria Proceedings of the AAAI Conference on Artificial Intelligence 38 (8), 8136-8145, 2024 | | 2024 |
| BugOut: Automated Test Generation and Bug Detection for Low-Code J Coutinho, A Lemos, M Terra-Neves, A Ribeiro, V Manquinho, R Quintino, ... 17th IEEE International Conference on Software Testing, Verification and …, 2024 | | 2024 |
| Thesis approved in public session to obtain the PhD Degree in Computer Science and Engineering AD de Almeida Lemos INSTITUTO SUPERIOR TÉCNICO, 2021 | | 2021 |
| Inference in Biological Regulatory Networks AD de Almeida Lemos | | 2016 |
| Benchmark: University Course Timetabling from the International Timetabling Competition 2019 A Lemos, PT Monteiro, I Lynce MaxSAT Evaluation 2021, 37, 0 | | |
| Inference in Biological Regulatory Networks A Lemos | | |
| Stochastic Kinetic Modelling of Polyethylene Pyrolysis E Santos, A Lemos, N Trindade, M Lemos, F Lemos | | |
| Repairing Boolean regulatory networks using Answer Set Programming A Lemos, PT Monteiro, I Lynce | | |
Pedro T. MonteiroINESC-ID / IST - Universidade de LisboaVerified email at tecnico.ulisboa.pt
