Navigation

apoios-header

 

FCT.png

 

cisuc.jpg

 

citi.jpg

 

ieeta.jpg

 

lasige.jpg

 

cctc-logo

 

 

acordodia.jpg

 

eurotux.jpg

 

feedzai.jpg

 

Núcleo de Estudantes de Informática

 

 

Lista dos nomeados para melhor artigo de estudante

 

TRACK: Bioinformática
  • PAPER 120
  • Emanuel Gonçalves and Miguel Rocha
  • Strain Optimization Metaheuristics for Discovering the Optimal Level of Gene Expression

 

TRACK: Ciência e Engenharia de Software
  • PAPER 114
  • Luísa Lourenço
  • A Core Language for Data-Centric Processes

 

TRACK: Computação Paralela, Distribuída e de Larga Escala
  • PAPER 46
  • Pedro Ruivo, Maria Couceiro, Paolo Romano and Luís Rodrigues
  • Replicação Parcial em Sistemas de Memória Transaccional

 

TRACK: Computação Móvel e Ubíqua
  • PAPER 102
  • João Ludovico and Hugo Miranda
  • Digest Exchange Broadcast Algorithm

 

TRACK: Sistemas Embebidos e de Tempo-Real
  • PAPER 133
  • José Miguel Faria, João Martins and Jorge Sousa Pinto
  • An Approach to Model Checking Ada Programs

 

TRACK: Engenharia Conduzida por Modelos
  • PAPER 29
  • Anacleto Correia, Fernando Brito e Abreu and Vasco Amaral
  • SLALOM: a language for Service Level Agreement specification and monitoring

 

TRACK: Segurança de Sistemas de Computadores e Comunicações
  • PAPER 77
  • Xavier Vilaça, João Leitão and Luís Rodrigues
  • Transferência de Dados entre Grupos de Processos no Modelo BAR

 

TRACK: Compiladores e Linguagens de Programação
  • PAPER 11
  • Nuno Carvalho, José João Almeida and Alberto Simões
  • Weaving OML in a General Purpose Programming Language
  
Acções do Documento
« Agosto 2017 »
Agosto
Do
123456
78910111213
14151617181920
21222324252627
28293031
 
Sections