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

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

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

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

Mano VM. Combinatória de sons 2008.Edit

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

Delgado M, García-Sánchez PA, Morais J. numericalsgps, an accepted GAP package 2015.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

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

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

Mesquita A, Valente PA, de Oliveira PM. Aplicações do Modelo de Inversão para Reconstrução Batimétrica 2006.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

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

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

Matos JM, Rodrigues M., Matos J.. Solving Integro-Differential Equations with Spectral Methods. In: 3rd International Conference on Numerical and Symbolic Computation. Universidade do Minho ed. APMTAC; 2017. 2. p. 221-230p. Edit

Matos JM, Rodrigues M., Matos J.. Solving Integro-Differential Equations with Spectral Methods. In: 3rd International Conference on Numerical and Symbolic Computation. Universidade do Minho ed. APMTAC; 2017. 2. p. 221-230p. Edit

Noriega M, Carcases E, Duran K, Maranon EJ, Martínez JP, Almeida R. Respiratory Rate Estimation from Multilead ECG Delineation using VCG Directions on Fiducial Points. In: Proceedings of the XLIII International Conference on Computing in Cardiology. Vol 43.; 2016. Edit

Noriega M, Carcases E, Duran K, Maranon EJ, Martínez JP, Almeida R. Respiratory Rate Estimation from Multilead ECG Delineation using VCG Directions on Fiducial Points. In: Proceedings of the XLIII International Conference on Computing in Cardiology. Vol 43.; 2016. Edit

Noriega M, Maranon E., Romero D., Orini M., Almeida R. Respiratory rate estimation from multilead directions, based on ECG delineation. In: 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).; 2016. 3. p. 3813-3816p. Edit

Mota B, Ferreira RA. A reinvenção guiada na aprendizagem das operações combinatórias. In: EIEM 2016: Recursos para o ensino da matemática. Vol Investigação em Educação Matemática: Recursos na educação matemática.; 2016. 2. p. 273-287p. Edit

Almeida R, Pueyo E, Martínez JP, Rocha AP, Laguna P. Quantification of the QT variability related to HRV: Robustness study facing automatic delineation and noise on the ECG. In: {31st Annual Scientific Meeting on Computers in Cardiology}. Vol {31}. {IEEE}; 2004. {. {p. 769-772p. }.Edit

Maia E, Moreira N, Reis R. Prefix and Right-Partial Derivative Automata. In: Soskova M, Mitrana V, editors. Computability in Europe (CiE 2015). Springer; 2015. 2. p. 258-267p. Edit

Maia E, Moreira N, Reis R. Prefix and Right-Partial Derivative Automata. In: Soskova M, Mitrana V, editors. Computability in Europe (CiE 2015). Springer; 2015. 2. p. 258-267p. Edit