Rogério Ventura Lages dos Santos Reis. Concluiu Ciência de Computadores pela Universidade do Porto em 2007. É Professor Auxiliar na Universidade do Porto. Publicou 20 artigos em revistas especializadas e 36 trabalhos em actas de eventos, possui 11 capítulos de livros e 3 livros publicados. Participou em 9 eventos no estrangeiro e 2 em Portugal. Orientou 1 tese de doutoramento, orientou 8 dissertações de mestrado e co-orientou 6, alem de ter orientado 4 trabalhos de conclusão de curso de bach./licenciatura, 2 monografias de conclusão de curso de aperfeiçoamento/especialização e 4 trabalhos de iniciação científica nas áreas de Ciências da Computação e da Informação e Matemática. Entre 2006 e 2011 participou em 3 projectos de investigação. Actualmente coordena 1 projecto de investigação. Actua nas áreas de Ciências Exactas com ênfase em Ciências da Computação e da Informação e Ciências Exactas com ênfase em Matemática. Nas suas actividades profissionais interagiu com 56 colaboradores em co-autorias de trabalhos científicos. No seu curriculum DeGóis os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Finite Automata Theory, Descriptional Complexity, Cryptography, Type Theory, Analytic Combinatorics, Computational Algebra and Applications e Statical Analysis of Programming Languages.
Endereço de acesso a este CV: http://www.degois.pt/visualizador/curriculum.jsp?key=8878387713989693

Nome completo Full name	Rogério Ventura Lages dos Santos Reis
Nome em citações bibliográficas Quoting name	Reis, Rogério
Categoria profissional Position	Professor Auxiliar
Domínio científico de atuação Scientific domain	Ciências Exactas-Ciências da Computação e da Informação. Ciências Exactas-Matemática.

Endereço profissional Professional address

Universidade do Porto Faculdade de Ciências Departamento de Ciência de Computadores R. Campo Alegre 1021/1055 Porto 4160-007 Alfândega da Fé Portugal Telefone: (+351)220402927 Correio electrónico: rvr@dcc.fc.up.pt Homepage: http://www.dcc.fc.up.pt/~rvr

Sexo Gender

Masculino»Male

2007	Doutoramento Phd
Ciência de Computadores. Universidade do Porto, Portugal.

1991	Provas de Aptidão Pedagógica/Capacidade Científica Evaluation of Pedagogic Readiness/Cientific Ability
Ciência de Computadores. Instituto Nacional de Investigação Científica, Portugal.

1979-1984	Licenciatura Licentiate degree
Matemática Pura (5 anos » years) . Universidade do Porto, Portugal.

Universidade do Porto

Jun/2007-Actual

Professor Auxiliar

Universidade do Porto

Out/1997-Mai/2007

Assistente

Universidade do Porto

Dez/1992-Set/1997

Assistente de Investigação

Instituto Nacional de Investigação Científica

Mar/1991-Nov/1992

Assistente de Investigação

Instituto Nacional de Investigação Científica

Set/1988-Fev/1991

Estagiário Investigador

Junta Nacional Investigação Científica e Tecnológica

Out/1986-Mar/1987

Outra Situação

Participação como Investigador responsável Participation as responsible Researcher

2010-2013 CANTE: Complexidade descriptiva e computacional de linguagens formais

Referência do projeto»Project reference: PTDC/EIA-CCO/101904/2008.

Participação como Investigador Participation as Researcher

2006-2011 RESCUE: Reliable and Safe Code Execution for Embedded Systems}-RESCUE: Reliable and Safe Code Execution for Embedded Systems}

Referência do projeto»Project reference: FCT/ PTDC/ EIA/ 65862/ 2006,.

2006-2010 ASA: Automata, Semigroups and Applications

Referência do projeto»Project reference: PTDC/MAT/65481/2006.

2006-2009 Memórias do trabalho: processos de obtenção duma identidade operária

Referência do projeto»Project reference: POCI/CED/60786/2004.

Compreende Understandig	Português (Bem), Francês (Bem), Inglês (Bem), Espanhol (Bem).
Fala Speaking	Português (Bem), Francês (Bem), Inglês (Bem), Espanhol (Pouco).
Lê Reading	Português (Bem), Francês (Bem), Inglês (Bem), Espanhol (Bem).
Escreve Writing	Português (Bem), Francês (Razoavelmente), Inglês (Bem), Espanhol (Pouco).

Actual	Sociedade Portuguesa de Matemática, Membro.
Actual	American Mathematical Society, Membro.

Livros publicados/organizados ou edições Published/organized books or Editions

1.	Jurgensen, Helmut; REIS, ROGÉRIO. eds. 2013. Descriptional Complexity of Formal Systems ed. 1, ISBN: 978-3-642-39309-9. Berlin, Heidelberg: Springer Berlin Heidelberg.

