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

Broda S, Machiavelo A, Moreira N, Reis R. Position automaton construction for regular expressions with intersection. In: Reutenauer C, Brlek S, editors. Developments in Language Theory - 20th International Conference, DLT 2016. Vol 9840. Springer; 2016. 5. p. 51-63p. Edit

Broda S, Machiavelo A, Moreira N, Reis R. Position automaton construction for regular expressions with intersection. In: Reutenauer C, Brlek S, editors. Developments in Language Theory - 20th International Conference, DLT 2016. Vol 9840. Springer; 2016. 5. p. 51-63p. Edit

Broda S, Machiavelo A, Moreira N, Reis R. Partial Derivative Automaton for Regular Expressions with Shuffle. In: Shallit J, Okhotin A, editors. Proceedings of the 17th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS15). Springer; 2015. 2. p. 21-32p. Edit

Broda S, Machiavelo A, Moreira N, Reis R. Partial Derivative Automaton for Regular Expressions with Shuffle. In: Shallit J, Okhotin A, editors. Proceedings of the 17th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS15). Springer; 2015. 2. p. 21-32p. Edit

Almeida R, Pueyo E, Martínez JP, Rocha AP, Olmos S., Laguna P. A parametric model approach for quantification of short term QT variability uncorrelated with heart rate variability. In: Murray A, editor. {30th Annual Meeting on Computers in Cardiology}. Vol {30}. {IEEE}; 2003. {. {p. 165-168p. }.Edit

Almeida R, Pueyo E, Martínez JP, Rocha AP, Olmos S., Laguna P. A parametric model approach for quantification of short term QT variability uncorrelated with heart rate variability. In: Murray A, editor. {30th Annual Meeting on Computers in Cardiology}. Vol {30}. {IEEE}; 2003. {. {p. 165-168p. }.Edit

Prior A, Milheiro-Oliveira P, Arede T. Parameter estimators for a bidimensional Ornstein-Uhlenbeck process with singular diffusion. In: Linstat2010. Portugal, Tomar; 2010. Edit

Almeida R, Martínez JP, Rocha AP, Laguna P. P wave delineation using spatially projected leads from wavelet transform loops. In: Murray A, editor. {37th Annual Conference of the Computing-in-Cardiology}. Vol {37}. {IEEE}; 2010. {. {p. 1003-1006p. }.Edit

Almeida R, Martínez JP, Rocha AP, Laguna P. P wave delineation using spatially projected leads from wavelet transform loops. In: Murray A, editor. {37th Annual Conference of the Computing-in-Cardiology}. Vol {37}. {IEEE}; 2010. {. {p. 1003-1006p. }.Edit

Matos J, Rodrigues MJ, Vasconcelos PB. New implementation of the tau method for PDEs. In: Proceedings of the 10th International Congress on Computational and Applied Mathematics (ICCAM-2002). Vol 164/165.; 2004. 5. p. 555-567p. Edit

Mafalda-Sousa M, De-Castro-Aguiar P. Netbuilder: A Tool for Constructing Large and Complex Neural Networks. In: Front. Neurosci. Conference Abstract: 11th Meeting of the Portuguese Society for Neuroscience. doi: 10.3389/conf. neuro. Vol 1.; 2009. Edit

Broda S, Holzer M, Maia E, Moreira N, Reis R. On the Mother of All Automata: the Position Automaton. In: Developments in Language Theory.; 2017. Edit

Broda S, Holzer M, Maia E, Moreira N, Reis R. On the Mother of All Automata: the Position Automaton. In: Developments in Language Theory.; 2017. Edit

de Oliveira PM, Meadowcroft I.. A methodology for modelling and prediction of coastal cliffs recession. In: Coastal Dynamics´01 .; 2001. 9. p. 969-978p. Edit

Mendes I., Vasconcelos PB. Lumping Method with Acceleration for the PageRank Computation. In: 2014 14th International Conference on Computational Science and Its Applications. IEEE; 2014. 2. p. 221-224p. Edit

Leite A, Rocha AP, Silva M. Long Memory and Volatility in HRV: An ARFIMA-GARCH Approach. In: Murray A, editor. {36th Annual Computers in Cardiology Conference (CinC 2009)}. Vol {36}. {IEEE}; 2009. {. {p. 165-168p. }.Edit

Santos J., Matos J., Araújo T., Cruz MB, Ramos S., Moura A. An Innovative Degree in Mathematical Engineering in the Portuguese Education System: Submission Process and Evaluation. In: 1st International Conference of the Portuguese Society for Engineering Education – CISPEE. Vol Proceedings of the 1st International Conference of the Portuguese Society for Engineering Education – CISPEE. Porto, Portugal: IEEE; 2013. 1. p. 1-10p. Edit

Santos J., Matos J., Araújo T., Cruz MB, Ramos S., Moura A. An Innovative Degree in Mathematical Engineering in the Portuguese Education System: Submission Process and Evaluation. In: 1st International Conference of the Portuguese Society for Engineering Education – CISPEE. Vol Proceedings of the 1st International Conference of the Portuguese Society for Engineering Education – CISPEE. Porto, Portugal: IEEE; 2013. 1. p. 1-10p. Edit

Almeida M, Moreira N, Reis R. Incremental DFA Minimisation. In: Domaratzki M, Salomaa K, editors. Proceedings of the 15th International Conference on Implementation and Application of Automata (CIAA 2010). Winnipeg, MA, Canada; 2011. 3. p. 39-48p. Edit

Almeida R, Martínez JP, Rocha AP, Olmos S., Laguna P. Improved QT variability quantification by multilead automatic delineation. In: {32nd Annual Conference on Computers in Cardiology}. Vol {32}. {IEEE}; 2005. {. {p. 503-506p. }.Edit

Konstantinidis S, Meijer C, Moreira N, Reis R. Implementation of Code Properties via Transducers. In: Implementation and Application of Automata, 21th International Conference (CIAA 2016).; 2016. Edit

Konstantinidis S, Meijer C, Moreira N, Reis R. Implementation of Code Properties via Transducers. In: Implementation and Application of Automata, 21th International Conference (CIAA 2016).; 2016. Edit

Konstantinidis S, Moreira N, Reis R. Generating Error Control Codes With Automata and Transducers. 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. 2. p. 211-226p. Edit

Marques N., Almeida R, Rocha AP, Coimbra M.. Exploring the Stationary Wavelet Transform detail coefficients for detection and identification of the S1 and S2 heart sounds. In: Computing in Cardiology. Vol 40.; 2013. 8. p. 891-894p. Edit