???global.info.a_carregar???
Nelma Moreira is an associate professor at the Department of Computer Science, Faculty of Sciences, University of Porto, Portugal. Completed a PhD degree in Computer Science in 1997 by Faculty of Sciences, University of Porto; approved in the Exam to get to the category of Teacher Assistant in 1989 by Faculty of Sciences, University of Porto, and received a Degree in Applied Mathematics, Faculty of Sciences, University of Porto in 1984. From 1985 to 1997 she was teaching assistant and assistant at Department of Computer Science, Faculty of Sciences of University of Porto and assistant professor at the Department of Computer Science, Faculty of Sciences, University of Porto, until 2020. She was a researcher at the Artificial Intelligence and Computer Science Laboratory (LIACC) since its foundation (1986) until 2011. She is now a senior researcher at Center of Mathematics of University of Porto (CMUP). She has worked in logic programming and natural language processing. Her current research interests are in the area of automata theory and formal languages; descriptional complexity; and dependable software. She supervised several MSc theses and three PhD thesis. She collaborates in the development of a computer system for the symbolic manipulation of regular languages (FAdo) and she is one of authors of Desco. She has several publications on international journals and conferences concerning concerning enumerative and random generation of finite automata; succinct conversions between equivalent models of regular languages and, in particular, average-case complexity based on analytic combinatorics. She has published 38 papers in international journals, 60 papers in international conference proceedings with independent refereeing system and 4 book chapters. She was invited editor of two numbers of international journals and editor of five international conference proceedings. She participates/has participate in 12 research projects. She has been member of program committees of several international conferences. She was co-chair of program and organising committees of the International Workshop Descriptional Complexity of Formal Systems (DCFS) (2012), the International Conference on Implementation and Applications of Automata (CIAA) (2012), the Workshop of Non-Classical Models of Computation (NCMA) (2015) and the International Conference on Developments of Language Theory ( DLT 2021). She is a member of the steering committee of CIAA and NCMA. She is member of IFIP Working Group 1.2 on Descriptional Complexity since 2012.
Identification

Personal identification

Full name
Nelma Moreira

Citation names

  • Moreira, Nelma

Author identifiers

