José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 65



21
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
22
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
23
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
24
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
25
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
26
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
27
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
28
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
29
TÍTULO: Typed linear algebra for weigthed (probabilistic) automata
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID
30
TÍTULO: WIKI::SCORE A Collaborative Environment For Music Transcription And Publishing
AUTORES: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: 16th International Conference on Electronic Publishing (ELPUB) in SOCIAL SHAPING OF DIGITAL PUBLISHING: EXPLORING THE INTERPLAY BETWEEN CULTURE AND TECHNOLOGY
INDEXADO EM: Scopus WOS
NO MEU: ORCID
Página 3 de 7. Total de resultados: 65.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service