José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 78



61
TITLE: A survey of formal methods courses in European higher education: The FME subgroup on education
AUTHORS: Oliveira, JN ;
PUBLISHED: 2004, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3294
INDEXED IN: Scopus CrossRef: 9
62
TITLE: Iransposing relations: From Maybe functions to hash tables
AUTHORS: de Oliveira, JNF ; Rodrigues, CJPC;
PUBLISHED: 2004, SOURCE: 7th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 3125
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
63
TITLE: Relational sampling for data quality auditing and decision support
AUTHORS: Cortes, B; Oliveira, JN ;
PUBLISHED: 2004, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
64
TITLE: State-based components made generic
AUTHORS: Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2003, SOURCE: CMCS'03, Coalgebraic Methods in Computer Science Satellite Event for ETAPS 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 82, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | CIÊNCIAVITAE
65
TITLE: Coinductive Interpreters for Process Calculi
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLISHED: 2002, SOURCE: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
66
TITLE: Coinductive interpreters for process calculi
AUTHORS: Barbosa, L. S.; José N F Oliveira ;
PUBLISHED: 2002
INDEXED IN: Handle
IN MY: ORCID | CIÊNCIAVITAE
67
TITLE: Preface  Full Text
AUTHORS: Roland Backhouse; José Oliveira ;
PUBLISHED: 2002, SOURCE: Science of Computer Programming, VOLUME: 43, ISSUE: 2-3
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
68
TITLE: Special issue on Mathematics of Program Construction (MPC 2000) Preface  Full Text
AUTHORS: Backhouse, R; Oliveira, J ;
PUBLISHED: 2002, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 43, ISSUE: 2-3
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
69
TITLE: "Bagatelle in C arranged for VDM SoLo"
AUTHORS: Oliveira, JN ;
PUBLISHED: 2001, SOURCE: Colloquium on Formal Aspects of Software Engineering in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 7, ISSUE: 8
INDEXED IN: WOS
70
TITLE: Reverse program calculation supported by code slicing
AUTHORS: Villavicencio, G; Oliveira, JN ;
PUBLISHED: 2001, SOURCE: 8th Working Conference on Reverse Engineering (WCRE 2001) in Reverse Engineering - Working Conference Proceedings
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
Page 7 of 8. Total results: 78.

footer slogan

Useful Links

Get Help

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