Ciência ID
7814-539A-2713
ORCID iD
0000-0003-0861-0105
AuthenticusID
R-000-DGK
Google Scholar ID
BqApSwEAAAAJ
Researcher Id
B-8481-2012
Scopus Author Id
8427307600

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
French Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1)
English Intermediate (B1) Advanced (C1) Intermediate (B1) Intermediate (B1)
Education
Degree Classification
1997/12/04
Concluded
Ciências de Computadores (Doutoramento)
Major in Processamento de Linguagem Natural
Universidade do Porto Faculdade de Ciências, Portugal
"Formalismos e Técnicas de Implementação de Gramáticas Lógicas com Restrições" (THESIS/DISSERTATION)
1989
Concluded
Provas de Aptidão Pedagógica e Capacidade Científica (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
"Representação de Semântica de Referências Temporais em Linguagem Natural" (THESIS/DISSERTATION)
Muito Bom
1984
Concluded
Licenciatura em Matemática (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
"Teoria das Catastrofes" (THESIS/DISSERTATION)
15
Affiliation

Teaching in Higher Education

Category
Host institution
Employer
2020/10/30 - Current Associate Professor (University Teacher) Universidade do Porto, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
1997/12/04 - Current Assistant Professor (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
1982/01/02 - 1997/12/04 Assistant (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
1984/10/11 - 1989/01/02 Trainee Assistant (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Projects

Contract

Designation Funders
2007 - Current IPG 2007 Education and Language in Memories of Labour
IPG 118
Principal investigator
Universidade do Porto
Concluded
2021/01/01 - 2025/12/31 Laboratório Associado de Sistemas Inteligentes
Universidade Nova de Lisboa Centro de Tecnologias e Sistemas, Portugal

Universidade de Aveiro Centro de Tecnologia Mecânica e Automação, Portugal

Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Universidade do Minho, Portugal

Universidade do Porto Centro de Matemática, Portugal

Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade do Minho Instituto de Polímeros e Compósitos, Portugal

Universidade de Aveiro, Portugal

Universidade de Aveiro Instituto de Engenharia Eletrónica e Informática de Aveiro, Portugal

Universidade do Minho Centro ALGORITMI, Portugal

Universidade Nova de Lisboa Unidade de Investigação e Desenvolvimento em Engenharia Mecânica e Industrial, Portugal

Universidade de Coimbra, Portugal

Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal

Universidade de Coimbra Centro de Informatica e Sistemas, Portugal

Instituto Politécnico do Porto Grupo de Investigação em Engenharia e Computação Inteligente para a Inovação e o Desenvolvimento, Portugal

Instituto Politécnico do Cávado e do Ave, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal

Universidade NOVA de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2012 - 2015 AVIACC Analysis and Verification of Safe Concurrent Programs
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2010 - 2013 CANTE Descriptional and Computational Complexity of Formal Languages,
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2010 - 2012 CSI Cryptographic Security of Individual Instances
FCT/ PTDC/EIA-CCO/099951/2008
Researcher
Fundação para a Ciência e a Tecnologia
2008 - 2011 RESCUE Reliable and Safe Code Execution for Embedded Systems,
FCT/ PTDC/ EIA/ 65862/ 2006
Researcher
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2010 - 2010 IJUP2010 Análise Social e Linguística nas Memórias do Trabalho
IJUP/IPG162,
Principal investigator
Universidade do Porto
Concluded
2007 - 2009 ASA Automata, Semigroups and Applications,
PTDC/ MAT/ 65481/ 2006
Researcher
Fundação para a Ciência e a Tecnologia
2006 - 2008 MTCIO Memórias do trabalho: processos de obtenção duma identidade operária
POCI/ CED/ 60786/ 2004
Researcher
Fundação para a Ciência e a Tecnologia
2003 - 2006 AGILMAT Geração Automática de Exercícios Interactivos para Ensino de Matemática
POSI/ CHS/ 48565/ 2002,
Researcher
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
1999 - 2002 GANESH Um Ambiente Modular e Distribuído para Aprendizagem de Ciência de Computadores
PRAXIS/ P/ EEI/ 14232/ 98
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Concluded
1999 - 2001 CORE Sistemas Formais e Complexidade Computacional
PRAXIS/ P/ EEI/ 14233/ 98
Researcher
1995 - 1998 PROLOPPE Programação em Lógica Paralela com Extensões.
Praxis 3/3.1/TIT/24/94
Researcher
Concluded
Outputs

Publications

Book chapter
  1. Sabine Broda; António Machiavelo; Nelma Moreira; Rogério Reis. "Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions". 2023.
    10.1007/978-3-031-40247-0_7
  2. Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério. "Location Based Automata for Expressions with Shuffle". In Language and Automata Theory and Applications, 43-54. Springer International Publishing, 2021.
    Published • 10.1007/978-3-030-68195-1_4
  3. Kutrib, M; Moreira, N; Pighizzini, G; Reis, R. "Hot Current Topics of Descriptional Complexity". 2021.
    10.1007/978-3-030-81701-5_1
  4. Almeida, M.; Moreira, N.; Reis, R.. "Finite automata minimization". 2016.
    10.1201/b13055-8
  5. Broda, S.; MacHiavelo, A.; Moreira, N.; Reis, R.. "On the average number of states of partial derivative automata". In Developments in Language Theory. 2010.
    10.1007/978-3-642-14455-4_12
  6. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "The average transition complexity of glushkov and partial derivative automata". In Developments in Language Theory. Springer Berlin Heidelberg, 2009.
    10.1007/978-3-642-22321-1_9
  7. Almeida, A.; Almeida, M.; Alves, J.; Moreira, N.; Reis, R.. "FAdo and GUItar: Tools for automata manipulation and visualization". In Implementation and Application of Automata. Springer Berlin Heidelberg, 2009.
    10.1007/978-3-642-02979-0_10
  8. Pereira, D.; Oliveira, E.; Moreira, N.. "Formal modelling of emotions in BDI agents". In CLIMA. 2008.
    10.1007/978-3-540-88833-8-4
  9. Tomás, A.P.; Moreira, N.; Pereira, N.. "Designing a solver for arithmetic constraints to support education in mathematics". In Artificial Intelligence Applications and Innovations. Springer US, 2006.
    10.1007/0-387-34224-9_50
  10. Damas, L.; Moreira, N.; Broda, S.. "Resolution of constraints in algebras of rational trees". In Progress in Artificial Intelligence. 1993.
    10.1007/3-540-57287-2_38
Conference paper
  1. Moreira, N; Reis, R. "Manipulation of Regular Expressions Using Derivatives: An Overview". 2022.
    10.1007/978-3-031-07469-1_2
  2. Konstantinidis, S; Mastnak, M; Moreira, N; Reis, R. "Approximate NFA Universality Motivated by Information Theory". 2022.
    10.1007/978-3-031-13257-5_11
  3. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "On the Uniform Distribution of Regular Expressions". 2021.
    10.1007/978-3-030-93489-7_2
  4. Konstantinidis, S; Machiavelo, A; Moreira, N; Reis, R. "Partial Derivative Automaton by Compressing Regular Expressions". 2021.
    10.1007/978-3-030-93489-7_9
  5. Konstantinidis, S; Machiavelo, A; Moreira, N; Reis, R. "On the Average State Complexity of Partial Derivative Transducers". Paper presented in SOFSEM, 2020.
    Published • 10.1007/978-3-030-38919-2_15
  6. Ramos, MVM; Bacelar Almeida, JCB; Moreira, N; de Queiroz, RJGB. "Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages". Paper presented in LSFA 2018,, 2019.
    10.1016/j.entcs.2019.07.010
  7. Konstantinidis, S.; Moreira, N.; Pires, J.; Reis, R.. "Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels". Paper presented in CIAA, 2019.
    Published • 10.1007/978-3-030-23679-3_15
  8. Ferreira, M.; Moreira, N.; Reis, R.. "Forward injective finite automata: Exact and random generation of nonisomorphic NFAs". Paper presented in DCFS, 2018.
    10.1007/978-3-319-94631-3_8
  9. Loff, B; Moreira, N; Reis, R. "The Computational Power of Parsing Expression Grammars". Paper presented in DLT, 2018.
    10.1007/978-3-319-98654-8_40
  10. Konstantinidis, S; Moreira, N; Reis, R; Young, J. "Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels". Paper presented in IAA, 2018.
    10.1007/978-3-319-94812-6_2
  11. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "On the average complexity of strong star normal form". Paper presented in DCFS, 2017.
    10.1007/978-3-319-60252-3_6
  12. Broda, S.; Holzer, M.; Maia, E.; Moreira, N.; Reis, R.. "On the mother of all automata: The position automaton". Paper presented in DLT, 2017.
    10.1007/978-3-319-62809-7_9
  13. Ferreira, M.; Moreira, N.; Reis, R.. "Automata serialization for manipulation and drawing". Paper presented in SLATE, 2016.
    10.4230/OASIcs.SLATE.2016.15
  14. Câmpeanu, C; Moreira, N; Reis, R. "On the dissimilarity operation on finite languages". Paper presented in NCMA, 2016.
  15. Konstantinidis, S; Moreira, N; Reis, R. "Generating error control codes with automata and transducers". Paper presented in NCMA, 2016.
  16. Bastos, R.; Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "On the state complexity of partial derivative automata for regular expressions with intersection". Paper presented in DCFS, 2016.
    10.1007/978-3-319-41114-9_4
  17. Konstantinidis, S.; Meijer, C.; Moreira, N.; Reis, R.. "Implementation of code properties via transducers". Paper presented in CIAA, 2016.
    10.1007/978-3-319-40946-7_16
  18. Ramos, M.V.M.; de Queiroz, R.J.G.B.; Moreira, N.; Almeida, J.C.B.. "On the formalization of some results of context-free language theory". Paper presented in Wollic, 2016.
    10.1007/978-3-662-52921-821
  19. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "Position automaton construction for regular expressions with intersection". Paper presented in DLT, 2016.
    10.1007/978-3-662-53132-7_5
  20. Maia, E.; Moreira, N.; Reis, R.. "Prefix and right-partial derivative automata". Paper presented in CIE, 2015.
    10.1007/978-3-319-20028-6_26
  21. Moreira, N.; Pighizzini, G.; Reis, R.. "Universal disjunctive concatenation and star". Paper presented in DCFS, 2015.
    10.1007/978-3-319-19225-3_17
  22. Broda, S.; Cavadas, S.; Ferreira, M.; Moreira, N.. "Deciding synchronous Kleene algebra with derivatives". Paper presented in CIAA, 2015.
    Published • 10.1007/978-3-319-22360-5_5
  23. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Partial Derivative Automaton for Regular Expressions with Shuffle". Paper presented in DCFS, 2015.
    10.1007/978-3-319-19225-3_2
  24. Moreira, N; Pighizzini, G; Reis, R. "Optimal State Reductions of Automata with Partially Specified Behaviors". Paper presented in SOFSEM, 2015.
    10.1007/978-3-662-46078-8_28
  25. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "On the equivalence of automata for KAT-expressions". Paper presented in CIE, 2014.
    10.1007/978-3-319-08019-2_8
  26. Bell, J.; Brzozowski, J.; Moreira, N.; Reis, R.. "Symmetric groups and quotient complexity of boolean operations". Paper presented in ICALP, 2014.
    10.1007/978-3-662-43951-7_1
  27. Maia, E.; Moreira, N.; Reis, R.. "Partial derivative and position bisimilarity automata". Paper presented in CIAA, 2014.
    10.1007/978-3-319-08846-4_20
  28. Câmpeanu, C; Moreira, N; Reis, R. "The distinguishability operation on regular languages". 2014.
  29. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "On the average size of Glushkov and equation automata for KAT expressions". Paper presented in FCT, 2013.
    10.1007/978-3-642-40164-0_10
  30. Maia, E.; Moreira, N.; Reis, R.. "Incomplete transition complexity of basic operations on finite languages". Paper presented in CIAA, 2013.
    10.1007/978-3-642-39274-0_31
  31. Maia, E.; Moreira, N.; Reis, R.. "Incomplete transition complexity of some basic operations". Paper presented in SOFSEM, 2013.
    10.1007/978-3-642-35843-2_28
  32. Almeida, R.; Broda, S.; Moreira, N.. "Deciding KAT and Hoare logic with derivatives". Paper presented in GandALF, 2012.
    10.4204/EPTCS.96.10
  33. Moreira, N.; Pereira, D.; Melo De Sousa, S.. "Deciding regular expressions (in-)equivalence in Coq". Paper presented in RAMICS, 2012.
    10.1007/978-3-642-33314-9_7
  34. Almeida, J.B.; Moreira, N.; Pereira, D.; De Sousa, S.M.. "Partial derivative automata formalized in coq". Paper presented in CIAA 2010, 2010.
    10.1007/978-3-642-18098-9_7
  35. Moreira, N; Nabais, D; Reis, R. "State Elimination Ordering Strategies: Some Experimental Results". Paper presented in DCFS, 2010.
    10.4204/EPTCS.31.16
  36. Almeida, M; Moreira, N; Reis, R. "Incremental DFA Minimisation". Paper presented in CIAA, 2010.
    10.1007/978-3-642-18098-9_5
  37. Almeida, M.; Moreira, N.; Reis, R.. "Exact generation of acyclic deterministic finite automata". Paper presented in DCFS, 2008.
  38. Almeida, M.; Moreira, N.; Reis, R.. "Antimirov and Mosses's rewrite system revisited". Paper presented in CIAA, 2008.
    10.1007/978-3-540-70844-5_6
  39. Almeida, M.; Moreira, N.; Reis, R.. "Exact generation of minimal acyclic deterministic finite automata". Paper presented in DCFS, 2007.
    10.1142/s0129054108005930
  40. Almeida, M.; Moreira, N.; Reis, R.. "Aspects of enumeration and generation with a string automata representation". Paper presented in DCFS, 2006.
  41. Moreira, N.; Reis, R.. "Interactive manipulation of regular objects with FAdo". Paper presented in ITiCSE, 2005.
    10.1145/1067445.1067537
  42. Pereira, D; Oliveira, E; Moreira, N; Sarmento, L. "Towards an architecture for Emotional BDI agents". Paper presented in Portuguese Conference on Artificial Intelligence, 2005.
    10.1109/epia.2005.341262
  43. Reis, R.; Moreira, N.; Almeida, M.. "On the representation of finite automata". Paper presented in DCFS, 2005.
  44. Damas, L; Moreira, N. "Constraint Categorial Grammars". Paper presented in Portuguese Conference on Artificial Intelligence, 1995.
    10.1007/3-540-60428-6
  45. Damas, L; Varile, GB; Moreira, N. "The Formal and Processing Models of CLG". Paper presented in EACL, 1991.
  46. Leal, JP; Damas, L; Moreira, N. "An History Based Interface". Paper presented in ICLP (presented at the preconference Workshop on Logic Programming Environments), 1991.
  47. Filgueiras, M; Tomás, AP; Moreira, N; Reis, R; Leal, JP. "Natural Language and Natural Menus Interfaces". 1990.
  48. Balari, S; Varile, GB; Damas, L; Moreira, N. "CLG(n): Constraint Logic Grammars". 1990.
  49. Filgueiras, M; Moreira, N; Tomás, AP. "General Introduction". 1990.
    10.1007/3-540-53678-7_1
  50. Moreira, N.. "Semantic analysis of time and tense in natural language: An implementation". 1989.
    10.1007/3-540-51665-4_86
Edited book
  1. Moreira, N; Reis, R. Developments in Language Theory - 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings. 2021.
  2. Sekerinski, E; Moreira, N; Oliveira, JN; Ratiu, D; Guidotti, R; Farrell, M; Luckcuck, M; et al. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. 2020.
    10.1007/978-3-030-54997-8
  3. Sekerinski, E; Moreira, N; Oliveira, JN; Ratiu, D; Guidotti, R; Farrell, M; Luckcuck, M; et al. Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. 2020.
    10.1007/978-3-030-54994-7
  4. Konstantinidis, Stavros; Moreira, Nelma; Reis, Rogerio; Shallit, Jeffrey. The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski. 2017.
  5. Freund, R; Holzer, M; Moreira, N; Reis, R. Seventh Workshop on Non-Classical Models of Automata and Applications - NCMA 2015, Porto, Portugal, August 31 - September 1, 2015. Proceedings. 2015.
  6. Moreira, N; Reis, R. Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings. 2012.
    10.1007/978-3-642-31606-7
  7. Moreira, N.; Reis, R.. Descriptional Complexity of Formal Systems. Springer Berlin Heidelberg. 2012.
    10.1007/978-3-642-31623-4 • Editor
  8. Filgueiras, M; Damas, L; Moreira, N; Tomás, AP. Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings. 1991.
Journal article
  1. Stavros Konstantinidis; António Machiavelo; Nelma Moreira; Rogério Reis. "On the average complexity of partial derivative transducers". Theoretical Computer Science (2023): https://doi.org/10.1016/j.tcs.2023.113830.
    10.1016/j.tcs.2023.113830
  2. Sabine Broda; António Machiavelo; Nelma Moreira; Rogério Reis. "Location automata for synchronised shuffle expressions". Journal of Logical and Algebraic Methods in Programming (2023): https://doi.org/10.1016/j.jlamp.2023.100847.
    10.1016/j.jlamp.2023.100847
  3. Konstantinidis, S; Mastnak, M; Moreira, N; Reis, R. "Approximate NFA universality and related problems motivated by information theory & nbsp;". THEORETICAL COMPUTER SCIENCE (2023):
    10.1016/j.tcs.2023.114076
  4. Sabine Broda; António Machiavelo; Nelma Moreira; Rogério Reis. "Location automata for regular expressions with shuffle and intersection". Information and Computation (2022): 104917-104917. https://doi.org/10.1016/j.ic.2022.104917.
    10.1016/j.ic.2022.104917
  5. Stavros Konstantinidis; António Machiavelo; Nelma Moreira; Rogério Reis. "On the size of partial derivatives and the word membership problem". Acta Informatica 58 4 (2021): 357-375. https://doi.org/10.1007/s00236-021-00399-6.
    10.1007/s00236-021-00399-6
  6. Broda, S; Maia, E; Moreira, N; Reis, R. "The Prefix Automaton". J. Autom. Lang. Comb. (2021):
    10.25596/jalc-2021-017
  7. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average". SIGACT News (2020):
    10.1145/3388392.3388401
  8. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "On Average Behaviour of Regular Expressions in Strong Star Normal Form". International Journal of Foundations of Computer Science (2019):
    10.1142/s0129054119400227
  9. Broda, S.; Holzer, M.; Maia, E.; Moreira, N.; Reis, R.. "A mesh of automata". Information and Computation 265 (2019): 94-111.
    10.1016/j.ic.2019.01.003
  10. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "Position automata for semi-extended expressions". Journal of Automata, Languages and Combinatorics 23 1-3 (2018): 39-65.
  11. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "Automata for regular expressions with shuffle". Information and Computation 259 (2018): 162-173. http://www.scopus.com/inward/record.url?eid=2-s2.0-85029209123&partnerID=MN8TOARS.
    10.1016/j.ic.2017.08.013
  12. Konstantinidis, S.; Moreira, N.; Reis, R.. "Randomized generation of error control codes with automata and transducers". RAIRO - Theoretical Informatics and Applications 52 2-4 (2018): 169-184. http://www.scopus.com/inward/record.url?eid=2-s2.0-85062217917&partnerID=MN8TOARS.
    10.1051/ita/2018015
  13. Konstantinidis, S; Meijer, C; Moreira, N; Reis, R. "Symbolic Manipulation of Code Properties". Journal of Automata, Languages and Combinatorics (2018):
  14. Bastos, R; Broda, S; Machiavelo, A; Moreira, N; Reis, R. "On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions". Journal of Automata, Languages and Combinatorics (2017):
  15. Gao, Yuan; Moreira, Nelma; Reis, Rogerio; Yu, Sheng. "A Survey on Operational State Complexity". Journal of Automata, Languages and Combinatorics (2017):
  16. Ramos, M.V.M.; de Queiroz, R.J.G.B.; Moreira, N.; Almeida, J.C.B.. "Formalization of the pumping lemma for context-free languages". Journal of Formalized Reasoning 9 2 (2016): 53-68. http://www.scopus.com/inward/record.url?eid=2-s2.0-85006891546&partnerID=MN8TOARS.
    10.6092/issn.1972-5787/5595
  17. Câmpeanu, C.; Moreira, N.; Reis, R.. "Distinguishability operations and closures". Fundamenta Informaticae 148 3-4 (2016): 243-266. http://www.scopus.com/inward/record.url?eid=2-s2.0-85008325043&partnerID=MN8TOARS.
    10.3233/FI-2016-1434
  18. Holzer, M.; Moreira, N.; Reis, R.. "Preface: Non-classical models of automata and applications VII". RAIRO - Theoretical Informatics and Applications 50 4 (2016): 273-274. http://www.scopus.com/inward/record.url?eid=2-s2.0-85011715787&partnerID=MN8TOARS.
    10.1051/ita/2017003
  19. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Average Size of Automata Constructions from Regular Expressions". Bulletin of the EATCS (2015):
  20. Moreira, N.; Pereira, D.; Melo De Sousa, S.. "Deciding Kleene algebra terms equivalence in Coq". Journal of Logical and Algebraic Methods in Programming 84 3 (2015): 377-401. http://www.scopus.com/inward/record.url?eid=2-s2.0-84938689336&partnerID=MN8TOARS.
    10.1016/j.jlamp.2014.12.004
  21. Maia, E.; Moreira, N.; Reis, R.. "Incomplete operational transition complexity of regular languages". Information and Computation 244 (2015): 1-22. http://www.scopus.com/inward/record.url?eid=2-s2.0-84940468419&partnerID=MN8TOARS.
    10.1016/j.ic.2015.08.004
  22. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "A Hitchhiker's Guide to descriptional complexity through analytic combinatorics". Theoretical Computer Science 528 (2014): 85-100. http://www.scopus.com/inward/record.url?eid=2-s2.0-84895920762&partnerID=MN8TOARS.
    10.1016/j.tcs.2014.02.013
  23. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA". INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE (2012):
    10.1142/s0129054112400400
  24. Broda, S.; MacHiavelo, A.; Moreira, N.; Reis, R.. "On the average size of glushkov and partial derivative automata". International Journal of Foundations of Computer Science 23 5 (2012): 969-984. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867198775&partnerID=MN8TOARS.
    10.1142/S0129054112400400
  25. Dassow, J; Kutrib, M; Moreira, N; Reis, R. "Editorial". Journal of Automata, Languages and Combinatorics (2012):
  26. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH". INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE (2011):
    10.1142/s0129054111008908
  27. Broda, S.; MacHiavelo, A.; Moreira, N.; Reis, R.. "On the average state complexity of partial derivative automata: An analytic combinatorics approach". International Journal of Foundations of Computer Science 22 7 (2011): 1593-1606. http://www.scopus.com/inward/record.url?eid=2-s2.0-82955202691&partnerID=MN8TOARS.
    10.1142/S0129054111008908
  28. Moreira, Nelma. "Testing the Equivalence of Regular Languages". Journal of Automata, Languages and Combinatorics 15 1/2 (2010): 7-25. http://www.jalc.de/search/j15_1_2_a.html.
    10.4204/EPTCS.3.4
  29. Almeida, M.; Moreira, N.; Reis, R.. "Antimirov and Mosses's rewrite system revisited". International Journal of Foundations of Computer Science 20 4 (2009): 669-684. http://www.scopus.com/inward/record.url?eid=2-s2.0-68649123118&partnerID=MN8TOARS.
    10.1142/S0129054109006802
  30. Moreira, N; Reis, R; Moreira, N.; Reis, R.. "Series-Parallel Automata and Short Regular Expressions". FUNDAMENTA INFORMATICAE 91 3-4 (2009): 611-629. http://www.scopus.com/inward/record.url?eid=2-s2.0-67651211156&partnerID=MN8TOARS.
    10.3233/fi-2009-0061
  31. Pereira, D.; Moreira, N.; Pereira, D; Moreira, N. "KAT and PHL in Coq". Computer Science and Information Systems 5 2 (2008): 137-160. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349671339&partnerID=MN8TOARS.
    10.2298/CSIS0802137P
  32. Almeida, M.; Moreira, N.; Reis, R.. "Exact generation of minimal acyclic deterministic finite automata". International Journal of Foundations of Computer Science 19 4 (2008): 751-765. http://www.scopus.com/inward/record.url?eid=2-s2.0-49449101767&partnerID=MN8TOARS.
    10.1142/S0129054108005930
  33. Almeida, M.; Moreira, N.; Reis, R.. "Enumeration and generation with a string automata representation". Theoretical Computer Science 387 2 (2007): 93-102. http://www.scopus.com/inward/record.url?eid=2-s2.0-35348890160&partnerID=MN8TOARS.
    10.1016/j.tcs.2007.07.029
  34. Morais, JJ; Moreira, N; Reis, R. "Acyclic automata with easy-to-find short regular expressions". IMPLEMENTATION AND APPLICATION OF AUTOMATA (2006):
    10.1007/11605157_33
  35. Moreira, N.; Reis, R.. "On the density of languages representing finite set partitions". Journal of Integer Sequences 8 2 (2005): http://www.scopus.com/inward/record.url?eid=2-s2.0-21244441032&partnerID=MN8TOARS.
  36. Reis, R; Moreira, N. "Apoo: an environment for a first course in assembly language programming". SIGCSE Bulletin (2001):
    10.1145/572139.572168

Other

Other output
  1. 25th International Conference on Developments in Language Theory (DLT 2021): Preface. 2023. Moreira, N; Reis, R.
    10.1142/s012905412302001x
  2. Approximate NFA Universality and Related Problems Motivated by Information Theory. 2022. Konstantinidis, S; Mastnak, M; Moreira, N; Reis, R.
  3. On the Uniform Distribution of Regular Expressions. 2021. Broda, S; Machiavelo, A; Moreira, N; Reis, R.
  4. Preface. 2021. Moreira, N; Reis, R.
  5. Preface. 2017. Konstantinidis, S; Moreira, N; Rogério, R; Shallit, J.
    10.1142/9789813148208_fmatter
  6. Channels with Synchronization/Substitution Errors and Computation of Error Control Codes. 2016. Konstantinidis, S; Moreira, N; Reis, R.
  7. Formalization of context-free language theory. 2015. Ramos, MarcusV.M.; Queiroz, RuyJ.G.B.de; Moreira, Nelma; Almeida, JoseCarlosBacelar.
  8. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. 2012. Moreira, N; Reis, R.
  9. Small NFAs from Regular Expressions: Some Experimental Results. 2010. Gouveia, Hugo; Moreira, Nelma; Reis, Rogerio.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2022 Automata for Synchronised Shuffle Expressions. NCMA 2022, 12th Workshop on Non-Classical Models of Automata and Applications
(DEbrecen, Hungary)
2022 Maniputalion of regular expressions using derivatives: an overview CIAA 2022, 26th International Conference on Implementation and Application of Automata
(Rouen, France)
2018/09/06 Conversions from REs to nfas and dfas: a Taxonomy and Average Complexity DLT's Satellite Workshop in Kyoto
(Kyoto, Japan)
2016 On the dissimilarity operation on finite languages NCMA 2016, Eighth Workshop on Non-Classical Models of Automata and Applications
(Debrecen, Hungary)
2015 Partial derivative automaton for regular expressions with shuffle. DCFS 2015
(Waterloo)
2012 FAdo: tools for finite automata manipulation Demo session, CIAA 2012
(Porto, Portugal)
2010 Small nfas from regular expressions: Some experimental results. 6th Conference Computability in Europe (CIE 2010)
(Ponta Delgada)
2008 Exact generation of acyclic deterministic finite automata Workshop on Descriptional Complexity of Formal Systems (DCFS08)
(Charlottetown, Canada)
2006 Aspects of enumeration and generation with a string automata representation Workshop on Descriptional Complexity of Formal Systems (DCFS06).
(Las Cruces)
1995 Resolution of Constraints on Trees and Higher Order Tree Description 5rd Portuguese Advanced School on AI -- Constraint Programming,
(Estoril)
1995 Constraint Categorial Grammars. 7th Portuguese Conference on Artificial Intelligence, EPIA 95
(Funchal)
1994 Constraint Categorial Grammars European Research Conference on Logic, Language and Information: Inference and Information Structure within Computational Semantics
(Espinho, Portugal)
1993 Resolution of Constraints in Algebras of Rational Trees 6th Portuguese Conference on Artificial Intelligence
(Porto, Portugal)
1989 Semantic Analysis of Time and Tense in Natural Language: an implementation 4th Portuguese Conference of Artificial Inteligence,
(Portugal)

Supervision

Thesis Title
Role
Degree Subject (Type)
Institution / Organization
2006 - 2026 GerExa:uma plataforma para a manipulação de exercícios e exames em XML
Supervisor
Universidade do Porto Faculdade de Ciências, Portugal
2019/10 - 2020/01 Testing determinism of Regular expressions
Supervisor
Mestrado Integrado de Redes e Sistemas Informáticos (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2019/03 - 2019/07 Degree of Ambiguity in Finite Automata
Co-supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2018 - 2018 Transducers and 2D Regular Expressions
Supervisor
Universidade do Porto Faculdade de Ciências, Portugal
2018 - 2018 Significant Classes of NFA and their Random Generation
Co-supervisor
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2017 - 2017 Autómatos não determinísticos injectivos
Co-supervisor
Universidade do Porto Centro de Matemática, Portugal
2015/09 - 2016/06 GUItar: ambiente gráfico para manipuladores de autómatos
Co-supervisor
Universidade do Porto Centro de Matemática, Portugal
2016 - 2016 Implementação de algoritmos para transduções
Supervisor
Universidade do Porto Centro de Matemática, Portugal
2016 - 2016 Autómatos e Expressões Regulares para Transduções
Supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências da Nutrição e Alimentação, Portugal
2012 - 2016 On the Descriptional Complexity of Some Operations and Simulations of Regular Models.
Co-supervisor
Programa Doutoral em Ciência de Computadores (PhD)
2015/02 - 2015/04 Implementation of decision procedures for KAT and SKAT using BDDs
Supervisor
Universidade do Porto Centro de Matemática, Portugal
2015 - 2015 Manipulation of Extended Regular expressions.
Co-supervisor
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2014/10 - 2014/12 Conversion of extended regular expressions to alternating finite automata
Supervisor
Universidade do Porto Centro de Matemática, Portugal
2013/12 - 2014/08 Decidable procedures for Concurrent Kleene Algebras
Supervisor
Project AVIACC , FCT PTDC/ EIA-CCO/ 117590/2010 (Scientific initiation)
2013 - 2013 Implementation of automata and KAT terms equivalence algorithms
Supervisor
Universidade do Porto Centro de Matemática, Portugal
2013 - 2013 Conversão de expressões KAT para autómatos não determinísticos
Supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2013 DesCo: a Web Information System For Description Complexity Results
Co-supervisor
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2013 Towards certified program logics for the verification of imperative programs
Supervisor
Programa Doutoral MAP-I (PhD)
2012 - 2012 MinFA and Res: minimal NFAs and extended regular expressions
Co-supervisor
Universidade do Porto Centro de Matemática, Portugal
2012 - 2012 Organização de Descrições arquivísticas
Supervisor
Licenciatura em Ciência de Computadores. (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2012 Yappy: parser GLR
Co-supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2012 Interoperacionalidade do GUItar
Co-supervisor
Licenciatura em Ciência de Computadores. (Degree)
2012 - 2012 Contribuição para o Desenvolvimento de um Sistema de Routing
Co-supervisor
Mestrado em Engenharia de Redes em Sistemas Informáticos (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2011 - 2012 Decision Algorithms for Kleene Algebra with Tests and Hoare Logic
Supervisor
Mestrado em Ciência de Computadores (Master)
2011 - 2011 Desenvolvimento do GUitar em QT
Co-supervisor
2011 - 2011 Sistema de Informação Web para resultados sobre complexidade descritiva
Co-supervisor
Universidade do Porto Centro de Matemática, Portugal
2011 - 2011 Verificação de programas Ada usando Autómatos temporizados
Supervisor
Universidade do Porto, Portugal
2011 - 2011 Arquivo Escolar
Co-supervisor
Mestrado em Ciência de Computadores (Master)
2007 - 2011 Equivalence of regular languages: an algorithmic approach and complexity analysis,
Supervisor
Programa doutoral em Ciência de Computadores (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
2010 - 2010 Estudo de extensões da linguagem do Why para Python
Co-supervisor
Universidade do Porto, Portugal
2010 - 2010 Métodos de obtenção de expressões regulares pequenas
Co-supervisor
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
2010 - 2010 ImageBrowser
Supervisor
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2010 An Interactive System for Automata Manipulations
Supervisor
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2010 Inferência de tipos em Python
Co-supervisor
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2010 Towards Automata Diagram Drawings
Co-supervisor
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2009 Obtenção de autómatos finitos não determinísticos pequenos
Co-supervisor
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
2009 - 2009 Anotações Linguísticas nas Memórias do Trabalho
Supervisor
IJUP (Scientific initiation)
Universidade do Porto, Portugal
2009 - 2009 Obtenção de autómatos não determinísticos pequenos e minimais
Co-supervisor
Mestrado em Engenharia de Redes e Sistemas Informáticos (Degree)
2009 - 2009 Classificação e indexação de documentos associados a entrevistas
Supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2009 Livraria Poetria on-line
Supervisor
Licenciatura em Ciência de Computadores. (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2008 - 2008 Visualização e edição de diagramas de autómatos finitos
Co-supervisor
Projecto ASA (Scientific initiation)
Universidade do Porto, Portugal
2008 - 2008 CGM: ambiente interactivo para a manipulação de gramáticas independentes de contexto
Co-supervisor
Universidade do Porto Faculdade de Ciências, Portugal
2007 - 2007 Desenvolvimento de tecnologias XML para a indexação e pesquisa em documentos
Supervisor
Licenciatura em Ciência de Computadores. (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2007 - 2007 Analisador Sintáctico GLR para o Yappy
Supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2005 - 2007 Logic frameworks for reasoning about emotions in BDI Agents
Supervisor
Mestrado em Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2006 - 2006 Manipulação de fórmulas de lógica proposicional em Python
Supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2006 - 2006 Ferramentas para geração e enumeração de linguagens regulares
Co-supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2005 - 2005 Métodos de conversão de autómatos finitos em expressões regulares pequenas
Co-supervisor
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
2005 - 2005 Sistemas dedutivos para lógicas de descrição
Co-supervisor
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
2005 - 2005 Ferramentas WEB para acesso a um thesaurus
Supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2004 - 2005 Specification of a Language for Timetabling Problems,
Co-supervisor
Mestrado em Informática (Master)
2004 - 2005 Obtenção de expressões regulares pequenas a partir de autómatos finitos.
Co-supervisor
Mestrado de Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2004 - 2004 Interface gráfico para a edição e a visualização de autómatos finitos
Supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2004 - 2004 Sistema de informação para a gestão de pessoas e atividades da UPP
Supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2003 - 2003 Automatic: editor de diagramas de autómatos finitos
Supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
2001 - 2001 Desenvolvimento Centro de Informação da Universidade Popular do Porto
Supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
1998 - 1998 Gestão da base de dados da biblioteca do CIUP
Supervisor
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal

Event organisation

Event name
Type of event (Role)
Institution / Organization
2019 - Current FM 2019, 3rd World Congress on Formal Methods. Porto, 7-11/10/2019 Co-presidente das Workshops e Tutorials. (2019 - 2019)
Congress (Member of the Organising Committee)
1993 - Current 6th Portuguese Conference on Artificial Intelligence, Porto (1993/10)
Conference (Member of the Organising Committee)
2021/08/16 - 2021/08/20 25th International Conference on Developments of Language Theory (2021/08/16 - 2021/08/20)
Conference (President of the Organising Committee)
Universidade do Porto, Portugal
2020 - 2020 Program Committee member SOFSEM 2020, 46th International Conference on Current Trends in Theory and Prac- tice of Computer Science. Limassol, Cyprus. January 20-24, 2020 (2020 - 2020)
Conference (Member of the Scientific Committee)
2019 - 2019 SOFSEM 2019, 45th International Conference on Current Trends in Theory and Practice of Computer Science. Nový Smokovec, Slovakia, January 27-30, 2019. Membro da comissão de programa. (2019 - 2019)
Conference (Member of the Scientific Committee)
2019 - 2019 DCFS 2019, 21th International Workshop on Descriptional Complexity of Formal Systems, Kosice, Slovakia. 17–19 July, 2019. (2019 - 2019)
Conference (Member of the Scientific Committee)
2018 - 2018 NCMA 2018, 10th Non-Classical Models of Automata and Applications, 21-22/08/2018, Kosice, Slovakia. Membro da comissão de programa. (2018 - 2018)
2018 - 2018 DCFS 2018, 20th International Workshop on Descriptional Complexity of Formal Systems, Halifax, NS, Canada, 25–27 July, 2018. Membro da comissão de programa. (2018 - 2018)
Conference (Member of the Scientific Committee)
2017 - 2017 22nd International Conference on Implementation and Application of Automata (CIAA 2017), Paris, France. (2017 - 2017)
Conference (Member of the Scientific Committee)
2016 - 2016 DCFS 2016, 18th International Workshop on Descriptional Complexity of Formal Systems, Bucharest, Romania, 6–8 July, 2016. Membro da comissão de programa. (2016 - 2016)
Conference (Member of the Scientific Committee)
2016 - 2016 NCMA 2016, 8th Non-Classical Models of Automata and Applications, 29-30/08/2016, Debrecen, Hungry. (2016 - 2016)
2016 - 2016 IJCAR 2016, International Joint Conference on Automated Reasoning, 27 June - 2 July, 2016, University of Coimbra, Portugal. (2016)
Conference (Member of the Organising Committee)
2016 - 2016 FSCD 2016, 1st International Conference Formal Structures for Computation and Deduction, 22-26, June, Porto, Portugal. (2016)
Conference (Member of the Organising Committee)
2015 - 2015 7th Workshop on Non-Classical Models of Automata and Applications (NCMA 2015), 31/08-01/09/2015, Porto, Portugal. Co-presidente da comissão de programa. (2015 - 2015)
2015 - 2015 17th International Workshop on Descriptional Complexity of Formal Systems, Waterloo, Canada, 25-27/07/2015. Membro da comissão de programa. (2015 - 2015)
2015 - 2015 7th Workshop on Non-Classical Models of Automata and Applications (NCMA 2015), 31/08-01/09/2015, Porto, Portugal. (2015)
Workshop (President of the Organising Committee)
2014 - 2014 19th International Conference on Implementation and Application of Automata (CIAA 2014), Giessen, Germany. Membro da comissão de programa. (2014 - 2014)
Conference (Member of the Scientific Committee)
2014 - 2014 6th Non-Classical Models of Automata and Applications, NCMA 2014, Kassel, Germany. Membro da comissão de programa. (2014 - 2014)
Workshop (Member of the Scientific Committee)
2014 - 2014 Inforum, Simpósio de Informática, 2014. Membro da comissão de Programa do t ´opico “Sistemas Embebidos e de Tempo-Real”. (2014 - 2014)
Symposium (Member of the Scientific Committee)
2014 - 2014 10th International Workshop on Automated Deduction in Geometry, Coimbra, Portugal. (2014)
Workshop (Member of the Organising Committee)
2013 - 2013 18th International Conference on Implementation and Application of Automata (CIAA 2013), Halifax, Nova Scotia, Canada. Membro da comissão de programa. (2013 - 2013)
Conference (Member of the Scientific Committee)
2013 - 2013 15th International Workshop on Descriptional Complexity of Formal Systems, London,Ontario, Canada. Membro da comissão de programa. (2013 - 2013)
Workshop (Member of the Scientific Committee)
2013 - 2013 Inforum, Simpósio de Informática,2013.Membro da comissão de Programa do tópico “Sistemas Embebidos e de Tempo-Real”. (2013 - 2013)
Symposium (Member of the Scientific Committee)
2012 - 2012 17th International Conference on Implementation and Application of Automata (CIAA 2012), Porto, Portugal. Co-presidente da Comissão de Programa. (2012 - 2012)
Conference (Member of the Scientific Committee)
2012 - 2012 14th International Workshop on Descriptional Complexity of Formal Systems, Braga, Portugal.Co-presidente da Comissão de Programa. (2012 - 2012)
Workshop (Member of the Scientific Committee)
2012 - 2012 Inforum, Simpósio de Informática,2012. Membro da comissão de Programa do tópico “Sistemas Embebidos e de Tempo-Real”. (2012 - 2012)
Symposium (Member of the Scientific Committee)
2012 - 2012 17th International Conference on Implementation and Application of Automata (CIAA 2012), Porto, Portugal (2012 - 2012)
Conference (President of the Organising Committee)
2012 - 2012 14th International Workshop on Descriptional Complexity of Formal Systems, Braga, Portuga (2012 - 2012)
Workshop (President of the Organising Committee)
2011 - 2011 3rd Non-Classical Models of Automata and Applications, NCMA 2011. Membro da comissão de programa. (2011 - 2011)
Workshop (Member of the Scientific Committee)
2011 - 2011 Inforum, Simpósio de Informática,2011. Membro da comissão de Programa do tópico “Sistemas Embebidos e de Tempo-Real”. (2011 - 2011)
Symposium (Member of the Scientific Committee)
2010 - 2010 Inforum, Simpósio de Informática,2010. Membro da comissão de Programa do tópico ”Especificação, Verificação, e Teste de Sistemas Críticos”. (2010 - 2010)
Symposium (Member of the Scientific Committee)
1990 - 1990 2a ¯ Escola Avan ¸cada de Inteligˆencia Artificial, EAIA, (1990 - 1990)
Meeting (Member of the Organising Committee)

Event participation

Activity description
Type of event
Event name
Institution / Organization
2023 - 2023 Participant
Conference
25th International Conference on Descriptional Complexity of Formal Systems,
2023 - 2023 Contributed talk
Conference
27th International Conference on Implementation and Application of Automata,
2023 - 2023 Participant
Conference
13th Workshop on Non-Classical Models of Automata and Applications,
2022 - 2022 Invited talk
Conference
CIAA 2022
2022 - 2022 Contributed talk
Conference
24th International Conference on Descriptional Complexity of Formal Systems,

Jury of academic degree

Topic
Role
Candidate name (Type of degree)
Institution / Organization
2024 Working Environment for Automated Deduction in Geometry
(Thesis) Arguer
Nuno Miguel dos Santos Baeta (PhD)
Universidade de Coimbra, Portugal
2022 Enhanced Automatic Feedback Generation for the Learning of Regular Expressions
(Thesis) Main arguer
Olaperi Yeside Okuboyejo (PhD)
University of the Witwatersrand Johannesburg, South Africa
2020/06/05 OCaml-FLAT on the Ocsigen framework
(Thesis) Main arguer
Rita Pedroso Macedo (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/01/08 Formally Verified Bug-free Implementations of Logical Algorithms
(Thesis) Arguer
Pedro Miguel Laforêt Barroso (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
2018 Transducers and 2D Regular Expressions
Supervisor
João Rebelo Pires (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2016 Rough Approximations in Varieties of Regular Languages
(Thesis) Main arguer
Gabriela Susana Martin Torres (PhD)
2015 Manipulation of Extended Regular Expressions with Derivatives
Supervisor
Rafaela Carolina Ribeiro Bastos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2014 Sistemas de Pergunta-Resposta para a Web semântica
Thesis Member
Dora Regina Oliveira Melo (PhD)
2014 Programming with Sequence and Context Variables: Foundations and Applications
Thesis Member
Besik Dundua (PhD)
Universidade do Porto, Portugal
2013 Towards certified program logics for the verification of imperative programs
Supervisor
David Miguel Ramalho Pereira (PhD)
Universidade do Porto, Portugal
2013 Web-base Knowledge System for Descriptional Complexity of Formal Languages
Supervisor
Davide Pereira Nabais (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2012 Lógica da separação e verificação formal de programas
(Thesis) Arguer
Isabel Maria Ventura Santos (Master)
Universidade do Minho Escola de Ciências, Portugal
2011 Equivalence of regular languages: an algorithmic approach and complexity analysis
Supervisor
Marco André Almeida (PhD)
Universidade do Porto, Portugal
2011 Learning and testing stochastic discrete event systems
(Thesis) Arguer
André de Matos Pedro (Master)
Universidade do Minho Escola de Engenharia, Portugal
2010 An Interactive System for Automata manipulations
Supervisor
José Daniel da Silva Alves (Master)
2009 Visual Functional Programming
(Thesis) Arguer
José Miguel Ferreira Vilaça (PhD)
Universidade do Minho, Portugal
2009 On the Design of a “Galculator”
(Thesis) Arguer
Paulo Filipe Araújo da Silva (PhD)
Universidade do Minho, Portugal
2009 Space Aqua - Automated Qualification Framework for Space Applications
(Thesis) Arguer
Ricardo Alberto Teixeira Batista (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2009 Crivo Quadrático
Thesis Member
José António Nunes Borges (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2008 Votações Electrónicas e a Cifra de Paillier
Thesis Member
Alexandra Goreti Pinto Queirós (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2007 XML Processing in Logic Programming,
Thesis Member
Jorge Manuel Neves Coelho (PhD)
Universidade do Porto, Portugal
2007 Logic frameworks for reasoning about emotions in BDI Agents
Supervisor
David Miguel Ramalho Pereira (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2006 BDI-based approach for the assessment of drivers’ decision-making in commuter scenarios.
Thesis Member
Rosaldo José Fernandes Rosseti (Other)
Universidade do Porto, Portugal
2006 Metodologia para o Desenvolvimento de uma Aplicação de Manipulação de Exercícios e Documentos Associados
Supervisor
Ângela Cristina Marques de Oliveira (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2006 Multi-Agent System for Turistic Agency
President of the jury
Guilherme Pereira (Master)
Universidade do Porto, Portugal
2005 Segurança Absoluta em Sistemas de Cifra de Chave Simétrica
Thesis Member
Liliana da Conceição Monteiro Salvador (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2005 Obtenção de Expressões Regulares Pequenas a Partir de Autómatos Finitos
Supervisor
José João Morais (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2004 Sistema Multi-Agente para Visualização 3D de jogos de futebol robótico simulado
President of the jury
Sérgio Fernando Grilate Louro (Master)
Universidade do Porto, Portugal
2004 Arquitecturas de Agentes Emocionais
President of the jury
Luís António Diniz Fernandes de Morais Sarmento (Master)
Universidade do Porto, Portugal
2003 Useful Information
Thesis Member
Luis Filipe Coelho Antunes (PhD)
Universidade do Porto, Portugal
2003 Webneighbours: uma cache distribuída usando um modelo P2P
President of the jury
Hugo Jorge Pinto Ribeiro (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2003 Interfaces Web para aplicações SCADA
President of the jury
Ricardo Jorge Nogueira Fernandes (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2003 Um Sistema Baseado na Separação de Ambientes para Execução Distribuída de Prolog
President of the jury
Rolando da Silva Martins (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2003 Canal SCADA na Web
President of the jury
Miguel Ferreira Pereira Gomes (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2003 Metodologia de Partilha de Dados entre Sistemas Heterogéneos Usando XML
President of the jury
Rogério Filipe Pinho Ferreira (Master)
2003 Extração de Elementos Relevantes em Texto/Paginas da World Wide Web
President of the jury
João Paulo da Costa Cordeiro (Master)
Universidade do Porto, Portugal
2002 Processamento de XML em Prolog
President of the jury
Jorge Manuel Neves Coelho (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2002 Aplicações da Complexidade de Kolmogorov à Criptografia
President of the jury
Pedro Miguel Figueiredo Medas (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2002 Análise Automática de Logs em Sistemas Unix
President of the jury
Paula Marina Gonçalves Fonseca (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2001 Regras e Casos: Uma Abordagem à Aprendizagem Relacional Multi- Estratégia,
Thesis Member
Alneu de Andrade Lopes (PhD)
Universidade do Porto, Portugal
2001 Administração Centralizada de Grupos de Sistemas Unix
President of the jury
Mário João Gonçalves Antunes (Master)
Universidade do Porto Faculdade de Ciências, Portugal

Ad Hoc journal article review

Journal title (ISSN) Publisher
2024 - 2024 Theoretical Computer Science
2023 - 2023 Theoretical Computer Science
2023 - 2023 Journal of Computer Languages
2021 - 2021 Annals of Mathematics and Artificial Intelligence
2021 - 2021 Journal of Symbolic Computation
2021 - 2021 International Journal of Approximate Reasoning.
2020 - 2020 Information Sciences
2020 - 2020 Journal of Logical and Algebraic Methods in Programming
2020 - 2020 Theoretical Computer Science
2020 - 2020 Information and Computation
2020 - 2020 Acta Informatica
2019 - 2019 Acta Informatica
2019 - 2019 Acta Informatica
2019 - 2019 Information and Computation
2018 - 2018 Symposium on Theoretical Aspects of Computer Science
2017 - 2017 Journal of Automata, Languages and Combinatorics
2017 - 2017 ACM Technical Symposium on Computer Science Education
2016 - 2016 Journal of Computer and System Sciences
2016 - 2016 Frontiers of Information Technology & Electronic Engineering
2016 - 2016 Journal of Logical and Algebraic Methods in Programming
2015 - 2015 Journal of Computer and System Sciences
2015 - 2015 Symposium on Discrete Algorithms
2015 - 2015 Symposium on Theoretical Aspects of Computer Science
2014 - 2014 International Journal of Foundations of Computer Science
2014 - 2014 Formal Methods
2013 - 2013 Information and Computation
2013 - 2013 Theoretical Computer Science
2012 - 2012 Theoretical Computer Science
2012 - 2012 Theoretical Informatics and Applications (RAIRO ITA)
2012 - 2012 Theoretical Computer Science
2011 - 2011 Discrete Applied Mathematics
2011 - 2011 International Journal of Computer Mathematics
2010 - 2010 Fundamenta Informaticae.
2010 - 2010 International Journal of Foundations of Computer Science.

Association member

Society Organization name Role
2012 - Current IFIP - Grupo de trabalho 1.2 - Complexidade Descritiva Membro

Committee member

Activity description
Role
Institution / Organization
2023 - Current Coordinator of CMUP line of research Semigroups, automata and Languages; member of the scientific board of CMUP
Coordinator
Universidade do Porto Centro de Matemática, Portugal
2019 - Current Steering Committee member of the International Conference on Implementation and Application of Automata (CIAA).
Member
2016 - Current Editorial board of JALC- Journal of automata, languages and combinatorics
Member
2014 - Current Membro da comissão coordenadora da Workshop on Non-classic models of automata and applications (NCMA).
Member
2011 - Current Member of the research unit CMUP
Member
Universidade do Porto Centro de Matemática, Portugal

Conference scientific committee

Conference name Conference host
2011 - Current Formal Methods, FM 2011.
2011 - Current 42th ACM Technical Symposium on Computer Science Education, SIGCSE 2011.
2023 - 2023 20th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS) Augsburg, Germany
2023 - 2023 CIAA 2023, 27th International Conference on Implementation and Application of Automata Famagusta, Cyprus
2023 - 2023 DCFS 2023, 25th International Workshop on Descriptional Complexity of Formal Systems Potsdam, Germany
2023 - 2023 FCT 2023, 24th International Symposium on Fundamentals of Computation Theory Trier, Germany
2023 - 2023 NCMA 2023, 13th Workshop on Non-Classical Models of Automata and Applications Famagusta, Cyprus
2022 - 2022 LICS 2022, 37th Annual ACM/IEEE Symposium on Logic in Computer Science Haifa, Israel
2022 - 2022 INFORUM 2022 - SOFT-PT,13o Simpósio de Informática Guarda, Portugal
2021 - 2021 CIAA 2021, 25th International Conference on Implementation and Application of Automata Bremen, Germany
2021 - 2021 MOL 2021, 17th Mathematics of Language University of Montpellier, France
2020 - 2020 CSL 2020, 28th International Conference on Computer Science Logic
2019 - 2019 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 19)
2019 - 2019 Symposium on Theoretical Aspects of Computer Science, STACS 2019
2019 - 2019 50th ACM Technical Symposium on Computer Science Education, SIGCSE 2019
2018 - 2018 NCMA Workshop on Non-Classical Models of Automata and Applications 2018
2018 - 2018 International Conference on Implementation and Application of Automata
2018 - 2018 22nd International Conference on Developments in Language Theory, DLT 2018.
2018 - 2018 23rd International Conference on Implementation and Application of Automata, CIAA 2018
2018 - 2018 49th ACM Technical Symposium on Computer Science Education, SIGCSE 2018
2017 - 2017 19th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2017
2017 - 2017 48th ACM Technical Symposium on Computer Science Education, SIGCSE 2017
2016 - 2016 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016.
2016 - 2016 Symposium on Theoretical Aspects of Computer Science, STACS 2016
2015 - 2015 ACM-SIAM Symposium on Discrete Algorithms, SODA 2015
2015 - 2015 9th International Conference on Language and Automata Theory and Applica- tions, LATA 2015
2015 - 2015 27th International Conference on Formal Power Series and Algebraic Combina- torics, FPSAC2015
2015 - 2015 20th International Conference on Implementation and Application of Automata, CIAA 2015
2015 - 2015 47th ACM Technical Symposium on Computer Science Education, SIGCSE 2016
2015 - 2015 45th ACM Technical Symposium on Computer Science Education, SIGCSE 2015.
2014 - 2014 Formal Methods, FM 2014
2014 - 2014 18th International Conference on Developments in Language Theory, DLT 2014.
2014 - 2014 45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014.
2014 - 2014 8th International Conference on Language and Automata Theory and Applica- tions, Lata 2014.
2014 - 2014 8th International Conference on Language and Automata Theory and Applications, Lata 2014.
2013 - 2013 17th International Conference on Developments in Language Theory, DLT 2013
2012 - 2012 43th ACM Technical Symposium on Computer Science Education, SIGCSE 2012.
2012 - 2012 4th Non-Classical Models of Automata and Applications, Ncma 2012.
2011 - 2011 Workshop on Descriptional Complexity of Formal Systems, DCFS 2011.
2011 - 2011 International Conference on Implementation and Applications of Automata, CIAA 2011.
2011 - 2011 Symposium of Theoretical Aspects of Computer Science, STACS 2011.
2010 - 2010 International Conference on Implementation and Applications of Automata, (CIAA10)
2010 - 2010 41th ACM Technical Symposium on Computer Science Education, SIGCSE 2010.
2009 - 2009 Innovation and Technology in Computer Science Education (ITiCSE 2009).
2008 - 2008 Innovation and Technology in Computer Science Education (ITiCSE 2008).
2008 - 2008 2nd International Conference on Language and Automata Theory and Applications, LATA 2008.
2008 - 2008 39th ACM Technical Symposium on Computer Science Education, SIGCSE 2008.
2007 - 2007 Innovation and Technology in Computer Science Education (ITiCSE 2007).
2007 - 2007 38th ACM Technical Symposium on Computer Science Education, SIGCSE 2007.
2007 - 2007 20th International Joint Conference on Artificial Intelligence, IJCAI 2007
2006 - 2006 Developments in Computational Models, DCM 2006, Satellite Worshop of ICALP 2006.
2006 - 2006 Innovation and Technology in Computer Science Education (ITiCSE 2006).
2005 - 2005 15th Portuguese Conference on Artificial Intelligence (EPIA'05).
2004 - 2004 IX Ibero-American Conference on Artificial Intelligence, IBERAMIA'04.
2003 - 2003 12th Portuguese Conference on Artificial Intelligence (EPIA'03).
2002 - 2002 29th International Colloquium on Automata, Languages, and Programming, ICALP'02.
2001 - 2001 10th Portuguese Conference on Artificial Intelligence (EPIA'01).
2001 - 2001 Joint Conference on Declarative Programming, Appia-Gulp-Prode, AGP'01.
1999 - 1999 9th Portuguese Conference on Artificial Intelligence (EPIA'99).

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
2023 - Current Teoria de Computação (Licenciatura)
2023 - 2024 Programação Concorrente (Licenciatura)
2021 - 2024 Semânticas de Linguagens de Programação (Licenciatura)
2021 - 2024 Verificação de Programas (Licenciatura)
2021 - 2024 Verificação de Programas (Mestrado)
2015 - 2024 Lógica Computacional (Licenciatura)
2018 - 2021 Modelos de Computação (Licenciatura)
2019 - 2020 Métodos Formais em Engenharia de Software (Mestrado integrado)
2018 - 2020 Programação Concorrente (Licenciatura)
2013 - 2019 Verificação Formal de Software (Mestrado)
2015 - 2018 Complexidade Computacional (Mestrado)
2014 - 2015 Modelos de Computação (Licenciatura)
2013 - 2014 Automata and Applications (Curso de doutoramento (conclusão de unidades curriculares))
2009 - 2012 Lógica e Programação (Licenciatura)
2008 - 2009 Program Semantics, Verification and Construction (Curso de doutoramento (conclusão de unidades curriculares))
2007 - 2009 Fundamentos de Linguagens de Programação (Mestrado)
2000 - 2005 Modelos de Computação (Licenciatura)
1997 - 2002 Programação Imperativa (Licenciatura)
1995 - 2002 Introdução aos computadores (Licenciatura)
1986 - 1998 Teoria da Computação (Licenciatura)

Evaluation committee

Activity description
Role
Institution / Organization Funding entity
2016 - Current Avaliador do Concurso de projectos de Cooperação Bilateral da FCT.
Evaluator
Fundação para a Ciência e a Tecnologia, Portugal
2024 - 2024 External reviewer of the application for a professorship W2 position for Applied Computer Science and Didactics open by the Department of Mathematics and Computer Science, Physics, Geography at Justus-Liebig University Giessen, Germany
Specialist
Justus-Liebig-Universität Gießen FB07 Mathematik und Informatik Physik Geographie, Germany
2023 - 2023 Evaluator of NSERC 2023 Discovery Grants
Evaluator
National Research Council Canada
2022 - 2022 Member of the committee for the appointment of an assistant professor in Computer Science of the School of Science and Technologies of University of Évora, Portugal Edital 390/2022 (2ª série)
Evaluator
Universidade de Évora Departamento de Informática, Portugal
2017 - 2017 Avaliador externo para propostas de actividades ao Fields Institute, Canada
Evaluator
Fields Institute for Research in Mathematical Sciences
2016 - 2016 Avaliador do Concurso de Bolsas NSERC 2016 Discovery Grants, Canada.
Evaluator
Natural Sciences and Engineering Research Council of Canada
2013 - 2013 Membro do Painel de Avaliação de Matemática do Concurso para Atribuição de Bolsas Individuais de Doutoramento, Doutoramento em Empresas e de Pós-Doutoramento da FCT (Fundação para a Ciência e a Tecnologia)– 2013.
Evaluator
Fundação para a Ciência e a Tecnologia

Journal scientific committee

Journal title (ISSN) Publisher
2010 - Current International Journal of Foundations of Computer Science (1793-6373) World Scientific
2017 - 2019 Journal of Automata, Languages and Combinatorics
2015 - 2015 Journal of Computer and System Sciences
2012 - 2012 Theoretical Informatics and Applications (RAIRO ITA)
2011 - 2011 Theoretical Computer Science
2011 - 2011 International Journal of Computer Mathematics Computer Systems Theory (2379-9935) Informa UK (Taylor & Francis)
2011 - 2011 Discrete Applied Mathematics (0166-218X) Elsevier
2010 - 2010 Fundamenta Informaticae (1875-8681) IOS Press
2008 - 2008 Intelligent Decision Technologies (1875-8843) IOS Press
Distinctions

Award

2020 Best paper award SOFSEM20