51
TITLE: PREFACE  Full Text
AUTHORS: NELMA MOREIRA ; ROGÉRIO REIS ;
SOURCE: International Journal of Foundations of Computer Science, VOLUME: 24, ISSUE: 06, PUBLISHED: 2013
INDEXED IN: CrossRef
IN MY: ORCID
52
TITLE: SPECIAL ISSUE IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2012)  Full Text
AUTHORS: Nelma Moreira ; Rogerio Reis ;
SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, ISSUE: 6, PUBLISHED: 2013
INDEXED IN: Scopus WOS CrossRef
53
TITLE: Deciding KAT and Hoare Logic with Derivatives  Full Text
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
SOURCE: 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012 in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., VOLUME: 96, PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
54
TITLE: Deciding regular expressions (in-)equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS, PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
56
TITLE: Editorial
AUTHORS: Jürgen Dassow; Martin Kutrib; Nelma Moreira ; Rogério Reis ;
SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 17, ISSUE: 2-4, PUBLISHED: 2012
INDEXED IN: DBLP
IN MY: DBLP
57
TITLE: Finite Automata Minimization
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
SOURCE: Handbook of Finite State Based Models and Applications., PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
59
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Moreira, N ; Reis, R ;
SOURCE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS, PUBLISHED: 2012
INDEXED IN: Scopus
IN MY: ORCID
60
TITLE: ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA  Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 23, ISSUE: 5, PUBLISHED: 2012
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | DBLP
Page 6 of 11. Total results: 102.