José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 67



21
TÍTULO: Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015 Proceedings
AUTORES: Wolfram Kahl; Michael Winter; Jose N Oliveira ;
PUBLICAÇÃO: 2015, FONTE: 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS) in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2015), VOLUME: 9348
INDEXADO EM: WOS
22
TÍTULO: A relation-algebraic approach to the "Hoare logic" of functional dependencies
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
23
TÍTULO: Preparing relational algebra for "just good enough" hardware
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2014, FONTE: 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8428 LNCS
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID
24
TÍTULO: Alloy Meets the Algebra of Programming: A Case Study
AUTORES: Oliveira, JN ; Ferreira, MA;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 39, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef Handle
NO MEU: ORCID
25
TÍTULO: Composing Least-change Lenses
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 57
INDEXADO EM: Scopus DBLP
26
TÍTULO: Typing linear algebra: A biproduct-oriented approach
AUTORES: Macedo, HD; Oliveira, JN ;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 11
INDEXADO EM: Scopus WOS CrossRef Handle
NO MEU: ORCID
27
TÍTULO: WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
28
TÍTULO: Programming from Galois connections  Full Text
AUTORES: Shin Cheng Mu; Jose Nuno Oliveira ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef: 14
NO MEU: ORCID
29
TÍTULO: Towards a linear algebra of programming  Full Text
AUTORES: Jose N Oliveira ;
PUBLICAÇÃO: 2012, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, NÚMERO: 4-6
INDEXADO EM: Scopus WOS CrossRef: 17
NO MEU: ORCID
30
TÍTULO: Towards linear algebras of components
AUTORES: Macedo, HD; Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
Página 3 de 7. Total de resultados: 67.

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