61
TITLE: Symmetric Groups and Quotient Complexity of Boolean Operations
AUTHORS: Jason Bell; Janusz Brzozowski; Nelma Moreira ; Rogerio Reis ;
TYPE: Proceedings Paper, PUBLISHED: 2014, SOURCE: 41st International Colloquium on Automata, Languages and Programming in AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, VOLUME: 8573, ISSUE: PART 2
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
62
TITLE: The distinguishability operation on regular languages
AUTHORS: Cezar Câmpeanu; Nelma Moreira ; Rogério Reis ;
TYPE: Proceedings Paper, 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
63
TITLE: Incomplete Transition Complexity of Basic Operations on Finite Languages
AUTHORS: Eva Maia; Nelma Moreira ; Rogério Reis ;
TYPE: Proceedings Paper, PUBLISHED: 2013, 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
64
TITLE: Incomplete Transition Complexity of Some Basic Operations
AUTHORS: Eva Maia; Nelma Moreira ; Rogerio Reis ;
TYPE: Proceedings Paper, PUBLISHED: 2013, 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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
65
TITLE: On the Average Size of Glushkov and Equation Automata for KAT Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
TYPE: Proceedings Paper, PUBLISHED: 2013, 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
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
66
TITLE: Preface
AUTHORS: Nelma Moreira ; Rogério Reis ;
TYPE: Article, PUBLISHED: 2013, SOURCE: Int. J. Found. Comput. Sci., VOLUME: 24, ISSUE: 6
INDEXED IN: DBLP
IN MY: ORCID | DBLP
67
TITLE: PREFACE  Full Text
AUTHORS: Nelma Moreira ; ROGÉRIO REIS ;
TYPE: Article, PUBLISHED: 2013, SOURCE: International Journal of Foundations of Computer Science, VOLUME: 24, ISSUE: 06
INDEXED IN: CrossRef
IN MY: ORCID
68
TITLE: SPECIAL ISSUE IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2012)  Full Text
AUTHORS: Nelma Moreira ; Rogerio Reis ;
TYPE: Editorial Material, PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
69
TITLE: Deciding KAT and Hoare Logic with Derivatives  Full Text
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
TYPE: Proceedings Paper, PUBLISHED: 2012, 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
70
TITLE: Deciding regular expressions (in-)equivalence in Coq
AUTHORS: Nelma Moreira ; Pereira, D ; Melo De Sousa, S ;
TYPE: Proceedings Paper, PUBLISHED: 2012, 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
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
Page 7 of 12. Total results: 117.