51
TITLE: Incomplete Transition Complexity of Basic Operations on Finite Languages
AUTHORS: Eva Maia; Nelma Moreira ; Rogério Reis ;
SOURCE: 18th International Conference on Implementation and Application of Automata, CIAA 2013 in Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings, VOLUME: 7982, PUBLISHED: 2013
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
52
TITLE: Incomplete Transition Complexity of Some Basic Operations
AUTHORS: Eva Maia; Nelma Moreira ; Rogerio Reis ;
SOURCE: 39th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) in SOFSEM 2013: Theory and Practice of Computer Science, VOLUME: 7741, PUBLISHED: 2013
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
53
TITLE: On the Average Size of Glushkov and Equation Automata for KAT Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
SOURCE: 19th International Symposium on Fundamentals of Computation Theory, FCT 2013 in Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, VOLUME: 8070, PUBLISHED: 2013
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
54
TITLE: Preface
AUTHORS: Nelma Moreira ; Rogério Reis ;
SOURCE: Int. J. Found. Comput. Sci., VOLUME: 24, ISSUE: 6, PUBLISHED: 2013
INDEXED IN: DBLP
IN MY: ORCID | DBLP
55
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
56
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: 2
IN MY: ORCID
57
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: 3
IN MY: ORCID | DBLP
58
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: 4
IN MY: ORCID | DBLP
60
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: ORCID | DBLP
Page 6 of 11. Total results: 105.