José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 78



71
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
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
72
TÍTULO: The cash-point (ATM) 'problem'
AUTORES: Denvir, T; Oliveira, J ; Plat, N;
PUBLICAÇÃO: 2000, FONTE: Formal Aspects of Computing, VOLUME: 12, NÚMERO: 4
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
73
TÍTULO: CAD tool extension for formal building description language  Full Text
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 1998, FONTE: 6th International Conference on Civil and Structural Engineering Computing/4th International Conference on the Application of Artificial Intelligence to Civil and Structural Engineering in ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 29, NÚMERO: 7-9
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
74
TÍTULO: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTORES: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLICAÇÃO: 1997, FONTE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349
INDEXADO EM: Scopus DBLP CrossRef: 1 Handle
NO MEU: ORCID | CIÊNCIAVITAE
75
TÍTULO: Software reification using the SETS calculus
AUTORES: José N F Oliveira ;
PUBLICAÇÃO: 1992
INDEXADO EM: Handle
NO MEU: ORCID | CIÊNCIAVITAE
76
TÍTULO: A reification calculus for model-oriented software specification
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 1990, FONTE: Formal Aspects of Computing, VOLUME: 2, NÚMERO: 1
INDEXADO EM: Scopus CrossRef: 22 Handle
NO MEU: ORCID | CIÊNCIAVITAE
77
TÍTULO: ARCHETYPE-ORIENTED USER INTERFACES  Full Text
AUTORES: MARTINS, FM ; OLIVEIRA, JN ;
PUBLICAÇÃO: 1990, FONTE: COMPUTERS & GRAPHICS, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
78
TÍTULO: GRAPHICS PROGRAMMING WITH 'ARCHETYPES' - A PRELIMINARY STUDY.
AUTORES: Fernando Mario Martins; Jose Nuno Oliveira ;
PUBLICAÇÃO: 1985, FONTE: EUROGRAPHICS '85, Proceedings of the European Graphics Conference and Exhibition.
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
Página 8 de 8. Total de resultados: 78.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service