Nelma Resende Araujo Moreira


AuthID: R-000-DGK

Confirmed Publications: 129



61
TITLE: Formalization of context-free language theory PDF
AUTHORS: Marcus V. M. Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1510.09092
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
62
TITLE: Incomplete operational transition complexity of regular languages  Full Text
AUTHORS: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2015, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 244
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
63
TITLE: Optimal State Reductions of Automata with Partially Specified Behaviors
AUTHORS: Nelma Moreira ; Giovanni Pighizzini; Rogerio Reis ;
PUBLISHED: 2015, SOURCE: 41st International Conference on Current Trends in Theory and Practice of Computer Science ((SOFSEM) in SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, VOLUME: 8939
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
64
TITLE: Partial Derivative Automaton for Regular Expressions with Shuffle
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
65
TITLE: Prefix and Right-Partial Derivative Automata
AUTHORS: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2015, SOURCE: 11th Conference on Computability in Europe (CiE) in EVOLVING COMPUTABILITY, VOLUME: 9136
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
66
67
TITLE: Symbolic Manipulation of Code Properties PDF
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1504.04715
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
68
TITLE: Universal Disjunctive Concatenation and Star
AUTHORS: Nelma Moreira ; Giovanni Pighizzini; Rogério Reis ;
PUBLISHED: 2015, 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
69
TITLE: A Hitchhiker's Guide to descriptional complexity through analytic combinatorics  Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 528
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP
70
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
Page 7 of 13. Total results: 129.

A place for researchers and their institutions

Useful Links

Get Help

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