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