2.	Moreira, Nelma; Reis, Rogério. eds. 2012. Implementation and Application of Automata ed. 1, ISBN: 978-3-642-31605-0. Berlin, Heidelberg: Springer Berlin Heidelberg.

3.	Kutrib, Martin; Moreira, Nelma; Reis, Rogério. eds. 2012. Descriptional Complexity of Formal Systems ed. 1, ISBN: 978-3-642-31622-7. Berlin, Heidelberg: Springer Berlin Heidelberg.

Capítulos de livros publicados Published book chapters

1.	MOREIRA, NELMA; Pighizzini, Giovanni; REIS, ROGÉRIO. 2015. Optimal State Reductions of Automata with Partially Specified Behaviors.  In SOFSEM 2015: Theory and Practice of Computer Science, ed. Giuseppe F. ItalianoTiziana Margaria-SteffenJaroslav PokornýJean-Jacques QuisquaterRoger Wattenhofer, 339 - 351. ISBN: 978-3-662-46077-1. Berlin, Heidelberg: Springer Berlin Heidelberg.

2.	Amorim, Ivone; MACHIAVELO, ANTÓNIO; REIS, ROGÉRIO. 2014. Counting Equivalent Linear Finite Transducers Using a Canonical Form.  In Implementation and Application of Automata, ed. Markus HolzerMartin Kutrib, 70 - 83. ISBN: 978-3-319-08845-7. Cham: Springer International Publishing.

3.	BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO. 2014. On the Equivalence of Automata for KAT-expressions.  In Language, Life, Limits, ed. Arnold BeckmannErzsébet Csuhaj-VarjúKlaus Meer, 73 - 83. ISBN: 978-3-319-08018-5. Cham: Springer International Publishing.

4.	Bell, Jason; Brzozowski, Janusz; MOREIRA, NELMA; REIS, ROGÉRIO. 2014. Symmetric Groups and Quotient Complexity of Boolean Operations.  In Automata, Languages, and Programming, ed. Javier EsparzaPierre FraigniaudThore HusfeldtElias Koutsoupias, 1 - 12. ISBN: 978-3-662-43950-0. Berlin, Heidelberg: Springer Berlin Heidelberg.

5.	Maia, Eva; MOREIRA, NELMA; REIS, ROGÉRIO. 2014. Partial Derivative and Position Bisimilarity Automata.  In Implementation and Application of Automata, ed. Markus HolzerMartin Kutrib, 264 - 277. ISBN: 978-3-319-08845-7. Cham: Springer International Publishing.

6.	REIS, ROGÉRIO; Rodaro, Emanuele. 2013. Regular Ideal Languages and Synchronizing Automata.  In Combinatorics on Words, ed. Juhani KarhumäkiArto LepistöLuca Zamboni, 205 - 216. ISBN: 978-3-642-40578-5. Berlin, Heidelberg: Springer Berlin Heidelberg.

7.	Almeida, Marco; Moreira, Nelma; Reis, Rogério. 2012. Finite automata minimization algorithms.  In Handbook of Finite State Based Models and Applications, ed. Jiacun Wang, 145 - 170. ISBN: 978-1-4398-4618-6. New York: CRC Press.

8.	BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO. 2011. The Average Transition Complexity of Glushkov and Partial Derivative Automata.  In Developments in Language Theory, ed. Giancarlo MauriAlberto Leporati, 93 - 104. ISBN: 978-3-642-22320-4. Berlin, Heidelberg: Springer Berlin Heidelberg.

9.	BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO. 2010. On the Average Number of States of Partial Derivative Automata.  In Developments in Language Theory, ed. Yuan GaoHanlin LuShinnosuke SekiSheng Yu, 112 - 123. ISBN: 978-3-642-14454-7. Berlin, Heidelberg: Springer Berlin Heidelberg.

10.	Almeida, Marco; MOREIRA, NELMA; REIS, ROGÉRIO. 2008. Antimirov and Mosses’s Rewrite System Revisited.  In Implementation and Applications of Automata, ed. Oscar H. IbarraBala Ravikumar, 46 - 56. ISBN: 978-3-540-70843-8. Berlin, Heidelberg: Springer Berlin Heidelberg.

11.	Filgueiras, Miguel; Tomás, Ana P; Moreira, Nelma; Leal, José P; Reis, Rogério. 1990. Natural language and natural menus interfaces.  In Modelling the Innovation: Communications, Automation and Information Systems”, 10 - 20. . Berlin: Springer.

Artigos em revistas com arbitragem científica Papers in periodics with scientific refereeing

