Seguir
Alexandre Lemos
Alexandre Lemos
Outros nomesAlexandre Duarte de Almeida Lemos, AD de Almeida Lemos, A Lemos
OutSystems, Instituto superior Técnico
Email confirmado em outsystems.com - Página inicial
Título
Citado por
Citado por
Ano
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
1802018
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
292019
Minimal perturbation in university timetabling with maximum satisfiability
A Lemos, PT Monteiro, I Lynce
International Conference on Integration of Constraint Programming …, 2020
142020
Disruptions in timetables: a case study at Universidade de Lisboa
A Lemos, PT Monteiro, I Lynce
Journal of Scheduling 24 (1), 35-48, 2021
132021
Introducing UniCorT: an iterative university course timetabling tool with MaxSAT
A Lemos, PT Monteiro, I Lynce
Journal of Scheduling 25 (4), 371-390, 2022
82022
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
82020
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
82019
ITC-2019: A MaxSAT approach to solve University Timetabling problems
A Lemos, PT Monteiro, I Lynce
Int Timetabling Compet 2019, 1-4, 2019
42019
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–17