José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 67



21
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
22
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
23
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
24
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 Handle
IN MY: ORCID
25
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
26
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 Handle
IN MY: ORCID
27
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
IN MY: ORCID
28
TITLE: Programming from Galois connections  Full Text
AUTHORS: Shin Cheng Mu; Jose Nuno Oliveira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef: 14
IN MY: ORCID
29
TITLE: Towards a linear algebra of programming  Full Text
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2012, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 4-6
INDEXED IN: Scopus WOS CrossRef: 17
IN MY: ORCID
30
TITLE: Towards linear algebras of components
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID
Page 3 of 7. Total results: 67.

footer slogan

Useful Links

Get Help

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