José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 78



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 | CIÊNCIAVITAE
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 | CIÊNCIAVITAE
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 | CIÊNCIAVITAE
24
TITLE: Preface
AUTHORS: Wolfram Kahl; Michael Winter; José N Oliveira ;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9348
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
25
TITLE: Preface
AUTHORS: Wolfram Kahl; Michael Winter; Jośe N Oliveira ;
PUBLISHED: 2015, SOURCE: CEUR Workshop Proceedings, VOLUME: 1454
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
26
TITLE: Relational and Algebraic Methods in Computer Science. 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
AUTHORS: Wolfram Kahl; Michael Winter; José Oliveira ;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef Openlibrary
IN MY: ORCID | CIÊNCIAVITAE
27
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
28
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 | CIÊNCIAVITAE
29
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 | CIÊNCIAVITAE
30
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 | CIÊNCIAVITAE
Page 3 of 8. Total results: 78.

footer slogan

Useful Links

Get Help

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