???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.
Identification

Personal identification

Full name
Rogério Ventura Lages dos Santos Reis

Citation names

  • Reis, Rogério

Author identifiers

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 (Professional)

Knowledge fields

  • Exact Sciences - Mathematics
  • Exact Sciences - Computer and Information Sciences - Computer Sciences
  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Advanced (C1) Advanced (C1) Intermediate (B1) Advanced (C1)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Spanish; Castilian Beginner (A1) Advanced (C1) Beginner (A1) Advanced (C1)
Education
Degree Classification
2007
Concluded
Ciência de Computadores (Doutoramento)
Major in Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"Autómatos Finitos: Manipulação Geração e Contagem" (THESIS/DISSERTATION)
1991
Concluded
Ciência de Computadores (Outros)
Instituto Nacional de Investigação Científica, Portugal
"Yap: Estrutura Interna" (THESIS/DISSERTATION)
Muito Bom
1979 - 1984
Concluded
Matemática Pura (Licenciatura)
Universidade do Porto, Portugal
13
Affiliation

Science

Category
Host institution
Employer
1992/12 - 1997/09 Research Assistant (Research) Universidade do Porto, Portugal
1991/03 - 1992/11 Research Assistant (Research) Instituto Nacional de Investigação Científica, Portugal
1988/09 - 1991/02 Research Trainee (Research) Instituto Nacional de Investigação Científica, Portugal
1986/10 - 1987/03 Researcher (Research) Junta Nacional Investigação Científica e Tecnológica, Portugal

Teaching in Higher Education

Category
Host institution
Employer
2007/06 - Current Assistant Professor (University Teacher) Universidade do Porto, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
1997/10 - 2007/05 Assistant (University Teacher) Universidade do Porto, Portugal
Projects

Contract

Designation Funders
2010 - 2012 CSI: Cryptographic Security of Individual Instancies
PTDC/EIA-CCO/099951/2008
Researcher
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Fundação para a Ciência e a Tecnologia
Concluded

Other

Designation Funders
2010 - 2013 CANTE: Complexidade descriptiva e computacional de linguagens formais
PTDC/EIA-CCO/101904/2008
Principal investigator
Universidade do Porto, Portugal
Ongoing
2006 - 2011 RESCUE: Reliable and Safe Code Execution for Embedded Systems}
FCT/ PTDC/ EIA/ 65862/ 2006,
Researcher
Universidade do Porto, Portugal
Concluded
2006 - 2010 ASA: Automata, Semigroups and Applications
PTDC/MAT/65481/2006
Researcher
Universidade do Porto, Portugal
Concluded
2006 - 2009 Memórias do trabalho: processos de obtenção duma identidade operária
POCI/CED/60786/2004
Researcher
Universidade do Porto, Portugal
Concluded
Outputs

Publications

Book chapter
  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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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.
    Published • 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, United States: CRC Press, 2012.
    Published
  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.
    Published • 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.
    Published • 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.
    Published • 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, Germany: Springer, 1990.
    Published
