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

Guedes M., Ribeiro A., Smirnov G., Vilela S.. On the optimal control of a cascade of hydro-electric power stations 2012.Edit

Delgado M, García-Sánchez PA, Rosales JC. Numerical semigroups problem list 2013.Edit

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

Pribavkina EV, Rodaro E. State complexity of prefix, suffix, bifix and infix op- erators on regular languages. Vol LNCS, 6224 2010.Edit

Ramos A.. Modelacão de grandes incêndios em Portugal. Vol Estatística: A Ciência da Incerteza (Isabel Pereira et al., eds) Aveiro: Edições SPE 2013.Edit

Ramos S., de Oliveira PM. Caracterização Estatística do Meio Poroso de Argamassas 2001.Edit

Almeida R, Gonçalves H, Rocha AP, Bernardes J. A wavelet-based method for assessing fetal cardiac rhythms from abdominal ECGs. In: Computing in Cardiology Conference (CinC), 2013. Spain, Zaragoza: IEEE; 2013. 2. p. 289-292p. Edit

Almeida R, Gonçalves H, Rocha AP, Bernardes J. A wavelet-based method for assessing fetal cardiac rhythms from abdominal ECGs. In: Computing in Cardiology. Vol 40.; 2013. 2. p. 289-292p. Edit

Rocha AP, Leite A., Silva ME. Volatility Leveraging in Heart Rate: health vs disease. In: Computing in Cardiology 2016. Vol vol. 43. IEEE ed.; 2016. 0. p. 008-287p. 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

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

Gouveia S., Rocha AP, Laguna P, Lago P. Threshold Sensitivity in Time Domain BRS Estimation: Minimum Beat-to-Beat Changes and Minimum Correlation. In: {34th Annual Conference on Computers in Cardiology}. Vol {34}. {IEEE}; 2007. {. {p. 557-560p. }.Edit

Rodrigues AA. Three Dimensional Flows: From Hyperbolicity to Quasi-Stochasticity. In: Dynamics, Games and Science. Vol Dynamics, Games and Science, . Lisbon, Portugal: Springer ; 2015. 5. p. 573-591p. Edit

Yeldan O, Colorni A, Lue A, Rodaro E. A stochastic continuous cellular automata traffic flow model with a multi-agent fuzzy system. In: EWGT2012 - 15th Meeting of the EURO Working Group on Transportation, September 2012, Paris. Vol Procedia - Social and Behavioral Sciences vol. 54.; 2012. p. pp. p. 1350-1359p. 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

Cortés J., Almeida R, Olmos S., Rocha AP, Laguna P. Stability of QT measurements in the PTB database depending on the selected lead. In: {Computers in Cardiology}. Vol {33}.; 2006. {. {p. 341-344p. }.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

Costa JP, Rebelo A, Capela A., Da Costa JP, Guedes C., Carrapatoso E., et al. A shortest path approach for staff line detection. In: AXMEDIS 2007: THIRD INTERNATIONAL CONFERENCE ON AUTOMATED PRODUCTION OF CROSS MEDIA CONTENT FOR MULTI-CHANNEL DISTRIBUTION, PROCEEDINGS.; 2007. Edit

Almeida J, Rodaro E. Semisimple Synchronizing Automata and the Wedderburn-Artin Theory. In: Development in Language Theory, DLT 2014. Vol LNCS, 8633.; 2014. 4. p. 49-60p. Edit

Almeida J, Rodaro E. Semisimple synchronizing automata and the Wedderburn-Artin theory. In: Developments in Language Theory, 2014. Vol Developments in Language Theory. Russia, Ekaterinburg: Springer; 2014. 4. p. 49-60p. Edit

Rocha J.. Rigidity of the $C^1$-centralizer of bidimensional diffeomorphisms. In: Dynamical systems ({S}antiago, 1990). Vol 285. Longman Sci. Tech., Harlow; 1993. 2. p. 211-229p. Edit