José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 79



31
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: 6 Handle
NO MEU: ORCID | CIÊNCIAVITAE
32
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
33
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: 47 Handle
NO MEU: ORCID | CIÊNCIAVITAE
34
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: 8
NO MEU: ORCID | CIÊNCIAVITAE
35
TÍTULO: Programming from Galois connections  Full Text
AUTORES: Mu, SC; Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef Handle
NO MEU: ORCID | CIÊNCIAVITAE
36
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 | CIÊNCIAVITAE
37
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 | CIÊNCIAVITAE
38
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 | CIÊNCIAVITAE
39
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 | CIÊNCIAVITAE
40
TÍTULO: Logic Training through Algorithmic Problem Solving
AUTORES: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLICAÇÃO: 2011, FONTE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXADO EM: Scopus WOS DBLP CrossRef: 7 Handle
NO MEU: ORCID | CIÊNCIAVITAE
Página 4 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