Câmpeanu C, Moreira N, Reis R. On the Dissimilarity Operation on Finite Languages. In: Bordihn H, Freund R, Nagy B, Vaszil G, editors. Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). Österreichische Computer Gesellschaft; 2016. 1. p. 105-120p. Edit

Câmpeanu C, Moreira N, Reis R. Distinguishability Operations and Closures. Fundamenta Informaticae. 2016;148:243-266.Edit

Broda S, Cavadas S, Ferreira M, Moreira N. Deciding Synchronous Kleene Algebra with Derivatives. In: Drewes F, editor. Implementation and Application of Automata, 20th International Conference (CIAA 2015). Vol 9223.; 2015. 4. p. 49-62p. (LNCS; vol 9223).Edit

[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

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

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

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