Alexandre Lemos

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 8

Top Topics

Saccharomyces Cerevisiae

Maximum Satisfiability

Answer Set Programming

Top Venues

J. Artif. Intell. Res.

Nucleic Acids Res.

Publications

Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro, Inês Lynce
Iterative Train Scheduling under Disruption with Maximum Satisfiability. J. Artif. Intell. Res. 79 (2024)
Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria
SAT-Based Algorithms for Regular Graph Pattern Matching. AAAI (2024)
Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria
SAT-Based Algorithms for Regular Graph Pattern Matching. CoRR (2023)
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
Introducing UniCorT: an iterative university course timetabling tool with MaxSAT. J. Sched. 25 (4) (2022)
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
Disruptions in timetables: a case study at Universidade de Lisboa. J. Sched. 24 (1) (2021)
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
Minimal Perturbation in University Timetabling with Maximum Satisfiability. CPAIOR (2020)
Alexandre Lemos, Inês Lynce, Pedro T. Monteiro
Repairing Boolean logical models from time-series data using Answer Set Programming. Algorithms Mol. Biol. 14 (1) (2019)
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
YEASTRACT: an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae. Nucleic Acids Res. 46 (Database-Issue) (2018)