Publications

Articles

International Journal Articles: 8

2020

- Pedro T. Monteiro and Tiago Godinho de Ornelas Pedreira and Monica Galocha and Miguel C. Teixeira and Claudine Chaouiya, Assessing regulatory features of the current transcriptional network of Saccharomyces cerevisiae, article in Scientific Reports, Sep. 2020, Nature [DOI Article link] [bibTex]
- 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

- Pedro Varela and Pedro T. Monteiro and Claudine Chaouiya, 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]
- 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]
- Pedro Varela and Camila Ramos and Pedro T. Monteiro and Claudine Chaouiya, 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]
- 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: 11

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]
- Pedro Miguel Orvalho and Miguel Neves and Miguel Ventura and Ruben Carlos Gonçalves Martins and Vasco Manquinho, SQUARES : A SQL Synthesizer Using Query Reverse Engineering, presented at International Conference on Very Large Databases, Jul. 2020 [bibTex]
- Gabriela Sampaio and José Santos and Petar Maksimovic and Philippa Gardner, 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]
- José Fragoso Santos and Petar Maksimovic and Sacha-Elie Ayoun and Philippa Gardner, 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]

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]
- Pedro Miguel Orvalho and Miguel Neves and Miguel Ventura and Ruben Carlos Gonçalves Martins and Vasco Manquinho, 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]
- 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]

Dissertations

PhD Theses: 1

2019

- Miguel Neves 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: 2

2019

- Pedro Miguel Orvalho advised by Vasco Manquinho, SQUARES : A SQL Synthesizer Using Query Reverse Engineering, MSc Thesis, Nov. 2019 [bibTex]
- Daniel Rosa Ramos advised by Inês Lynce and Vasco Manquinho, Program Synthesis from Noisy Tabular Data, MSc Thesis, Oct. 2019 [bibTex]