???global.info.a_carregar???
Rogério Reis has a degree in Pure Mathematics and a PhD in Computer Science from University of Porto, Faculty of Sciences. Since 2007 he is a professor at Department of Computer Science, Faculty of Sciences of University of Porto. From 1991 to 1997 he was research assistant at University of Porto; from 1998 to 2006 invited assistant at Department of Computer Science, Faculty of Sciences of University of Porto. He was a researcher at Artificial Intelligence and Computer Science Laboratory (LIACC) since its foundation (1986) until 2011. He is now a senior researcher at Center of Mathematics of University of Porto (CMUP) and was head of the Semigroups, Automata and Languages strand (2014-2016). His main research interests are in the area of formal languages and automata theory; descriptional complexity; enumerative and analytic combinatorics; and cryptography. He has published 35 papers in international journals, 62 papers in international conference proceedings with independent refereeing system and 3 book chapters. He was invited editor of five numbers of international journals and editor of five international conference proceedings. He is the main developer of the computer system for the symbolic manipulation of regular languages (FAdo) and one of authors of the website Desco (desco.up.pt) for descriptional complexity results on formal languages. He participates/has participate in more than 12 research projects, one as principal investigator. He supervised 25 Master students as well as three PhD theses. He has been member of program committees of several international conferences. He was co-chair of program and organising committees of the International Workshop Descriptional Complexity of Formal Systems (DCFS) (2012,2013), 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). He is chair of the steering committee of DCFS. He is member of IFIP Working Group 1.2 on Descriptional Complexity since 2012, vice-chair, since 2018-2023, and chair since 2023.
Identificação

Identificação pessoal

Nome completo
Rogério Ventura Lages dos Santos Reis

Nomes de citação

  • Reis, Rogério

Identificadores de autor

Ciência ID
AB13-0F48-171C
ORCID iD
0000-0001-9668-0917
Google Scholar ID
8cgJRVUAAAAJ
Researcher Id
AAA-1098-2020
Scopus Author Id
8427307500

Websites

Domínios de atuação

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

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador proficiente (C1)
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Espanhol; Castelhano Utilizador elementar (A1) Utilizador proficiente (C1) Utilizador elementar (A1) Utilizador proficiente (C1)
Formação
Grau Classificação
2007
Concluído
Ciência de Computadores (Doutoramento)
Especialização em Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"Autómatos Finitos: Manipulação Geração e Contagem" (TESE/DISSERTAÇÃO)
1991
Concluído
Ciência de Computadores (Outros)
Instituto Nacional de Investigação Científica, Portugal
"Yap: Estrutura Interna" (TESE/DISSERTAÇÃO)
Muito Bom
1979 - 1984
Concluído
Matemática Pura (Licenciatura)
Universidade do Porto, Portugal
13
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
1992/12 - 1997/09 Assistente de Investigação (carreira) (Investigação) Universidade do Porto, Portugal
1991/03 - 1992/11 Assistente de Investigação (carreira) (Investigação) Instituto Nacional de Investigação Científica, Portugal
1988/09 - 1991/02 Estagiário de Investigação (Investigação) Instituto Nacional de Investigação Científica, Portugal
1986/10 - 1987/03 Investigador (Investigação) Junta Nacional Investigação Científica e Tecnológica, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2007/06 - Atual Professor Auxiliar (Docente Universitário) Universidade do Porto, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2016 - 2019 Professor Auxiliar (Docente Universitário) Universidade do Porto, Portugal
2013 - 2016 Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
1997/10 - 2007/05 Assistente (Docente Universitário) Universidade do Porto, Portugal
Projetos

Projeto

Designação Financiadores
2010 - 2012 CSI: Cryptographic Security of Individual Instancies
PTDC/EIA-CCO/099951/2008
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

Outro

