José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 65



61
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
62
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
63
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
IN MY: ORCID
64
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
65
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
Page 7 of 7. Total results: 65.

A place for researchers and their institutions

Useful Links

Get Help

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