???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 31 papers in international journals, 62 papers in international conference proceedings with independent refereeing system and 2 book chapters. He was invited editor of four 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 20 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 a member of the steering committee of DCFS. He is member of IFIP Working Group 1.2 on Descriptional Complexity since 2012 and vice-chair, since 2018.
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

  • http://www.dcc.fc.up.pt/~rvr (Profissional)

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
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
PTDC/EIA-CCO/101904/2008
Investigador responsável
Universidade do Porto, Portugal
2006 - 2011 RESCUE: Reliable and Safe Code Execution for Embedded Systems}
FCT/ PTDC/ EIA/ 65862/ 2006,
Investigador
Universidade do Porto, Portugal
2006 - 2010 ASA: Automata, Semigroups and Applications
PTDC/MAT/65481/2006
Investigador
Universidade do Porto, Portugal
2006 - 2009 Memórias do trabalho: processos de obtenção duma identidade operária
POCI/CED/60786/2004
Investigador
Universidade do Porto, Portugal
Produções

Publicações

Artigo em conferência
  1. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Location Based Automata for Expressions with Shuffle". 2021.
    10.1007/978-3-030-68195-1_4
  2. 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
  3. 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
  4. Loff, B; Moreira, N; Reis, R. "The Computational Power of Parsing Expression Grammars". 2018.
    10.1007/978-3-319-98654-8_40
  5. 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
  6. 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
  7. 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
  8. 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
  9. Ferreira, M; Moreira, N; Reis, R. "Automata Serialization for Manipulation and Drawing". 2016.
    10.4230/OASIcs.SLATE.2016.15
  10. Konstantinidis, S; Moreira, N; Reis, R. "Generating error control codes with automata and transducers". 2016.
  11. Konstantinidis, S; Meijer, C; Moreira, N; Reis, R. "Implementation of Code Properties via Transducers". 2016.
    10.1007/978-3-319-40946-7_16
  12. Câmpeanu, C; Moreira, N; Reis, R. "On the dissimilarity operation on finite languages". 2016.
  13. 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
  14. 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
  15. 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
  16. Maia, E; Moreira, N; Reis, R. "Prefix and Right-Partial Derivative Automata". 2015.
    10.1007/978-3-319-20028-6_26
  17. Moreira, N; Pighizzini, G; Reis, R. "Universal Disjunctive Concatenation and Star". 2015.
    10.1007/978-3-319-19225-3_17
  18. Ivone Amorim; António Machiavelo; Reis, Rogério. "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
  19. 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
  20. Amorim, I; Machiavelo, A; Reis, R. "Statistical study on the number of injective linear finite transducers". 2014.
  21. Câmpeanu, C; Moreira, N; Reis, R. "The distinguishability operation on regular languages". 2014.
  22. 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
  23. Reis, Rogério; Emanuele Rodaro. "On Strongly Connected Ideal Languages". Trabalho apresentado em WORDS 2013, Turku, 2013.
    Publicado
  24. Eva Maia; Nelma Moreira; Reis, Rogério. "Incomplete Transition Complexity of Basic Operations on Finite Languages". Trabalho apresentado em CIAA 2013, Halifax, 2013.
    Publicado
  25. 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
  26. 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
  27. 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
  28. 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
  29. Ivone Amorim; António Machiavelo; Reis, Rogério. "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
  30. Ivone Amorim; António Machiavelo; 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), Friburg, 2012.
    Publicado
  31. Amorim, I; Machiavelo, A; Reis, R. "Formal Power Series and the Invertibility of Finite Linear Transducers". 2012.
  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. Reis, Rogério; Nelma Moreira; António Machiavelo; Sabine Broda. "The average transition complexity of Glushkov and partial derivative automata". Trabalho apresentado em Developments in Language Theory, 14th International Conference, Milano, 2011.
    Publicado
  34. 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
  35. 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
  36. Reis, Rogério; Nelma Moreira; Marco Almeida. "Incremental DFA minimization". Trabalho apresentado em International Conference on Implementation and Application of Automata, Winnipeg, 2010.
    Publicado
  37. 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
  38. Reis, Rogério; Nelma Moreira; Hugo Gouveia. "Small nfas from regular expressions: Some experimental results". Trabalho apresentado em Conference Computability in Europe, Ponta Delgada, 2010.
    Publicado
  39. 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
  40. 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
  41. 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
  42. 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
  43. Michel Ferreira; Hugo Conceição; Ricardo Fernandes; Reis, Rogério. "Locating cars through a vision enabled VANET". Trabalho apresentado em 2009 IEEE Intelligent Vehicles Symposium, Xi'an, 2009.
    Publicado
  44. Ferreira, M; Conceicao, H; Fernandes, R; Reis, R. "Locating Cars through a Vision Enabled VANET". 2009.
    10.1109/ivs.2009.5164260
  45. Almeida, M; Moreira, N; Reis, R. "Testing the Equivalence of Regular Languages". 2009.
    10.4204/EPTCS.3.4
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
  51. Almeida, M; Moreira, N; Reis, R. "Exact generation of acyclic deterministic finite automata". 2008.
  52. 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
  53. Almeida, M; Moreira, N; Reis, R. "Aspects of enumeration and generation with a string automata representation". 2006.
  54. 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
  55. 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
  56. 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
  57. José João Morais; Nelma Moreira; Rogério Reis. "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
  58. Nelma Moreira; Rogério Reis. "Interactive Manipulation of Regular Objects with FAdo". Trabalho apresentado em 2005 Innovation and Technology in Computer Science Education (ITiCSE 2005), Lisboa, Portugal, 2005.
    Publicado
  59. Reis, R; Moreira, N; Almeida, M. "On the representation of finite automata". 2005.
  60. 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
  61. M. Filgueiras; A.P. Tomás; N. Moreira; J.P. Leal; Rogério Reis. "Natural Language and Natural Menus Interfaces". Trabalho apresentado em Internation Conference Modelling the Innovation, Roma, 1990.
    Publicado
  62. Filgueiras, M; Tomás, AP; Moreira, N; Reis, R; Leal, JP. "Natural Language and Natural Menus Interfaces". 1990.
