Amorim I, Machiavelo A, Reis R. Counting Equivalent Linear Finite Transducers Using a Canonical Form. Vol 8587. Holzer M, Kutrib M, editors 2014 (LNCS; vol 8587).Edit

Amorim I, Machiavelo A, Reis R. Counting Equivalent Linear Finite Transducers Using a Canonical Form. Holzer M, Kutrib M, editors Germany, Giessen: Springer 2014.Edit

Maia E, Moreira N, Reis R. Partial Derivative and Position Bisimilarity Automata. Vol 8587. Holzer M, Kutrib M, editors SV 2014 (LNCS; vol 8587).Edit

Seventh Workshop on Non-Classical Models of Automata and Applications (NCMA 2015). Freund R, Holzer M, Moreira N, Reis R, editors Österreichische Computer Gesellschaft 2015.Edit

Broda S, Holzer M, Maia E, Moreira N, Reis R. On the Mother of All Automata: the Position Automaton. In: Developments in Language Theory.; 2017. Edit