José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 78



21
TÍTULO: A study of risk-aware program transformation
AUTORES: Murta, D; Oliveira, JN ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110
INDEXADO EM: Scopus WOS CrossRef: 7 Handle
NO MEU: ORCID | CIÊNCIAVITAE
22
TÍTULO: Implementing a Linear Algebra Approach to Data Processing
AUTORES: Rogerio Pontes ; Miguel Matos ; José Nuno Oliveira ; José Orlando Pereira ;
PUBLICAÇÃO: 2015, FONTE: 5th Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015 in Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures, VOLUME: 10223
INDEXADO EM: Scopus DBLP CrossRef: 2 Handle
NO MEU: ORCID | CIÊNCIAVITAE
23
TÍTULO: Metaphorisms in Programming
AUTORES: Oliveira, JN ;
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: Scopus WOS CrossRef Handle
NO MEU: ORCID | CIÊNCIAVITAE
24
TÍTULO: Preface
AUTORES: Wolfram Kahl; Michael Winter; José N Oliveira ;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9348
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
25
TÍTULO: Preface
AUTORES: Wolfram Kahl; Michael Winter; Jośe N Oliveira ;
PUBLICAÇÃO: 2015, FONTE: CEUR Workshop Proceedings, VOLUME: 1454
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
26
TÍTULO: Relational and Algebraic Methods in Computer Science. 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
AUTORES: Wolfram Kahl; Michael Winter; José Oliveira ;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef Openlibrary
NO MEU: ORCID | CIÊNCIAVITAE
27
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
28
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: 7
NO MEU: ORCID | CIÊNCIAVITAE
29
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 | CIÊNCIAVITAE
30
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
Página 3 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