José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 79



1
TITLE: On Quantitative Solution Iteration in QAlloy
AUTHORS: Pedro Silva; Nuno Macedo ; José Nuno Oliveira ;
PUBLISHED: 2026, SOURCE: 11th International Conference on Rigorous State-Based Methods, ABZ 2025 in Lecture Notes in Computer Science, VOLUME: 15728 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
2
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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
3
TITLE: Introduction to the Special Collection from FACS 2022  Full Text
AUTHORS: Tarifa, Silvia Lizeth Tapia; Proenca, Jose ; Oliveira, Jose ;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
4
TITLE: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143
INDEXED IN: Scopus WOS DBLP
5
TITLE: Alloy Goes Fuzzy
AUTHORS: Silva, Pedro; Cunha, Alcino ; Macedo, Nuno ; Oliveira, Jose N. ;
PUBLISHED: 2024, SOURCE: 10th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2024, VOLUME: 14759
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
6
TITLE: On the Relational Basis of Early R/G Work
AUTHORS: José Oliveira ;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: LNCS 14781
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
7
TITLE: On difunctions
AUTHORS: Backhouse, Roland; Oliveira, Jose Nuno ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 134
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
8
TITLE: Why Adjunctions Matter—A Functional Programmer Perspective
AUTHORS: José Nuno Oliveira ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
9
TITLE: A tribute to Jose Manuel Valenca
AUTHORS: Oliveira, Jose Nuno ; Pinto, Jorge Sousa ; Barbosa, Luis Soares ; Henriques, Pedro Rangel ;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 128
INDEXED IN: Scopus WOS DBLP CrossRef
10
TITLE: Compiling Quantamorphisms for the IBM Q Experience  Full Text
AUTHORS: Neri, Ana ; Barbosa, Rui Soares; Oliveira, Jose N. ;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 48, ISSUE: 11
INDEXED IN: WOS CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 8. Total results: 79.

footer slogan

Useful Links

Get Help

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