Conference paper
  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". Paper presented in Non-Classical Models of Automata and Applications (NCMA 2014), Kassel, 2014.
    Published
  19. Cêzar Câmpeanu; Nelma Moreira; Reis, Rogério. "The distinguishability operation on regular languages". Paper presented in Non-Classical Models of Automata and Applications (NCMA 2014), Kassel, 2014.
    Published
  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.". Paper presented in SOFSEM 2013: Theory and Practice of Computer Science, Špindleruv Mlýn, 2013.
    Published
  23. Reis, Rogério; Emanuele Rodaro. "On Strongly Connected Ideal Languages". Paper presented in WORDS 2013, Turku, 2013.
    Published
  24. Eva Maia; Nelma Moreira; Reis, Rogério. "Incomplete Transition Complexity of Basic Operations on Finite Languages". Paper presented in CIAA 2013, Halifax, 2013.
    Published
  25. Eva Maia; Nelma Moreira; Reis, Rogério. "Incomplete Transition Complexity of Some Basic Opera- tions". Paper presented in International Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, 2013.
    Published • 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". Paper presented in 19th International Symposium on Fundamentals of Computation Theory, Liverpool, 2013.
    Published
  27. Reis, Rogério; Rodaro, Emanuele. "Reset regular decomposition complexity of regular ideal languages". Paper presented in 14th Italian Conference on Theoretical Computer Science, Palermo, 2013.
    Published
  28. Reis, Rogério; Rodaro, Emanuele. "The language of initially connected deterministic finite automata". Paper presented in 14th Italian Conference on Theoretical Computer Science, Palermo, 2013.
    Published
  29. Ivone Amorim; António Machiavelo; Reis, Rogério. "Formal power series and the invertibility of finite linear transducers". Paper presented in Fourth Workshop on Non-Classical Medels for Automata and Applications (NCMA 2012), Fribourg, 2012.
    Published
  30. Ivone Amorim; António Machiavelo; Rogério Reis. "Formal Power Series and the Invertibility of Finite Linear Transducers". Paper presented in Fourth Workshop on Non-Classical Medels for Automata and Applications (NCMA 2012), Friburg, 2012.
    Published
  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". Paper presented in DYLA11 - 5th Workshop on Dynamic Languages and Applications, Zurich, 2011.
    Published
  33. Reis, Rogério; Nelma Moreira; António Machiavelo; Sabine Broda. "The average transition complexity of Glushkov and partial derivative automata". Paper presented in Developments in Language Theory, 14th International Conference, Milano, 2011.
    Published
  34. José Alves; Nelma Moreira; Reis, Rogério. "XML description for automata manipulations". Paper presented in XATA 2010, XML: aplicações e tecnologias associadas, Vila do Conde, 2010.
    Published
  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". Paper presented in 8th European Dependable Computing Conference, Valencia, 2010.
    Published
  36. Reis, Rogério; Nelma Moreira; Marco Almeida. "Incremental DFA minimization". Paper presented in International Conference on Implementation and Application of Automata, Winnipeg, 2010.
    Published
  37. Reis, Rogério; Nelma Moreira; Davide Nabais. "State elimination ordering strategies: Some experimental results". Paper presented in Workshop on Descriptional Complexity of Formal Systems, Saskatoon,, 2010.
    Published
  38. Reis, Rogério; Nelma Moreira; Hugo Gouveia. "Small nfas from regular expressions: Some experimental results". Paper presented in Conference Computability in Europe, Ponta Delgada, 2010.
    Published
  39. Reis, Rogério; Simão Melo de Sousa; Nuno Gaspar. "Timing analysis - from predictions to certificates". Paper presented in Inforum, Simp ´osio de Inform ´atica, Braga, 2010.
    Published
  40. Reis, Rogério; Nelma Moreira; André Almeida. "GUItar and FAgoo: Graphical interface for automata visualization, editing, and interaction". Paper presented in Inforum, Simp ´osio de Inform ´atica, Braga, 2010.
    Published
  41. Reis, Rogério; Nelma Moreira; Eva Maia. "Inferência de tipos em Python". Paper presented in Inforum, Simp ´osio de Inform ´atica, Braga, 2010.
    Published
  42. Marco Almeida; Nelma Moreira; Rogério Reis. "Testing equivalence of Regular Languages". Paper presented in Workshop on Descriptional Complexity of Formal Systems (DCFS09), Magdeburg, Germany, 2009.
    Published
  43. Michel Ferreira; Hugo Conceição; Ricardo Fernandes; Reis, Rogério. "Locating cars through a vision enabled VANET". Paper presented in 2009 IEEE Intelligent Vehicles Symposium, Xi'an, 2009.
    Published
  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". Paper presented in Corta 08, Bragança, Portugal, 2008.
    Published
  47. Marco Almeida; Nelma Moreira; Rogério Reis. "Exact generation of acyclic deterministic finite automata". Paper presented in Workshop on Descriptional Complexity of Formal Systems (DCFS08), Charlottetown, Canada, 2008.
    Published
  48. Silvestre Lacerda; Norberto Lopes; Nelma Moreira; Rogério Reis. "A Toolkit for an Oral History Digital Archive". Paper presented in XATA 2008, Universidade de Évora, 2008.
    Published
  49. Marco Almeida; Nelma Moreira; Rogério Reis. "Antimirov and Mosses's rewrite system revisited". Paper presented in CIAA 2008: Thirteenth International Conference on Implementation and Application of Automata, San Francisco, USA, 2008.
    Published
  50. Marco Almeida; Nelma Moreira; Rogério Reis. "On the performance of automata minimization algorithms". Paper presented in Computing in Europe 2008}. editor, Athens, Greece, 2008.
    Published
  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". Paper presented in Workshop on Descriptional Complexity of Formal Systems (DCFS07), High Tatras, Slovakia, 2007.
    Published
  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". Paper presented in Recent Research Developments in Learning Technologies. III International Conference on multimedia \& ICTs in Education, Spain, 2005.
    Published
  55. Nelma Moreira; Rogério Reis. "FAdo:Interactive Tools for Learning Formal Computational Models". Paper presented in Encontro Nacional de Visualização Científica, Espinho, Portugal, 2005.
    Published
  56. Rogério Reis; Nelma Moreira; Marco Almeida. "On the Representation of Finite Automata". Paper presented in 7th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS05), Como, Italy, 2005.
    Published
  57. José João Morais; Nelma Moreira; Rogério Reis. "Acyclic Automata with easy-to-find short regular expressions". Paper presented in CIAA 2005, Tenth International Conference on Implementation and Application of Automata, Nice, France, 2005.
    Published
  58. Nelma Moreira; Rogério Reis. "Interactive Manipulation of Regular Objects with FAdo". Paper presented in 2005 Innovation and Technology in Computer Science Education (ITiCSE 2005), Lisboa, Portugal, 2005.
    Published
  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". Paper presented in ICKEDS 2004, First International Conference on Knowledge Engineering and Decision Support, Porto, Portugal, 2004.
    Published
  61. M. Filgueiras; A.P. Tomás; N. Moreira; J.P. Leal; Rogério Reis. "Natural Language and Natural Menus Interfaces". Paper presented in Internation Conference Modelling the Innovation, Roma, 1990.
    Published
  62. Filgueiras, M; Tomás, AP; Moreira, N; Reis, R; Leal, JP. "Natural Language and Natural Menus Interfaces". 1990.
