Rogério Ventura Lages dos Santos Reis


AuthID: R-000-FN6

Publicações Confirmadas: 127



71
TÍTULO: Counting Equivalent Linear Finite Transducers Using a Canonical Form
AUTORES: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
PUBLICAÇÃO: 2014, FONTE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
72
TÍTULO: INCREMENTAL DFA MINIMISATION
AUTORES: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2014, FONTE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 48, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
73
TÍTULO: On the Equivalence of Automata for KAT-expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2014, FONTE: 10th Conference on Computability in Europe, CiE 2014 in Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, VOLUME: 8493
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
74
TÍTULO: ON THE INVERTIBILITY OF FINITE LINEAR TRANSDUCERS
AUTORES: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
PUBLICAÇÃO: 2014, FONTE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 48, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
75
TÍTULO: Partial Derivative and Position Bisimilarity Automata
AUTORES: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2014, FONTE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
76
TÍTULO: Preface
AUTORES: Jurgensen, H; Reis, R ;
PUBLICAÇÃO: 2014, FONTE: International Journal of Foundations of Computer Science, VOLUME: 25, NÚMERO: 7
INDEXADO EM: Scopus
77
TÍTULO: Preface
AUTORES: Helmut Jürgensen; Rogério Reis ;
PUBLICAÇÃO: 2014, FONTE: Int. J. Found. Comput. Sci., VOLUME: 25, NÚMERO: 7
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
78
TÍTULO: PREFACE  Full Text
AUTORES: HELMUT JÜRGENSEN; ROGÉRIO REIS ;
PUBLICAÇÃO: 2014, FONTE: International Journal of Foundations of Computer Science, VOLUME: 25, NÚMERO: 07
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
79
TÍTULO: SPECIAL ISSUE DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS (DCFS 2013) PREFACE
AUTORES: Helmut Juergensen; Rogerio Reis ;
PUBLICAÇÃO: 2014, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 25, NÚMERO: 7
INDEXADO EM: WOS
NO MEU: ORCID
80
TÍTULO: Statistical study on the number of injective linear finite transducers
AUTORES: Ivone Amorim; António Machiavelo ; Rogério Reis ;
PUBLICAÇÃO: 2014, FONTE: Sixth Workshop on Non-Classical Models for Automata and Applications - NCMA 2014, Kassel, Germany, July 28-29, 2014. Proceedings, VOLUME: 304
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 8 de 13. Total de resultados: 127.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service