Curriculum Vitae

Nelma Resende Araújo Moreira

Data da última atualização »Last update : 18/11/2013


Nelma Resende Araújo Moreira. Concluiu Ciência de Computadores pela Universidade do Porto em 1988. É da Universidade do Porto.


Endereço de acesso a este CV:

http://www.degois.pt/visualizador/curriculum.jsp?key=9900412889960889


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)
Universidade do Porto
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).

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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.








Indicadores de produção (Production indicators)

Total
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
Co-Autores Relacionados no DeGóis (3)
 Co-authors listed in Degóis