Publications
Filter Publications: 2019 - 2021
Articles
International Journal Articles: 17
2021
- , The Hypervolume Indicator: Computational Problems and Algorithms, article in Computing Surveys, to appear on 2021, ACM [bibTex]
- , Exact Hypervolume Subset Selection Through Incremental Computations, article in Computers & Operations Research, Jul. 2021, Elsevier [bibTex]
2020
- , Multiple fault localization of software programs: A systematic literature review, article in Information and Software Technology vol. 124, to appear on 2020, Elsevier BV [DOI Article link] [bibTex] [PDF]
- , A Game AI Competition to foster Collaborative AI research and development, article in IEEE Transactions on Games pp. 1-12, Sep. 2020, IEEE [DOI Article link] [bibTex]
- , Assessing regulatory features of the current transcriptional network of Saccharomyces cerevisiae, article in Scientific Reports, Sep. 2020, Nature [DOI Article link] [bibTex]
- , Disruptions in Timetables: A Case Study at Universidade de Lisboa, article in Journal of Scheduling, Jun. 2020 [bibTex]
- , Hybrid epithelial-mesenchymal phenotypes are controlled by microenvironmental factors, article in Cancer Research vol. 80 (11), Jun. 2020 [DOI Article link] [bibTex]
- , A Boolean Logical model for Reprogramming of Testes-derived male Germline Stem Cells into Germline pluripotent stem cells, article in Computer Methods and Programs in Biomedicine vol. 192, Mar. 2020 [DOI Article link] [bibTex]
- , 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]
- , YEASTRACT+: a portal for cross-species comparative genomics of transcription regulation in yeasts, article in Nucleic Acids Research vol. 48 pp. D642-D649, Jan. 2020, Oxford University Press [DOI Article link] [bibTex]
2019
- , {RC2:} an Efficient MaxSAT Solver, article in Journal on Satisfiability, Boolean Modeling and Computation vol. 11 (1) pp. 53--64, to appear on 2019 [DOI Article link] [bibTex]
- , Impact of Changing Cell-Cell Communication Network in Models of Epithelial Pattern Formation, article in IFAC-PapersOnLine vol. 52 (26) pp. 38-44, Oct. 2019 [DOI Article link] [bibTex]
- , 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]
- , 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]
- , On Logical Bifurcation Diagrams, article in Journal of Theoretical Biology vol. 466 pp. 39-63, Apr. 2019 [DOI Article link] [bibTex]
- , EpiLog: A software for the logical modelling of epithelial dynamics, article in F1000Research vol. 7 pp. 1145, Mar. 2019, F1000 Research, Ltd. [DOI Article link] [bibTex]
- , 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: 31
2021
- , 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]
2020
- , UnchartIt: An Interactive Framework for Program Recovery from Charts, presented at IEEE/ACM International Conference on Automated Software Engineering, Oct. 2020 [bibTex]
- , 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]
- , 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]
- , Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks, presented at 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) – 5th International Workshop on Reliability and Security Data Analysis (RSDA), Aug. 2020 [bibTex] [PDF]
- , 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]
- , SAT-Based Encodings for Optimal Decision Trees with Explicit Paths., presented at Theory and Applications of Satisfiability Testing - {SAT} 2020, Jul. 2020 [DOI Article link] [bibTex]
- , Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection, presented at 15th ACM ASIA Conference on Computer and Communications Security, Jul. 2020 [bibTex] [PDF]
- , SmartBugs: A Framework to Analyze Solidity Smart Contracts, presented at 35th IEEE/ACM International Conference on Automated Software Engineering, Tool Demo Track, Jul. 2020 [bibTex] [PDF]
- , SQUARES : A SQL Synthesizer Using Query Reverse Engineering, presented at International Conference on Very Large Databases, Jul. 2020 [bibTex] [Video]
- , A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications, presented at European Conference on Object-Oriented Programming (ECOOP 2020), Jun. 2020 [bibTex] [PDF]
- , Gillian, Part I: A Multi-language Platform for Symbolic Execution, presented at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Apr. 2020 [DOI Article link] [bibTex] [PDF]
- , Extending Narrative Planning Domains with Linguistic Resources, presented at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), Jan. 2020 [bibTex] [PDF]
- , Visual Sketching: From Image Sketches to Code, presented at The 42th International Conference on Software Engineering (ICSE'20), Jan. 2020 [bibTex] [PDF]
2019
- , Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts, presented at 42nd International Conference on Software Engineering (ICSE 2020), Dec. 2019 [bibTex] [PDF]
- , Narrative Planning Model Acquisition from Text Summaries and Descriptions, presented at AAAI Conference on Artificial Intelligence (AAAI-20), Nov. 2019 [bibTex] [PDF]
- , 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]
- , Encodings for Enumeration-Based Program Synthesis, presented at 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, Oct. 2019 [DOI Article link] [bibTex]
- , Logic, Algebra, and Geometry at the Foundation of Computer Science, presented at Formal Methods Teaching Workshop (FMTea), Aug. 2019 [bibTex] [PDF]
- , Model-Based Diagnosis with Multiple Observations, presented at International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Aug. 2019 [DOI Article link] [bibTex]
- , Open and Interactive Learning Resources for Algorithmic Problem Solving, presented at 9th International Workshop on Open Community approaches to Education, Research and Technology (OpenCert), Aug. 2019 [bibTex] [PDF]
- , DRMaxSAT with MaxHS: First Contact, presented at Theory and Applications of Satisfiability Testing, Jul. 2019 [DOI Article link] [bibTex]
- , DRMaxSAT with MaxHS: First Contact, presented at Theory and Applications of Satisfiability Testing, Jul. 2019 [DOI Article link] [bibTex]
- , Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization, presented at 28th International Joint Conference on Artificial Intelligence (IJCAI19), May. 2019 [bibTex] [PDF]
- , Integrating Constraint Reasoning in Multi-Objective Evolutionary Algorithms, presented at 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, May. 2019 [bibTex]
- , Model revision of Boolean regulatory networks at stable state, presented at International Symposium on Bioinformatics Research and Applications, May. 2019 [DOI Article link] [bibTex]
- , Efficient Symmetry Breaking for SAT-Based Minimum {DFA} Inference, presented at International Conference Language and Automata Theory and Applications, Mar. 2019 [DOI Article link] [bibTex]
- , Concurrency Debugging with MaxSMT, presented at Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 19, Jan. 2019 [bibTex]
National Conferences: 1
2019
- , Solving Motion and Action Planning for a Cooperative Agent Problem Using Geometry Friends, presented at EPIA Conference on Artificial Intelligence, Sep. 2019 [DOI Article link] [bibTex]
Dissertations
PhD Theses: 1
2019
- advised by Vasco Manquinho and Inês Lynce, Constraint-Based Multi-Objective Combinatorial Optimization, PhD Thesis at IST - Universidade de Lisboa, Jun. 2019 [bibTex]
MSc Theses: 13
2021
- advised by Mikolas Janota and Vasco Manquinho, Automated Computational Complexity Estimation, MSc Thesis at IST - Universidade de Lisboa, Jan. 2021 [bibTex]
- advised by Vasco Manquinho, Evaluating Redistricting of Electoral Areas, MSc Thesis at IST - U. Lisboa, Jan. 2021 [bibTex]
- advised by Inês Lynce and Miguel Neves, Pure Function Synthesis in the OutSystems Plataform, MSc Thesis at Instituto Superior Técnico, Jan. 2021 [bibTex]
- advised by Vasco Manquinho and Miguel Angelo Terra Neves, Stochastic Multi-Objective Combinatorial Optimization Algorithms, MSc Thesis, Jan. 2021 [bibTex]
2020
- advised by Vasco Manquinho and Miguel Neves, CUBES: A New Dimension in Query Synthesis From Examples, MSc Thesis at IST - Universidade de Lisboa, Nov. 2020 [bibTex]
- advised by Inês Lynce and Miguel Neves, FOREST: An interactive multi-tree synthesizer for regular expressions, MSc Thesis at Instituto Superior Técnico, Nov. 2020 [bibTex]
2019
- advised by Vasco Manquinho and Luis Guerra e Silva, Data Center Optimization using vitual machine profiles, MSc Thesis, Nov. 2019 [bibTex]
- advised by Vasco Manquinho and Nuno Roma, Flying Tourist Problem An Integer Linear Programming Approach, MSc Thesis, Nov. 2019 [bibTex]
- advised by Mikolas Janota and Vasco Manquinho, New Language for Program Test Generation, MSc Thesis, Nov. 2019 [bibTex]
- advised by Vasco Manquinho and Miguel Neves, SQUARES : A SQL Synthesizer Using Query Reverse Engineering, MSc Thesis, Nov. 2019 [bibTex]
- advised by Inês Lynce and Vasco Manquinho, DeepData: Machine Learning in the Marine Ecosystems, MSc Thesis at Instituto Superior Técnico, Oct. 2019 [bibTex]
- advised by Inês Lynce and Vasco Manquinho, Program Synthesis from Noisy Tabular Data, MSc Thesis, Oct. 2019 [bibTex]
- advised by Inês Lynce and Miguel Ventura, Program Synthesis with Formal Methods for outsystems language, MSc Thesis at Instituto Superior Técnico, May. 2019 [bibTex]
as Editors
Other Publications: 1
2020
- , editors, Evolutionary Multiobjective Optimization, EURO Working Group Multicriteria Decision Aiding 3, Nov. 2020 [bibTex]