Diego Figueira

ICALP, (2019)

international colloquium on automata languages and programming, pp.15, (2019)

LICS, (2018): 404-413

SIGLOG News, no. 2 (2018): 4-16

ICALP, pp.119:1-119:14, (2017)

LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, no. 3 (2013)