21
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
22
TITLE: Alloy Meets the Algebra of Programming: A Case Study  Full Text
AUTHORS: Jose N Oliveira ; Miguel A Ferreira;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 39, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID
23
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
24
TITLE: Typing linear algebra: A biproduct-oriented approach  Full Text
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
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: 43
IN MY: ORCID
25
TITLE: WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES  Full Text
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 24, ISSUE: 6
INDEXED IN: WOS CrossRef: 8
IN MY: ORCID
26
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
27
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
28
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
29
TITLE: Typed linear algebra for weigthed (probabilistic) automata
AUTHORS: Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID
30
TITLE: WIKI::SCORE A Collaborative Environment For Music Transcription And Publishing
AUTHORS: Jose Joao Almeida ; Nuno Ramos Carvalho; Jose Nuno Oliveira ;
PUBLISHED: 2012, SOURCE: 16th International Conference on Electronic Publishing (ELPUB) in SOCIAL SHAPING OF DIGITAL PUBLISHING: EXPLORING THE INTERPLAY BETWEEN CULTURE AND TECHNOLOGY
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 3 of 7. Total results: 65.