Artigo em revista
  1. 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
  2. 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
  3. 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
  4. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average". SIGACT News (2020):
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. Broda, S; Machiavelo, A; Moreira, N; Reis, R. "Position Automata for Semi-extended Expressions". Journal of Automata, Languages and Combinatorics (2018):
  11. Konstantinidis, S; Meijer, C; Moreira, N; Reis, R. "Symbolic Manipulation of Code Properties". Journal of Automata, Languages and Combinatorics (2018):
  12. 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
  13. 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.
  14. Bastos, R; Broda, S; Machiavelo, A; Moreira, N; Reis, R. "On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions". Journal of Automata, Languages and Combinatorics (2017):
  15. Reis, R; Rodaro, E. "Ideal regular languages and strongly connected synchronizing automata". THEORETICAL COMPUTER SCIENCE (2016):
    10.1016/j.tcs.2016.09.026
  16. Campeanu, C; Moreira, N; Reis, R. "Distinguishability Operations and Closures". FUNDAMENTA INFORMATICAE (2016):
    10.3233/fi-2016-1434
  17. 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.
  18. Maia, E; Moreira, N; Reis, R. "Incomplete operational transition complexity of regular languages". INFORMATION AND COMPUTATION (2015):
    10.1016/j.ic.2015.08.004
  19. Amorim, I; Machiavelo, A; Reis, R. "On the Number of Linear Finite Transducers". INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE (2015):
    10.1142/s0129054115400043
  20. 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
  21. 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
  22. 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
  23. JÜRGENSEN, HELMUT; REIS, ROGÉRIO. "PREFACE". International Journal of Foundations of Computer Science 25 07 (2014): 803-805.
    Publicado • 10.1142/S012905411402002X
  24. MOREIRA, NELMA; REIS, ROGÉRIO. "PREFACE". International Journal of Foundations of Computer Science 24 06 (2013): 689-690.
    Publicado • 10.1142/S0129054113020036
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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.
  30. 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
  31. 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
  32. Dassow, J; Kutrib, M; Moreira, N; Reis, R. "Editorial". Journal of Automata, Languages and Combinatorics (2012): https://www.authenticus.pt/P-00F-ZJ5.
  33. 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
  34. 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.
  35. 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
  36. 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
  37. Reis, Rogério; Marco Almeida; Nelma Moreira. "Testing the equivalence of regular languages". Journal of Automata, Languages and Combinatorics 15 (2010): 7-25.
    Publicado
  38. 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.
  39. 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
  40. Nelma Moreira; Rogério Reis. "Series-Parallel Automata and Short Regular Expressions". Fundamenta Informaticae 91 3-4 (2009): 611-629.
    Publicado
  41. Moreira, N.; Reis, R.. "Series-parallel automata and short regular expressions". Fundamenta Informaticae 91 3-4 (2009): 611-629.
    Publicado
  42. 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
  43. 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
  44. Ferreira, M.; Conceição, H.; Fernandes, R.; Reis, R.. "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
  45. 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
  46. 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
  47. Moreira, N; Reis, R. "Series-Parallel Automata and Short Regular Expressions". FUNDAMENTA INFORMATICAE (2009):
    10.3233/fi-2009-0061
  48. 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
  49. 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
  50. 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
  51. Marco Almeida; Nelma Moreira; Rogério Reis. "Enumeration and Generation with a String Automata Representation". Theoretical Computer Science 387 2 (2007): 93-102.
    Publicado
  52. António Machiavelo; Rogério Reis. "Automated Ciphertext-Only Cryptanalysis of the Bifid Cipher". Cryptologia 31 2 (2007): 112-124.
    Publicado
  53. Machiavelo, A.; Reis, R.. "Automated ciphertext - Only cryptanalysis of the Bifid cipher". Cryptologia 31 2 (2007): 112-124.
    Publicado
  54. 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
  55. 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.
    10.1080/01611190601134222
  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. 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
  59. Nelma Moreira; Rogério Reis. "On the density of languages representing finite set partitions". Journal of Integer Sequences 8 05.2.8 (2005): 0-0.
    Publicado
  60. Moreira, N.; Reis, R.. "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
  61. 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.
  62. 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
  63. 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 2)", Boletim da Sociedade Portuguesa de Matemática, 2009
  4. 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. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. Almeida, M; Moreira, N; Reis, R. "Finite Automata Minimization". 2012.
    10.1201/b13055-8
  9. BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO. "The Average Transition Complexity of Glushkov and Partial Derivative Automata". In Developments in Language Theory, 93-104. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
    Publicado • 10.1007/978-3-642-22321-1_9
  10. 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
  11. 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
  12. Miguel Filgueiras; Ana Paula Tomás; Moreira, Nelma; José Paulo Leal; Reis, Rogério. "Natural language and natural menus interfaces". In Modelling the Innovation: Communications, Automation and Information Systems”, 10-20. Berlin, Alemanha: Springer, 1990.
    Publicado