Designação Financiadores
2010 - 2013 CANTE: Complexidade descriptiva e computacional de linguagens formais
Investigador responsável
Universidade do Porto, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2006 - 2011 RESCUE: Reliable and Safe Code Execution for Embedded Systems}
FCT/ PTDC/ EIA/ 65862/ 2006,
Investigador
Universidade do Porto, Portugal
Concluído
2006 - 2010 ASA: Automata, Semigroups and Applications
PTDC/MAT/65481/2006
Investigador
Universidade do Porto, Portugal
Concluído
2006 - 2009 Memórias do trabalho: processos de obtenção duma identidade operária
POCI/CED/60786/2004
Investigador
Universidade do Porto, Portugal
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. Konstantinidis, S; Mastnak, M; Moreira, N; Reis, R. "Approximate NFA Universality Motivated by Information Theory". Trabalho apresentado em DCFS 22, 2022.
    10.1007/978-3-031-13257-5_11
  3. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Location Based Automata for Expressions with Shuffle". 2021.
    10.1007/978-3-030-68195-1_4
  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". 2020.
    10.1007/978-3-030-38919-2_15
  6. Konstantinidis, S; Moreira, N; Pires, J; Reis, R. "Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels". 2019.
    10.1007/978-3-030-23679-3_15
  7. Loff, B; Moreira, N; Reis, R. "The Computational Power of Parsing Expression Grammars". 2018.
    10.1007/978-3-319-98654-8_40
  8. Ferreira, M; Moreira, N; Reis, R. "Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs". 2018.
    10.1007/978-3-319-94631-3_8
  9. Konstantinidis, S; Moreira, N; Reis, R; Young, J. "Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels". 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". 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". 2017.
    10.1007/978-3-319-62809-7_9
  12. Ferreira, M; Moreira, N; Reis, R. "Automata Serialization for Manipulation and Drawing". 2016.
    10.4230/OASIcs.SLATE.2016.15
  13. Konstantinidis, S; Moreira, N; Reis, R. "Generating error control codes with automata and transducers". 2016.
  14. Konstantinidis, S; Meijer, C; Moreira, N; Reis, R. "Implementation of Code Properties via Transducers". 2016.
    10.1007/978-3-319-40946-7_16
  15. Câmpeanu, C; Moreira, N; Reis, R. "On the dissimilarity operation on finite languages". 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". 2016.
    10.1007/978-3-319-41114-9_4
  17. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Position Automaton Construction for Regular Expressions with Intersection". 2016.
    10.1007/978-3-662-53132-7_5
  18. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Partial Derivative Automaton for Regular Expressions with Shuffle". 2015.
    10.1007/978-3-319-19225-3_2
  19. Maia, E; Moreira, N; Reis, R. "Prefix and Right-Partial Derivative Automata". 2015.
    10.1007/978-3-319-20028-6_26
  20. Moreira, N; Pighizzini, G; Reis, R. "Universal Disjunctive Concatenation and Star". 2015.
    10.1007/978-3-319-19225-3_17
  21. Ivone Amorim; António Machiavelo; Reis, Rogério; Amorim, I; Machiavelo, A; Reis, R. "Statistical study on the number of injective linear finite transducers". Trabalho apresentado em Non-Classical Models of Automata and Applications (NCMA 2014), Kassel, 2014.
    Publicado
  22. Cêzar Câmpeanu; Nelma Moreira; Reis, Rogério. "The distinguishability operation on regular languages". Trabalho apresentado em Non-Classical Models of Automata and Applications (NCMA 2014), Kassel, 2014.
    Publicado
  23. Câmpeanu, C; Moreira, N; Reis, R. "The distinguishability operation on regular languages". 2014.
  24. Eva Maia; Nelma Moreira; Reis, Rogério. "Incomplete transition complexity of some basic operations.". Trabalho apresentado em SOFSEM 2013: Theory and Practice of Computer Science, Špindleruv Mlýn, 2013.
    Publicado
  25. Reis, Rogério; Emanuele Rodaro. "On Strongly Connected Ideal Languages". Trabalho apresentado em WORDS 2013, Turku, 2013.
    Publicado
  26. Eva Maia; Nelma Moreira; Reis, Rogério. "Incomplete Transition Complexity of Basic Operations on Finite Languages". Trabalho apresentado em CIAA 2013, Halifax, 2013.
    Publicado
  27. Eva Maia; Nelma Moreira; Reis, Rogério. "Incomplete Transition Complexity of Some Basic Opera- tions". Trabalho apresentado em International Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, 2013.
    Publicado • 10.1007/978-3-642-35843-2_28
  28. Sabine Broda; António Machiavelo; Nelma Moreira; Reis, Rogério. "On the average size of glushkov and equation automata for KAT expressions". Trabalho apresentado em 19th International Symposium on Fundamentals of Computation Theory, Liverpool, 2013.
    Publicado
  29. Reis, Rogério; Rodaro, Emanuele. "Reset regular decomposition complexity of regular ideal languages". Trabalho apresentado em 14th Italian Conference on Theoretical Computer Science, Palermo, 2013.
    Publicado
  30. Reis, Rogério; Rodaro, Emanuele. "The language of initially connected deterministic finite automata". Trabalho apresentado em 14th Italian Conference on Theoretical Computer Science, Palermo, 2013.
    Publicado
  31. Ivone Amorim; António Machiavelo; Reis, Rogério; Amorim, I; Machiavelo, A; Reis, R; Rogério Reis. "Formal power series and the invertibility of finite linear transducers". Trabalho apresentado em Fourth Workshop on Non-Classical Medels for Automata and Applications (NCMA 2012), Fribourg, 2012.
    Publicado
  32. Reis, Rogério; Nelma Moreira; Eva Maia. "A static type inference for Python". Trabalho apresentado em DYLA11 - 5th Workshop on Dynamic Languages and Applications, Zurich, 2011.
    Publicado
  33. José Alves; Nelma Moreira; Reis, Rogério. "XML description for automata manipulations". Trabalho apresentado em XATA 2010, XML: aplicações e tecnologias associadas, Vila do Conde, 2010.
    Publicado
  34. Diogo Fialho; Nuno Gaspar; Simão Melo de Sousa; Reis, Rogério; Jorge Sousa Pinto. "Towards a worst-case execution time calculation platform with certificate production". Trabalho apresentado em 8th European Dependable Computing Conference, Valencia, 2010.
    Publicado
  35. Reis, Rogério; Nelma Moreira; Marco Almeida. "Incremental DFA minimization". Trabalho apresentado em International Conference on Implementation and Application of Automata, Winnipeg, 2010.
    Publicado
  36. Reis, Rogério; Nelma Moreira; Davide Nabais. "State elimination ordering strategies: Some experimental results". Trabalho apresentado em Workshop on Descriptional Complexity of Formal Systems, Saskatoon,, 2010.
    Publicado
  37. Reis, Rogério; Nelma Moreira; Hugo Gouveia; Gouveia, Hugo; Moreira, Nelma; Reis, Rogerio. "Small nfas from regular expressions: Some experimental results". Trabalho apresentado em Conference Computability in Europe, Ponta Delgada, 2010.
    Publicado
  38. Reis, Rogério; Simão Melo de Sousa; Nuno Gaspar. "Timing analysis - from predictions to certificates". Trabalho apresentado em Inforum, Simp ´osio de Inform ´atica, Braga, 2010.
    Publicado
  39. Reis, Rogério; Nelma Moreira; André Almeida. "GUItar and FAgoo: Graphical interface for automata visualization, editing, and interaction". Trabalho apresentado em Inforum, Simp ´osio de Inform ´atica, Braga, 2010.
    Publicado
  40. Reis, Rogério; Nelma Moreira; Eva Maia. "Inferência de tipos em Python". Trabalho apresentado em Inforum, Simp ´osio de Inform ´atica, Braga, 2010.
    Publicado
  41. Marco Almeida; Nelma Moreira; Rogério Reis. "Testing equivalence of Regular Languages". Trabalho apresentado em Workshop on Descriptional Complexity of Formal Systems (DCFS09), Magdeburg, Germany, 2009.
    Publicado
  42. Almeida, M; Moreira, N; Reis, R. "Testing the Equivalence of Regular Languages". 2009.
    10.4204/EPTCS.3.4
  43. André Almeida; José Alves; Nelma Moreira; Rogério Reis. "CGM: A context-free grammar manipulator". Trabalho apresentado em Corta 08, Bragança, Portugal, 2008.
    Publicado
  44. Marco Almeida; Nelma Moreira; Rogério Reis. "Exact generation of acyclic deterministic finite automata". Trabalho apresentado em Workshop on Descriptional Complexity of Formal Systems (DCFS08), Charlottetown, Canada, 2008.
    Publicado
  45. Silvestre Lacerda; Norberto Lopes; Nelma Moreira; Rogério Reis. "A Toolkit for an Oral History Digital Archive". Trabalho apresentado em XATA 2008, Universidade de Évora, 2008.
    Publicado
  46. Marco Almeida; Nelma Moreira; Rogério Reis. "Antimirov and Mosses's rewrite system revisited". Trabalho apresentado em CIAA 2008: Thirteenth International Conference on Implementation and Application of Automata, San Francisco, USA, 2008.
    Publicado
  47. Marco Almeida; Nelma Moreira; Rogério Reis. "On the performance of automata minimization algorithms". Trabalho apresentado em Computing in Europe 2008}. editor, Athens, Greece, 2008.
    Publicado
  48. Almeida, M; Moreira, N; Reis, R. "Exact generation of acyclic deterministic finite automata". 2008.
  49. Marco Almeida; Nelma Moreira; Rogério Reis. "Exact generation of minimal acyclic deterministic finite automata". Trabalho apresentado em Workshop on Descriptional Complexity of Formal Systems (DCFS07), High Tatras, Slovakia, 2007.
    Publicado
  50. Almeida, M; Moreira, N; Reis, R. "Aspects of enumeration and generation with a string automata representation". 2006.
  51. Sónia Sousa; Luís Damas; Rogério Reis. "AGISA: An Integrateded System for Classroom Administration". Trabalho apresentado em Recent Research Developments in Learning Technologies. III International Conference on multimedia \& ICTs in Education, Spain, 2005.
    Publicado
  52. Nelma Moreira; Rogério Reis. "FAdo:Interactive Tools for Learning Formal Computational Models". Trabalho apresentado em Encontro Nacional de Visualização Científica, Espinho, Portugal, 2005.
    Publicado
  53. José João Morais; Nelma Moreira; Rogério Reis; Morais, JJ; Moreira, N; Reis, R. "Acyclic Automata with easy-to-find short regular expressions". Trabalho apresentado em CIAA 2005, Tenth International Conference on Implementation and Application of Automata, Nice, France, 2005.
    Publicado • 10.1007/11605157_33
  54. Reis, R; Moreira, N; Almeida, M; Rogério Reis; Nelma Moreira; Marco Almeida. "On the representation of finite automata". Trabalho apresentado em 7th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS05), Como, Italy, 2005.
    Publicado
  55. João Pedro Pedroso; Nelma Moreira; Rogério Reis. "A Web-Based System For Multi-Agent Interactive Timetabling". Trabalho apresentado em ICKEDS 2004, First International Conference on Knowledge Engineering and Decision Support, Porto, Portugal, 2004.
    Publicado
  56. Filgueiras, M; Tomás, AP; Moreira, N; Reis, R; Leal, JP; M. Filgueiras; A.P. Tomás; et al. "Natural Language and Natural Menus Interfaces". Trabalho apresentado em Internation Conference Modelling the Innovation, Roma, 1990.
    Publicado
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 (2023): https://doi.org/10.1016/j.ic.2022.104917.
    10.1016/j.ic.2022.104917
  2. Konstantinidis, Stavros; Machiavelo, António; Moreira, Nelma; Reis, Rogério. "On the average complexity of partial derivative transducers". Theoretical Computer Science 956 (2023): 113830. http://dx.doi.org/10.1016/j.tcs.2023.113830.
    10.1016/j.tcs.2023.113830
  3. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Location automata for synchronised shuffle expressions". JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING (2023):
    10.1016/j.jlamp.2023.100847
  4. Machiavelo, A; Reis, R; Tsopanidis, N. "Report on Zhi-Wei Sun's 1-3-5 conjecture and some of its refinements". Journal of Number Theory (2021):
    10.1016/j.jnt.2021.01.001
  5. Konstantinidis, S; Moreira, N; Reis, R; Young, J. "Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels". International Journal of Foundations of Computer Science (2021):
    10.1142/s0129054120420010
  6. Broda, S; Maia, E; Moreira, N; Reis, R. "The Prefix Automaton". J. Autom. Lang. Comb. (2021):
    10.25596/jalc-2021-017
  7. Konstantinidis, S; Machiavelo, A; Moreira, N; Reis, R. "On the size of partial derivatives and the word membership problem". ACTA INFORMATICA (2021):
    10.1007/s00236-021-00399-6
  8. Loff, B; Moreira, N; Reis, R. "The computational power of parsing expression grammars". Journal of Computer and System Sciences (2020):
    10.1016/j.jcss.2020.01.001
  9. 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
  10. Konstantinidis, S; Moreira, N; Reis, R. "Partial derivatives of regular expressions over alphabet-invariant and user-defined labels". Theoretical Computer Science (2020):
    10.1016/j.tcs.2020.12.029
  11. António Machiavelo Mahciavelo; Rogério Reis Reis. "Criptografia e Criptoanálise". Revista de Ciência Elementar (2019): https://doi.org/10.24927/rce2019.067.
    10.24927/rce2019.067
  12. 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
  13. Broda, S; Holzer, M; Maia, E; Moreira, N; Reis, R. "A mesh of automata". INFORMATION AND COMPUTATION (2019):
    10.1016/j.ic.2019.01.003
  14. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Automata for regular expressions with shuffle". INFORMATION AND COMPUTATION (2018):
    10.1016/j.ic.2017.08.013
  15. Konstantinidis, S; Moreira, N; Reis, R. "RANDOMIZED GENERATION OF ERROR CONTROL CODES WITH AUTOMATA AND TRANSDUCERS". RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS (2018):
    10.1051/ita/2018015
  16. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Position Automata for Semi-extended Expressions". Journal of Automata, Languages and Combinatorics (2018):
  17. Konstantinidis, S; Meijer, C; Moreira, N; Reis, R. "Symbolic Manipulation of Code Properties". Journal of Automata, Languages and Combinatorics (2018):
  18. Moreira, N; Pighizzini, G; Reis, R. "Optimal state reductions of automata with partially specified behaviors". THEORETICAL COMPUTER SCIENCE (2017):
    10.1016/j.tcs.2016.05.002
  19. Gao, Yuan; Moreira, Nelma; Reis, Rogerio; Yu, Sheng. "A Survey on Operational State Complexity". Journal of Automata, Languages and Combinatorics (2017): https://www.authenticus.pt/P-00G-T03.
  20. 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):
  21. Reis, R; Rodaro, E. "Ideal regular languages and strongly connected synchronizing automata". THEORETICAL COMPUTER SCIENCE (2016):
    10.1016/j.tcs.2016.09.026
  22. Campeanu, C; Moreira, N; Reis, R. "Distinguishability Operations and Closures". FUNDAMENTA INFORMATICAE (2016):
    10.3233/fi-2016-1434
  23. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Average Size of Automata Constructions from Regular Expressions". Bulletin of the EATCS (2015): https://www.authenticus.pt/P-00K-APG.
  24. Maia, E; Moreira, N; Reis, R. "Incomplete operational transition complexity of regular languages". INFORMATION AND COMPUTATION (2015):
    10.1016/j.ic.2015.08.004
  25. Amorim, I; Machiavelo, A; Reis, R. "On the Number of Linear Finite Transducers". INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE (2015):
    10.1142/s0129054115400043
  26. BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO. "A Hitchhiker's Guide to descriptional complexity through analytic combinatorics". Theoretical Computer Science 528 (2014): 85-100.
    Publicado • 10.1016/j.tcs.2014.02.013
  27. Amorim, Ivone; MACHIAVELO, ANTÓNIO; REIS, ROGÉRIO. "On the invertibility of finite linear transducers". RAIRO - Theoretical Informatics and Applications 48 1 (2014): 107-125.
    Publicado • 10.1051/ita/2014004
  28. Almeida, Marco; MOREIRA, NELMA; REIS, ROGÉRIO. "Incremental DFA minimisation". RAIRO - Theoretical Informatics and Applications 48 2 (2014): 173-186.
    Publicado • 10.1051/ita/2013045
  29. JÜRGENSEN, HELMUT; REIS, ROGÉRIO. "PREFACE". International Journal of Foundations of Computer Science 25 07 (2014): 803-805.
    Publicado • 10.1142/S012905411402002X
  30. MOREIRA, NELMA; REIS, ROGÉRIO. "PREFACE". International Journal of Foundations of Computer Science 24 06 (2013): 689-690.
    Publicado • 10.1142/S0129054113020036
  31. MOREIRA, N; REIS, R. "PREFACE". Int. J. Found. Comput. Sci. - International Journal of Foundations of Computer Science (2013): https://www.authenticus.pt/P-00J-SD4.
    10.1142/s0129054113020036
  32. Broda, S.; Machiavelo, A.; Moreira, N.; Reis, R.. "On the average size of Glushkov and equation automata for KAT expressions". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8070 LNCS (2013): 72-83. http://www.scopus.com/inward/record.url?eid=2-s2.0-84883171674&partnerID=MN8TOARS.
    10.1007/978-3-642-40164-0_10
  33. Maia, E.; Moreira, N.; Reis, R.. "Incomplete transition complexity of basic operations on finite languages". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7982 LNCS (2013): 349-356. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881221496&partnerID=MN8TOARS.
    10.1007/978-3-642-39274-0_31
  34. Reis, R.; Rodaro, E.. "Regular ideal languages and synchronizing automata". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8079 LNCS (2013): 205-216. http://www.scopus.com/inward/record.url?eid=2-s2.0-84886010005&partnerID=MN8TOARS.
    10.1007/978-3-642-40579-2-22
  35. Jürgensen, H.; Reis, R.. "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8031 LNCS (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84884478101&partnerID=MN8TOARS.
  36. BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO. "ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA". International Journal of Foundations of Computer Science 23 05 (2012): 969-984.
    Publicado • 10.1142/S0129054112400400
  37. 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.
    Publicado
  38. Dassow, J; Kutrib, M; Moreira, N; Reis, R. "Editorial". Journal of Automata, Languages and Combinatorics (2012): https://www.authenticus.pt/P-00F-ZJ5.
  39. 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
  40. Moreira, N.; Reis, R.. "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7381 LNCS (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84866661110&partnerID=MN8TOARS.
  41. Reis, Rogério; Nelma Moreira; António Machiavelo; Sabine Broda. "On the average state complexity of partial derivative automata". International Journal of Foundations of Computer Science 22 7 (2011): 1593-1606.
    Publicado • 10.1142/S0129054111008908
  42. Almeida, M.; Moreira, N.; Reis, R.. "Incremental DFA minimisation". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6482 LNCS (2011): 39-48. http://www.scopus.com/inward/record.url?eid=2-s2.0-79951663204&partnerID=MN8TOARS.
    10.1007/978-3-642-18098-9_5
  43. Reis, Rogério; Marco Almeida; Nelma Moreira. "Testing the equivalence of regular languages". Journal of Automata, Languages and Combinatorics 15 (2010): 7-25.
    Publicado
  44. Almeida, M; Moreira, N; Reis, R. "Testing the Equivalence of Regular Languages". Journal of Automata, Languages and Combinatorics (2010): https://www.authenticus.pt/P-008-KZE.
  45. Marco Almeida; Nelma Moreira; Rogério Reis. "Antimirov and Mosses' rewrite system revisited". International Journal of Foundations of Computer Science 20 4 (2009): 669-684.
    Publicado
  46. Moreira, N.; Reis, R.; Moreira, N; Reis, R; Nelma Moreira; Rogério Reis. "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.
    Publicado • 10.3233/FI-2009-0061
  47. 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
  48. Ferreira, M.; Conceição, H.; Fernandes, R.; Reis, R.; Michel Ferreira; Hugo Conceição; Ricardo Fernandes; et al. "Locating cars through a vision enabled VANET". IEEE Intelligent Vehicles Symposium, Proceedings (2009): 99-104. http://www.scopus.com/inward/record.url?eid=2-s2.0-70449585309&partnerID=MN8TOARS.
    10.1109/IVS.2009.5164260
  49. Almeida, A.; Almeida, M.; Alves, J.; Moreira, N.; Reis, R.. "FAdo and GUItar: Tools for automata manipulation and visualization". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5642 LNCS (2009): 65-74. http://www.scopus.com/inward/record.url?eid=2-s2.0-70350382802&partnerID=MN8TOARS.
    10.1007/978-3-642-02979-0_10
  50. Almeida, M; Moreira, N; Reis, R. "ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED". INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE (2009): https://www.authenticus.pt/P-003-H2V.
    10.1142/s0129054109006802
  51. Marco Almeida; Nelma Moreira; Rogério Reis. "Exact generation of minimal acyclic deterministic finite automata". International Journal of Foundations of Computer Science 19 4 (2008): 751-765.
    Publicado
  52. 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
  53. Almeida, M; Moreira, N; Reis, R. "Exact generation of minimal acyclic deterministic finite automata". INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE (2008):
    10.1142/s0129054108005930
  54. António Machiavelo; Rogério Reis; Machiavelo, A.; Reis, R.. "Automated Ciphertext-Only Cryptanalysis of the Bifid Cipher". Cryptologia 31 2 (2007): 112-124. http://www.scopus.com/inward/record.url?eid=2-s2.0-34347363018&partnerID=MN8TOARS.
    Publicado • 10.1080/01611190601134222
  55. Almeida, M.; Moreira, N.; Reis, R.; Marco Almeida; Nelma Moreira; Rogério Reis. "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.
    Publicado • 10.1016/j.tcs.2007.07.029
  56. Sónia Sousa; Rogério Reis; Luís Damas. "AGISA: Ambiente de Gestão Integrado da Sala de Aulas". Revista de Ciências da Computação 1 1 (2006): 67-76.
    Publicado
  57. Peter F. Blanchard; Frank Harary; Rogério Reis. "Partitions into sum-fee sets". INTEGERS:Electronic Journal of Combinatorial Number Theory 6 (2006): 0-0.
    Publicado
  58. Nelma Moreira; Rogério Reis; Moreira, N.; Reis, R.. "On the density of languages representing finite set partitions". Journal of Integer Sequences 8 05.2.8 (2005): 0-0. http://www.scopus.com/inward/record.url?eid=2-s2.0-21244441032&partnerID=MN8TOARS.
    Publicado
  59. Moreira, N.; Reis, R.; Nelma Moreira; Rogério Reis. "Interactive manipulation of regular objects with FAdo". Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (2005): 335-339. http://www.scopus.com/inward/record.url?eid=2-s2.0-29844439120&partnerID=MN8TOARS.
    10.1145/1067445.1067537
  60. Rogério Reis; Nelma Moreira. "Apoo: an Environment for a Firts Course in Assembly Language Programming". SIGCSE Bulletin (ACM Special Interest Group on Computer Science Education) 33 2 (2001): 0-0.
    Publicado
  61. Reis, R; Moreira, N. "Apoo". SIGCSE Bull. - ACM SIGCSE Bulletin (2001): https://www.authenticus.pt/P-00J-SV4.
    10.1145/572139.572168
