José Nuno Fonseca Oliveira
AuthID: R-000-8SF
1
TÃTULO: WIKI::SCORE: a collaborative environment for music transcription and publishing
AUTORES: Almeida, J. J.; Nuno R Carvalho; José N F Oliveira;
PUBLICAÇÃO: 2011
AUTORES: Almeida, J. J.; Nuno R Carvalho; José N F Oliveira;
PUBLICAÇÃO: 2011
INDEXADO EM: 
Handle
Handle2
TÃTULO: Pointfree foundations for (generic) lossless decomposition
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 2011
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
Handle3
TÃTULO: Programming from Galois connection : principles and applications
AUTORES: Shin C Mu; José N F Oliveira;
PUBLICAÇÃO: 2010
AUTORES: Shin C Mu; José N F Oliveira;
PUBLICAÇÃO: 2010
INDEXADO EM: Handle
Handle4
TÃTULO: Galois: a language for proofs using galois connections and fork algebras
AUTORES: Paulo F Silva; Joost Visser; José N F Oliveira;
PUBLICAÇÃO: 2009
AUTORES: Paulo F Silva; Joost Visser; José N F Oliveira;
PUBLICAÇÃO: 2009
INDEXADO EM: Handle
Handle5
TÃTULO: "Bagatelle in C arranged for VDM SoLo"
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 2001
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 2001
INDEXADO EM: Handle
Handle6
TÃTULO: "Explosive" programming controlled by calculation
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 1998
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 1998
INDEXADO EM: Handle
Handle7
TÃTULO: CAMILA: formal software engineering supported by functional programming
AUTORES: José J Almeida; Barbosa, L. S.; Neves, F. L.; José N F Oliveira;
PUBLICAÇÃO: 1997
AUTORES: José J Almeida; Barbosa, L. S.; Neves, F. L.; José N F Oliveira;
PUBLICAÇÃO: 1997
INDEXADO EM: Handle
Handle