Universidade do Minho > Departamento de Informática / Centro de Ciências e Tecnologias da Computação >
Identity based cryptography from bilinear pairings
Down with variables
Functional programming and program transformation with interaction nets
Constructor subtyping : extended version
CAREN - A java based apriori implementation for classification purposes