José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 78



51
TÍTULO: 'Galculator' Functional prototype of a galois-connection based proof assistant
AUTORES: Silva, PF ; Oliveira, JN ;
PUBLICAÇÃO: 2008, FONTE: PPDP 2008: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
52
TÍTULO: A relational model for confined separation logic
AUTORES: Shuling L Wang; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2008, FONTE: 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering in TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
53
TÍTULO: Calculating invariants as coreflexive bisimulations
AUTORES: Luis S Barbosa ; Jose N Oliveira ; Alexandra Silva ;
PUBLICAÇÃO: 2008, FONTE: 12th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, VOLUME: 5140
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | CIÊNCIAVITAE
54
TÍTULO: Transforming Data by Calculation
AUTORES: Jose N Oliveira ;
PUBLICAÇÃO: 2008, FONTE: 2nd International Summer School on Generative and Transformational Techniques in Software Engineering in GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING II, VOLUME: 5235
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
55
TÍTULO: Pointfree factorization of operation refinement
AUTORES: Jose N Oliveira ; Cesar J Rodrigues;
PUBLICAÇÃO: 2006, FONTE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
56
TÍTULO: Relational sampling for data quality auditing and decision support  Full Text
AUTORES: Bruno Cortes; Jose Nuno Oliveira ;
PUBLICAÇÃO: 2006, FONTE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in Enterprise Information Systems VI
INDEXADO EM: WOS CrossRef
57
TÍTULO: Transposing partial components - An exercise on coalgebraic refinement  Full Text
AUTORES: Luis S Barbosa ; Jose N Oliveira ;
PUBLICAÇÃO: 2006, FONTE: 3rd International Symposium on Formal Methods for Components and Objects in THEORETICAL COMPUTER SCIENCE, VOLUME: 365, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | CIÊNCIAVITAE
58
TÍTULO: Type-safe two-level data transformation
AUTORES: Alcino Cunha ; Jose Nuno Oliveira ; Joost Visser;
PUBLICAÇÃO: 2006, FONTE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: ORCID | CIÊNCIAVITAE
59
TÍTULO: From algebras to objects: Generation and composition  Full Text
AUTORES: Cruz, AM; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 11, NÚMERO: 10
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | CIÊNCIAVITAE
60
TÍTULO: Strategic term rewriting and its application to a VDM-SL to SQL conversion
AUTORES: Alves, TL; Silva, PF ; Visser, J; Oliveira, JN ;
PUBLICAÇÃO: 2005, FONTE: 13th International Symposium of Formal Methods Europe in FM 2005: FORMAL METHODS, PROCEEDINGS, VOLUME: 3582
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
Página 6 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