Publications

Articles

International Conferences: 2

2021

- Margarida Ferreira and Akshay Narayan and Justine Sherry and Inês Lynce and Ruben Carlos Gonçalves Martins, Counterfeiting Congestion Control Algorithms, presented at HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, Nov. 2021 [DOI Article link] [bibTex]
- Margarida Ferreira and Miguel Neves and Miguel Ventura and Inês Lynce and Ruben Carlos Gonçalves Martins, FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions, presented at 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, Mar. 2021 [DOI Article link] [bibTex]