Departamento de Informática (UM)

Página institucional

1550

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosGabinete

1550

João Alexandre Baptista Vieira Saraiva

Prof. Associado

Lógica e Métodos Formais

E-mail
Ext.: +604433

E7-2.23

Qualificações: 1993 - Mestre em Ciências da Computação (U. Minho); 1999 - Doutoramento em Ciências da Computação (Universidade de Utrecht, Holanda)

Página pessoal: http://www.di.uminho.pt/~jas

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

  • MDSheet: A Framework for Model-driven Spreadsheet Engineering (PDF), Jácome Cunha, João Paulo Fernandes, Jorge Mendes and João Saraiva.34th Internactional Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, pages 1395-1398, June 2012.
  • Type-safe Evolution of Spreadsheets, Jácome Cunha, Joost Visser, Tiago Alves, João Saraiva, In proceedings of the Fundamental Approaches to Software Engineering - FASE 2011, Saarbrücken, Germany, volume 6603 of LNCS, pages 186-201, Springer. March 2011.
  • Shortcut fusion rules for the derivation of circular and higher-order programsAlberto Pardo, João Paulo Fernandes and João Saraiva, Jour-nal Higher-Order and Symbolic Computation,Volume 24, Numbers 1-2, Pages 115-149, 2011
  • Embedding and Evolution of Spreadsheet Models in Spreadsheet Systems. Jácome Cunha, Jorge Mendes, João Paulo Fernandes and João Saraiva. In proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2011), Pittsburgh, USA, pages 179-186, IEEE Computer Society, September 2011.
  • The Objects and Arrows ofComputational Design , Don S. Batory, Maider Azanza, João Saraiva, 11th International Conference on Model DrivenEngineering Languages and Systems (MoDELS 2008), Toulouse, France,September 2008, volume 5301 of LNCS, pag. 1-20, Springer

Projetos

  • SusTrainable (Promoting Sustainability as a Fundamental Driver in Software Development Training and Education: Erasmus)

Docência

Regências: Nenhuma atribuída actualmente

Sem aulas.

Serviço

  • Visiting Research Fellow, Universidade de Tóquio, Japão. Abril a Julho de 2008.
  • Visiting Research Fellow, Universidade do Texas em Austin, USA. Janeiro a Março de 2008.
  • Investigador Convidado, Centro de Informática, Universidade Federal de Pernambuco, Brasil. Setembro a Dezembro de 2007.
  • Visiting Research Fellow, Oxford Computing Laboratory, Universidade de Oxford,Inglaterra. Setembro a Dezembro de 2002.

[ Quadro de todo o pessoal do DIUM ]