???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.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Nelma Moreira

Nomes de citação

  • Moreira, Nelma

Identificadores de autor

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

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Francês Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Inglês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Formação
Grau Classificação
1997/12/04
Concluído
 Ciências de Computadores (Doutoramento)
Especialização em 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" (TESE/DISSERTAÇÃO)
1989
Concluído
 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" (TESE/DISSERTAÇÃO)
 Muito Bom
1984
Concluído
 Licenciatura em Matemática (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
"Teoria das Catastrofes" (TESE/DISSERTAÇÃO)
 15
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/10/30 - Atual Professor Associado (Docente Universitário) Universidade do Porto, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
1997/12/04 - Atual Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
1982/01/02 - 1997/12/04 Assistente (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
1984/10/11 - 1989/01/02 Assistente Estagiário (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
Projetos

Projeto

Designação Financiadores
2007 - Atual IPG 2007 Education and Language in Memories of Labour
IPG 118
Investigador responsável
Universidade do Porto
Concluído
2012 - 2015 AVIACC Analysis and Verification of Safe Concurrent Programs
FCT/ PTDC/ EIA-CCO /117590/
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2010 - 2013 CANTE Descriptional and Computational Complexity of Formal Languages,
FCT/ PTDC/EIA-CCO/101904/2008
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2010 - 2012 CSI Cryptographic Security of Individual Instances
FCT/ PTDC/EIA-CCO/099951/2008
Investigador
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
Investigador
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010 - 2010 IJUP2010 Análise Social e Linguística nas Memórias do Trabalho
IJUP/IPG162,
Investigador responsável
Universidade do Porto
Concluído
2007 - 2009 ASA Automata, Semigroups and Applications,
PTDC/ MAT/ 65481/ 2006
Investigador
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
Investigador
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,
Investigador
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
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
Concluído
1999 - 2001 CORE Sistemas Formais e Complexidade Computacional
PRAXIS/ P/ EEI/ 14233/ 98
Investigador
1995 - 1998 PROLOPPE Programação em Lógica Paralela com Extensões.
Praxis 3/3.1/TIT/24/94
Investigador
Concluído
Produções

Publicações

Artigo em conferência
  1. Moreira, N; Reis, R. "Manipulation of Regular Expressions Using Derivatives: An Overview". 2022.
    10.1007/978-3-031-07469-1_2
  2. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "On the Uniform Distribution of Regular Expressions". 2021.
    10.1007/978-3-030-93489-7_2
  3. Konstantinidis, S; Machiavelo, A; Moreira, N; Reis, R. "Partial Derivative Automaton by Compressing Regular Expressions". 2021.
    10.1007/978-3-030-93489-7_9
  4. Konstantinidis, S; Machiavelo, A; Moreira, N; Reis, R. "On the Average State Complexity of Partial Derivative Transducers". Trabalho apresentado em SOFSEM, 2020.
    Publicado • 10.1007/978-3-030-38919-2_15
  5. Ramos, MVM; Bacelar Almeida, JCB; Moreira, N; de Queiroz, RJGB. "Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages". Trabalho apresentado em LSFA 2018,, 2019.
    10.1016/j.entcs.2019.07.010
  6. Konstantinidis, S.; Moreira, N.; Pires, J.; Reis, R.. "Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels". Trabalho apresentado em CIAA, 2019.
    Publicado • 10.1007/978-3-030-23679-3_15
  7. Ferreira, M.; Moreira, N.; Reis, R.. "Forward injective finite automata: Exact and random generation of nonisomorphic NFAs". Trabalho apresentado em DCFS, 2018.
    10.1007/978-3-319-94631-3_8
  8. Loff, B; Moreira, N; Reis, R. "The Computational Power of Parsing Expression Grammars". Trabalho apresentado em DLT, 2018.
    10.1007/978-3-319-98654-8_40
  9. Konstantinidis, S; Moreira, N; Reis, R; Young, J. "Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels". Trabalho apresentado em IAA, 2018.
    10.1007/978-3-319-94812-6_2
  10. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "On the average complexity of strong star normal form". Trabalho apresentado em DCFS, 2017.
    10.1007/978-3-319-60252-3_6
  11. Broda, S.; Holzer, M.; Maia, E.; Moreira, N.; Reis, R.. "On the mother of all automata: The position automaton". Trabalho apresentado em DLT, 2017.
    10.1007/978-3-319-62809-7_9
  12. Ferreira, M.; Moreira, N.; Reis, R.. "Automata serialization for manipulation and drawing". Trabalho apresentado em SLATE, 2016.
    10.4230/OASIcs.SLATE.2016.15
  13. Câmpeanu, C; Moreira, N; Reis, R. "On the dissimilarity operation on finite languages". Trabalho apresentado em NCMA, 2016.
  14. Konstantinidis, S; Moreira, N; Reis, R. "Generating error control codes with automata and transducers". Trabalho apresentado em NCMA, 2016.
  15. Bastos, R.; Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "On the state complexity of partial derivative automata for regular expressions with intersection". Trabalho apresentado em DCFS, 2016.
    10.1007/978-3-319-41114-9_4
  16. Konstantinidis, S.; Meijer, C.; Moreira, N.; Reis, R.. "Implementation of code properties via transducers". Trabalho apresentado em CIAA, 2016.
    10.1007/978-3-319-40946-7_16
  17. 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". Trabalho apresentado em Wollic, 2016.
    10.1007/978-3-662-52921-821
  18. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "Position automaton construction for regular expressions with intersection". Trabalho apresentado em DLT, 2016.
    10.1007/978-3-662-53132-7_5
  19. Maia, E.; Moreira, N.; Reis, R.. "Prefix and right-partial derivative automata". Trabalho apresentado em CIE, 2015.
    10.1007/978-3-319-20028-6_26
  20. Moreira, N.; Pighizzini, G.; Reis, R.. "Universal disjunctive concatenation and star". Trabalho apresentado em DCFS, 2015.
    10.1007/978-3-319-19225-3_17
  21. Broda, S.; Cavadas, S.; Ferreira, M.; Moreira, N.. "Deciding synchronous Kleene algebra with derivatives". Trabalho apresentado em CIAA, 2015.
    Publicado • 10.1007/978-3-319-22360-5_5
  22. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Partial Derivative Automaton for Regular Expressions with Shuffle". Trabalho apresentado em DCFS, 2015.
    10.1007/978-3-319-19225-3_2
  23. Moreira, N; Pighizzini, G; Reis, R. "Optimal State Reductions of Automata with Partially Specified Behaviors". Trabalho apresentado em SOFSEM, 2015.
    10.1007/978-3-662-46078-8_28
  24. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "On the equivalence of automata for KAT-expressions". Trabalho apresentado em CIE, 2014.
    10.1007/978-3-319-08019-2_8
  25. Bell, J.; Brzozowski, J.; Moreira, N.; Reis, R.. "Symmetric groups and quotient complexity of boolean operations". Trabalho apresentado em ICALP, 2014.
    10.1007/978-3-662-43951-7_1
  26. Maia, E.; Moreira, N.; Reis, R.. "Partial derivative and position bisimilarity automata". Trabalho apresentado em CIAA, 2014.
    10.1007/978-3-319-08846-4_20
  27. Câmpeanu, C; Moreira, N; Reis, R. "The distinguishability operation on regular languages". 2014.
  28. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "On the average size of Glushkov and equation automata for KAT expressions". Trabalho apresentado em FCT, 2013.
    10.1007/978-3-642-40164-0_10
  29. Maia, E.; Moreira, N.; Reis, R.. "Incomplete transition complexity of basic operations on finite languages". Trabalho apresentado em CIAA, 2013.
    10.1007/978-3-642-39274-0_31
  30. Maia, E.; Moreira, N.; Reis, R.. "Incomplete transition complexity of some basic operations". Trabalho apresentado em SOFSEM, 2013.
    10.1007/978-3-642-35843-2_28
  31. Almeida, R.; Broda, S.; Moreira, N.. "Deciding KAT and Hoare logic with derivatives". Trabalho apresentado em GandALF, 2012.
    10.4204/EPTCS.96.10
  32. Moreira, N.; Pereira, D.; Melo De Sousa, S.. "Deciding regular expressions (in-)equivalence in Coq". Trabalho apresentado em RAMICS, 2012.
    10.1007/978-3-642-33314-9_7
  33. Almeida, J.B.; Moreira, N.; Pereira, D.; De Sousa, S.M.. "Partial derivative automata formalized in coq". Trabalho apresentado em CIAA 2010, 2010.
    10.1007/978-3-642-18098-9_7
  34. Moreira, N; Nabais, D; Reis, R. "State Elimination Ordering Strategies: Some Experimental Results". Trabalho apresentado em DCFS, 2010.
    10.4204/EPTCS.31.16
  35. Almeida, M; Moreira, N; Reis, R. "Incremental DFA Minimisation". Trabalho apresentado em CIAA, 2010.
    10.1007/978-3-642-18098-9_5
  36. Almeida, M.; Moreira, N.; Reis, R.. "Exact generation of acyclic deterministic finite automata". Trabalho apresentado em DCFS, 2008.
  37. Almeida, M.; Moreira, N.; Reis, R.. "Antimirov and Mosses's rewrite system revisited". Trabalho apresentado em CIAA, 2008.
    10.1007/978-3-540-70844-5_6
  38. Almeida, M.; Moreira, N.; Reis, R.. "Exact generation of minimal acyclic deterministic finite automata". Trabalho apresentado em DCFS, 2007.
    10.1142/s0129054108005930
  39. Almeida, M.; Moreira, N.; Reis, R.. "Aspects of enumeration and generation with a string automata representation". Trabalho apresentado em DCFS, 2006.
  40. Moreira, N.; Reis, R.. "Interactive manipulation of regular objects with FAdo". Trabalho apresentado em ITiCSE, 2005.
    10.1145/1067445.1067537
  41. Pereira, D; Oliveira, E; Moreira, N; Sarmento, L. "Towards an architecture for Emotional BDI agents". Trabalho apresentado em Portuguese Conference on Artificial Intelligence, 2005.
    10.1109/epia.2005.341262
  42. Reis, R.; Moreira, N.; Almeida, M.. "On the representation of finite automata". Trabalho apresentado em DCFS, 2005.
  43. Damas, L; Moreira, N. "Constraint Categorial Grammars". Trabalho apresentado em Portuguese Conference on Artificial Intelligence, 1995.
    10.1007/3-540-60428-6
  44. Damas, L; Varile, GB; Moreira, N. "The Formal and Processing Models of CLG". Trabalho apresentado em EACL, 1991.
  45. Leal, JP; Damas, L; Moreira, N. "An History Based Interface". Trabalho apresentado em ICLP (presented at the preconference Workshop on Logic Programming Environments), 1991.
  46. Filgueiras, M; Tomás, AP; Moreira, N; Reis, R; Leal, JP. "Natural Language and Natural Menus Interfaces". 1990.
  47. Balari, S; Varile, GB; Damas, L; Moreira, N. "CLG(n): Constraint Logic Grammars". 1990.
  48. Filgueiras, M; Moreira, N; Tomás, AP. "General Introduction". 1990.
    10.1007/3-540-53678-7_1
  49. Moreira, N.. "Semantic analysis of time and tense in natural language: An implementation". 1989.
    10.1007/3-540-51665-4_86
Artigo em revista
  1. 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
  2. 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
  3. Broda, S; Maia, E; Moreira, N; Reis, R. "The Prefix Automaton". J. Autom. Lang. Comb. (2021):
  4. 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
  5. 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
  6. 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
  7. 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.
  8. 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
  9. 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
  10. Konstantinidis, S; Meijer, C; Moreira, N; Reis, R. "Symbolic Manipulation of Code Properties". Journal of Automata, Languages and Combinatorics (2018):
  11. 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):
  12. Gao, Yuan; Moreira, Nelma; Reis, Rogerio; Yu, Sheng. "A Survey on Operational State Complexity". Journal of Automata, Languages and Combinatorics (2017):
  13. 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
  14. 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
  15. 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
  16. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Average Size of Automata Constructions from Regular Expressions". Bulletin of the EATCS (2015):
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. Dassow, J; Kutrib, M; Moreira, N; Reis, R. "Editorial". Journal of Automata, Languages and Combinatorics (2012):
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. Moreira, N; Reis, R. "Series-Parallel Automata and Short Regular Expressions". FUNDAMENTA INFORMATICAE (2009):
    10.3233/fi-2009-0061
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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.
  34. Reis, R; Moreira, N. "Apoo: an environment for a first course in assembly language programming". SIGCSE Bulletin (2001):
    10.1145/572139.572168
Capítulo de livro
  1. 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.
    Publicado • 10.1007/978-3-030-68195-1_4
  2. Kutrib, M; Moreira, N; Pighizzini, G; Reis, R. "Hot Current Topics of Descriptional Complexity". 2021.
  3. Almeida, M.; Moreira, N.; Reis, R.. "Finite automata minimization". 2016.
    10.1201/b13055-8
  4. 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
  5. 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
  6. 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
  7. Pereira, D.; Oliveira, E.; Moreira, N.. "Formal modelling of emotions in BDI agents". In CLIMA. 2008.
    10.1007/978-3-540-88833-8-4
  8. 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
  9. 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
Edição de livro
  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.

Outros

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

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2018/09/06 Conversions from REs to nfas and dfas: a Taxonomy and Average Complexity DLT's Satellite Workshop in Kyoto
(Kyoto, Japão)
2016 On the dissimilarity operation on finite languages NCMA 2016, Eighth Workshop on Non-Classical Models of Automata and Applications
(Debrecen, Hungria)
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, Canadá)
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)

