Nelma Resende Araújo Moreira
|
|
Data da última atualização
»Last update
:
18/11/2013 |
Dados pessoais (Personal data)
Nome completo
Full name |
Nelma Resende Araújo Moreira |
Nome em citações bibliográficas
Quoting name |
Moreira, Nelma |
Categoria profissional
Position |
Professor Auxiliar |
Endereço profissional
Professional address |
Universidade do Porto Faculdade de Ciências Departamento de Ciência de Computadores R. do Campo Alegre, 1021 Porto 4169-007 Porto Portugal Telefone: (+351)220402920 Correio electrónico: nam@dcc.fc.up.pt Homepage: http://www.dcc.fc.up.pt/~nam |
Sexo
Gender |
Feminino»Female |
Graus Académicos
(Academic Degrees)
1991-1997 |
Doutoramento Phd |
Ciência de Computadores.
Universidade do Porto,
Portugal.
|
1988 |
Provas de Aptidão Pedagógica/Capacidade Científica Evaluation of Pedagogic Readiness/Cientific Ability |
Ciência de Computadores
(2 anos » years)
.
Universidade do Porto,
Portugal.
|
1979-1984 |
Licenciatura Licentiate degree |
Matemática da Faculdade de Ciências
(5 anos » years)
.
Universidade do Porto,
Portugal.
|
Vínculos profissionais
(Professional Positions)
Jan/1998-Actual |
Professor Auxiliar |
Jan/1989-Dez/1997 |
Assistente |
Out/1984-Dez/1988 |
Assistente Estagiário |
Línguas (Languages)
Compreende Understandig |
Português (Bem), Inglês (Bem), Francês (Razoavelmente), Espanhol (Razoavelmente). |
Fala Speaking |
Português (Bem), Inglês (Bem), Francês (Razoavelmente), Espanhol (Pouco). |
Lê Reading |
Português (Bem), Inglês (Bem), Francês (Bem), Espanhol (Razoavelmente). |
Escreve Writing |
Português (Bem), Inglês (Bem), Francês (Pouco), Espanhol (Pouco). |
Produção científica, técnica e artística/cultural
(Scientific, technical and artistical/cultural
production)
Livros publicados/organizados ou edições Published/organized books or Editions |
1. |
Moreira, Nelma; Reis, Rogério. eds. 2012. Implementation and Application of Automata ed. 1, 1 vol., ISBN: 978-3-642-31605-0. Berlin, Heidelberg: Springer Berlin Heidelberg.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
2. |
Kutrib, Martin; Moreira, Nelma; Reis, Rogério. eds. 2012. Descriptional Complexity of Formal Systems ed. 1, ISBN: 978-3-642-31622-7. Berlin, Heidelberg: Springer Berlin Heidelberg.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
3. |
Filgueiras, M.; Damas, L.; Moreira, N.; Tomás, A. P. eds. 1991. Natural Language Processing ed. 1, ISBN: 978-3-540-53678-9. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
Capítulos de livros publicados Published book chapters |
1. |
Moreira, Nelma; Pereira, David; Melo de S. S. 2012. Deciding Regular Expressions (In-)Equivalence in Coq. In Relational and Algebraic Methods in Computer Science, ed. Wolfram KahlTimothy G. Griffin, 98 - 113. ISBN: 978-3-642-33313-2. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
2. |
Moreira, Nelma; REIS, ROGÉRIO; ALMEIDA, MARCO. 2012. Finite Automata Minimization. In Handbook of Finite State Based Models and Applications, ed. Jiacun Wang, 145 - 170. ISBN: 9781439846186. USA: CRC Press.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
3. |
Almeida, Marco; Moreira, Nelma; Reis, Rogério. 2011. Incremental DFA Minimisation. In Implementation and Application of Automata, ed. Michael DomaratzkiKai Salomaa, 39 - 48. ISBN: 978-3-642-18097-2. Berlin, Heidelberg: Springer Berlin Heidelberg.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
4. |
Almeida, José B; Moreira, Nelma; Pereira, David; Sousa, Simão M. 2011. Partial Derivative Automata Formalized in Coq. In Implementation and Application of Automata, ed. Michael DomaratzkiKai Salomaa, 59 - 68. ISBN: 978-3-642-18097-2. Berlin, Heidelberg: Springer Berlin Heidelberg.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
5. |
Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério. 2011. The Average Transition Complexity of Glushkov and Partial Derivative Automata. In Developments in Language Theory, ed. Giancarlo MauriAlberto Leporati, 93 - 104. ISBN: 978-3-642-22320-4. Berlin, Heidelberg: Springer Berlin Heidelberg.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
6. |
Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério. 2010. On the Average Number of States of Partial Derivative Automata. In Developments in Language Theory, ed. Yuan GaoHanlin LuShinnosuke SekiSheng Yu, 112 - 123. ISBN: 978-3-642-14454-7. Berlin, Heidelberg: Springer Berlin Heidelberg.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
7. |
Almeida, André; Almeida, Marco; Alves, José; Moreira, Nelma; Reis, Rogério. 2009. FAdo and GUItar. In Implementation and Application of Automata, ed. Sebastian Maneth, 65 - 74. ISBN: 978-3-642-02978-3. Berlin, Heidelberg: Springer Berlin Heidelberg.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
8. |
Almeida, Marco; Moreira, Nelma; Reis, Rogério. 2008. Antimirov and Mosses’s Rewrite System Revisited. In Implementation and Applications of Automata, ed. Oscar H. Ibarra, Bala Ravikumar, 46 - 56. ISBN: 978-3-540-70843-8. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
9. |
Pereira, David; Oliveira, Eugénio; Moreira, Nelma. 2008. Formal Modelling of Emotions in BDI Agents. In Computational Logic in Multi-Agent Systems, ed. Fariba SadriKen Satoh, 62 - 81. ISBN: 978-3-540-88832-1. Berlin, Heidelberg: Springer Berlin Heidelberg.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
10. |
Tomás, Ana P; Moreira, Nelma; Pereira, Nuno. 2006. Designing a Solver for Arithmetic Constraints to Support Education in Mathematics. In Artificial Intelligence Applications and Innovations, ed. Ilias MaglogiannisKostas KarpouzisMax Bramer, 433 - 441. ISBN: 978-0-387-34223-8. Greece: Springer US.
|
|
|
|
11. |
Morais, José J; Moreira, Nelma; Reis, Rogério. 2006. Acyclic Automata with Easy-to-Find Short Regular Expressions. In Implementation and Application of Automata, ed. Jacques FarréIgor LitovskySylvain Schmitz, 349 - 350. ISBN: 978-3-540-31023-5. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
12. |
Damas, Luís; Moreira, Nelma. 1995. Constraint categorial grammars. In Progress in Artificial Intelligence, ed. Carlos Pinto-FerreiraNuno J. Mamede, 347 - 358. ISBN: 978-3-540-60428-0. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
13. |
Moreira, Nelma; Damas, Luis; Varile, Giovanni. 1994. The formal and computational theory of complex constraint solution.. In Constraints, Language and Computation , ed. C. Rupp, M. A. Rosner, and R. L. Johnson, 149 - 166. ISBN: 0125979304. London: Academic Press. |
|
|
|
14. |
Damas, Luis; Moreira, Nelma; Broda, Sabine. 1993. Resolution of constraints in algebras of rational trees. In Progress in Artificial Intelligence, ed. Miguel FilgueirasLuís Damas, 61 - 76. ISBN: 978-3-540-57287-9. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
15. |
Filgueiras, Miguel; Moreira, Nelma; Tomás, Ana P. 1991. General introduction. In Natural Language Processing, ed. M. FilgueirasL. DamasN. MoreiraA. P. Tomás, 1 - 3. ISBN: 978-3-540-53678-9. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
16. |
Moreira, Nelma; REIS, ROGÉRIO; Filgueiras, Miguel; Tomás, Ana P; Leal, José P. 1990. Natural language and natural menus interfaces. In Modelling the Innovation: Communications, Automation and Information Systems, 299 - 306. ISBN: 0-444-88565-X. London: North-Holland,. |
|
|
|
17. |
Moreira, Nelma. 1989. Semantic analysis of time and tense in natural language: an implementation. In EPIA 89, ed. J. P. MartinsE. M. Morgado, 198 - 209. ISBN: 978-3-540-51665-1. Berlin, Heidelberg: Springer Berlin Heidelberg.
|
|
|
|
Artigos em revistas com arbitragem científica Papers in periodics with scientific refereeing |
1. |
BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO. 2012. "ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA", International Journal of Foundations of Computer Science 23, 05: 969 - 984.
|
|
|
|
2. |
BRODA, SABINE; MACHIAVELO, ANTÓNIO; MOREIRA, NELMA; REIS, ROGÉRIO. 2011. "ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH", International Journal of Foundations of Computer Science 22, 07: 1593 - 1606.
|
|
|
|
3. |
ALMEIDA, MARCO; MOREIRA, NELMA; REIS, ROGÉRIO. 2009. "ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED", International Journal of Foundations of Computer Science 20, 04: 669 - 684.
|
|
|
|
4. |
Moreira, Nelma; REIS, ROGÉRIO; ALMEIDA, MARCO. 2009. " Testing the equivalence of regular languages", Journal of Automata, Languages and Combinatorics 15, 1/2: 7 - 25. |
|
|
|
5. |
Moreira, Nelma; REIS, ROGÉRIO. 2009. "Series-parallel automata and short regular expressions", Fundamenta Informaticae 91, 3-4: 611 - 629.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
6. |
ALMEIDA, MARCO; MOREIRA, NELMA; REIS, ROGÉRIO. 2008. "EXACT GENERATION OF MINIMAL ACYCLIC DETERMINISTIC FINITE AUTOMATA", International Journal of Foundations of Computer Science 19, 04: 751 - 751.
|
|
|
|
7. |
Moreira, Nelma; Pereira, David. 2008. " KAT and PHL in COQ.", Computer Science and Information Systems 05, 02: 137 - 160.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
8. |
Almeida, Marco; Moreira, Nelma; Reis, Rogério. 2007. "Enumeration and generation with a string automata representation", Theoretical Computer Science 387, 2: 93 - 102.
|
|
|
|
Trabalhos completos/resumidos em eventos com arbitragem científica Papers in conference proceedings with scientific refereeing |
1. |
Moreira, Nelma; Reis, Rogério; Nabais, Davide. 2010. "State Elimination Ordering Strategies: Some Experimental Results", Trabalho apresentado em Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, In Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, Saskatoon.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
2. |
Moreira, Nelma; REIS, ROGÉRIO; Alves, José. 2010. "XML description for automata manipulations.", Trabalho apresentado em XATA 2010, XML: aplicações e tecnologias associadas, , In Actas XATA 2010, XML: aplicações e tecnologias associadas, , Vila do Conde.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
3. |
Moreira, Nelma; Reis, Rogério; ALMEIDA, MARCO. 2008. "Exact Generation of Acyclic Deterministic Finite Automata", Trabalho apresentado em 0th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008, , In 10th International Workshop on Descriptional Complexity of Formal Systems, , Charlottetown. |
|
|
|
4. |
Moreira, Nelma; Lacerda, Silvestre; REIS, ROGÉRIO; Lopes, Norberto. 2007. "A toolkit for an oral history digital archive", Trabalho apresentado em XATA 2008, XML: aplicações e tecnologias associadas, In Actas XATA 2008, XML: aplicações e tecnologias associadas, Évora. |
|
|
|
5. |
Moreira, Nelma; REIS, ROGÉRIO; ALMEIDA, MARCO. 2007. "Exact Generation of Minimal Acyclic Deterministic Finite Automata", Trabalho apresentado em 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007,, In 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007,, High Tatras. |
|
|
|
6. |
Moreira, Nelma; REIS, ROGÉRIO; Lacerda, Silvestre; Lopes, Norberto. 2007. "Ferramentas para a construção de arquivos digitais de história oral.", Trabalho apresentado em XATA 2007, XML: aplicações e tecnologias associadas, In Actas XATA 2007, XML: aplicações e tecnologias associadas, Lisboa. |
|
|
|
7. |
Moreira, Nelma; REIS, ROGÉRIO; ALMEIDA, MARCO. 2006. "Aspects of Enumeration and Generation with a String Automata Representation}", Trabalho apresentado em 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006,, In 8th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2006,, Las Cruces, NM. |
|
|
|
8. |
Moreira, Nelma; Pereira, David; Oliveira, Eugénio. 2006. "Modelling emotional bdi agents", Trabalho apresentado em Workshop on Formal Approaches to Multi-Agent Systems (FAMAS 2006), In Workshop on Formal Approaches to Multi-Agent Systems (FAMAS 2006), Riva del Garda. |
|
|
|
9. |
Moreira, Nelma; Reis, Rogério. 2005. "Interactive manipulation of regular objects with FAdo", Trabalho apresentado em the 10th annual SIGCSE conference, In Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education - ITiCSE '05, Capacrica, Portugal.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
|
|
|
10. |
Moreira, Nelma; REIS, ROGÉRIO; ALMEIDA, MARCO. 2005. "On the Representation of Finite Automata", Trabalho apresentado em 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005,, In 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005,, Como. |
|
|
|
11. |
Moreira, Nelma; Oliveira, Eugénio; Pereira, David; Sarmento, Luís. 2005. "Towards an architecture for emotional bdi agents.", Trabalho apresentado em EPIA05 - 12th Portuguese Conference on Artificial Intelligence, In EPIA05 - 12th Portuguese Conference on Artificial Intelligence, Covinhã. |
|
|
|
12. |
Moreira, Nelma; Oliveira, Ângela. 2005. "Gerexa: Plataforma integrada para a organização, geração e avaliação de exercícios e testes.", Trabalho apresentado em 3a Conferência Nacional XML: Aplicações e Tecnologias Associadas. , In Actas da 3a Conferência Nacional XML: Aplicações e Tecnologias Associadas. , Braga. |
|
|
|
13. |
Moreira, Nelma; Reis, Rogério; Pedroso, João P. 2004. " A web-based system for multi-agent interactive timetabling.", Trabalho apresentado em First International Conference on Knowledge Engineering and Decision Support, ICKEDS 2004,, In ICKEDS 2004, Porto. |
|
|
|
14. |
Moreira, Nelma. 2000. "Using matching for automatic assessment in computer science learning environments.", Trabalho apresentado em Web-Based Lerning Environments, In Web-Based Lerning Environments, Porto. |
|
|
|
15. |
Moreira, Nelma; Varile, Giovanni; Damas, Luis. 1991. "The formal and processing models of CLG", Trabalho apresentado em Fifth Conference of the European Chapter of the Association for Computational Linguistics, , In Fifth Conference of the European Chapter of the Association for Computational Linguistics, , Berlin. |
|
|
|
16. |
Moreira, Nelma; Leal, José P; Damas, Luis. 1990. "A history based interface", Trabalho apresentado em Workshop on Logic Programming Environments, In Proceedings of the ICLP preconference Workshop on Logic Programming Environments, Paris. |
|
|
|
17. |
Moreira, Nelma; Balari, Sérgio; Damas, Luis; Varile, Giovanni. 1990. "CLG(n): Constraint logic grammars.", Trabalho apresentado em 3th International Conference on Computational Linguistics (COLING), , In Proceedings of the 13th International Conference on Computational Linguistics (COLING), Helsinki. |
|
|
|
18. |
Moreira, Nelma; Labouriau, Isabel. 1985. "Soluções periódicas das equações de Fitzhugh para o impulso nervoso", Trabalho apresentado em VII Congresso do Grupo de Matemáticos de Expressão Latina, In Actas do VII Congresso do Grupo de Matemáticos de Expressão Latina, Coimbra. |
|
|
|
Artigos em revistas sem arbitragem científica Papers in periodics without scientific refereeing |
1. |
Reis, Rogério; Moreira, Nelma. 2001. "Apoo", ACM SIGCSE Bulletin 33, 4: 43 - 43.
|
|
|
|
Trabalhos completos/resumidos em eventos sem arbitragem científica Papers in conference proceedings without scientific refereeing |
1. |
Moreira, Nelma; REIS, ROGÉRIO. 2005. "Fado:interactive tools for learning formal computational models.", Trabalho apresentado em Encontro Nacional de Visualização Científica,, In Encontro Nacional de Visualização Científica,, Espinho. |
|
|
|
2. |
Moreira, Nelma; Leal, José P; Ribeiro, Pedro. 2001. "Edic: Uma abordagem para apresentação de conteúdos pedagógicos na web.", Trabalho apresentado em International Conference on New Technologies in Science Education (resumos), CINTEC 2001, In Proceedings of the International Conference on New Technologies in Science Education (resumos), CINTEC 2001, Aveiro. |
|
|
|
Outra produção científica Other scientific production |
1. |
Moreira, Nelma; BRODA, SABINE; Almeida, Ricardo. 2012. "Deciding KAT and Hoare Logic with Derivatives". Italy: EPTCS.
![Homepage da produção](/wayback/20200213043605im_/http://www.degois.pt/imagens/degois/home16.png) |
Indicadores de produção
(Production indicators)
Produção científica
Scientific production |
Produção científica Scientific production |
50 |
Livros e capítulos Books and book chapters |
20 |
Livros publicados ou organizados Published or organized books |
3 |
Capítulos de livros publicados Published book chapters |
17 |
Artigos científicos em revistas Papers in periodics |
9 |
Com arbitragem científica With scientific refereeing |
8 |
Sem arbitragem científica Without scientific refereeing |
1 |
Trabalhos em eventos Papers in conference proceedings |
20 |
Com arbitragem científica With scientific refereeing |
18 |
Sem arbitragem científica Without scientific refereeing |
2 |
Outros tipos de produção científica Other scientific production |
1 |
Visualizações do curriculum [
1270
]
|
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM
em
13-02-2020
às
04:36:05
|
Plataforma de Curricula DeGóis: http://www.degois.pt | Icons by Axialis Team |
|