[2014-36] Broda S, Cavadas S, Moreira N. Derivative Based Methods for Deciding SKA and SKAT DCC-FC & CMUP, Universidade do Porto .Edit

Câmpeanu C, Moreira N, Reis R. The Distinguishability Operation on Regular Languages. In: Non-Classical Models of Automata and Applications (NCMA 2014).; 2014. Edit

Broda S, Machiavelo A, Moreira N, Reis R. On the Equivalence of Automata for KAT-expressions. Vol 8493. Beckmann A, Csuhaj-Varjú E, Meer K, editors 2014.Edit

Broda S, Machiavelo A, Moreira N, Reis R. A Hitchhiker's Guide to descriptional complexity through analytic combinatorics. Theoret. Comput. Sci.. 2014;528:85-100.Edit

Almeida M, Moreira N, Reis R. Incremental DFA Minimisation. RAIRO - Theoretical Informatics and Applications. 2014;48:173-186.Edit

[2014-37] Broda S, Cavadas S, Moreira N. Kleene Algebra Completeness DCC-FC & CMUP, Universidade do Porto .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

Bell J, Brzozowski J, Moreira N, Reis R. Symmetric Groups and Quotient Complexity of Boolean Operations. Vol 8573. Esparza J, Fraigniaud P, Husfeldt T, Koutsoupias E, editors 2014.Edit

Broda S, Machiavelo A, Moreira N, Reis R. On the Average Size of Glushkov and Equation Automata for KAT Expressions 2013.

Broda S, Machiavelo A, Moreira N, Reis R. On the Average Size of Glushkov and Equation Automata for KAT Expressions. In: FCT. United Kingdom, Liverpool: Springer; 2013. 7. p. 72-83p.

[2013-23] Nabais D, Moreira N, Reis R. Desco: a knowledge based system for descriptional complexity of formal languages .Edit

[2013-22] Broda S, Machiavelo A, Moreira N, Reis R. Glushkov and Equation Automata for KAT Expressions .

Maia E, Moreira N, Reis R. Incomplete Transition Complexity of Basic Operations on Finite Languages. Konstantinidis S, editor 2013.Edit

Maia E, Moreira N, Reis R. Incomplete Transition Complexity of some Basic Operations. Boas Pvan Emde, Groen FCA, Italiano GF, Nawrocki J, Sack H, editors 2013.Edit

[2013-21] Bastos R, Moreira N, Reis R. Manipulation of extended regular expressions with derivatives .Edit

[2013-24] Maia E, Moreira N, Reis R. The Operational Incomplete Transition Complexity on Finite Languages .Edit

Moreira N, Reis R. Preface. Special Issue - Implementation and Application of Automata (CIAA 2012). International Journal of Fundations of Computer Science. 2013;24:689-690.

Broda S, Machiavelo A, Moreira N, Reis R. On the Average Size of Glushkov and Partial Derivative Automata. International Journal of Foundations of Computer Science. 2012;23:969-984.

Descriptional Complexity of Formal Systems, 14th International Workshop (DCFS 2012). Vol 7386. Kutrib M, Moreira N, Reis R, editors Springer 2012.Edit

Almeida M, Moreira N, Reis R. Finite automata minimization algorithms. Wang J, editor Chapman and Hall/CRC Press 2012.Edit

Implementation and Application of Automata, 17th International Conference (CIAA 2012). Vol 7381. Moreira N, Reis R, editors Springer 2012.

Broda S, Machiavelo A, Moreira N, Reis R. On the Average State Complexity of Partial Derivative Automata: an analytic combinatorics approach. International Journal of Foundations of Computer Science. 2011;22:1593-1606.

Broda S, Machiavelo A, Moreira N, Reis R. The average transition complexity of Glushkov and partial derivative automata. In: Developments in language theory. Vol 6795. Springer, Heidelberg; 2011. 9. p. 93-104p. (Lecture Notes in Comput. Sci.; vol 6795).Edit

Broda S, Machiavelo A, Moreira N, Reis R. The Average Transition Complexity of Glushkov and Partial Derivative Automata. In: Mauri G., Leporati A., editors. Developments in Language Theory, 15th International Conference, DLT 2011, Milano, Italy, July 2011. Proceedings. Vol 6795. Milano, Italy; 2011. 9. p. 93-104p. Edit

[2011-36] Moreira N, Nabais D, Reis R. DesCo: a Web Based Information System for Descriptional Complexity Results .Edit