Bell J, Brzozowski J, Moreira N, Reis R. Symmetric Groups and Quotient Complexity of Boolean Operations. Vol 8573. Esparza J, Fraigniaud P, Husfeldt T, Koutsoupias E, editors 2014.Edit

Bell J, Brzozowski J, Moreira N, Reis R. Symmetric Groups and Quotient Complexity of Boolean Operations. Vol 8573. Esparza J, Fraigniaud P, Husfeldt T, Koutsoupias E, editors 2014.Edit

Broda S, Machiavelo A, Moreira N, Reis R. On the Average Complexity of Strong Star Normal Form. In: Pighizzini G, Câmpeanu C, editors. Description Complexity of Formal Systems (DCFS 2017). Vol 10316. Springer; 2017. 7. p. 77-88p. (LNCS; vol 10316).Edit

Broda S, Machiavelo A, Moreira N, Reis R. On the Average Size of Glushkov and Equation Automata for KAT Expressions. In: FCT. United Kingdom, Liverpool: Springer; 2013. 7. p. 72-83p.

Broda S, Machiavelo A, Moreira N, Reis R. The Average Transition Complexity of Glushkov and Partial Derivative Automata. In: Mauri G., Leporati A., editors. Developments in Language Theory, 15th International Conference, DLT 2011, Milano, Italy, July 2011. Proceedings. Vol 6795. Milano, Italy; 2011. 9. p. 93-104p. Edit

Gouveia S., Rocha AP, Laguna P, Gujic M., Beloka S., De Borne PV, et al. BRS Analysis from Baroreflex Sequences and Baroreflex Events Compared Using Spontaneous and Drug Induced Data. In: {35th Annual Conference on Computers in Cardiology}. Vol {35}. {IEEE}; 2008. {. {p. 737-740p. }.Edit

Barisic M, Aguiar P, Geley S, Maiato H. CENP-E and detyrosinated microtubules guide peripheral polar chromosomes towards the cell equator.. In: MOLECULAR BIOLOGY OF THE CELL. Vol 25. AMER SOC CELL BIOLOGY 8120 WOODMONT AVE, STE 750, BETHESDA, MD 20814-2755 USA; 2014. Edit

Costa JP, Moreira I, Almeida J, Preto A, Melo R, Gumus ZH, et al. Co-evolution importance on binding Hot-Spot prediction methods. In: Proceedings of MOL2NET 2016, International Conference on Multidisciplinary Sciences, 2nd edition.; 2017. Edit

Davydov A., Basto-Gonçalves J. Controllability of a generic control system at a $k$-type singular point. In: International {C}onference on {D}ifferential {E}quations, {V}ol. 1, 2 ({B}erlin, 1999). World Sci. Publ., River Edge, NJ; 2000. 8. p. 841-843p. Edit

Davydov A., Basto-Gonçalves J. Controllability of a generic dynamic inequality near a singular point. In: Real and complex singularities ({S}ão {C}arlos, 1998). Vol 412. Chapman & Hall/CRC, Boca Raton, FL; 2000. 2. p. 223-235p. Edit

Almeida J, Bartoňová J., Klíma O, Kunc M.. On Decidability of Intermediate Levels of Concatenation Hierarchies. In: 19th International Conference Developments in Language Theory (DLT 2015). Vol Developments in Language Theory, LNCS 9168. UK, Liverpool: Springer; 2015. 5. p. 58-70p. 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

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

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

Bolea J, Laguna P., Caiani EG, Almeida R. Heart rate and ventricular repolarization variabilities interactions modification by microgravity simulation during head-down bed rest test. In: Proceedings - IEEE Symposium on Computer-Based Medical Systems. Institute of Electrical and Electronics Engineers Inc.; 2013. 5. p. 552-553p. Edit

Caiani EG, Pellegrini A., Bolea J, Sotaquira M., Soria M., Almeida R, et al. Impaired T-wave amplitude adaptation to heart-rate induced by cardiac deconditioning after 5-days of head-down bed-rest. In: Proceedings of the International Astronautical Congress, IAC. Vol 1. Naples; 2012. 1. p. 114-121p. Edit

Alves S, Broda S. Inhabitation machines: determinism and principality. In: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017.; 2017. 5. p. 57-70p. Edit

Bolea J, Caiani EG, Laguna P., Almeida R. The linear dependence of ventricular repolarization variability on heart rate variability in head-down bed rest studies. In: Computing in Cardiology Conference (CinC), 2013. Spain, Zaragoza: IEEE; 2013. 7. p. 77-80p. Edit

Domingues JC, de Sá CC, Gessner S. Logaritmos em Portugal (sécs. XVII e XVIII). In: 6º Encontro Luso-Brasileiro de História da Matemática. Vol Anais/Actas do 6º Encontro Luso-Brasileiro de História da Matemática. Sociedade Brasileira de História da Matemática ed. Brasil, São João d'El-Rei: Sociedade Brasileira de História da Matemática; 2014. 2. p. 241-269p. Edit

Costa JP, Soares C, Brazdil P., Costa JP. Measures to evaluate rankings of classification algorithms. In: DATA ANALYSIS, CLASSIFICATION, AND RELATED METHODS.; 2000. Edit

Bolea J, Caiani EG, Pueyo E., Laguna P., Almeida R. Microgravity effects on ventricular response to heart rate changes. In: Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. Vol Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS.; 2012. 3. p. 3424-3427p. Edit

Basto-Gonçalves J. Minimal-dimensional realizations of Hamiltonian control systems. In: Theory and applications of nonlinear control systems ({S}tockholm, 1985). North-Holland, Amsterdam; 1986. 2. p. 233-240p.

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

Benkart G, Lopes SA, Ondrus M. A Parametric Family of Subalgebras of the Weyl Algebra II. Irreducible Modules. In: Contemp. Math. Vol 602 Recent developments in algebraic and combinatorial aspects of representation theory.; 2013. 7. p. 73-98p. 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