José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 67



51
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
52
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
53
TÍTULO: A survey of formal methods courses in European higher education: The FME subgroup on education
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3294
INDEXADO EM: Scopus CrossRef: 9
54
TÍTULO: Iransposing relations: From Maybe functions to hash tables
AUTORES: de Oliveira, JNF ; Rodrigues, CJPC;
PUBLICAÇÃO: 2004, FONTE: 7th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 3125
INDEXADO EM: Scopus WOS
NO MEU: ORCID
55
TÍTULO: Relational sampling for data quality auditing and decision support
AUTORES: Cortes, B; Oliveira, JN ;
PUBLICAÇÃO: 2004, FONTE: ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems in ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems
INDEXADO EM: Scopus
NO MEU: ORCID
56
TÍTULO: State-based components made generic
AUTORES: Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2003, FONTE: CMCS'03, Coalgebraic Methods in Computer Science Satellite Event for ETAPS 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 82, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID
57
TÍTULO: Coinductive Interpreters for Process Calculi
AUTORES: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLICAÇÃO: 2002, FONTE: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
58
TÍTULO: Preface  Full Text
AUTORES: Roland Backhouse; José Oliveira ;
PUBLICAÇÃO: 2002, FONTE: Science of Computer Programming, VOLUME: 43, NÚMERO: 2-3
INDEXADO EM: CrossRef
NO MEU: ORCID
59
TÍTULO: Special issue on Mathematics of Program Construction (MPC 2000) Preface  Full Text
AUTORES: Backhouse, R; Oliveira, J ;
PUBLICAÇÃO: 2002, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 43, NÚMERO: 2-3
INDEXADO EM: Scopus WOS
NO MEU: ORCID
60
TÍTULO: "Bagatelle in C arranged for VDM SoLo"
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2001, FONTE: Colloquium on Formal Aspects of Software Engineering in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 7, NÚMERO: 8
INDEXADO EM: WOS
Página 6 de 7. Total de resultados: 67.

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