José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 79



41
TITLE: Preparing for a literature survey of software architecture using Formal Concept Analysis
AUTHORS: Couto, L; Oliveira, JN ; Ferreira, M; Bouwers, E;
PUBLISHED: 2011, SOURCE: Joint 1st Int. Workshop on Model-Driven Software Migration, MDSM 2011 and the 5th International Workshop on Software Quality and Maintainability, SQM 2011 - Workshops at the 15th European Conf. on Software Maintenance and Reengineering, CSMR 2011 in CEUR Workshop Proceedings, VOLUME: 708
INDEXED IN: Scopus
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
IN MY: ORCID | CIÊNCIAVITAE
43
TITLE: Programming from Galois connections
AUTHORS: Shin C Mu; José N F Oliveira ;
PUBLISHED: 2011
INDEXED IN: Handle
IN MY: ORCID | CIÊNCIAVITAE
44
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
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: 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
47
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
48
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
49
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
50
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
Page 5 of 8. Total results: 79.

footer slogan

Useful Links

Get Help

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