José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 70



41
TITLE: A Single Complete Relational Rule for Coalgebraic Refinement
AUTHORS: Rodrigues, CJ; Oliveira, JN ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 259, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
42
TITLE: An integrated formal methods tool-chain and its application to verifying a file system model
AUTHORS: Ferreira, MA; Oliveira, JN ;
PUBLISHED: 2009, SOURCE: 12th Brazilian Symposium on Formal Methods, SBMF 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5902 LNCS
INDEXED IN: Scopus CrossRef: 7 Handle
IN MY: ORCID
43
TITLE: Editorial  Full Text
AUTHORS: Paul Boca; Raymond Boute; David Duce; José Oliveira ;
PUBLISHED: 2009, SOURCE: Formal Aspects of Computing - Form Asp Comp, VOLUME: 21, ISSUE: 3
INDEXED IN: CrossRef
IN MY: ORCID
44
TITLE: Extended Static Checking by Calculation Using the Pointfree Transform
AUTHORS: Oliveira, JN ;
PUBLISHED: 2009, SOURCE: International Summer School on Language Engineering and Rigorous Software Development in LANGUAGE ENGINEERING AND RIGOROUS SOFTWARE DEVELOPMENT, VOLUME: 5520
INDEXED IN: Scopus WOS CrossRef: 13 Handle
IN MY: ORCID
45
TITLE: Formal Aspects of Computing: Editorial
AUTHORS: Boca, P; Boute, R; Duce, D; Oliveira, J ;
PUBLISHED: 2009, SOURCE: Formal Aspects of Computing, VOLUME: 21, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID
46
TITLE: 'Galculator' Functional prototype of a galois-connection based proof assistant
AUTHORS: Silva, PF ; Oliveira, JN ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID
47
TITLE: A relational model for confined separation logic
AUTHORS: Shuling L Wang; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
48
TITLE: Calculating invariants as coreflexive bisimulations
AUTHORS: Luis S Barbosa ; Jose N Oliveira ; Alexandra Silva ;
PUBLISHED: 2008, SOURCE: 12th International Conference on Algebraic Methodology and Software Technology in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, VOLUME: 5140
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID
49
TITLE: Transforming Data by Calculation
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2008, SOURCE: 2nd International Summer School on Generative and Transformational Techniques in Software Engineering in GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING II, VOLUME: 5235
INDEXED IN: Scopus WOS
IN MY: ORCID
50
TITLE: Pointfree factorization of operation refinement
AUTHORS: Jose N Oliveira ; Cesar J Rodrigues;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 5 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

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