Nelma Moreira
Faculdade de Ciências da Universidade do Porto
.
| 2010 | Testing the Equivalence of Regular Languages |
Journal of Automata, Languages and Combinatorics | 2010 | article | ||
| 2009 | Antimirov and Mosses's Rewrite System Revisited |
International Journal of Foundations of Computer Science | 2009 | article | ||
| 2009 | Antimirov and Mosses's Rewrite System Revisited |
Int. J. Found. Comput. Sci. | 2009 | article | ||
| 2009 | FAdo and GUItar: Tools for Automata Manipulation and Visualization |
Implementation and Application of Automata, Proceedings | 2009 | inproceedings | ||
| 2009 | Series-Parallel Automata and Short Regular Expressions |
Fundamenta Informaticae | 2009 | article | ||
| 2009 | Testing the Equivalence of Regular Languages |
Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009. | 2009 | inproceedings | ||
| 2008 | Exact generation of acyclic deterministic finite automata |
Descriptional Complexity of Formal Systems - 10th International Workshop, DCFS 2008 | 2008 | inproceedings | ||
| 2008 | Exact generation of minimal acyclic deterministic finite automata |
International Journal of Foundations of Computer Science | 2008 | article | ||
| 2008 | Formal Modelling of Emotions in BDI Agents |
Computational Logic in Multi-agent Systems | 2008 | inproceedings | ||
| 2008 | KAT and PHL in Coq |
Computer Science and Information Systems | 2008 | article | ||
| 2007 | Enumeration and generation with a string automata representation |
Theoretical Computer Science | 2007 | article | ||
| 2006 | Acyclic automata with easy-to-find short regular expressions |
Implementation and Application of Automata | 2006 | article | ||
| 2006 | Aspects of enumeration and generation with a string automata representation |
8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 - Proceedings | 2006 | inproceedings | ||
| 2006 | Designing a solver for arithmetic constraints to support education in mathematics |
Artificial Intelligence Applications and Innovations | 2006 | inproceedings | ||
| 2005 | Interactive manipulation of regular objects with FAdo |
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005 | 2005 | inproceedings | ||
| 2005 | On the density of languages representing finite set partitions |
Journal of Integer Sequences | 2005 | article | ||
| 2005 | On the representation of finite automata |
7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings | 2005 | inproceedings | ||
| 2005 | Towards an architecture for Emotional BDI agents |
2005 Portuguese Conference on Artificial Intelligence, Proceedings | 2005 | inproceedings | ||
| 2001 | Apoo: an environment for a first course in assembly language programming |
SIGCSE Bulletin | 2001 | article | ||
| 1995 | Constraint Categorial Grammars |
CoRR | 1995 | misc | ||
| 1995 | Constraint Categorial Grammars |
Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings | 1995 | inproceedings | ||
| 1993 | Resolution of Constraints in Algebras of Rational Trees |
Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings | 1993 | inproceedings | ||
| 1991 | An History Based Interface |
Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orléans, France, LIFO N 91-6 | 1991 | inproceedings | ||
| 1991 | General introduction |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1991 | inproceedings | ||
| 1991 | Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings |
Eaia | 1991 | proceedings |