Artigo em revista (magazine)
  1. António Machiavelo; Reis, Rogério. "Ainda o totobola: o singular caso dos 5", Boletim da Sociedade Portuguesa de Matemática, 2010
  2. António Machiavelo; Reis, Rogério. "O problema do totobola", Boletim da Sociedade Portuguesa de Matemática, 2009
  3. Reis, Rogério; António Machiavelo. "Um Manuscrito perdido do Dr. Watson: Sherlock Homes e o Sudoku (parte 1)", Boletim da Sociedade Portuguesa de Matemática, 2008
Capítulo de livro
  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. Kutrib, M; Moreira, N; Pighizzini, G; Reis, R. "Hot Current Topics of Descriptional Complexity". 2021.
    10.1007/978-3-030-81701-5_1
  3. MOREIRA, NELMA; Pighizzini, Giovanni; REIS, ROGÉRIO. "Optimal State Reductions of Automata with Partially Specified Behaviors". In SOFSEM 2015: Theory and Practice of Computer Science, 339-351. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015.
    Publicado • 10.1007/978-3-662-46078-8_28
  4. Amorim, Ivone; MACHIAVELO, ANTÓNIO; REIS, ROGÉRIO. "Counting Equivalent Linear Finite Transducers Using a Canonical Form". In Implementation and Application of Automata, 70-83. Cham: Springer International Publishing, 2014.
    Publicado • 10.1007/978-3-319-08846-4_5
  5. Maia, Eva; MOREIRA, NELMA; REIS, ROGÉRIO. "Partial Derivative and Position Bisimilarity Automata". In Implementation and Application of Automata, 264-277. Cham: Springer International Publishing, 2014.
    Publicado • 10.1007/978-3-319-08846-4_20
  6. BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO. "On the Equivalence of Automata for KAT-expressions". In Language, Life, Limits, 73-83. Cham: Springer International Publishing, 2014.
    Publicado • 10.1007/978-3-319-08019-2_8
  7. Bell, Jason; Brzozowski, Janusz; MOREIRA, NELMA; REIS, ROGÉRIO. "Symmetric Groups and Quotient Complexity of Boolean Operations". In Automata, Languages, and Programming, 1-12. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014.
    Publicado • 10.1007/978-3-662-43951-7_1
  8. REIS, ROGÉRIO; Rodaro, Emanuele. "Regular Ideal Languages and Synchronizing Automata". In Combinatorics on Words, 205-216. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
    Publicado • 10.1007/978-3-642-40579-2_22
  9. Marco Almeida; Nelma Moreira; Reis, Rogério. "Finite automata minimization algorithms". In Handbook of Finite State Based Models and Applications, 145-170. New York, Estados Unidos: CRC Press, 2012.
    Publicado
  10. Almeida, M; Moreira, N; Reis, R. "Finite Automata Minimization". 2012.
    10.1201/b13055-8
  11. BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO; Nelma Moreira; António Machiavelo; Sabine Broda. "The Average Transition Complexity of Glushkov and Partial Derivative Automata". In Developments in Language Theory, 93-104. Berlin, Heidelberg, Itália: Springer Berlin Heidelberg, 2011.
    Publicado • 10.1007/978-3-642-22321-1_9
  12. BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO. "On the Average Number of States of Partial Derivative Automata". In Developments in Language Theory, 112-123. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
    Publicado • 10.1007/978-3-642-14455-4_12
  13. Almeida, Marco; MOREIRA, NELMA; REIS, ROGÉRIO. "Antimirov and Mosses’s Rewrite System Revisited". In Implementation and Applications of Automata, 46-56. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.
    Publicado • 10.1007/978-3-540-70844-5_6
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. Konstantinidis, Stavros; Moreira, Nelma; Reis, Rogerio; Shallit, Jeffrey. The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski. 2017.
  3. 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.
  4. Jurgensen, Helmut; REIS, ROGÉRIO; Kutrib, Martin; Moreira, Nelma. Descriptional Complexity of Formal Systems. Berlin, Heidelberg: Springer Berlin Heidelberg. 2013.
    10.1007/978-3-642-39310-5
  5. Moreira, Nelma; Reis, Rogério. Implementation and Application of Automata. Berlin, Heidelberg: Springer Berlin Heidelberg. 2012.
    10.1007/978-3-642-31606-7

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. Preface. 2021. Moreira, N; Reis, R.
  3. On the Uniform Distribution of Regular Expressions. 2021. Broda, S; Machiavelo, A; Moreira, N; Reis, R.
    10.1007/978-3-030-93489-7_2
  4. Regular Expressions and Transducers over Alphabet-invariant and User-defined Labels. 2018. Konstantinidis, S; Moreira, N; Reis, R; Young, J.
    10.1142/s0129054120420010
  5. Channels with Synchronization/Substitution Errors and Computation of Error Control Codes. 2016. Konstantinidis, S; Moreira, N; Reis, R. https://www.authenticus.pt/P-00K-APF.
  6. Preface: Non-classical models of automata and applications VII. 2016. Holzer, M; Moreira, N; Reis, R.
    10.1051/ita/2017003
  7. Symbolic Manipulation of Code Properties. 2015. Konstantinidis, S; Meijer, C; Moreira, N; Reis, R.
  8. Partial Derivative Automaton for Regular Expressions with Shuffle. 2015. Broda, S; Machiavelo, A; Moreira, N; Reis, R.
  9. SPECIAL ISSUE DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS (DCFS 2013) PREFACE. 2014. Juergensen, H; Reis, R. https://www.authenticus.pt/P-00A-5QN.
    10.1142/s012905411402002x
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2023/07 Size Matters but let’s have it on average 25th DCFS
University of Potsdam (Potsdam, Alemanha)
2023 Average complexity of partial derivatives for synchronised shuffle expressions. 27th International Conference on Implementation and Applications of Automata, (CIAA23),
(Famagusta, Chipre)
2022 Janusz Brzozoswski, an example and counter-example to follow 24th DCFS
University of Debrecen (Debrecen, Hungria)
2020 On the average state complexity of partial derivative transducers SOFSEM 2020: Theory and Practice of Computer Science
(Limassol, Chipre)
2017 On the average complexity of strong star normal form. DCFS 2017
(Charlottetown)
2016 On the state complexity of partial derivative automata for regular expressions with intersection. DCFS 2016
(Bucharest, Roménia)
2016 Generating error control codes with auto- mata and transducers. Non-Classical Models of Automata and Applications (NCMA 2016)
(Debrecen, Hungria)
2012 A functional implementation of rational languages equivalence, using bisimulation Iberian Mathe- matical Meeting
University of Valladolid (Valladolid, Espanha)
2010 On the average number of states of partial derivative automata. DLT 2010
(London)
2008 Exact generation of acyclic deterministic finite automata Workshop on Descriptional Complexity of Formal Systems (DCFS08)
(Charlottetown, Canadá)
2007 Exact generation of minimal acyclic deterministic finite automata Workshop on Descriptional Complexity of Formal Systems (DCFS 2007)
(High Tatras, Eslováquia)
2005 On the representation of finite automata Workshop on Descriptional Complexity of Formal Systems (DCFS05)
(Como, Itália)

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2022 - 2022 Fully Homomorphic Encryption
Coorientador
Mestrado em Engenharia Matemática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2021 - 2022 A Simulated Annealing Approach to Cryptogram Classification
Coorientador
Mestrado em Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2021 - 2021 Portal de Validação de Documentos Assinados
Orientador
Masters in Computer Security (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2018 - 2018 Transducers and 2D Regular Expressions
Coorientador
Mestrado em Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2018 - 2018 Significant Classes of NFA and their Random Generation
Orientador
Mestrado em Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2017 - 2017 Criptografia com Transdutores Lineares
Orientador
Mestrado em Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2016 On the Descriptional Complexity of Some Operations and Simulations of Regular Models
Orientador
Ciência de Computadores (Doutoramento)
Universidade do Porto, Portugal
2011 - 2016 Linear Finite Transducers Towards a Public Key Cryptographic System
Coorientador
Ciência de Computadores (Doutoramento)
Universidade do Porto, Portugal
2015 - 2015 Manipulation of Extended Regular Expressions with Derivatives
Coorientador
Mestrado em Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 Cellular Automata and Cryptography
Orientador
Mestrado em Ciência dos Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2013 DesCo: a Knowledge Based System for Descriptional Complexity of Formal Languages
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
2008 - 2011 Equivalence of Regular Languages: An Algorithmic Approach and Complexity Analysis
Orientador
Ciência de Computadores (Doutoramento)
Universidade do Porto, Portugal
2010 - 2010 Timing Analisys — From Predictions to certificates
Coorientador
Engenharia Informática (Mestrado)
Universidade da Beira Interior, Portugal
2010 - 2010 An Interactive System for Automata Manipulations.
Coorientador
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
2010 - 2010 Inferência de tipos em Python
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
2010 - 2010 Towards Automata Diagram Drawings
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
2009 - 2009 Criptografia co curvas elípticas
Coorientador
Engenharia Matemática (Mestrado)
Universidade do Porto, Portugal
2009 - 2009 Infrastrutura de chaves públicas
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
2009 - 2009 Crivo Quadrático
Orientador
Engenharia Matemática (Mestrado)
Universidade do Porto, Portugal
2009 - 2009 Protocolos de Dinheiro Electrónico
Orientador
Matemática (Mestrado)
Universidade do Porto, Portugal
2009 - 2009 Obtenção de Autómatos não Determinísticos Pequenos e Minimais
Orientador
Ciência de Computadores (Iniciação científica)
Universidade do Porto, Portugal
2008 - 2008 Nosy: Um Simulador para Análise de Protocolos de Rede
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
2008 - 2008 Votações Electrónicas e a Cifra de Paillier
Orientador
Engenharia Matemática (Mestrado)
Universidade do Porto, Portugal
2008 - 2008 Visualisação interactiva de autómatos finitos
Orientador
Ciência de Computadores (Iniciação científica)
Universidade do Porto, Portugal
2008 - 2008 Editor de Autómatos Finitos
Coorientador
Ciência de Computadores (Iniciação científica)
Universidade do Porto, Portugal
2007 - 2007 A criptanálise da Enigma: 1932-1939
Coorientador
Engenharia Matemática (Mestrado)
Universidade do Porto, Portugal
2007 - 2007 Ferramentas Informáticas para a Construção, Indexação e Classificação de Documentos Informáticos
Coorientador
Ciência de Computadores (Iniciação científica)
Universidade do Porto, Portugal
2007 - 2007 Desenvolvimento de tecnologias XML para a indexação e pesquisa em documentos}
Coorientador
Ciência de Computadores (Curso de aperfeiçoamento / especialização)
Universidade do Porto, Portugal
2007 - 2007 Analisador Sintáctico GLR para o Yappy
Coorientador
Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto, Portugal
2007 - 2007 Programa de detecção de plágios em textos de programas
Orientador
Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto, Portugal
2006 - 2006 Ferramentas para Determinação e Avaliação de Soluções em Problemas de Horários
Coorientador
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
2005 - 2005 Métodos de conversão de autómatos finitos em expressões regulares pequenas
Orientador
Ciência de Computadores (Curso de aperfeiçoamento / especialização)
Universidade do Porto, Portugal
2005 - 2005 Sistemas dedutivos para lógicas de descrição
Coorientador
Ciência de Computadores (Iniciação científica)
Universidade do Porto, Portugal
2005 - 2005 AGISA - Ambiente de Gestão Integrado da Sala de Aula
Orientador
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
2005 - 2005 Interface gráfico para a edição e a visualização de autómatos finitos
Orientador
Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto, Portugal
2004 - 2004 {Obtenção de expressões regulares pequenas a partir de autómatos finitos
Coorientador
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
2004 - 2004 Automatic: editor de diagramas de autómatos finitos
Coorientador
Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto, Portugal
1999 - 1999 Um sistema de "mirroring" de FTP e HTTP que optimiza recursos usando uma estratégia de avaliação retardada
Coorientador
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação)
Instituição / Organização
2021 - 2021 25th International Conference on Developments in Language Theory (DLT 2021), Porto, Portugal. (2021 - 2021)
Conferência (Presidente da Comissão Organizadora)
Universidade do Porto Faculdade de Ciências, Portugal
2015 - 2015 Co-chair of program and organizing committe of NCMA 2015 (2015 - 2015)
Conferência (Presidente da Comissão Organizadora)
2013 - 2013 Co-chair of the program committee of DCFS 2013 (2013 - 2013)
Conferência (Membro da Comissão Científica)
2012 - 2012 Co-chair of the programme and organizing commitee of CIAA 2012 (2012 - 2012)
Conferência (Presidente da Comissão Organizadora)
2012 - 2012 Co-chair of the program and organizing committee of DCFs 2012 (2012 - 2012)
Conferência (Presidente da Comissão Organizadora)