1.	BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO. 2012. "ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA", International Journal of Foundations of Computer Science 23, 05: 969 - 984.

2.	Reis, Rogério; Moreira, Nelma; Machiavelo, António; Broda, Sabine. 2011. "On the average state complexity of partial derivative automata", International Journal of Foundations of Computer Science 22, 7: 1593 - 1606.

3.	Reis, Rogério; Almeida, Marco; Moreira, Nelma. 2010. "Testing the equivalence of regular languages", Journal of Automata, Languages and Combinatorics, 15: 7 - 25.

4.	Almeida, Marco; Moreira, Nelma; Reis, Rogério. 2009. "Antimirov and Mosses' rewrite system revisited", International Journal of Foundations of Computer Science 20, 4: 669 - 684.

5.	Moreira, Nelma; Reis, Rogério. 2009. "Series-Parallel Automata and Short Regular Expressions", Fundamenta Informaticae 91, 3-4: 611 - 629.

6.	Almeida, Marco; Moreira, Nelma; Reis, Rogério. 2008. "Exact generation of minimal acyclic deterministic finite automata", International Journal of Foundations of Computer Science 19, 4: 751 - 765.

7.	Almeida, Marco; Moreira, Nelma; Reis, Rogério. 2007. "Enumeration and Generation with a String Automata Representation", Theoretical Computer Science 387, 2: 93 - 102.

8.	Machiavelo, António; Reis, Rogério. 2007. "Automated Ciphertext-Only Cryptanalysis of the Bifid Cipher", Cryptologia 31, 2: 112 - 124.

9.	Sousa, Sónia; Reis, Rogério; Damas, Luís. 2006. "AGISA: Ambiente de Gestão Integrado da Sala de Aulas", Revista de Ciências da Computação 1, 1: 67 - 76.

10.	Blanchard, Peter F; Harary, Frank; Reis, Rogério. 2006. "Partitions into sum-fee sets", INTEGERS:Electronic Journal of Combinatorial Number Theory, 6: 0 - 0.

11.	Moreira, Nelma; Reis, Rogério. 2005. "On the density of languages representing finite set partitions", Journal of Integer Sequences 8, 05.2.8: 0 - 0.

Trabalhos completos/resumidos em eventos com arbitragem científica Papers in conference proceedings with scientific refereeing

1.	Reis, Rogério; Rodaro, Emanuele. 2013. "On Strongly Connected Ideal Languages", Trabalho apresentado em WORDS 2013, In WORDS 2013, Turku.

2.	Maia, Eva; Moreira, Nelma; Reis, Rogério. 2013. "Incomplete Transition Complexity of Basic Operations on Finite Languages", Trabalho apresentado em CIAA 2013, In Implementation and Application of Automata, Halifax.

3.	Maia, Eva; Moreira, Nelma; Reis, Rogério. 2013. "Incomplete Transition Complexity of Some Basic Opera- tions", Trabalho apresentado em International Conference on Current Trends in Theory and Practice of Computer Science, In Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn.

4.	Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério. 2013. " On the average size of glushkov and equation automata for KAT expressions", Trabalho apresentado em 19th International Symposium on Fundamentals of Computation Theory, In 19th International Symposium on Fundamentals of Computation Theory, Liverpool.

5.	Maia, Eva; Moreira, Nelma; Reis, Rogério. 2013. "Incomplete transition complexity of some basic operations.", Trabalho apresentado em SOFSEM 2013: Theory and Practice of Computer Science, In SOFSEM 2013: Theory and Practice of Computer Science, Špindleruv Mlýn.

6.	Amorim, Ivone; Machiavelo, António; Reis, Rogério. 2012. "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), In Fourth Workshop on Non-Classical Medels for Automata and Applications (NCMA 2012), Fribourg.

7.	Reis, Rogério; Moreira, Nelma; Maia, Eva. 2011. "A static type inference for Python", Trabalho apresentado em DYLA11 - 5th Workshop on Dynamic Languages and Applications, In Proc. of DYLA'11, 5th Workshop on Dynamic Languages and Applications, colocated with 49th Intl Conf on Objects, Models, Components and Patterns (TOOLS 2011), Zurich.

8.	Reis, Rogério; Moreira, Nelma; Machiavelo, António; Broda, Sabine. 2011. "The average transition complexity of Glushkov and partial derivative automata", Trabalho apresentado em Developments in Language Theory, 14th International Conference, In Proceedings, volume 6795 of Lecture Notes on Computer Science, Milano.

9.	Alves, José; Moreira, Nelma; Reis, Rogério. 2010. "XML description for automata manipulations", Trabalho apresentado em XATA 2010, XML: aplicações e tecnologias associadas, In XATA 2010, XML: aplicações e tecnologias associadas, Vila do Conde.

