Publications

Articles

International Journal Articles: 6

2021

- Alexandre Lemos and Pedro T. Monteiro and Inês Lynce, Introducing UniCorT: A University Course Timetabling Tool, article in Journal of Scheduling, Jul. 2021, Springer [DOI Article link] [bibTex]

2020

- Alexandre Lemos and Pedro T. Monteiro and Inês Lynce, Disruptions in Timetables: A Case Study at Universidade de Lisboa, article in Journal of Scheduling, Jun. 2020 [bibTex]
- Filipe Gouveia and Inês Lynce and Pedro T. Monteiro, Revision of Boolean models of regulatory networks using stable state observations, article in Journal of Computational Biology vol. 27 (2) pp. 144-155, Feb. 2020, Mary Ann Liebert, Inc. [DOI Article link] [bibTex]

2019

- Miguel Neves and Inês Lynce and Vasco Manquinho, Virtual machine consolidation using constraint-based multi-objective optimization, article in Journal of Heuristics vol. 25 (3) pp. 339-375, Jun. 2019 [DOI Article link] [bibTex]
- Alexandre Lemos and Francisco S. Melo and Pedro T. Monteiro and Inês Lynce, Room Usage Optimization in Timetabling: A Case Study at Universidade de Lisboa, article in Operations Research Perspectives vol. 6 pp. 100092, May. 2019 [DOI Article link] [bibTex]
- Alexandre Lemos and Inês Lynce and Pedro T. Monteiro, Repairing Boolean logical models from time-series data using Answer Set Programming, article in Algorithms for Molecular Biology vol. 14 pp. 9, Mar. 2019 [DOI Article link] [bibTex]

International Conferences: 9

2021

- Ansong Ni and Daniel Rosa Ramos and Aidan Yang and Inês Lynce and Vasco Manquinho and Ruben Martins and Claire Le Goues, SOAR: A Synthesis Approach for Data Science API Refactoring, presented at International Conference on Software Engineering (ICSE), May. 2021 [bibTex] [Video]

2020

- Daniel Rosa Ramos and Jorge Pereira and Inês Lynce and Vasco Manquinho and Ruben Carlos Gonçalves Martins, UnchartIt: An Interactive Framework for Program Recovery from Charts, presented at IEEE/ACM International Conference on Automated Software Engineering, Oct. 2020 [bibTex]
- Alexandre Lemos and Pedro T. Monteiro and Inês Lynce, Minimal Perturbation in University Timetabling with Maximum Satisfiability, presented at 17th Intl. Conf. on Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR'20), Sep. 2020 [DOI Article link] [bibTex]
- Filipe Gouveia and Inês Lynce and Pedro T. Monteiro, ModRev - Model Revision tool for Boolean logical models of biological regulatory networks, presented at 18th Intl. Conf. on Computational Methods in Systems Biology (CMSB'20), Sep. 2020 [DOI Article link] [bibTex]
- Inês Lynce and Pedro T. Monteiro, ITC 2019: University Course Timetabling with MaxSAT, presented at Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2021:, Aug. 2020 [bibTex]

2019

- Andreia Guerreiro and Miguel Neves and Inês Lynce and José Rui Figueira and Vasco Manquinho, Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving, presented at 25th International Conference Principles and Practice of Constraint Programming, CP 2019, Oct. 2019 [DOI Article link] [bibTex]
- Miguel Neves and Inês Lynce and Vasco Manquinho, Integrating Constraint Reasoning in Multi-Objective Evolutionary Algorithms, presented at 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, May. 2019 [bibTex]
- Filipe Gouveia and Inês Lynce and Pedro T. Monteiro, Model revision of Boolean regulatory networks at stable state, presented at International Symposium on Bioinformatics Research and Applications, May. 2019 [DOI Article link] [bibTex]
- Miguel Neves and Nuno Machado and Inês Lynce and Vasco Manquinho, Concurrency Debugging with MaxSMT, presented at Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 19, Jan. 2019 [bibTex]