Edited book
  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
Journal article
  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.
    Published • 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.
    Published • 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.
    Published • 10.1051/ita/2013045
  23. JÜRGENSEN, HELMUT; REIS, ROGÉRIO. "PREFACE". International Journal of Foundations of Computer Science 25 07 (2014): 803-805.
    Published • 10.1142/S012905411402002X
  24. MOREIRA, NELMA; REIS, ROGÉRIO. "PREFACE". International Journal of Foundations of Computer Science 24 06 (2013): 689-690.
    Published • 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.
    Published • 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.
    Published
  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.
    Published • 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.
    Published
  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.
    Published
  40. Nelma Moreira; Rogério Reis. "Series-Parallel Automata and Short Regular Expressions". Fundamenta Informaticae 91 3-4 (2009): 611-629.
    Published
  41. Moreira, N.; Reis, R.. "Series-parallel automata and short regular expressions". Fundamenta Informaticae 91 3-4 (2009): 611-629.
    Published
  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.
    Published
  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.
    Published
  52. António Machiavelo; Rogério Reis. "Automated Ciphertext-Only Cryptanalysis of the Bifid Cipher". Cryptologia 31 2 (2007): 112-124.
    Published
  53. Machiavelo, A.; Reis, R.. "Automated ciphertext - Only cryptanalysis of the Bifid cipher". Cryptologia 31 2 (2007): 112-124.
    Published
  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.
    Published
  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.
    Published
  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.
    Published
  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.
    Published
  63. Reis, R; Moreira, N. "Apoo". SIGCSE Bull. - ACM SIGCSE Bulletin (2001): https://www.authenticus.pt/P-00J-SV4.
    10.1145/572139.572168
Magazine article
  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

Other

Other output
  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.
Activities

Supervision

