José Nuno Fonseca Oliveira
AuthID: R-000-8SF
1
TITLE: On Quantitative Solution Iteration in QAlloy
AUTHORS: Pedro Silva; Nuno Macedo; José Nuno Oliveira;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State-Based Methods, ABZ 2025 in Lecture Notes in Computer Science, VOLUME: 15728 LNCS
AUTHORS: Pedro Silva; Nuno Macedo; José Nuno Oliveira;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State-Based Methods, ABZ 2025 in Lecture Notes in Computer Science, VOLUME: 15728 LNCS
2
TITLE: WIKI::SCORE: a collaborative environment for music transcription and publishing
AUTHORS: Almeida, J. J.; Nuno R Carvalho; José N F Oliveira;
PUBLISHED: 2011
AUTHORS: Almeida, J. J.; Nuno R Carvalho; José N F Oliveira;
PUBLISHED: 2011
INDEXED IN: 
Handle
Handle3
TITLE: Pointfree foundations for (generic) lossless decomposition
AUTHORS: José N F Oliveira;
PUBLISHED: 2011
AUTHORS: José N F Oliveira;
PUBLISHED: 2011
INDEXED IN: Handle
Handle4
TITLE: Programming from Galois connection : principles and applications
AUTHORS: Shin C Mu; José N F Oliveira;
PUBLISHED: 2010
AUTHORS: Shin C Mu; José N F Oliveira;
PUBLISHED: 2010
INDEXED IN: Handle
Handle5
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
Handle6
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
Handle7
TITLE: "Explosive" programming controlled by calculation
AUTHORS: José N F Oliveira;
PUBLISHED: 1998
AUTHORS: José N F Oliveira;
PUBLISHED: 1998
INDEXED IN: Handle
Handle8
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
Handle