Следене
Alexandre Lemos
Alexandre Lemos
Други именаAlexandre Duarte de Almeida Lemos, AD de Almeida Lemos, A Lemos
OutSystems, Instituto superior Técnico
Потвърден имейл адрес: outsystems.com - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
1772018
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
282019
Minimal perturbation in university timetabling with maximum satisfiability
A Lemos, PT Monteiro, I Lynce
International Conference on Integration of Constraint Programming …, 2020
132020
Disruptions in timetables: a case study at Universidade de Lisboa
A Lemos, PT Monteiro, I Lynce
Journal of Scheduling 24 (1), 35-48, 2021
122021
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
Introducing UniCorT: an iterative university course timetabling tool with MaxSAT
A Lemos, PT Monteiro, I Lynce
Journal of Scheduling 25 (4), 371-390, 2022
72022
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
72020
ITC-2019: A MaxSAT approach to solve University Timetabling problems
A Lemos, PT Monteiro, I Lynce
Int Timetabling Compet 2019, 1-4, 2019
42019
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–16