José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 79



41
TÍTULO: Preparing for a literature survey of software architecture using Formal Concept Analysis
AUTORES: Couto, L; Oliveira, JN ; Ferreira, M; Bouwers, E;
PUBLICAÇÃO: 2011, FONTE: Joint 1st Int. Workshop on Model-Driven Software Migration, MDSM 2011 and the 5th International Workshop on Software Quality and Maintainability, SQM 2011 - Workshops at the 15th European Conf. on Software Maintenance and Reengineering, CSMR 2011 in CEUR Workshop Proceedings, VOLUME: 708
INDEXADO EM: Scopus
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
NO MEU: ORCID | CIÊNCIAVITAE
43
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
44
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
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: 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
47
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
48
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
49
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
50
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
Página 5 de 8. Total de resultados: 79.

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