Bastos R, Broda S, Machiavelo A, Moreira N, Reis R. On the State Complexity of Partial Derivative Automata for Regular Expressions with Intersection. In: Proceedings of the 18th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS16). Vol 9777. Springer; 2016. 4. p. 45-59p. (LNCS; vol 9777).Edit

Bastos R, Broda S, Machiavelo A, Moreira N, Reis R. On the State Complexity of Partial Derivative Automata for Regular Expressions with Intersection. In: Proceedings of the 18th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS16). Vol 9777. Springer; 2016. 4. p. 45-59p. (LNCS; vol 9777).Edit

Amorim I, Machiavelo A, Reis R. Statistical Study on The Number of Injective Linear Finite Transducers. In: Non-Classical Models of Automata and Applications (NCMA 2014). Germany, Kassel: books@ocg.at; 2014. Edit

Gouveia S., Rocha C, Rocha AP, Silva M. Time domain BRS estimation: Least squares versus quantile regression. In: Murray A, editor. {37th Annual Conference of the Computing-in-Cardiology}. Vol {37}. {IEEE}; 2010. {. {p. 931-934p. }.Edit

Mesquita A, Valente PA, de Oliveira PM. Aplicações do Modelo de Inversão para Reconstrução Batimétrica 2006.Edit

Moreira M, Ferreira RA. A comunicação matemática na gincana Matemátic@XXI. Vol Resumos digitais das comunicações do II Encontro em Ensino e Divulgação das Ciências 2016.Edit

Nunes S, Pereira J., Coelho C., Mesquita A., Oliveira PM, Coutinho JS, et al. Optimização de argamassas destinadas ao BAC com diferentes tipos de cimento Portugal, Guimarães 2008.Edit

Cerdeira J., Cruz MB, Moura A. Routing and assignment of clients of garden maintenance services. Vol Livro de atas do XVI Congresso da Associação Portuguesa de Investigação Operacional. Instituto Politécnico de Bragança ed. Portugal, Bragança: Instituto Politécnico de Bragança 2013.Edit

Delgado M, García-Sánchez PA, Morais J. numericalsgps, an accepted GAP package 2015.Edit

Mesquita TA, Rocha Z. Symbolic implementation of polynomial sequences cubic decomposition 2012.Edit

Mano VM. Combinatória de sons 2008.Edit

Matos V.. Problema de Riemann para Duas Leis de Conservação do Tipo IV com Região Elíptica 2004.Edit

Ramos MV, de Queiroz RJ, Moreira N, Almeida JC. Formalization of context-free language theory 2015.Edit

Ramos MV, de Queiroz RJ, Moreira N, Almeida JC. Formalization of the pumping lemma for context-free languages 2015.Edit

Konstantinidis S, Meijer C, Moreira N, Reis R. Symbolic Manipulation of Code Properties 2015.Edit

Konstantinidis S, Meijer C, Moreira N, Reis R. Symbolic Manipulation of Code Properties 2015.Edit