Nelma Moreira
Nelma Moreira
Universidade do Porto
Подтвержден адрес электронной почты в домене g.uporto.pt - Главная страница
Название
Процитировано
Процитировано
Год
Towards an architecture for emotional BDI agents
D Pereira, E Oliveira, N Moreira, L Sarmento
2005 portuguese conference on artificial intelligence, 40-46, 2005
692005
A survey on operational state complexity
Y Gao, N Moreira, R Reis, S Yu
arXiv preprint arXiv:1509.03254, 2015
57*2015
Formal modelling of emotions in BDI agents
D Pereira, E Oliveira, N Moreira
International Workshop on Computational Logic in Multi-Agent Systems, 62-81, 2007
552007
Enumeration and generation with a string automata representation
M Almeida, N Moreira, R Reis
Theoretical Computer Science 387 (2), 93-102, 2007
522007
On the performance of automata minimization algorithms
M Almeida, N Moreira, R Reis
Logic and Theory of Algorithms, 3, 2007
422007
FAdo and GUItar: tools for automata manipulation and visualization
A Almeida, M Almeida, J Alves, N Moreira, R Reis
International Conference on Implementation and Application of Automata, 65-74, 2009
372009
On the average state complexity of partial derivative automata: An analytic combinatorics approach
S Broda, A Machiavelo, N Moreira, R Reis
International Journal of Foundations of Computer Science 22 (07), 1593-1606, 2011
292011
Partial Derivative Automata Formalized in Coq
JB Almeida, N Moreira, D Pereira, SM de Sousa
International Conference on Implementation and Application of Automata, 59-68, 2010
262010
Modelling emotional BDI agents
D Pereira, E Oliveira, N Moreira
Workshop on Formal Approaches to Multi-Agent Systems (FAMAS 2006), Riva Del …, 2006
252006
On the average size of Glushkov and partial derivative automata
S Broda, A Machiavelo, N Moreira, R Reis
International Journal of Foundations of Computer Science 23 (05), 969-984, 2012
242012
Testing the equivalence of regular languages
M Almeida, N Moreira, R Reis
arXiv preprint arXiv:0907.5058, 2009
222009
Antimirov and Mosses's rewrite system revisited
M Almeida, N Moreira, R Reis
International Journal of Foundations of Computer Science 20 (04), 669-684, 2009
212009
Interactive manipulation of regular objects with FAdo
N Moreira, R Reis
ACM SIGCSE Bulletin 37 (3), 335-339, 2005
212005
On the density of languages representing finite set partitions
N Moreira, R Reis
Journal of Integer Sequences 8 (05.2), 8, 2005
202005
Symmetric groups and quotient complexity of boolean operations
J Bell, J Brzozowski, N Moreira, R Reis
International Colloquium on Automata, Languages, and Programming, 1-12, 2014
182014
On the representation of finite automata
R Reis, N Moreira, M Almeida
arXiv preprint arXiv:0906.2477, 2009
182009
Deciding regular expressions (in-) equivalence in Coq
N Moreira, D Pereira, SM de Sousa
International Conference on Relational and Algebraic Methods in Computer …, 2012
172012
Series-parallel automata and short regular expressions
N Moreira, R Reis
Fundamenta Informaticae 91 (3-4), 611-629, 2009
162009
A Hitchhiker's Guide to descriptional complexity through analytic combinatorics
S Broda, A Machiavelo, N Moreira, R Reis
Theoretical Computer Science 528, 85-100, 2014
152014
Deciding KAT and Hoare logic with derivatives
R Almeida, S Broda, N Moreira
arXiv preprint arXiv:1210.2456, 2012
152012
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20