10.	Fialho, Diogo; Gaspar, Nuno; Sousa, Simão M.; Reis, Rogério; Pinto, Jorge S. 2010. "Towards a worst-case execution time calculation platform with certificate production", Trabalho apresentado em 8th European Dependable Computing Conference, In Proceedings of the 8th European Dependable Computing Conference, Valencia.

11.	Reis, Rogério; Moreira, Nelma; Almeida, Marco. 2010. "Incremental DFA minimization", Trabalho apresentado em International Conference on Implementation and Application of Automata, In Proceedings of the 15th International Conference on Implementation and Application of Automata, Winnipeg.

12.	Reis, Rogério; Moreira, Nelma; Nabais, Davide. 2010. "State elimination ordering strategies: Some experimental results", Trabalho apresentado em Workshop on Descriptional Complexity of Formal Systems, In Proceedings of 11th Workshop on Descriptional Complexity of Formal Systems (DCFS10), Saskatoon,.

13.	Reis, Rogério; Moreira, Nelma; Gouveia, Hugo. 2010. "Small nfas from regular expressions: Some experimental results", Trabalho apresentado em Conference Computability in Europe, In Proceedings of 6th Conference Computability in Europe (CIE 2010), Ponta Delgada.

14.	Reis, Rogério; Sousa, Simão M.; Gaspar, Nuno. 2010. "Timing analysis - from predictions to certificates", Trabalho apresentado em Inforum, Simp ´osio de Inform ´atica, In Inforum, Simp ´osio de Inform ´atica, Braga.

15.	Reis, Rogério; Moreira, Nelma; Almeida, André. 2010. "GUItar and FAgoo: Graphical interface for automata visualization, editing, and interaction", Trabalho apresentado em Inforum, Simp ´osio de Inform ´atica, In Inforum, Simp ´osio de Inform ´atica, Braga.

16.	Reis, Rogério; Moreira, Nelma; Maia, Eva. 2010. "Inferência de tipos em Python", Trabalho apresentado em Inforum, Simp ´osio de Inform ´atica, In Inforum, Simp ´osio de Inform ´atica, Braga.

17.	Almeida, Marco; Moreira, Nelma; Reis, Rogério. 2009. "Testing equivalence of Regular Languages", Trabalho apresentado em Workshop on Descriptional Complexity of Formal Systems (DCFS09), In Workshop on Descriptional Complexity of Formal Systems (DCFS09), Magdeburg, Germany.

18.	Ferreira, Michel; Conceição, Hugo; Fernandes, Ricardo; Reis, Rogério. 2009. "Locating cars through a vision enabled VANET", Trabalho apresentado em 2009 IEEE Intelligent Vehicles Symposium, In 2009 IEEE Intelligent Vehicles Symposium, Xi'an.

19.	Almeida, André; Alves, José; Moreira, Nelma; Reis, Rogério. 2008. "CGM: A context-free grammar manipulator", Trabalho apresentado em Corta 08, In Corta 08, Bragança, Portugal.

20.	Almeida, Marco; Moreira, Nelma; Reis, Rogério. 2008. "Exact generation of acyclic deterministic finite automata", Trabalho apresentado em Workshop on Descriptional Complexity of Formal Systems (DCFS08), In Workshop on Descriptional Complexity of Formal Systems (DCFS08), Charlottetown, Canada.

21.	Lacerda, Silvestre; Lopes, Norberto; Moreira, Nelma; Reis, Rogério. 2008. "A Toolkit for an Oral History Digital Archive", Trabalho apresentado em XATA 2008, In Actas XATA 2008, XML: aplicações e tecnologias associadas, Universidade de Évora.

22.	Almeida, Marco; Moreira, Nelma; Reis, Rogério. 2008. "Antimirov and Mosses's rewrite system revisited", Trabalho apresentado em CIAA 2008: Thirteenth International Conference on Implementation and Application of Automata, In CIAA 2008: Thirteenth International Conference on Implementation and Application of Automata, San Francisco, USA.

23.	Almeida, Marco; Moreira, Nelma; Reis, Rogério. 2008. "On the performance of automata minimization algorithms", Trabalho apresentado em Computing in Europe 2008}. editor, In CiE 2008: Abstracts and extended abstracts of unpublished papers., Athens, Greece.

24.	Almeida, Marco; Moreira, Nelma; Reis, Rogério. 2007. "Exact generation of minimal acyclic deterministic finite automata", Trabalho apresentado em Workshop on Descriptional Complexity of Formal Systems (DCFS07), In Workshop on Descriptional Complexity of Formal Systems (DCFS07), High Tatras, Slovakia.

