Publications
Counting Equivalent Linear Finite Transducers Using a Canonical Form. Vol 8587. Holzer M, Kutrib M, editors 2014 (LNCS; vol 8587).Edit
Counting Equivalent Linear Finite Transducers Using a Canonical Form. Holzer M, Kutrib M, editors Germany, Giessen: Springer 2014.Edit
Partial Derivative and Position Bisimilarity Automata. Vol 8587. Holzer M, Kutrib M, editors SV 2014 (LNCS; vol 8587).Edit
Descriptional Complexity of Formal Systems, 14th International Workshop (DCFS 2012). Vol 7386. Kutrib M, Moreira N, Reis R, editors Springer 2012.Edit