José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 70



11
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
12
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
13
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
14
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
15
TITLE: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 2
16
TITLE: Programming from metaphorisms
AUTHORS: Oliveira, JN ;
PUBLISHED: 2018, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
17
TITLE: Computer Aided Verification of Relational Models by Strategic Rewriting  Full Text
AUTHORS: Necco, CM; Oliveira, JN ; Visser, J; Uzal, R;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2
INDEXED IN: WOS
18
TITLE: The Data Cube as a Typed Linear Algebra Operator
AUTHORS: Oliveira, JN ; Macedo, HD;
PUBLISHED: 2017, SOURCE: 16th International Symposium on Database Programming Languages (DBPL) in PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), VOLUME: Part F130653
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
19
TITLE: "Keep definition, change category" - A practical approach to state-based system calculi
AUTHORS: Jose Nuno Oliveira ; Victor Cacciari Miraldo;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 4
INDEXED IN: WOS CrossRef: 4
IN MY: ORCID
20
TITLE: A linear algebra approach to OLAP  Full Text
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2015, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 14
IN MY: ORCID
Page 2 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

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