José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 65



11
TITLE: Programming from metaphorisms
AUTHORS: Oliveira, JN ;
PUBLISHED: 2018, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
12
TITLE: Computer Aided Verification of Relational Models by Strategic Rewriting  Full Text
AUTHORS: Claudia M Necco; Jose N Oliveira ; Joost Visser; Roberto Uzal;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2
INDEXED IN: WOS
13
TITLE: The Data Cube as a Typed Linear Algebra Operator
AUTHORS: Oliveira, JN ; Macedo, HD;
PUBLISHED: 2017, 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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
14
TITLE: "Keep definition, change category" - A practical approach to state-based system calculi
AUTHORS: Jose Nuno Oliveira ; Victor Cacciari Miraldo;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 4
INDEXED IN: WOS CrossRef: 5
IN MY: ORCID
15
TITLE: A linear algebra approach to OLAP  Full Text
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2015, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 14
IN MY: ORCID
16
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 Handle
IN MY: ORCID
17
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 Handle
IN MY: ORCID
18
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
19
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
20
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
IN MY: ORCID
Page 2 of 7. Total results: 65.

A place for researchers and their institutions

Useful Links

Get Help

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