Alexandre Lemos

According to our database, Alexandre Lemos authored at least 8 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Iterative Train Scheduling under Disruption with Maximum Satisfiability.

Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro, Inês Lynce

J. Artif. Intell. Res., 2024

BugOut: Automated Test Generation and Bug Detection for Low-Code.

Joana Coutinho, Alexandre Lemos, Miguel Terra-Neves, André Ribeiro, Vasco Manquinho, Rui Quintino, Bartlomiej Matejczyk

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

SAT-Based Algorithms for Regular Graph Pattern Matching.

Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022

Introducing UniCorT: an iterative university course timetabling tool with MaxSAT.

Alexandre Lemos, Pedro T. Monteiro, Inês Lynce

J. Sched., 2022

2021

Disruptions in timetables: a case study at Universidade de Lisboa.

Alexandre Lemos, Pedro T. Monteiro, Inês Lynce

J. Sched., 2021

2020

Minimal Perturbation in University Timetabling with Maximum Satisfiability.

Alexandre Lemos, Pedro T. Monteiro, Inês Lynce

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019

Repairing Boolean logical models from time-series data using Answer Set Programming.

Alexandre Lemos, Inês Lynce, Pedro T. Monteiro

Algorithms Mol. Biol., 2019

2018

YEASTRACT: an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae.

Miguel C. Teixeira, Pedro T. Monteiro, Margarida Palma, Catarina Costa, Cláudia P. Godinho, Pedro Pais, Mafalda Cavalheiro, Miguel Antunes, Alexandre Lemos, Tiago Pedreira, Isabel Sá-Correia

Nucleic Acids Res., 2018