Publications
[2014-37] Kleene Algebra Completeness DCC-FC & CMUP, Universidade do Porto .Edit
[2008-46] Large Viscous Solutions for Small Data in Systems of Conservation Laws that Change Type .Edit
[2015-23] Limit cycles for a class of $\mathbb{Z}_{2n}-$equivariant systems without infinite equilibria .Edit
[2013-12] Limit cycles for a class of quintic $\mathbbZ_6-$equivariant systems without infinite critical poi .Edit
[2011-35] On Linear Finite Automata and Cryptography .Edit
[2017-1] The linear nature of pseudowords .Edit
[2004-5] Linearization of resonant vector fields .