Participação em evento

Descrição da atividade
Tipo de evento
Nome do evento
Instituição / Organização
2023 - 2023 Oral presentation
Conferência
25th International Conference on Descriptional Complexity of Formal Systems (DCFS23)
2023 - 2023 participation
Oficina (workshop)
12th Workshop on Non-Classical Models of Automata and Applications (NCMA23),
2023 - 2023 Oral presentation
Conferência
27th International Conference on Implementation and Applications of Automata, (CIAA23),
2022 - 2022 Oral presentation
Oficina (workshop)
12th Workshop on Non-Classical Models of Automata and Applications (NCMA22),
2022 - 2022 Oral presentation
Conferência
24th International Conference on Descriptional Complexity of Formal Systems (DCFS22)
2020 - 2020 6th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2020), Limassol, Cyprus, 20–24/01/20.
Conferência
2020 - 2020 Award of Internet society
Oficina (workshop)
Applied Network Research Prize & Workshop
2019 - 2019 RPLA 2019 – Reversibility in Programming, Languages, and Automata, Porto, Portugal, 9/10/2019.
Oficina (workshop)
2019 - 2019 24th International Conference on Implementation and Applications of Automata, (CIAA19), Košice, Slovakia, 22–25/08/19.
Conferência
2019 - 2019 21st International Conference on Descriptional Complexity of Formal Systems (DCFS19), Košice, Slovakia, 17–19/08/19.
Conferência
2018 - 2018 20th International Conference on Descriptional Complexity of Formal Systems (DCFS18), Halifax, Nova Scotia, Canada, 25–27/7/2018
Conferência
2018 - 2018 22nd Conference on Developments in Language Theory (DLT2018), Tokyo, Japan, 10–14/09/2018.
Conferência
2018 - 2018 23rd International Conference on Implementation and Applications of Automata, (CIAA18), Charlottetown, Prince Edward Island, Canada , 30/7/2018–2/8/2018
2017 - 2017 Dagstuhl Seminar 17142: Formal Methods of Transformations, Dagstuhl, Germany, 2–5/4/2017.
Seminário
2017 - 2017 19th International Conference on Descriptional Complexity of Formal Systems (DCFS17), Milano, Italy, 3–5/7/2017.
Conferência
2016 - 2016 18th International Conference on Descriptional Complexity of Formal Systems (DCFS16), Bucharest, Romania, 5–8/7/2016.
Conferência
2016 - 2016 8th Workshop on Non-Classical Models of Automata and Applications (NCMA16), Debrecen, Hungary, 29–30/8/2016.
Conferência
2015 - 2015 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOF- SEM2015), Czech Republic, 24–29/01/2015.
Conferência
2015 - 2015 AutoMatA 2015, Jewels of Automata: from Mathematics to Applications, Leipzig, Germany, 06– 09/05/2015.
Encontro
2015 - 2015 AMS/EMS/SPM International Meeting, Porto, Portugal, 10–13/06/2015.
Congresso
2015 - 2015 Brzozowski 80, The Role of Theory in Computer Science, Waterloo, Ontario, Canada - June 24 2015
Conferência
2015 - 2015 17th Workshop on Descriptional Complexity of Formal Systems (DCFS15), Waterloo, Ontario, Canada, 25–27/06/2015.
Conferência
2014 - 2014 6th Workshop on Non-Classical Models of Automata and Applications (NCMA 2014), Kassel, Germany, 28–29/07/2014.
2014 - 2014 19th International Conference on Implementation and Applications of Automata, (CIAA14), Giessen, Germany, 30/7/2014–2/8/2014.
Conferência
2014 - 2014 16th Workshop on Descriptional Complexity of Formal Systems (DCFS14), Turku, Finland, 05– 08/08/2014.
Conferência
2013 - 2013 18th International Conference on Implementation and Application of Automata
Conferência
18th International Conference on Implementation and Application of Automata
2013 - 2013 15th Workshop on Descriptional Complexity of Formal Systems
Conferência
15th Workshop on Descriptional Complexity of Formal Systems
2013 - 2013 Non-Classical Models of Automata and Applications
Conferência
Non-Classical Models of Automata and Applications
2012 - 2012 17th International Conference on Implementation and Application of Automata
Conferência
17th International Conference on Implementation and Application of Automata
2012 - 2012 14th International Workshop on Descriptional Complexity of Formal Languages
Oficina (workshop)
14th International Workshop on Descriptional Complexity of Formal Languages
2012 - 2012 IV Iberian Mathematical Meeting
Congresso
IV Iberian Mathematical Meeting
Real Sociedad Matemática Española and the Sociedade Portuguesa de Matemática, Espanha
2011 - 2011 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS)
Oficina (workshop)
13th International Workshop on Descriptional Complexity of Formal Systems (DCFS)
2011 - 2011 16th International Conference on Implementation and Application of Automata
Conferência
16th International Conference on Implementation and Application of Automata
2010 - 2010 15th International Conference on Implementation and Application of Automata
Conferência
15th International Conference on Implementation and Application of Automata
2009 - 2009 11th Workshop on Descriptional Complexity of Formal Systems (DCFS09)
Oficina (workshop)
2008 - 2008 Thirteenth International Conference on Implementation and Application of Automata
Conferência
Thirteenth International Conference on Implementation and Application of Automata

