A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq
Ariel Agne da Silveira, Rodrigo Ribeiro, Paulo Torrens and Karina Roggia.
A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars
Elton Máximo Cardoso, Rodrigo Ribeiro, Leonardo Vieira Dos Santos Reis, Daniel Freitas Pereira and Regina Sarah Monferrari Amorim de Paula.
Exploring Opacity of Software Transactional Memory in Haskell through Graph Transformation
Diogo J. Cardoso, Luciana Foss and André R. Du Bois.