José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 70



21
TITLE: A study of risk-aware program transformation
AUTHORS: Murta, D; Oliveira, JN ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110
INDEXED IN: Scopus WOS CrossRef: 7 Handle
IN MY: ORCID
22
TITLE: Implementing a Linear Algebra Approach to Data Processing
AUTHORS: Rogerio Pontes ; Miguel Matos ; José Nuno Oliveira ; José Orlando Pereira ;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 2 Handle
IN MY: ORCID
23
TITLE: Metaphorisms in Programming
AUTHORS: Oliveira, JN ;
PUBLISHED: 2015, SOURCE: 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS) in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2015), VOLUME: 9348
INDEXED IN: Scopus WOS CrossRef Handle
IN MY: ORCID
24
TITLE: Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015 Proceedings
AUTHORS: Wolfram Kahl; Michael Winter; Jose N Oliveira ;
PUBLISHED: 2015, SOURCE: 15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS) in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2015), VOLUME: 9348
INDEXED IN: WOS
25
TITLE: A relation-algebraic approach to the "Hoare logic" of functional dependencies
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 7
IN MY: ORCID
26
TITLE: Preparing relational algebra for "just good enough" hardware
AUTHORS: Oliveira, JN ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
27
TITLE: Alloy Meets the Algebra of Programming: A Case Study
AUTHORS: Oliveira, JN ; Ferreira, MA;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 39, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef: 6 Handle
IN MY: ORCID
28
TITLE: Composing Least-change Lenses
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 57
INDEXED IN: Scopus DBLP
29
TITLE: Typing linear algebra: A biproduct-oriented approach
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11
INDEXED IN: Scopus WOS CrossRef: 47 Handle
IN MY: ORCID
30
TITLE: WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES
AUTHORS: Oliveira, JN ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef: 8
IN MY: ORCID
Page 3 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service