25.	Sousa, Sónia; Damas, Luís; Reis, Rogério. 2005. "AGISA: An Integrateded System for Classroom Administration", Trabalho apresentado em Recent Research Developments in Learning Technologies. III International Conference on multimedia \& ICTs in Education, In Recent Research Developments in Learning Technologies. III International Conference on multimedia \& ICTs in Education, Spain.

26.	Moreira, Nelma; Reis, Rogério. 2005. "FAdo:Interactive Tools for Learning Formal Computational Models", Trabalho apresentado em Encontro Nacional de Visualização Científica, In Encontro Nacional de Visualização Científica, Espinho, Portugal.

27.	Reis, Rogério; Moreira, Nelma; Almeida, Marco. 2005. "On the Representation of Finite Automata", Trabalho apresentado em 7th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS05), In Proceedings of the 7th Int. Workshop on Descriptional Complexity of Formal Systems (DCFS05), Como, Italy.

28.	Morais, José J; Moreira, Nelma; Reis, Rogério. 2005. "Acyclic Automata with easy-to-find short regular expressions", Trabalho apresentado em CIAA 2005, Tenth International Conference on Implementation and Application of Automata, In CIAA 2005, Tenth International Conference on Implementation and Application of Automata, Nice, France.

29.	Moreira, Nelma; Reis, Rogério. 2005. "Interactive Manipulation of Regular Objects with FAdo", Trabalho apresentado em 2005 Innovation and Technology in Computer Science Education (ITiCSE 2005), In Proceedings of 2005 Innovation and Technology in Computer Science Education (ITiCSE 2005), Lisboa, Portugal.

30.	Pedroso, João P; Moreira, Nelma; Reis, Rogério. 2004. "A Web-Based System For Multi-Agent Interactive Timetabling", Trabalho apresentado em ICKEDS 2004, First International Conference on Knowledge Engineering and Decision Support, In ICKEDS 2004, First International Conference on Knowledge Engineering and Decision Support, Porto,21-23 of July, Porto, Portugal.

31.	Filgueiras, M.; Tomás, A.P.; Moreira, N.; Leal, J.P.; Reis, Rogério. 1990. "Natural Language and Natural Menus Interfaces", Trabalho apresentado em Internation Conference Modelling the Innovation, In Preprints of the TC-7 IFIP International Conference Modelling the Innovation, Roma.

Artigos em revistas sem arbitragem científica Papers in periodics without scientific refereeing

1.	BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO. 2014. "A Hitchhiker's Guide to descriptional complexity through analytic combinatorics", Theoretical Computer Science, 528: 85 - 100.

2.	Amorim, Ivone; MACHIAVELO, ANTÓNIO; REIS, ROGÉRIO. 2014. "On the invertibility of finite linear transducers", RAIRO - Theoretical Informatics and Applications 48, 1: 107 - 125.

3.	Almeida, Marco; MOREIRA, NELMA; REIS, ROGÉRIO. 2014. "Incremental DFA minimisation", RAIRO - Theoretical Informatics and Applications 48, 2: 173 - 186.

4.	JÜRGENSEN, HELMUT; REIS, ROGÉRIO. 2014. "PREFACE", International Journal of Foundations of Computer Science 25, 07: 803 - 805.

5.	MOREIRA, NELMA; REIS, ROGÉRIO. 2013. "PREFACE", International Journal of Foundations of Computer Science 24, 06: 689 - 690.

6.	Broda, S.; MacHiavelo, A.; Moreira, N.; Reis, R.. 2012. "On the average size of glushkov and partial derivative automata", International Journal of Foundations of Computer Science 23, 5: 969 - 984.

7.	Moreira, N.; Reis, R.. 2009. "Series-parallel automata and short regular expressions", Fundamenta Informaticae 91, 3-4: 611 - 629.

8.	Machiavelo, A.; Reis, R.. 2007. "Automated ciphertext - Only cryptanalysis of the Bifid cipher", Cryptologia 31, 2: 112 - 124.

9.	Reis, Rogério; Moreira, Nelma. 2001. "Apoo: an Environment for a Firts Course in Assembly Language Programming", SIGCSE Bulletin (ACM Special Interest Group on Computer Science Education) 33, 2: 0 - 0.

Trabalhos completos/resumidos em eventos sem arbitragem científica Papers in conference proceedings without scientific refereeing

1.	Amorim, Ivone; Machiavelo, António; Reis, Rogério. 2014. "Statistical study on the number of injective linear finite transducers", Trabalho apresentado em Non-Classical Models of Automata and Applications (NCMA 2014), In Non-Classical Models of Automata and Applications (NCMA 2014), Kassel.

2.	Câmpeanu, Cêzar; Moreira, Nelma; Reis, Rogério. 2014. "The distinguishability operation on regular languages", Trabalho apresentado em Non-Classical Models of Automata and Applications (NCMA 2014), In Non-Classical Models of Automata and Applications (NCMA 2014), Kassel.

