Publications

Articles

International Conferences: 2

2021

- Mikolas Janota and António José dos Reis Morgado and José Santos and Vasco Manquinho, The Seesaw Algorithm: Function Optimization using Implicit Hitting Sets, presented at International Conference on Principles and Practice of Constraint Programming, Aug. 2021 [bibTex]

2020

- 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]