Thesis Title
Role
Degree Subject (Type)
Institution / Organization
2009 - Current Protocolos de Dinheiro Electrónico
Supervisor
Matemática (Master)
Universidade do Porto, Portugal
2018 - 2018 Transducers and 2D Regular Expressions
Co-supervisor
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2018 - 2018 Significant Classes of NFA and their Random Generation
Supervisor
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2017 - 2017 Criptografia com Transdutores Lineares
Supervisor
Mestrado em Segurança Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2016 On the Descriptional Complexity of Some Operations and Simulations of Regular Models
Supervisor
Ciência de Computadores (PhD)
Universidade do Porto, Portugal
2011 - 2016 Linear Finite Transducers Towards a Public Key Cryptographic System
Co-supervisor
Ciência de Computadores (PhD)
Universidade do Porto, Portugal
2015 - 2015 Manipulation of Extended Regular Expressions with Derivatives
Co-supervisor
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 Cellular Automata and Cryptography
Supervisor
Mestrado em Ciência dos Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2013 DesCo: a Knowledge Based System for Descriptional Complexity of Formal Languages
Supervisor
Ciência de Computadores (Master)
Universidade do Porto, Portugal
2008 - 2011 Equivalence of Regular Languages: An Algorithmic Approach and Complexity Analysis
Supervisor
Ciência de Computadores (PhD)
Universidade do Porto, Portugal
2010 - 2010 Timing Analisys — From Predictions to certificates
Co-supervisor
Engenharia Informática (Master)
Universidade da Beira Interior, Portugal
2010 - 2010 An Interactive System for Automata Manipulations.
Co-supervisor
Ciência de Computadores (Master)
Universidade do Porto, Portugal
2010 - 2010 Inferência de tipos em Python
Supervisor
Ciência de Computadores (Master)
Universidade do Porto, Portugal
2010 - 2010 Towards Automata Diagram Drawings
Supervisor
Ciência de Computadores (Master)
Universidade do Porto, Portugal
2009 - 2009 Criptografia co curvas elípticas
Co-supervisor
Engenharia Matemática (Master)
Universidade do Porto, Portugal
2009 - 2009 Infrastrutura de chaves públicas
Supervisor
Ciência de Computadores (Master)
Universidade do Porto, Portugal
2009 - 2009 Crivo Quadrático
Supervisor
Engenharia Matemática (Master)
Universidade do Porto, Portugal
2009 - 2009 Obtenção de Autómatos não Determinísticos Pequenos e Minimais
Supervisor
Ciência de Computadores (Scientific initiation)
Universidade do Porto, Portugal
2008 - 2008 Nosy: Um Simulador para Análise de Protocolos de Rede
Supervisor
Ciência de Computadores (Master)
Universidade do Porto, Portugal
2008 - 2008 Votações Electrónicas e a Cifra de Paillier
Supervisor
Engenharia Matemática (Master)
Universidade do Porto, Portugal
2008 - 2008 Visualisação interactiva de autómatos finitos
Supervisor
Ciência de Computadores (Scientific initiation)
Universidade do Porto, Portugal
2008 - 2008 Editor de Autómatos Finitos
Co-supervisor
Ciência de Computadores (Scientific initiation)
Universidade do Porto, Portugal
2007 - 2007 A criptanálise da Enigma: 1932-1939
Co-supervisor
Engenharia Matemática (Master)
Universidade do Porto, Portugal
2007 - 2007 Ferramentas Informáticas para a Construção, Indexação e Classificação de Documentos Informáticos
Co-supervisor
Ciência de Computadores (Scientific initiation)
Universidade do Porto, Portugal
2007 - 2007 Desenvolvimento de tecnologias XML para a indexação e pesquisa em documentos}
Co-supervisor
Ciência de Computadores (Specialization course)
Universidade do Porto, Portugal
2007 - 2007 Analisador Sintáctico GLR para o Yappy
Co-supervisor
Ciência de Computadores (Degree)
Universidade do Porto, Portugal
2007 - 2007 Programa de detecção de plágios em textos de programas
Supervisor
Ciência de Computadores (Degree)
Universidade do Porto, Portugal
2006 - 2006 Ferramentas para Determinação e Avaliação de Soluções em Problemas de Horários
Co-supervisor
Ciência de Computadores (Master)
Universidade do Porto, Portugal
2005 - 2005 Métodos de conversão de autómatos finitos em expressões regulares pequenas
Supervisor
Ciência de Computadores (Specialization course)
Universidade do Porto, Portugal
2005 - 2005 Sistemas dedutivos para lógicas de descrição
Co-supervisor
Ciência de Computadores (Scientific initiation)
Universidade do Porto, Portugal
2005 - 2005 AGISA - Ambiente de Gestão Integrado da Sala de Aula
Supervisor
Ciência de Computadores (Master)
Universidade do Porto, Portugal
2005 - 2005 Interface gráfico para a edição e a visualização de autómatos finitos
Supervisor
Ciência de Computadores (Degree)
Universidade do Porto, Portugal
2004 - 2004 {Obtenção de expressões regulares pequenas a partir de autómatos finitos
Co-supervisor
Ciência de Computadores (Master)
Universidade do Porto, Portugal
2004 - 2004 Automatic: editor de diagramas de autómatos finitos
Co-supervisor
Ciência de Computadores (Degree)
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
Co-supervisor
Ciência de Computadores (Master)
Universidade do Porto, Portugal

Event organisation

Event name
Type of event (Role)
Institution / Organization
2015 - 2015 Co-chair of program and organizing committe of NCMA 2015 (2015 - 2015)
Conference (President of the Organising Committee)
2013 - 2013 Co-chair of the program committee of DCFS 2013 (2013 - 2013)
Conference (Member of the Scientific Committee)
2012 - 2012 Co-chair of the programme and organizing commitee of CIAA 2012 (2012 - 2012)
Conference (President of the Organising Committee)
2012 - 2012 Co-chair of the program and organizing committee of DCFs 2012 (2012 - 2012)
Conference (President of the Organising Committee)

Event participation

Activity description
Type of event
Event name
Institution / Organization
2020 - 2020 6th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2020), Limassol, Cyprus, 20–24/01/20.
Conference
2019 - 2019 RPLA 2019 – Reversibility in Programming, Languages, and Automata, Porto, Portugal, 9/10/2019.
Workshop
2019 - 2019 24th International Conference on Implementation and Applications of Automata, (CIAA19), Košice, Slovakia, 22–25/08/19.
Conference
2019 - 2019 21st International Conference on Descriptional Complexity of Formal Systems (DCFS19), Košice, Slovakia, 17–19/08/19.
Conference
2018 - 2018 20th International Conference on Descriptional Complexity of Formal Systems (DCFS18), Halifax, Nova Scotia, Canada, 25–27/7/2018
Conference
2018 - 2018 22nd Conference on Developments in Language Theory (DLT2018), Tokyo, Japan, 10–14/09/2018.
Conference
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.
Seminar
2017 - 2017 19th International Conference on Descriptional Complexity of Formal Systems (DCFS17), Milano, Italy, 3–5/7/2017.
Conference
2016 - 2016 18th International Conference on Descriptional Complexity of Formal Systems (DCFS16), Bucharest, Romania, 5–8/7/2016.
Conference
2016 - 2016 8th Workshop on Non-Classical Models of Automata and Applications (NCMA16), Debrecen, Hungary, 29–30/8/2016.
Conference
2015 - 2015 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOF- SEM2015), Czech Republic, 24–29/01/2015.
Conference
2015 - 2015 AutoMatA 2015, Jewels of Automata: from Mathematics to Applications, Leipzig, Germany, 06– 09/05/2015.
Meeting
2015 - 2015 AMS/EMS/SPM International Meeting, Porto, Portugal, 10–13/06/2015.
Congress
2015 - 2015 Brzozowski 80, The Role of Theory in Computer Science, Waterloo, Ontario, Canada - June 24 2015
Conference
2015 - 2015 17th Workshop on Descriptional Complexity of Formal Systems (DCFS15), Waterloo, Ontario, Canada, 25–27/06/2015.
Conference
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.
Conference
2014 - 2014 16th Workshop on Descriptional Complexity of Formal Systems (DCFS14), Turku, Finland, 05– 08/08/2014.
Conference
2013 - 2013 18th International Conference on Implementation and Application of Automata
Conference
18th International Conference on Implementation and Application of Automata
2013 - 2013 15th Workshop on Descriptional Complexity of Formal Systems
Conference
15th Workshop on Descriptional Complexity of Formal Systems
2013 - 2013 Non-Classical Models of Automata and Applications
Conference
Non-Classical Models of Automata and Applications
2012 - 2012 17th International Conference on Implementation and Application of Automata
Conference
17th International Conference on Implementation and Application of Automata
2012 - 2012 14th International Workshop on Descriptional Complexity of Formal Languages
Workshop
14th International Workshop on Descriptional Complexity of Formal Languages
2012 - 2012 IV Iberian Mathematical Meeting
Congress
IV Iberian Mathematical Meeting
Real Sociedad Matemática Española and the Sociedade Portuguesa de Matemática, Spain
2011 - 2011 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS)
Workshop
13th International Workshop on Descriptional Complexity of Formal Systems (DCFS)
2011 - 2011 16th International Conference on Implementation and Application of Automata
Conference
16th International Conference on Implementation and Application of Automata
2010 - 2010 15th International Conference on Implementation and Application of Automata
Conference
15th International Conference on Implementation and Application of Automata
2009 - 2009 11th Workshop on Descriptional Complexity of Formal Systems (DCFS09)
Workshop
2008 - 2008 Thirteenth International Conference on Implementation and Application of Automata
Conference
Thirteenth International Conference on Implementation and Application of Automata

