José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 78



41
TÍTULO: Programming from Galois connections
AUTORES: Shin C Mu; José N F Oliveira ;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
NO MEU: ORCID | CIÊNCIAVITAE
42
TÍTULO: Programming from Galois connections
AUTORES: Mu, SC; Oliveira, JN ;
PUBLICAÇÃO: 2011, FONTE: 12th International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6663 LNCS
INDEXADO EM: Scopus CrossRef
43
TÍTULO: WIKI::SCORE A collaborative environment for music transcription and publishing
AUTORES: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLICAÇÃO: 2011, FONTE: Information Services and Use, VOLUME: 31, NÚMERO: 3-4
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
44
TÍTULO: Matrices as Arrows! A Biproduct Approach to Typed Linear Algebra
AUTORES: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
45
TÍTULO: Matrices as arrows! A biproduct approach to typed linear algebra
AUTORES: José N F Oliveira ; Hugo D Macedo;
PUBLICAÇÃO: 2010
INDEXADO EM: Handle
NO MEU: ORCID | CIÊNCIAVITAE
46
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 | CIÊNCIAVITAE
47
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 | CIÊNCIAVITAE
48
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 | CIÊNCIAVITAE
49
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 | CIÊNCIAVITAE
50
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 | CIÊNCIAVITAE
Página 5 de 8. Total de resultados: 78.

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