Edição de livro
  1. Konstantinidis, Stavros; Moreira, Nelma; Reis, Rogerio; Shallit, Jeffrey. The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski. 2017.
  2. 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.
  3. Jurgensen, Helmut; REIS, ROGÉRIO. Descriptional Complexity of Formal Systems. Berlin, Heidelberg: Springer Berlin Heidelberg. 2013.
    10.1007/978-3-642-39310-5
  4. Moreira, Nelma; Reis, Rogério. Implementation and Application of Automata. Berlin, Heidelberg: Springer Berlin Heidelberg. 2012.
    10.1007/978-3-642-31606-7
  5. Kutrib, Martin; Moreira, Nelma; Reis, Rogério. Descriptional Complexity of Formal Systems. Berlin, Heidelberg: Springer Berlin Heidelberg. 2012.
    10.1007/978-3-642-31623-4

Outros

Outra produção
  1. Regular Expressions and Transducers over Alphabet-invariant and User-defined Labels. 2018. Konstantinidis, S; Moreira, N; Reis, R; Young, J.
  2. 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.
  3. Symbolic Manipulation of Code Properties. 2015. Konstantinidis, S; Meijer, C; Moreira, N; Reis, R.
  4. Partial Derivative Automaton for Regular Expressions with Shuffle. 2015. Broda, S; Machiavelo, A; Moreira, N; Reis, R.
  5. 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
  6. Small NFAs from Regular Expressions: Some Experimental Results. 2010. Gouveia, Hugo; Moreira, Nelma; Reis, Rogerio. https://www.authenticus.pt/P-00F-ZJ6.
Atividades

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2009 - Atual Protocolos de Dinheiro Electrónico
Orientador
Matemática (Mestrado)
Universidade do Porto, 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 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
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
2020 - 2020 6th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2020), Limassol, Cyprus, 20–24/01/20.
Conferência
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
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
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
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
2009 Tactim: From pattern recognition to the security for Biometry Stéphane Cauchie (Doutoramento)
Université de Tours, França
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

Membro de associação

Nome da associação Tipo de participação
2017 - Atual ISOC.PT -Internet Society Portugal Member of Directory Board 2019-2021
Atual Sociedade Portuguesa de Matemática
Atual American Mathematical Society

Membro de comissão

Descrição da atividade
Tipo de participação
Instituição / Organização
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