Júri de grau académico

Tema
Tipo de participação
Nome do candidato (Tipo de grau)
Instituição / Organização
2020 OCaml-Flat-An OCaml Toolkit for experimenting with formal languages theory
Arguente principal
João Miguel Gago Gonçalves (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2019 Property-based testing of a financial market platform
Presidente do júri
Pedro Fernandes dos Santos Maos Godinho (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2019 Control-Flow Integrity for the Linux kernel: A security evaluation
Presidente do júri
Federico Manuel Bento (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2018 Authentication modules for Keycloak authentication server Daicy Patricia Duarte Paiva (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2018 Security Analysis of Closed-Source Signal Protocol Implementation
Presidente do júri
João Diogo Gaspar Alves (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2018 Computação colaborativa segura num cenário de gestão de risco financeiro
Presidente do júri
Tiago André Ferreira Fernandes (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2016 Computation of equilibria on integer programming games
Vogal
Maria Margarida da Silva Carvalho (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2014 Business Intelligence na Saúde – um caso de estudo na ARS Norte
Presidente do júri
David Pereira Gonçalves (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014 Multiple Kernel Learning for Breast Cancer Classification
Presidente do júri
Gustavo Barbosa Augusto (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014 Liquid Intersection Types
Presidente do júri
Mário José Parreira Pereira (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014 Heart Sound Segmentation: A Stationary Wavelet Transform Based Approach
Presidente do júri
Nuno Miguel Santos Marques (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2013 Multi-Topic Sentiment Analysis
Presidente do júri
Pedro Samuel Amaro Coelho (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2013 A Monotone Modal Logic for Algorithmic Statistics
Presidente do júri
Francisco Abreu Faro Mota, (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2012 Implementação de funções de hash e cifras de chave pública baseadas em retículos José Miguel Gomes Loureiro (Mestrado)
Universidade do Minho, Portugal
2012 Application and implementation of transducer tools in answering cenrtain questions about regular languages Meng Yang (Mestrado)
Saint Mary’s University, Canadá
2012 Declarative Domain-Specific Languages and Applications to Network Monitoring Pedro Dinis Loureiro Salgueiro (Doutoramento)
Universidade de Évora, Portugal
2012 Bin packing and related problems - pattern-based approaches'
Presidente do júri
Filipe Daniel Alves Brandão (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2011 An Integrated Development Environment for the Callas Programming Language
Presidente do júri
Jorge Filipe Ferreira Torres (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2010 Utilização de Dispositivos Criptográficos Portáteis em Sistema de Votação Electrónica Martinho Rodrigues Monteiro (Mestrado)
Universidade da Beira Interior, Portugal
2010 Localização e seguimento em redes de sensores sem fios INOVAMAIS, serviços de consultadoria em Inovação Tecnológica, S.A
Presidente do júri
Ricardo José dos Santos Reis Pinto da Silva (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2009 Tactim: From pattern recognition to the security for Biometry Stéphane Cauchie (Doutoramento)
Université de Tours, França
2009 Escalonamento em Ambiente Grid utilizando o Middleware gLite
Presidente do júri
Odair José Neves Tavares (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2008 Applications of Kolmogorov Complexity to Cryptography Alexandre Jorge Teixeira Miranda Pinto, (Doutoramento)
Universidade do Porto, Portugal
2007 A SPARQL Query Engine over Web Ontologies using Contextual Logic Programming Nuno Alexandre de Jesus Lopes (Mestrado)
Universidade de Évora, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2023 - 2023 27th International Conference on Implementation and Applications of Automata, (CIAA 2023) Famagusta, Cyprus
2022 - 2022 23th International Conference on Descriptional Complexity of Formal Systems (DCFS 2021), Seoul, South Korea Seoul, South Korea
2022 - 2022 12th Workshop on Non-Classical Models of Automata and Applications (NCMA 2022) Debrecen , Hungary
2022 - 2022 26th International Conference on Implementation and Applications of Automata, (CIAA 2022), Rouen, France. Rouen, France
2020 - 2020 12th Workshop on Non-Classical Models of Automata and Applications (NCMA 2020), Wien, Austria

Comissão de avaliação

Descrição da atividade
Tipo de assessoria
Instituição / Organização Entidade financiadora
2023 - 2023 NSERC Discovery Grant
Avaliador
National Research Council Canada

Membro de associação

Nome da associação Tipo de participação
2023 - Atual Chair of Working group 1.2 on Descriptional Complexity of IFIP Chair
2017 - Atual ISOC.PT -Internet Society Portugal Member of Directory Board 2019-2021
2011 - Atual Centro de Matemáttica da Universidade do Porto Member
Atual Sociedade Portuguesa de Matemática
Atual American Mathematical Society
2021 - 2023 Centro de Matemática da Universidade do Porto (CMUP) Principal researcher of group "Semigroups, Automata and Languages"
2014 - 2016 Centro de Matemática da Universidade do Porto Chair of Semigroups, Automata and Languages line

Membro de comissão

Descrição da atividade
Tipo de participação
Instituição / Organização
2024 - Atual Chair of the DCFS (Descriptional Complexity of Formal Systems) Steering Committee
Coordenador
2017 - Atual Vice-chair of IFIP (International Federation for Information Processing )Working Group 1.2 on Descriptional Complexity http://www.informatik.uni-giessen.de/ifipwg1.
Coordenador
2014 - Atual Member of “Steering Committee” of DCFS (Descriptional Complexity of Formal Systems)
Membro
2020 - 2020 Member of the Programme Committee of 2nd International Congress on Blockchain and Applications, L’Aquila (Italy), 17th-19th June, 2020
Membro
2019 - 2019 Member of the Programme Committee of 1st International Congress on Blockchain and Applications (BLOCKCHAIN19), Ávila, España.
Membro
2019 - 2019 Member of the Programme Committee of Workshop in Reversibility in Programming, Languages, and Automata (RPLA 2019), part of 3rd World Congress FM 19, 6-11/10/2019 Porto, Portugal
Membro
2019 - 2019 Member of the Programme Committee of 24th International Conference on Implementation and Applications of Automata, (CIAA 2019), Košice, Slovalkia.
Membro
2018 - 2018 Member of the Programme Committee of 9th International Conference on Ambient Intelligence, Toledo, Spain, 20-22 Junho de 2018.
Membro
2018 - 2018 Member of the Programme Committee of 23th International Conference on Implementation and Appli- cations of Automata, (CIAA 2018), CharlotteTown, Prince Edward Island, Canada.
Membro
2017 - 2017 Member of the Programme Committee of 8th International Conference on Ambient Intelligence,Porto, Portugal, May 8-11, 2017.
Membro
2017 - 2017 Member of the Programme Committee of 19th International Conference on Descriptional Complexity of Formal Systems (DCFS 2017), Milano, Italy.
Membro
2016 - 2016 Member of the Programme Committee of 8th Workshop on Non-Classical Models of Automata and Applications (NCMA 2016), 29-30 August, 2016, Debrecen, Hungary.
Membro
2016 - 2016 Member of the Programme Committee of 21th International Conference on Implementation and Applications of Automata, (CIAA 2016), Seul, South Korea.
Membro
2015 - 2015 Member of the Programme Committee of 20th International Conference on Implementation and Applications of Automata, (CIAA 2015), Umea, Sweden.
Membro
2013 - 2013 Member of Programme Committee of the 16th International Conference on Implementation and Applications of Automata, (CIAA 2013), Halifax, New Scotland, Canada.
Membro
2013 - 2013 Member of the Programme Committee of 5th International Workshop “Non-Classical Models of Auto- mata and Applications”, (NCMA 2013), Umea, Sweden.
Membro
2011 - 2011 Member of programme committee of DCFS 2011
Membro
2010 - 2010 Member of the programme committee of CIAA 2010
Membro
2010 - 2010 Member of Programme Committee of CIAA 2010
Membro
Distinções

Prémio

2020 Best Paper Award SOFSEM 2020