José Nuno Fonseca Oliveira
AuthID: R-000-8SF
11
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
Handle12
TÃTULO: Coinductive interpreters for process calculi
AUTORES: Barbosa, L. S.; José N F Oliveira;
PUBLICAÇÃO: 2002
AUTORES: Barbosa, L. S.; José N F Oliveira;
PUBLICAÇÃO: 2002
INDEXADO EM: Handle
Handle NO MEU: 
ORCID
ORCID13
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
Handle14
TÃTULO: Preface
AUTORES: Backhouse, R; Oliveira, JN;
PUBLICAÇÃO: 2000, FONTE: 5th International Conference on Mathematics of Program Construction, MPC 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1837
AUTORES: Backhouse, R; Oliveira, JN;
PUBLICAÇÃO: 2000, FONTE: 5th International Conference on Mathematics of Program Construction, MPC 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1837
INDEXADO EM: 
Scopus
Scopus NO MEU: ORCID
ORCID15
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
Handle16
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
Handle17
TÃTULO: Software reification using the SETS calculus
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 1992
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 1992
INDEXADO EM: Handle
Handle NO MEU: ORCID
ORCID