Rogério Ventura Lages dos Santos Reis


AuthID: R-000-FN6

Confirmed Publications: 127



71
TITLE: Counting Equivalent Linear Finite Transducers Using a Canonical Form
AUTHORS: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
72
TITLE: INCREMENTAL DFA MINIMISATION
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 48, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
73
TITLE: On the Equivalence of Automata for KAT-expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
74
TITLE: ON THE INVERTIBILITY OF FINITE LINEAR TRANSDUCERS
AUTHORS: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 48, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
75
TITLE: Partial Derivative and Position Bisimilarity Automata
AUTHORS: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
76
TITLE: Preface
AUTHORS: Jurgensen, H; Reis, R ;
PUBLISHED: 2014, SOURCE: International Journal of Foundations of Computer Science, VOLUME: 25, ISSUE: 7
INDEXED IN: Scopus
77
TITLE: Preface
AUTHORS: Helmut Jürgensen; Rogério Reis ;
PUBLISHED: 2014, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 25, ISSUE: 7
INDEXED IN: DBLP
IN MY: ORCID | DBLP
78
TITLE: PREFACE  Full Text
AUTHORS: HELMUT JÜRGENSEN; ROGÉRIO REIS ;
PUBLISHED: 2014, SOURCE: International Journal of Foundations of Computer Science, VOLUME: 25, ISSUE: 07
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
79
TITLE: SPECIAL ISSUE DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS (DCFS 2013) PREFACE
AUTHORS: Helmut Juergensen; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 25, ISSUE: 7
INDEXED IN: WOS
IN MY: ORCID
80
TITLE: Statistical study on the number of injective linear finite transducers
AUTHORS: Ivone Amorim; António Machiavelo ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: Sixth Workshop on Non-Classical Models for Automata and Applications - NCMA 2014, Kassel, Germany, July 28-29, 2014. Proceedings, VOLUME: 304
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 8 of 13. Total results: 127.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service