31
TITLE: On the Formalization of Some Results of Context-Free Language Theory
AUTHORS: Marcus Vinicius M Midena Ramos; Ruy J G B de Queiroz; Nelma Moreira ; Jose Carlos B Bacelar Almeida ;
SOURCE: 23rd International Workshop on Logic, Language, Information and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, VOLUME: 9803, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
32
TITLE: On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection
AUTHORS: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
SOURCE: 18th IFIP WG 1.2 International Conference on Descriptional Complexity of Formal Systems, DCFS 2016 in Descriptional Complexity of Formal Systems - 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings, VOLUME: 9777, PUBLISHED: 2016
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
33
TITLE: Position Automaton Construction for Regular Expressions with Intersection
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
SOURCE: 20th International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016, VOLUME: 9840, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
34
TITLE: Preface: Non-classical models of automata and applications VII
AUTHORS: Holzer, M; Moreira, N ; Reis, R;
SOURCE: RAIRO - Theoretical Informatics and Applications, VOLUME: 50, ISSUE: 4, PUBLISHED: 2016
INDEXED IN: Scopus CrossRef
IN MY: ORCID
35
TITLE: Average Size of Automata Constructions from Regular Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
SOURCE: Bulletin of the EATCS, VOLUME: 116, PUBLISHED: 2015
INDEXED IN: DBLP
IN MY: ORCID | DBLP
36
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
37
TITLE: Deciding synchronous Kleene algebra with derivatives
AUTHORS: Broda, S ; Cavadas, S; Ferreira, M; Moreira, N ;
SOURCE: 20th International Conference on Implementation and Application of Automata, CIAA 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9223, PUBLISHED: 2015
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
38
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 ;
SOURCE: CoRR, VOLUME: abs/1510.09092, PUBLISHED: 2015
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
39
TITLE: Incomplete operational transition complexity of regular languages  Full Text
AUTHORS: Eva Maia; Nelma Moreira ; Rogerio Reis ;
SOURCE: INFORMATION AND COMPUTATION, VOLUME: 244, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
40
TITLE: Optimal State Reductions of Automata with Partially Specified Behaviors
AUTHORS: Nelma Moreira ; Giovanni Pighizzini; Rogerio Reis ;
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, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 4 of 11. Total results: 107.