Publications

Dissertations

MSc Theses: 1

2020

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