Orientação

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

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2019 - Atual FM 2019, 3rd World Congress on Formal Methods. Porto, 7-11/10/2019 Co-presidente das Workshops e Tutorials. (2019 - 2019)
Congresso (Membro da Comissão Organizadora)
1993 - Atual 6th Portuguese Conference on Artificial Intelligence, Porto (1993/10)
Conferência (Membro da Comissão Organizadora)
2021/08/16 - 2021/08/20 25th International Conference on Developments of Language Theory (2021/08/16 - 2021/08/20)
Conferência (Presidente da Comissão Organizadora)
 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)
Conferência (Membro da Comissão Científica)
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)
Conferência (Membro da Comissão Científica)
2019 - 2019 DCFS 2019, 21th International Workshop on Descriptional Complexity of Formal Systems, Kosice, Slovakia. 17–19 July, 2019. (2019 - 2019)
Conferência (Membro da Comissão Científica)
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)
Conferência (Membro da Comissão Científica)
2017 - 2017 22nd International Conference on Implementation and Application of Automata (CIAA 2017), Paris, France. (2017 - 2017)
Conferência (Membro da Comissão Científica)
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)
Conferência (Membro da Comissão Científica)
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)
Conferência (Membro da Comissão Organizadora)
2016 - 2016 FSCD 2016, 1st International Conference Formal Structures for Computation and Deduction, 22-26, June, Porto, Portugal. (2016)
Conferência (Membro da Comissão Organizadora)
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)
Oficina (workshop) (Presidente da Comissão Organizadora)
2014 - 2014 19th International Conference on Implementation and Application of Automata (CIAA 2014), Giessen, Germany. Membro da comissão de programa. (2014 - 2014)
Conferência (Membro da Comissão Científica)
2014 - 2014 6th Non-Classical Models of Automata and Applications, NCMA 2014, Kassel, Germany. Membro da comissão de programa. (2014 - 2014)
Oficina (workshop) (Membro da Comissão Científica)
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)
Simpósio (Membro da Comissão Científica)
2014 - 2014 10th International Workshop on Automated Deduction in Geometry, Coimbra, Portugal. (2014)
Oficina (workshop) (Membro da Comissão Organizadora)
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)
Conferência (Membro da Comissão Científica)
2013 - 2013 15th International Workshop on Descriptional Complexity of Formal Systems, London,Ontario, Canada. Membro da comissão de programa. (2013 - 2013)
Oficina (workshop) (Membro da Comissão Científica)
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)
Simpósio (Membro da Comissão Científica)
2012 - 2012 17th International Conference on Implementation and Application of Automata (CIAA 2012), Porto, Portugal. Co-presidente da Comissão de Programa. (2012 - 2012)
Conferência (Membro da Comissão Científica)
2012 - 2012 14th International Workshop on Descriptional Complexity of Formal Systems, Braga, Portugal.Co-presidente da Comissão de Programa. (2012 - 2012)
Oficina (workshop) (Membro da Comissão Científica)
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)
Simpósio (Membro da Comissão Científica)
2012 - 2012 17th International Conference on Implementation and Application of Automata (CIAA 2012), Porto, Portugal (2012 - 2012)
Conferência (Presidente da Comissão Organizadora)
2012 - 2012 14th International Workshop on Descriptional Complexity of Formal Systems, Braga, Portuga (2012 - 2012)
Oficina (workshop) (Presidente da Comissão Organizadora)
2011 - 2011 3rd Non-Classical Models of Automata and Applications, NCMA 2011. Membro da comissão de programa. (2011 - 2011)
Oficina (workshop) (Membro da Comissão Científica)
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)
Simpósio (Membro da Comissão Científica)
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)
Simpósio (Membro da Comissão Científica)
1990 - 1990 2a ¯ Escola Avan ¸cada de Inteligˆencia Artificial, EAIA, (1990 - 1990)
Encontro (Membro da Comissão Organizadora)

