Curriculum Vitae

Rogério Ventura Lages dos Santos Reis

Data da última atualização »Last update : 28/05/2017


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


Dados pessoais (Personal data)
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




Graus Académicos (Academic Degrees)
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.





Vínculos profissionais (Professional Positions)
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





Projetos de Investigação (Research projects)
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.






Línguas (Languages)
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).

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).




Membro de Associações Profissionais/Científicas (Professional/Scientific Association membership)
Actual Sociedade Portuguesa de Matemática, Membro.
Actual American Mathematical Society, Membro.




Produção científica, técnica e artística/cultural (Scientific, technical and artistical/cultural production)
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.





Dados Complementares (Additional data)


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.








Indicadores de produção (Production indicators)

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


Visualizações do curriculum [ 1947 ]
 
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM em 23-04-2019 às 01:03:07
Plataforma de Curricula DeGóis: http://www.degois.pt | Icons by Axialis Team
Co-Autores Relacionados no DeGóis (5)
 Co-authors listed in Degóis