José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 70



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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
2
TÍTULO: Introduction to the Special Collection from FACS 2022
AUTORES: Silvia Lizeth Tapia Tarifa; José Proença; José N Oliveira ;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects Comput., VOLUME: 37, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
3
TÍTULO: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTORES: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143
INDEXADO EM: Scopus WOS DBLP
4
TÍTULO: Alloy Goes Fuzzy
AUTORES: Silva, Pedro; Cunha, Alcino ; Macedo, Nuno ; Oliveira, Jose N. ;
PUBLICAÇÃO: 2024, FONTE: 10th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2024, VOLUME: 14759
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
5
TÍTULO: On the Relational Basis of Early R/G Work
AUTORES: José Oliveira ;
PUBLICAÇÃO: 2024, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: LNCS 14781
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
6
TÍTULO: On difunctions
AUTORES: Backhouse, Roland; Oliveira, Jose Nuno ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 134
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
7
TÍTULO: Why Adjunctions Matter—A Functional Programmer Perspective
AUTORES: José Nuno Oliveira ;
PUBLICAÇÃO: 2023, FONTE: 26th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13710 LNCS
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID
8
TÍTULO: A tribute to Jose Manuel Valenca
AUTORES: Oliveira, Jose Nuno ; Pinto, Jorge Sousa ; Barbosa, Luis Soares ; Henriques, Pedro Rangel;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 128
INDEXADO EM: Scopus WOS DBLP CrossRef
9
TÍTULO: Compiling Quantamorphisms for the IBM Q Experience  Full Text
AUTORES: Neri, Ana ; Barbosa, Rui Soares; Oliveira, Jose N. ;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 48, NÚMERO: 11
INDEXADO EM: WOS CrossRef: 3
NO MEU: ORCID
10
TÍTULO: Quantitative relational modelling with QAlloy
AUTORES: Pedro Silva; José N Oliveira ; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022
INDEXADO EM: Scopus DBLP CrossRef: 1 Unpaywall
NO MEU: ORCID
Página 1 de 7. Total de resultados: 70.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service