Publications
Filter Publications: 2021 - 2023
Articles
International Journal Articles: 4
2023
- , Exact and Approximate Determination of the Pareto Front Using Minimal Correction Subsets, article in Computers and Operations Research, to appear on 2023 [bibTex]
2022
- , Introducing UniCorT: A University Course Timetabling Tool, article in Journal of Scheduling, to appear on 2022, Springer [DOI Article link] [bibTex]
- , DeepData: Machine Learning in the Marine Ecosystems, article in Expert Systems With Applications, Jun. 2022 [bibTex]
2021
- , 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: 5
2023
- , New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization, presented at Tools and Algorithms for Construction and Analysis of Systems (TACAS), Apr. 2023 [bibTex]
2022
- , 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
- , Counterfeiting Congestion Control Algorithms, presented at HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, Nov. 2021 [DOI Article link] [bibTex]
- , SOAR: A Synthesis Approach for Data Science API Refactoring, presented at International Conference on Software Engineering (ICSE), May. 2021 [bibTex] [Video]
- , 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]