José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 55



1
TITLE: Programming from metaphorisms
AUTHORS: Jose Nuno Oliveira ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94, PUBLISHED: 2018
INDEXED IN: WOS
2
TITLE: Computer Aided Verification of Relational Models by Strategic Rewriting  Full Text
AUTHORS: Claudia M Necco; Jose N Oliveira ; Joost Visser; Roberto Uzal;
SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PUBLISHED: 2017
INDEXED IN: WOS
3
TITLE: The Data Cube as a Typed Linear Algebra Operator
AUTHORS: Oliveira, JN ; Macedo, HD;
SOURCE: 16th International Symposium on Database Programming Languages (DBPL) in PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), VOLUME: Part F130653, PUBLISHED: 2017
INDEXED IN: Scopus WOS
4
TITLE: "Keep definition, change category" - A practical approach to state-based system calculi
AUTHORS: Jose Nuno Oliveira ; Victor Cacciari Miraldo;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 4, PUBLISHED: 2016
INDEXED IN: WOS CrossRef
IN MY: ORCID
5
TITLE: A linear algebra approach to OLAP  Full Text
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2, PUBLISHED: 2015
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
6
TITLE: A study of risk-aware program transformation  Full Text
AUTHORS: Daniel Murta; Jose Nuno Oliveira ;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110, PUBLISHED: 2015
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
7
TITLE: Implementing a Linear Algebra Approach to Data Processing
AUTHORS: Rogerio Pontes ; Miguel Matos ; José Nuno Oliveira ; José Orlando Pereira ;
SOURCE: Grand Timely Topics in Software Engineering - International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures, VOLUME: 10223, PUBLISHED: 2015
INDEXED IN: DBLP CrossRef
8
TITLE: Metaphorisms in Programming
AUTHORS: Jose N Oliveira ;
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, PUBLISHED: 2015
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
9
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 ;
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, PUBLISHED: 2015
INDEXED IN: WOS
10
TITLE: A relation-algebraic approach to the "Hoare logic" of functional dependencies
AUTHORS: Jose N Oliveira ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 83, ISSUE: 2, PUBLISHED: 2014
INDEXED IN: WOS CrossRef
Page 1 of 6. Total results: 55.

A place for researchers and their institutions

Useful Links

Get Help

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