ProfileOfResearchers

TÃTULO: On Quantitative Solution Iteration in QAlloy
AUTORES: Pedro Silva; Nuno Macedo; José Nuno Oliveira;
PUBLICAÇÃO: 2026, FONTE: 11th International Conference on Rigorous State-Based Methods, ABZ 2025 in Lecture Notes in Computer Science, VOLUME: 15728 LNCS

INDEXADO EM:

Scopus

NO MEU:

ORCID

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

INDEXADO EM:

Handle

TÃTULO: Pointfree foundations for (generic) lossless decomposition
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 2011

INDEXADO EM:

Handle

TÃTULO: Programming from Galois connection : principles and applications
AUTORES: Shin C Mu; José N F Oliveira;
PUBLICAÇÃO: 2010

INDEXADO EM:

Handle

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

INDEXADO EM:

Handle

TÃTULO: "Bagatelle in C arranged for VDM SoLo"
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 2001

INDEXADO EM:

Handle

TÃTULO: "Explosive" programming controlled by calculation
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 1998

INDEXADO EM:

Handle

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

INDEXADO EM:

Handle

Links Úteis