3.	Reis, Rogério; Rodaro, Emanuele. 2013. "Reset regular decomposition complexity of regular ideal languages ", Trabalho apresentado em 14th Italian Conference on Theoretical Computer Science, In 14th Italian Conference on Theoretical Computer Science, Palermo.

4.	Reis, Rogério; Rodaro, Emanuele. 2013. "The language of initially connected deterministic finite automata ", Trabalho apresentado em 14th Italian Conference on Theoretical Computer Science, In 14th Italian Conference on Theoretical Computer Science, Palermo.

5.	Amorim, Ivone; Machiavelo, António; Reis, Rogério. 2012. "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), In Fourth Workshop on Non-Classical Medels for Automata and Applications (NCMA 2012), Friburg.

Textos em jornais ou revistas Texts in newspapers or magazines

1.	Machiavelo, António; Reis, Rogério. 01 maio 2010. "Ainda o totobola: o singular caso dos 5" Boletim da Sociedade Portuguesa de Matemática, 49 - 60.

2.	Machiavelo, António; Reis, Rogério. 01 out. 2009. "O problema do totobola" Boletim da Sociedade Portuguesa de Matemática, 39 - 45.

3.	Reis, Rogério; Machiavelo, António. 01 maio 2009. "Um Manuscrito perdido do Dr. Watson: Sherlock Homes e o Sudoku (Parte 2)" Boletim da Sociedade Portuguesa de Matemática, 47 - 65.

4.	Reis, Rogério; Machiavelo, António. 01 out. 2008. "Um Manuscrito perdido do Dr. Watson: Sherlock Homes e o Sudoku (parte 1)" Boletim da Sociedade Portuguesa de Matemática, 81 - 89.

Orientações Orientations

Participação no júri de Graus Académicos Academic Degrees jury participation

Participação em eventos Event participation

Orientações Orientations

Tese de Doutoramento Phd Thesis

Concluídas Completed

1.	Marco André Ferreira de Almeida, Equivalence of Regular Languages: An Algorithmic Approach and Complexity Analysis, 2011. Tese (Ciência de Computadores) - Universidade do Porto, Bolseiro(a) de Fundação para a Ciência e a Tecnologia (Orientador).

Em curso Ongoing

1.	Eva Catarina Gomes Maia, Complexidade descritiva de linguagens regulares e sua aplicação no desempenho prático de algoritmos., 2012. Tese (Ciência de Computadores) - Universidade do Porto, Bolseiro(a) de Fundação para a Ciência e a Tecnologia (Orientador).

2.	Ivone de Fátima Cruz Amorim, Criptografia com Autómatos finitos, 2011. Tese (Ciência de Computadores) - Universidade do Porto (Co-orientador).

Dissertação de Mestrado Master degree dissertation

Concluídas Completed

1.	Davide Pereira Nabais, DesCo: a Knowledge Based System for Descriptional Complexity of Formal Languages, 2013. Dissertação (Ciência de Computadores) - Universidade do Porto (Orientador).

2.	Nuno Miguel Pires Gaspar, Timing Analisys — From Predictions to certificates, 2010. Dissertação (Engenharia Informática) - Universidade da Beira Interior (Co-orientador).

3.	André Emanuel Bernardo Almeida, Towards Automata Diagram Drawings, 2010. Dissertação (Ciência de Computadores) - Universidade do Porto (Orientador).

4.	Eva Catarina Gomes Maia, Inferência de tipos em Python, 2010. Dissertação (Ciência de Computadores) - Universidade do Porto (Orientador).

5.	José Daniel da Silva Alves, An Interactive System for Automata Manipulations., 2010. Dissertação (Ciência de Computadores) - Universidade do Porto (Co-orientador).

6.	José António Nunes Borges, Crivo Quadrático, 2009. Dissertação (Engenharia Matemática) - Universidade do Porto (Orientador).

7.	Bruno Caxeira, Infrastrutura de chaves públicas, 2009. Dissertação (Ciência de Computadores) - Universidade do Porto (Orientador).

8.	João Miguel Mendes, Nosy: Um Simulador para Análise de Protocolos de Rede, 2008. Dissertação (Ciência de Computadores) - Universidade do Porto (Orientador).

9.	Alexandra Goreti Pinto Queirós,, Votações Electrónicas e a Cifra de Paillier, 2008. Dissertação (Engenharia Matemática) - Universidade do Porto (Orientador).

10.	Bruno Flávio de Castro Ribeiro, A criptanálise da Enigma: 1932-1939, 2007. Dissertação (Engenharia Matemática) - Universidade do Porto (Co-orientador).

