José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 79



61
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
62
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
63
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 | CIÊNCIAVITAE
64
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 | CIÊNCIAVITAE
65
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 | CIÊNCIAVITAE
66
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: 2
NO MEU: ORCID | CIÊNCIAVITAE
67
TÍTULO: Coinductive interpreters for process calculi
AUTORES: Barbosa, L. S.; José N F Oliveira ;
PUBLICAÇÃO: 2002
INDEXADO EM: Handle
NO MEU: ORCID | CIÊNCIAVITAE
68
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 | CIÊNCIAVITAE
69
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 | CIÊNCIAVITAE
70
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 7 de 8. Total de resultados: 79.

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

Links Úteis

Ajuda

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