Publications
Filter Publications: 2021 - 2023
Books
Book Chapters: 1
2021
- , Pseudo-Boolean and Cardinality Constraints, chapter of Handbook of Satisfiability - Second Edition, to appear on 2021, IOS Press [bibTex]
Articles
International Journal Articles: 6
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
- , Multiple-Input Neural Networks for Time Series Forecasting Incorporating Historical and Prospective Context, article in Data Mining and Knowledge Discovery, Nov. 2022 [bibTex]
- , Associative Analysis of Inefficiencies and Station Activity Levels in Emergency Response, article in International Journal of Geo-Information, Jun. 2022 [bibTex]
- , DeepData: Machine Learning in the Marine Ecosystems, article in Expert Systems With Applications, Jun. 2022 [bibTex]
- , Constraint-based Electoral Districting Using a New Compactness Measure: an application to Portugal, article in Computers and Operations Research, May. 2022, Elsevier [bibTex]
2021
- , Exact Hypervolume Subset Selection Through Incremental Computations, article in Computers & Operations Research vol. 136 pp. 15, Dec. 2021, Elsevier [DOI Article link] [bibTex]
International Conferences: 10
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
- , SAT-based Leximax Optimisation Algorithms, presented at International Conference on Theory and Applications of Satisfiability Testing (SAT), to appear on 2022 [bibTex]
- , MultIPAs : Applying Program Transformations to Introductory Programming Assignments for Data Augmentation, presented at 30th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (ESEC/FSE 2022), Nov. 2022 [bibTex]
- , Consolidation of massive medical emergency events with heterogeneous situational context data sources, presented at 6th International workshop on Data Analytics solutions for Real-LIfe APplications @ EDBT/ICDT 2022, Mar. 2022 [bibTex] [PDF]
- , 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
- , The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets, presented at 27th International Conference on Principles and Practice of Constraint Programming, Oct. 2021 [DOI Article link] [bibTex] [PDF]
- , AlloyMax: Bringing Maximum Satisfaction toRelational Specifications, presented at ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Jun. 2021 [bibTex]
- , How to Approximate Leximax-optimal Solutions, presented at Pragmatics of SAT 2021, Jun. 2021 [bibTex]
- , SOAR: A Synthesis Approach for Data Science API Refactoring, presented at International Conference on Software Engineering (ICSE), May. 2021 [bibTex] [Video]
- , UNIANO: robust and efficient anomaly consensus in time series sensitive to cross-correlated anomaly profiles, presented at SIAM International Conference on Data Mining, Apr. 2021 [bibTex]