José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Publicações Confirmadas: 78



11
TÍTULO: Quantitative relational modelling with QAlloy
AUTORES: Pedro Silva; José N Oliveira ; Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2022, FONTE: ESEC/SIGSOFT FSE
INDEXADO EM: Scopus DBLP CrossRef: 3 Unpaywall
12
TÍTULO: Verification of railway network models with EVEREST
AUTORES: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLICAÇÃO: 2022, FONTE: MoDELS
INDEXADO EM: Scopus DBLP CrossRef: 2 Unpaywall
13
TÍTULO: 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
AUTORES: 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;
PUBLICAÇÃO: 2020, FONTE: FM Workshops (1), VOLUME: 12232
INDEXADO EM: DBLP CrossRef: 1
NO MEU: CIÊNCIAVITAE
14
TÍTULO: 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
AUTORES: 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;
PUBLICAÇÃO: 2020, FONTE: FM Workshops (2), VOLUME: 12233
INDEXADO EM: DBLP CrossRef: 2
15
TÍTULO: Type your matrices for great good: A Haskell library of typed matrices and applications (functional pearl)
AUTORES: Santos, A; Oliveira, JN ;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
16
TÍTULO: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTORES: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef Openlibrary
NO MEU: CIÊNCIAVITAE
17
TÍTULO: Programming from metaphorisms
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2018, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
18
TÍTULO: Computer Aided Verification of Relational Models by Strategic Rewriting  Full Text
AUTORES: Necco, CM; Oliveira, JN ; Visser, J; Uzal, R;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, NÚMERO: 2
INDEXADO EM: WOS
19
TÍTULO: The Data Cube as a Typed Linear Algebra Operator
AUTORES: Oliveira, JN ; Macedo, HD;
PUBLICAÇÃO: 2017, FONTE: 16th International Symposium on Database Programming Languages (DBPL) in PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), VOLUME: Part F130653
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
20
TÍTULO: "Keep definition, change category" - A practical approach to state-based system calculi
AUTORES: Jose Nuno Oliveira ; Victor Cacciari Miraldo;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 4
INDEXADO EM: WOS CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
Página 2 de 8. Total de resultados: 78.

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

Links Úteis

Ajuda

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