José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 78



71
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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
72
TITLE: The cash-point (ATM) 'problem'
AUTHORS: Denvir, T; Oliveira, J ; Plat, N;
PUBLISHED: 2000, SOURCE: Formal Aspects of Computing, VOLUME: 12, ISSUE: 4
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
73
TITLE: CAD tool extension for formal building description language  Full Text
AUTHORS: Oliveira, JN ;
PUBLISHED: 1998, SOURCE: 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, ISSUE: 7-9
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
74
TITLE: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLISHED: 1997, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1 Handle
IN MY: ORCID | CIÊNCIAVITAE
75
TITLE: Software reification using the SETS calculus
AUTHORS: José N F Oliveira ;
PUBLISHED: 1992
INDEXED IN: Handle
IN MY: ORCID | CIÊNCIAVITAE
76
TITLE: A reification calculus for model-oriented software specification
AUTHORS: Oliveira, JN ;
PUBLISHED: 1990, SOURCE: Formal Aspects of Computing, VOLUME: 2, ISSUE: 1
INDEXED IN: Scopus CrossRef: 22 Handle
IN MY: ORCID | CIÊNCIAVITAE
77
TITLE: ARCHETYPE-ORIENTED USER INTERFACES  Full Text
AUTHORS: MARTINS, FM ; OLIVEIRA, JN ;
PUBLISHED: 1990, SOURCE: COMPUTERS & GRAPHICS, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
78
TITLE: GRAPHICS PROGRAMMING WITH 'ARCHETYPES' - A PRELIMINARY STUDY.
AUTHORS: Fernando Mario Martins; Jose Nuno Oliveira ;
PUBLISHED: 1985, SOURCE: EUROGRAPHICS '85, Proceedings of the European Graphics Conference and Exhibition.
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
Page 8 of 8. Total results: 78.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service