José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 78



41
TITLE: Programming from Galois connections
AUTHORS: Shin C Mu; José N F Oliveira ;
PUBLISHED: 2011
INDEXED IN: Handle
IN MY: ORCID | CIÊNCIAVITAE
42
TITLE: Programming from Galois connections
AUTHORS: Mu, SC; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 12th International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6663 LNCS
INDEXED IN: Scopus CrossRef
43
TITLE: WIKI::SCORE A collaborative environment for music transcription and publishing
AUTHORS: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: Information Services and Use, VOLUME: 31, ISSUE: 3-4
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
44
TITLE: Matrices as Arrows! A Biproduct Approach to Typed Linear Algebra
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
45
TITLE: Matrices as arrows! A biproduct approach to typed linear algebra
AUTHORS: José N F Oliveira ; Hugo D Macedo;
PUBLISHED: 2010
INDEXED IN: Handle
IN MY: ORCID | CIÊNCIAVITAE
46
TITLE: A Single Complete Relational Rule for Coalgebraic Refinement
AUTHORS: Rodrigues, CJ; Oliveira, JN ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 259, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
47
TITLE: An integrated formal methods tool-chain and its application to verifying a file system model
AUTHORS: Ferreira, MA; Oliveira, JN ;
PUBLISHED: 2009, SOURCE: 12th Brazilian Symposium on Formal Methods, SBMF 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5902 LNCS
INDEXED IN: Scopus CrossRef: 7 Handle
IN MY: ORCID | CIÊNCIAVITAE
48
TITLE: Editorial  Full Text
AUTHORS: Paul Boca; Raymond Boute; David Duce; José Oliveira ;
PUBLISHED: 2009, SOURCE: Formal Aspects of Computing - Form Asp Comp, VOLUME: 21, ISSUE: 3
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
49
TITLE: Extended Static Checking by Calculation Using the Pointfree Transform
AUTHORS: Oliveira, JN ;
PUBLISHED: 2009, SOURCE: International Summer School on Language Engineering and Rigorous Software Development in LANGUAGE ENGINEERING AND RIGOROUS SOFTWARE DEVELOPMENT, VOLUME: 5520
INDEXED IN: Scopus WOS CrossRef: 13 Handle
IN MY: ORCID | CIÊNCIAVITAE
50
TITLE: Formal Aspects of Computing: Editorial
AUTHORS: Boca, P; Boute, R; Duce, D; Oliveira, J ;
PUBLISHED: 2009, SOURCE: Formal Aspects of Computing, VOLUME: 21, ISSUE: 3
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
Page 5 of 8. Total results: 78.

footer slogan

Useful Links

Get Help

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