11.	Dora Melo, Ferramentas para Determinação e Avaliação de Soluções em Problemas de Horários, 2006. Dissertação (Ciência de Computadores) - Universidade do Porto (Co-orientador).

12.	Sónia Alexandra Ferreira da Silva e Sousa, AGISA - Ambiente de Gestão Integrado da Sala de Aula, 2005. Dissertação (Ciência de Computadores) - Universidade do Porto (Orientador).

13.	José João Gonçalves Morais,, {Obtenção de expressões regulares pequenas a partir de autómatos finitos, 2004. Dissertação (Ciência de Computadores) - Universidade do Porto (Co-orientador).

14.	Carmen Lima, Um sistema de "mirroring" de FTP e HTTP que optimiza recursos usando uma estratégia de avaliação retardada, 1999. Dissertação (Ciência de Computadores) - Universidade do Porto (Co-orientador).

Em curso Ongoing

1.	Patrícia Pereira, Protocolos de Dinheiro Electrónico, 2009. Dissertação (Matemática) - Universidade do Porto (Orientador).

Monografia de conclusão de curso de aperfeiçoamento/especialização Specialization course conclusion monograph

Concluídas Completed

1.	Norberto Machado Lopes, Desenvolvimento de tecnologias XML para a indexação e pesquisa em documentos}, 2007. Monografia (Aperfeiçoamento/Especialização em Ciência de Computadores) - Universidade do Porto (Co-orientador).

2.	Marco Almeida, Métodos de conversão de autómatos finitos em expressões regulares pequenas, 2005. Monografia (Aperfeiçoamento/Especialização em Ciência de Computadores) - Universidade do Porto, Bolseiro(a) de Universidade do Porto (Orientador).

Trabalho de conclusão de curso de Bacharelato/Licenciatura Bachelor/Licenciate degree conclusion work

Concluídas Completed

1.	Tiago Caxias, Programa de detecção de plágios em textos de programas, 2007. Trabalho de Conclusão de Curso (Licenciatura em Ciência de Computadores) - Universidade do Porto (Orientador).

2.	Ricardo Leite, Analisador Sintáctico GLR para o Yappy, 2007. Trabalho de Conclusão de Curso (Licenciatura em Ciência de Computadores) - Universidade do Porto (Co-orientador).

3.	Vera João, Interface gráfico para a edição e a visualização de autómatos finitos, 2005. Trabalho de Conclusão de Curso (Licenciatura em Ciência de Computadores) - Universidade do Porto (Orientador).

4.	Pedro Ângelo, Automatic: editor de diagramas de autómatos finitos, 2004. Trabalho de Conclusão de Curso (Licenciatura em Ciência de Computadores) - Universidade do Porto (Co-orientador).

Iniciação científica Scientific initiation

Concluídas Completed

1.	André Emanuel Bernardo Almeida, Visualisação interactiva de autómatos finitos, 2008. Iniciação científica (Ciência de Computadores) - Universidade do Porto, Bolseiro(a) de Universidade do Porto (Orientador).

2.	José Daniel da Silva Alves, Editor de Autómatos Finitos, 2008. Iniciação científica (Ciência de Computadores) - Universidade do Porto, Bolseiro(a) de Universidade do Porto (Co-orientador).

3.	Norberto Machado Lopes, Ferramentas Informáticas para a Construção, Indexação e Classificação de Documentos Informáticos, 2007. Iniciação científica (Ciência de Computadores) - Universidade do Porto, Bolseiro(a) de Universidade do Porto (Co-orientador).

4.	Ricardo Gomes, Sistemas dedutivos para lógicas de descrição, 2005. Iniciação científica (Ciência de Computadores) - Universidade do Porto, Bolseiro(a) de Universidade do Porto (Co-orientador).

Em curso Ongoing

1.	Hugo Dias Gouveia, Obtenção de Autómatos não Determinísticos Pequenos e Minimais , 2009. Iniciação científica (Ciência de Computadores) - Universidade do Porto, Bolseiro(a) de Universidade do Porto (Orientador).

Participação no júri de Graus Académicos Academic Degrees jury participation

Doutoramento Phd

1.	Reis, Rogério. Participação no júri de Pedro Dinis Loureiro Salgueiro. Declarative Domain-Specific Languages and Applications to Network Monitoring, 2012. Tese (Engenharia Informática) - Universidade de Évora.

2.	Thierry Brouard; Hubert Cardot; Jaime Lopez Krahe; Simão Melo de Sousa; Reis, Rogério; Jean Marc Salotti. Participação no júri de Stéphane Cauchie. Tactim: From pattern recognition to the security for Biometry, 2009. Tese (Informatique) - Universite de Tours (Universite Francois Rabelais).

