José Nuno Fonseca Oliveira
AuthID: R-000-8SF
11
TITLE: Galois: a language for proofs using galois connections and fork algebras
AUTHORS: Paulo F Silva; Joost Visser; José N F Oliveira;
PUBLISHED: 2009
AUTHORS: Paulo F Silva; Joost Visser; José N F Oliveira;
PUBLISHED: 2009
INDEXED IN: 
Handle
Handle12
TITLE: Coinductive interpreters for process calculi
AUTHORS: Barbosa, L. S.; José N F Oliveira;
PUBLISHED: 2002
AUTHORS: Barbosa, L. S.; José N F Oliveira;
PUBLISHED: 2002
INDEXED IN: Handle
Handle IN MY: 
ORCID
ORCID13
TITLE: "Bagatelle in C arranged for VDM SoLo"
AUTHORS: José N F Oliveira;
PUBLISHED: 2001
AUTHORS: José N F Oliveira;
PUBLISHED: 2001
INDEXED IN: Handle
Handle14
TITLE: Preface
AUTHORS: Backhouse, R; Oliveira, JN;
PUBLISHED: 2000, SOURCE: 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
AUTHORS: Backhouse, R; Oliveira, JN;
PUBLISHED: 2000, SOURCE: 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
INDEXED IN: 
Scopus
Scopus IN MY: ORCID
ORCID15
TITLE: "Explosive" programming controlled by calculation
AUTHORS: José N F Oliveira;
PUBLISHED: 1998
AUTHORS: José N F Oliveira;
PUBLISHED: 1998
INDEXED IN: Handle
Handle16
TITLE: CAMILA: formal software engineering supported by functional programming
AUTHORS: José J Almeida; Barbosa, L. S.; Neves, F. L.; José N F Oliveira;
PUBLISHED: 1997
AUTHORS: José J Almeida; Barbosa, L. S.; Neves, F. L.; José N F Oliveira;
PUBLISHED: 1997
INDEXED IN: Handle
Handle17
TITLE: Software reification using the SETS calculus
AUTHORS: José N F Oliveira;
PUBLISHED: 1992
AUTHORS: José N F Oliveira;
PUBLISHED: 1992
INDEXED IN: Handle
Handle IN MY: ORCID
ORCID