ProfileOfResearchers

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

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

IN MY:

ORCID

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

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: 1

IN MY:

ORCID

TITLE: Quantitative relational modelling with QAlloy
AUTHORS: Pedro Silva; José N Oliveira ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2022, SOURCE: 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

INDEXED IN:

Scopus

DBLP

CrossRef

Unpaywall

IN MY:

ORCID

TITLE: Verification of railway network models with EVEREST
AUTHORS: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLISHED: 2022, SOURCE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022

INDEXED IN:

Scopus

DBLP

CrossRef

Unpaywall

IN MY:

ORCID

TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (1), VOLUME: 12232

INDEXED IN:

DBLP

CrossRef: 1

TITLE: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
AUTHORS: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLISHED: 2020, SOURCE: FM Workshops (2), VOLUME: 12233

INDEXED IN:

DBLP

CrossRef: 2

TITLE: Type your matrices for great good: A Haskell library of typed matrices and applications (functional pearl)
AUTHORS: Santos, A; Oliveira, JN ;
PUBLISHED: 2020, SOURCE: 13th ACM SIGPLAN International Symposium on Haskell, Haskell 2020, co-located with ICFP 2020 in Haskell 2020 - Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2020

INDEXED IN:

Scopus

CrossRef: 2

IN MY:

ORCID