José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 78



31
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
32
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: 47 Handle
IN MY: ORCID | CIÊNCIAVITAE
33
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: 8
IN MY: ORCID | CIÊNCIAVITAE
34
TITLE: Programming from Galois connections  Full Text
AUTHORS: Mu, SC; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef Handle
35
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 | CIÊNCIAVITAE
36
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 | CIÊNCIAVITAE
37
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 | CIÊNCIAVITAE
38
TITLE: WIKI::SCORE A Collaborative Environment For Music Transcription And Publishing
AUTHORS: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
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 | CIÊNCIAVITAE
39
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; 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: 7 Handle
IN MY: ORCID | CIÊNCIAVITAE
40
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
Page 4 of 8. Total results: 78.

footer slogan

Useful Links

Get Help

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