José Nuno Fonseca Oliveira
AuthID: R-000-8SF
1
TÃTULO: How much is in a square? Calculating functional programs with squares
AUTORES: Oliveira, Jose nuno;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 35
AUTORES: Oliveira, Jose nuno;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 35
2
TÃTULO: Introduction to the Special Collection from FACS 2022 Full Text
AUTORES: Silvia Lizeth Tapia Tarifa; José Proença; Jose Oliveira;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects of Computing, VOLUME: 37, NÚMERO: 2
AUTORES: Silvia Lizeth Tapia Tarifa; José Proença; Jose Oliveira;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects of Computing, VOLUME: 37, NÚMERO: 2
3
TÃTULO: Relational and Algebraic Methods in Computer Science. 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
AUTORES: Wolfram Kahl; Michael Winter; José Oliveira;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
AUTORES: Wolfram Kahl; Michael Winter; José Oliveira;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
4
TÃTULO: Preface
AUTORES: Wolfram Kahl; Michael Winter; José N Oliveira;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9348
AUTORES: Wolfram Kahl; Michael Winter; José N Oliveira;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9348
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID5
TÃTULO: Preface
AUTORES: Wolfram Kahl; Michael Winter; Jośe N Oliveira;
PUBLICAÇÃO: 2015, FONTE: CEUR Workshop Proceedings, VOLUME: 1454
AUTORES: Wolfram Kahl; Michael Winter; Jośe N Oliveira;
PUBLICAÇÃO: 2015, FONTE: CEUR Workshop Proceedings, VOLUME: 1454
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID6
TÃTULO: WIKI::SCORE: a collaborative environment for music transcription and publishing
AUTORES: Almeida, J. J.; Nuno R Carvalho; José N F Oliveira;
PUBLICAÇÃO: 2011
AUTORES: Almeida, J. J.; Nuno R Carvalho; José N F Oliveira;
PUBLICAÇÃO: 2011
INDEXADO EM: 
Handle
Handle7
TÃTULO: Programming from Galois connections
AUTORES: Shin C Mu; José N F Oliveira;
PUBLICAÇÃO: 2011
AUTORES: Shin C Mu; José N F Oliveira;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
Handle NO MEU: ORCID
ORCID8
TÃTULO: Pointfree foundations for (generic) lossless decomposition
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 2011
AUTORES: José N F Oliveira;
PUBLICAÇÃO: 2011
INDEXADO EM: Handle
Handle9
TÃTULO: Matrices as arrows! A biproduct approach to typed linear algebra
AUTORES: José N F Oliveira; Hugo D Macedo;
PUBLICAÇÃO: 2010
AUTORES: José N F Oliveira; Hugo D Macedo;
PUBLICAÇÃO: 2010
INDEXADO EM: Handle
Handle NO MEU: ORCID
ORCID10
TÃTULO: Programming from Galois connection : principles and applications
AUTORES: Shin C Mu; José N F Oliveira;
PUBLICAÇÃO: 2010
AUTORES: Shin C Mu; José N F Oliveira;
PUBLICAÇÃO: 2010
INDEXADO EM: Handle
Handle