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 | 187 | 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 | 31 | 2019 |
Disruptions in timetables: a case study at Universidade de Lisboa A Lemos, PT Monteiro, I Lynce Journal of Scheduling 24 (1), 35-48, 2021 | 14 | 2021 |
Minimal perturbation in university timetabling with maximum satisfiability A Lemos, PT Monteiro, I Lynce International Conference on Integration of Constraint Programming …, 2020 | 14 | 2020 |
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 | 9 | 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 | 9 | 2019 |
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: 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 | 2 | 2024 |
Benchmark: University Course Timetabling from the International Timetabling Competition 2019 A Lemos, PT Monteiro, I Lynce MaxSAT Evaluation 2021, 37, 0 | 1 | |
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 |
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 | | |