Jury of academic degree

Topic
Role
Candidate name (Type of degree)
Institution / Organization
2019 Property-based testing of a financial market platform
President of the jury
Pedro Fernandes dos Santos Maos Godinho (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2019 Control-Flow Integrity for the Linux kernel: A security evaluation
President of the jury
Federico Manuel Bento (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2018 Authentication modules for Keycloak authentication server Daicy Patricia Duarte Paiva (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2018 Security Analysis of Closed-Source Signal Protocol Implementation
President of the jury
João Diogo Gaspar Alves (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2018 Computação colaborativa segura num cenário de gestão de risco financeiro
President of the jury
Tiago André Ferreira Fernandes (Master)
Universidade do Porto Faculdade de Ciências, Portugal
2016 Computation of equilibria on integer programming games
Thesis Member
Maria Margarida da Silva Carvalho (PhD)
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 (Master)
Universidade do Minho, Portugal
2012 Application and implementation of transducer tools in answering cenrtain questions about regular languages Meng Yang (Master)
Saint Mary’s University, Canada
2012 Declarative Domain-Specific Languages and Applications to Network Monitoring Pedro Dinis Loureiro Salgueiro (PhD)
Universidade de Évora, Portugal
2010 Utilização de Dispositivos Criptográficos Portáteis em Sistema de Votação Electrónica Martinho Rodrigues Monteiro (Master)
Universidade da Beira Interior, Portugal
2009 Tactim: From pattern recognition to the security for Biometry Stéphane Cauchie (PhD)
Université de Tours, France
2008 Applications of Kolmogorov Complexity to Cryptography Alexandre Jorge Teixeira Miranda Pinto, (PhD)
Universidade do Porto, Portugal
2007 A SPARQL Query Engine over Web Ontologies using Contextual Logic Programming Nuno Alexandre de Jesus Lopes (Master)
Universidade de Évora, Portugal

Association member

Society Organization name Role
2017 - Current ISOC.PT -Internet Society Portugal Member of Directory Board 2019-2021
Current Sociedade Portuguesa de Matemática
Current American Mathematical Society

Committee member

Activity description
Role
Institution / Organization
2017 - Current Vice-chair of IFIP (International Federation for Information Processing )Working Group 1.2 on Descriptional Complexity http://www.informatik.uni-giessen.de/ifipwg1.
Coordinator
2014 - Current Member of “Steering Committee” of DCFS (Descriptional Complexity of Formal Systems)
Member
2020 - 2020 Member of the Programme Committee of 2nd International Congress on Blockchain and Applications, L’Aquila (Italy), 17th-19th June, 2020
Member
2019 - 2019 Member of the Programme Committee of 1st International Congress on Blockchain and Applications (BLOCKCHAIN19), Ávila, España.
Member
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
Member
2019 - 2019 Member of the Programme Committee of 24th International Conference on Implementation and Applications of Automata, (CIAA 2019), Košice, Slovalkia.
Member
2018 - 2018 Member of the Programme Committee of 9th International Conference on Ambient Intelligence, Toledo, Spain, 20-22 Junho de 2018.
Member
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.
Member
2017 - 2017 Member of the Programme Committee of 8th International Conference on Ambient Intelligence,Porto, Portugal, May 8-11, 2017.
Member
2017 - 2017 Member of the Programme Committee of 19th International Conference on Descriptional Complexity of Formal Systems (DCFS 2017), Milano, Italy.
Member
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.
Member
2016 - 2016 Member of the Programme Committee of 21th International Conference on Implementation and Applications of Automata, (CIAA 2016), Seul, South Korea.
Member
2015 - 2015 Member of the Programme Committee of 20th International Conference on Implementation and Applications of Automata, (CIAA 2015), Umea, Sweden.
Member
2013 - 2013 Member of Programme Committee of the 16th International Conference on Implementation and Applications of Automata, (CIAA 2013), Halifax, New Scotland, Canada.
Member
2013 - 2013 Member of the Programme Committee of 5th International Workshop “Non-Classical Models of Auto- mata and Applications”, (NCMA 2013), Umea, Sweden.
Member
2011 - 2011 Member of programme committee of DCFS 2011
Member
2010 - 2010 Member of the programme committee of CIAA 2010
Member
2010 - 2010 Member of Programme Committee of CIAA 2010
Member
Distinctions

Award

2020 Best Paper Award SOFSEM 2020