81
TITLE: Testing the Equivalence of Regular Languages  Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
SOURCE: 11th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009 in Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009., VOLUME: 3, PUBLISHED: 2009
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
82
TITLE: Exact generation of acyclic deterministic finite automata
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
SOURCE: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008 in Descriptional Complexity of Formal Systems - 10th International Workshop, DCFS 2008, PUBLISHED: 2008
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
83
TITLE: Exact generation of minimal acyclic deterministic finite automata  Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
SOURCE: 9th International Workshop on Descriptional Complexity of Formal Systems in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 19, ISSUE: 4, PUBLISHED: 2008
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
84
TITLE: Formal Modelling of Emotions in BDI Agents  Full Text
AUTHORS: David Pereira ; Eugenio Oliveira ; Nelma Moreira ;
SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056, PUBLISHED: 2008
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
85
TITLE: KAT and PHL in Coq  Full Text
AUTHORS: David Pereira ; Nelma Moreira ;
SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2, PUBLISHED: 2008
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
86
TITLE: Enumeration and generation with a string automata representation  Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 387, ISSUE: 2, PUBLISHED: 2007
INDEXED IN: Scopus WOS DBLP CrossRef: 23
IN MY: ORCID | DBLP
87
TITLE: Acyclic automata with easy-to-find short regular expressions  Full Text
AUTHORS: Morais, JJ; Moreira, N ; Reis, R ;
SOURCE: 10th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 3845, PUBLISHED: 2006
INDEXED IN: WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
88
TITLE: Aspects of enumeration and generation with a string automata representation
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
SOURCE: 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 in 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 - Proceedings, PUBLISHED: 2006
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
89
TITLE: Designing a solver for arithmetic constraints to support education in mathematics  Full Text
AUTHORS: Ana Paula Tomas ; Nelma Moreira ; Nuno Pereira;
SOURCE: 3rd IFIP Conference on Artificial Intelligence Applications and Innovation (AIAI 2006) in Artificial Intelligence Applications and Innovations, VOLUME: 204, PUBLISHED: 2006
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
90
TITLE: Interactive manipulation of regular objects with FAdo
AUTHORS: Nelma Moreira ; Rogério Reis ;
SOURCE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005, PUBLISHED: 2005
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 9 of 11. Total results: 107.