41
TITLE: Prefix and Right-Partial Derivative Automata
AUTHORS: Eva Maia; Nelma Moreira ; Rogerio Reis ;
SOURCE: 11th Conference on Computability in Europe (CiE) in EVOLVING COMPUTABILITY, VOLUME: 9136, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
42
43
TITLE: Symbolic Manipulation of Code Properties PDF
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
SOURCE: CoRR, VOLUME: abs/1504.04715, PUBLISHED: 2015
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
44
TITLE: Universal Disjunctive Concatenation and Star
AUTHORS: Nelma Moreira ; Giovanni Pighizzini; Rogério Reis ;
SOURCE: 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015 in Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings, VOLUME: 9118, PUBLISHED: 2015
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
45
TITLE: A Hitchhiker's Guide to descriptional complexity through analytic combinatorics  Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 528, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: ORCID | DBLP
46
TITLE: INCREMENTAL DFA MINIMISATION
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
SOURCE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 48, ISSUE: 2, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
47
TITLE: On the Equivalence of Automata for KAT-expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
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, PUBLISHED: 2014
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
48
TITLE: Partial Derivative and Position Bisimilarity Automata
AUTHORS: Eva Maia; Nelma Moreira ; Rogerio Reis ;
SOURCE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
49
TITLE: Symmetric Groups and Quotient Complexity of Boolean Operations
AUTHORS: Jason Bell; Janusz Brzozowski; Nelma Moreira ; Rogerio Reis ;
SOURCE: 41st International Colloquium on Automata, Languages and Programming in AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, VOLUME: 8573, ISSUE: PART 2, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
50
TITLE: The distinguishability operation on regular languages
AUTHORS: Cezar Câmpeanu; Nelma Moreira ; Rogério Reis ;
SOURCE: Sixth Workshop on Non-Classical Models for Automata and Applications - NCMA 2014, Kassel, Germany, July 28-29, 2014. Proceedings, VOLUME: 304, PUBLISHED: 2014
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 5 of 11. Total results: 105.