22
TITLE: Automata Serialization for Manipulation and Drawing
AUTHORS: Miguel Ferreira; Nelma Moreira ; Rogério Reis ;
SOURCE: 5th Symposium on Languages, Applications and Technologies, SLATE 2016 in 5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia, VOLUME: 51, PUBLISHED: 2016
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
23
TITLE: Channels with Synchronization/Substitution Errors and Computation of Error Control Codes PDF
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
SOURCE: CoRR, VOLUME: abs/1601.06312, PUBLISHED: 2016
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
24
TITLE: Distinguishability Operations and Closures  Full Text
AUTHORS: Cezar Campeanu; Nelma Moreira ; Rogerio Reis ;
SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 148, ISSUE: 3-4, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
25
TITLE: Formalization of the Pumping Lemma for Context-Free Languages
AUTHORS: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
SOURCE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, ISSUE: 2, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
26
TITLE: Generating error control codes with automata and transducers
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
SOURCE: Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings, VOLUME: 321, PUBLISHED: 2016
INDEXED IN: DBLP
IN MY: ORCID | DBLP
27
TITLE: Implementation of Code Properties via Transducers  Full Text
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogerio Reis ;
SOURCE: 21st International Conference on Implementation and Application of Automata (CIAA) in Implementation and Application of Automata, VOLUME: 9705, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
28
TITLE: On the dissimilarity operation on finite languages
AUTHORS: Cezar Câmpeanu; Nelma Moreira ; Rogério Reis ;
SOURCE: Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings, VOLUME: 321, PUBLISHED: 2016
INDEXED IN: DBLP
IN MY: ORCID | DBLP
29
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
30
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
Page 3 of 11. Total results: 105.