Júri de grau académico

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

Arbitragem científica em conferência

Nome da conferência Local da conferência
2011 - Atual Formal Methods, FM 2011.
2011 - Atual 42th ACM Technical Symposium on Computer Science Education, SIGCSE 2011.
2020 - 2020 CSL 2020, 28th International Conference on Computer Science Logic
2019 - 2019 44th International Symposium on Mathematical Foundations of Computer Sci- ence (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).

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2010 - Atual International Journal of Foundations of Computer Science (1793-6373) World Scientific
2019 - 2019 Acta Informatica
2017 - 2019 Journal of Automata, Languages and Combinatorics
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
2013 - 2013 Information and Computation (1090-2651) Elsevier
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

Comissão de avaliação

Descrição da atividade
Tipo de assessoria 		Instituição / Organização Entidade financiadora
2016 - Atual Avaliador do Concurso de projectos de Cooperação Bilateral da FCT.
Avaliador
 Fundação para a Ciência e a Tecnologia, Portugal
2017 - 2017 Avaliador externo para propostas de actividades ao Fields Institute, Canada
Avaliador
 Fields Institute for Research in Mathematical Sciences
2016 - 2016 Avaliador do Concurso de Bolsas NSERC 2016 Discovery Grants, Canada.
Avaliador
 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.
Avaliador
 Fundação para a Ciência e a Tecnologia

Membro de associação

Nome da associação Tipo de participação
2012 - Atual IFIP - Grupo de trabalho 1.2 - Complexidade Descritiva Membro

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2019 - Atual Steering Committee member of thr International Conference on Implementation and Application of Automata (CIAA).
Membro
2016 - Atual Conselhos editorial de revista JALC- Journal of automata, languages and combinatorics
Membro
2014 - Atual Membro da comissão coordenadora da Workshop on Non-classic models of automata and applications (NCMA).
Membro
Distinções

Prémio

2020 Best paper award SOFSEM20