José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 70



41
TÍTULO: A Single Complete Relational Rule for Coalgebraic Refinement
AUTORES: Rodrigues, CJ; Oliveira, JN ; Barbosa, LS ;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 259, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
42
TÍTULO: An integrated formal methods tool-chain and its application to verifying a file system model
AUTORES: Ferreira, MA; Oliveira, JN ;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: Scopus CrossRef: 7 Handle
NO MEU: ORCID
43
TÍTULO: Editorial  Full Text
AUTORES: Paul Boca; Raymond Boute; David Duce; José Oliveira ;
PUBLICAÇÃO: 2009, FONTE: Formal Aspects of Computing - Form Asp Comp, VOLUME: 21, NÚMERO: 3
INDEXADO EM: CrossRef
NO MEU: ORCID
44
TÍTULO: Extended Static Checking by Calculation Using the Pointfree Transform
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2009, FONTE: International Summer School on Language Engineering and Rigorous Software Development in LANGUAGE ENGINEERING AND RIGOROUS SOFTWARE DEVELOPMENT, VOLUME: 5520
INDEXADO EM: Scopus WOS CrossRef: 13 Handle
NO MEU: ORCID
45
TÍTULO: Formal Aspects of Computing: Editorial
AUTORES: Boca, P; Boute, R; Duce, D; Oliveira, J ;
PUBLICAÇÃO: 2009, FONTE: Formal Aspects of Computing, VOLUME: 21, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
46
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
47
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
48
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
49
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
50
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
Página 5 de 7. Total de resultados: 70.

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