Faculdade

Notícias

Oito artigos de estudantes do DI/NOVA LINCS no INForum 2018

05-09-2018

No INForum 2018 foram aceites nada menos que oito trabalhos científicos desenvolvidos por estudantes do Mestrado Integrado em Engenharia Informática (MIEI) e Programa Doutoral em Informática da FCT NOVA, um record de participação no evento a nível nacional.

O INForum - Simpósio de Informática é o encontro anual da comunidade nacional para divulgação, discussão e reconhecimento de trabalhos científicos e avanços tecnológicos em Informática e Computação, também com o objetivo de fornecer um ambiente privilegiado para a estreia de jovens investigadores que procuram a divulgação, a crítica construtiva e o encorajamento ao seu trabalho.

A participação tão expressiva de estudantes do MIEI no Simpósio de Informática demonstra a capacidade de integração dos estudantes do curso nas actividades de investigação do laboratório do DI, o NOVA LINCS, e contribui para a divulgação da investigação de qualidade desenvolvida pelos seus investigadores.

O INForum 2018 é a 10ª edição do Simpósio de Informática, que decorreu nos dias 3 e 4 de setembro de 2018, na Universidade de Coimbra.

 

Lista de artigos apresentados (alunos marcados com *)

  • Consistência Causal em Sistemas Geo-Distribuídos com Replicação Parcial, Pedro Fouto (*), João Leitão, Nuno Preguiça
  • Set CRDT com Múltiplas Políticas de Resolução de Conflitos, André Rijo (*), Carla Ferreira, Nuno Preguiça
  • Monitorização de Níveis de Segurança Dependentes em Código Intermédio, Eduardo Geraldo (*), João Costa Seco
  • Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória, Patricia Monteiro (*), João Lourenço, António Ravara
  • SCRDTs: Tipos de Dados Seguros e Replicados sem Conflitos, Joana Tavares (*), Nuno Preguiça, Bernardo Ferreira
  • Yggdrasil: Uma Framework para Desenvolvimento e Execução de Protocolos em Redes Ad Hoc, Pedro Ákos Costa (*), João Leitão
  • Agregação Contínua e Prática em Ambientes Sem Fios na Berma, Pedro Ákos Costa (*), João Leitão
  • Pesquisa Booleana Cifrada usando Hardware Confiável, Guilherme Borges (*), João Leitão, Henrique Domingos, Bernardo Ferreira