José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 65



31
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Alcino Cunha ; Carlos Baquero ; Paulo Silva ; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
32
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
33
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: 4
IN MY: ORCID
34
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
IN MY: ORCID
35
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
36
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
37
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
IN MY: ORCID
38
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
39
TITLE: Extended Static Checking by Calculation Using the Pointfree Transform  Full Text
AUTHORS: Jose N Oliveira ;
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: 11
IN MY: ORCID
40
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
Page 4 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