Rogério Ventura Lages dos Santos Reis
|
|
Data da última atualização
»Last update
:
28/05/2017 |
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)
Jun/2007-Actual |
Professor Auxiliar |
Out/1997-Mai/2007 |
Assistente |
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). |
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). |
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.
![Homepage da produção](/wayback/20210113013351im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
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)
Tese de Doutoramento Phd Thesis |
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). |
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 |
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). |
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 |
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 |
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 |
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). |
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 |
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. |
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)
Produção científica
Scientific production |
Dados complementares
data |
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 |
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 [
2292
]
|
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM
em
13-01-2021
às
01:33:57
|
Plataforma de Curricula DeGóis: http://www.degois.pt/ | Icons by Axialis Team |
|