Publications

Articles

International Journal Articles: 3

2022

- Alexandre Lemos and Pedro T. Monteiro and Inês Lynce, Introducing UniCorT: A University Course Timetabling Tool, article in Journal of Scheduling, to appear on 2022, Springer [DOI Article link] [bibTex]
- Leonor Pimenta de Oliveira e Silva and Magda Carolina Araújo Resende and Helena Galhardas and Vasco Manquinho and Inês Lynce, DeepData: Machine Learning in the Marine Ecosystems, article in Expert Systems With Applications, Jun. 2022 [bibTex]

2021

- 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 vol. 24 (1) pp. 35-48, Feb. 2021 [bibTex]

International Conferences: 4

2022

- David António Cóias Calhas and Vasco Manquinho and Inês Lynce, Automatic Generation of Neural Architecture Search Spaces, presented at AAAI-2022 Workshop on Combining Learning and Reasoning: Programming Languages, Formalisms, and Representations (CLeaR), Feb. 2022 [bibTex]

2021

- Margarida Ferreira and Akshay Narayan and Justine Sherry and Inês Lynce and Ruben Carlos Gonçalves Martins, Counterfeiting Congestion Control Algorithms, presented at HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, Nov. 2021 [DOI Article link] [bibTex]
- 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]
- Margarida Ferreira and Miguel Neves and Miguel Ventura and Inês Lynce and Ruben Carlos Gonçalves Martins, FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions, presented at 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, Mar. 2021 [DOI Article link] [bibTex]