3.	Reis, Rogério Ventura Lages dos Santos. Participação no júri de Alexandre Jorge Teixeira Miranda Pinto,. Applications of Kolmogorov Complexity to Cryptography, 2008. Tese (Ciência de Computadores) - Universidade do Porto.

Mestrado Master degree

1.	Reis, Rogério. Participação no júri de José Miguel Gomes Loureiro. Implementação de funções de hash e cifras de chave pública baseadas em retículos, 2012.  Dissertação (Matemática e Computação) - Universidade do Minho.

2.	Reis, Rogério. Participação no júri de Meng Yang. Application and implementation of transducer tools in answering cenrtain questions about regular languages, 2012.  Dissertação (Applied Science (Informatics)) - Saint Mary s University.

3.	Reis, Rogério. Participação no júri de Martinho Rodrigues Monteiro. Utilização de Dispositivos Criptográficos Portáteis em Sistema de Votação Electrónica, 2010.  Dissertação (Engenharia Informática) - Universidade da Beira Interior.

4.	Reis, Rogério Ventura Lages dos Santos. Participação no júri de Nuno Alexandre de Jesus Lopes. A SPARQL Query Engine over Web Ontologies using Contextual Logic Programming, 2007.  Dissertação (Engenharia Informática) - Universidade de Évora.

Participação em eventos Event participation

Participação como Keynote Speaker Participation as Keynote Speaker

1.	IV Iberian Mathematical Meeting, 2012 (Congresso). Nome do evento: IV Iberian Mathematical Meeting; Nome da Instituição: Real Sociedad Matemática Española and the Sociedade Portuguesa de Matemática; Cidade do evento: Valladolid.

2.	Thirteenth International Conference on Implementation and Application of Automata, 2008 (Conferência). Nome do evento: Thirteenth International Conference on Implementation and Application of Automata; Cidade do evento: San Francisco, USA.

Participação como Membro da Comissão Científica Participation as Member of the Program Committee

1.	Non-Classical Models of Automata and Applications, 2013 (Conferência). Nome do evento: Non-Classical Models of Automata and Applications; Cidade do evento: Umeå, Sweden .

2.	15th Workshop on Descriptional Complexity of Formal Systems, 2013 (Conferência). Nome do evento: 15th Workshop on Descriptional Complexity of Formal Systems; Cidade do evento: London, Ontario / Western University.

3.	18th International Conference on Implementation and Application of Automata , 2013 (Conferência). Nome do evento: 18th International Conference on Implementation and Application of Automata; Cidade do evento: Halifax.

4.	14th International Workshop on Descriptional Complexity of Formal Languages, 2012 (Workshop). Nome do evento: 14th International Workshop on Descriptional Complexity of Formal Languages; Cidade do evento: Braga.

5.	17th International Conference on Implementation and Application of Automata , 2012 (Conferência). Nome do evento: 17th International Conference on Implementation and Application of Automata ; Cidade do evento: Porto.

6.	16th International Conference on Implementation and Application of Automata, 2011 (Conferência). Nome do evento: 16th International Conference on Implementation and Application of Automata.

7.	13th International Workshop on Descriptional Complexity of Formal Systems (DCFS), 2011 (Workshop). Nome do evento: 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS); Cidade do evento: Giessen.

8.	15th International Conference on Implementation and Application of Automata, 2010 (Conferência). Nome do evento: 15th International Conference on Implementation and Application of Automata ; Cidade do evento: Winnipeg, Canada.

Outro tipo de participação Other kind of participation

1.	11th Workshop on Descriptional Complexity of Formal Systems (DCFS09), 2009 (Workshop). Cidade do evento: Magdburg.

Produção científica Scientific production

Dados complementares data

Total

Produção científica Scientific production

74

Livros e capítulos Books and book chapters

14

Livros publicados ou organizados Published or organized books

3

Capítulos de livros publicados Published book chapters

11

Artigos científicos em revistas Papers in periodics

20

Com arbitragem científica With scientific refereeing

11

Sem arbitragem científica Without scientific refereeing

9

Trabalhos em eventos Papers in conference proceedings

36

Com arbitragem científica With scientific refereeing

31

Sem arbitragem científica Without scientific refereeing

5

Textos em jornais ou revistas Texts in journals or magazines

4

Revistas Magazines

4

Total

Dados complementares (Additional data)

48

Orientações Orientations

30

Participação no Júri de Graus Académicos Academic Degrees jury participation

7

Participação em Eventos Event participation

11

	André Emanuel Bernardo Almeida
	Eva Catarina Gomes Maia
	Ivone de Fátima da Cruz Amorim
	Nelma Resende Araújo Moreira
	Sabine Babette Broda