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

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

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.

Universidade do Porto

Jan/1998-Actual

Professor Auxiliar

Jan/1989-Dez/1997

Assistente

Out/1984-Dez/1988

Assistente Estagiário

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

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.

Produção científica Scientific production

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

	José Carlos Bacelar Ferreira Junqueira de Almeida
	Rogério Ventura Lages dos Santos Reis
	Sabine Babette Broda