José Nuno Fonseca Oliveira


AuthID: R-000-8SF

Confirmed Publications: 59



1
TITLE: Formal Methods. FM 2019 International Workshops - 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;
SOURCE: FM Workshops (1), VOLUME: 12232, PUBLISHED: 2020
INDEXED IN: DBLP CrossRef
2
TITLE: Formal Methods. FM 2019 International Workshops - 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;
SOURCE: FM Workshops (2), VOLUME: 12233, PUBLISHED: 2020
INDEXED IN: DBLP CrossRef
3
TITLE: Type your matrices for great good: A Haskell library of typed matrices and applications (functional pearl)
AUTHORS: Santos, A; Oliveira, JN ;
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, PUBLISHED: 2020
INDEXED IN: Scopus CrossRef: 1
4
TITLE: Formal Methods – The Next 30 Years
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
SOURCE: Lecture Notes in Computer Science, PUBLISHED: 2019
INDEXED IN: CrossRef
5
TITLE: Programming from metaphorisms
AUTHORS: Jose Nuno Oliveira ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94, PUBLISHED: 2018
INDEXED IN: Scopus WOS
6
TITLE: Computer Aided Verification of Relational Models by Strategic Rewriting  Full Text
AUTHORS: Claudia M Necco; Jose N Oliveira ; Joost Visser; Roberto Uzal;
SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PUBLISHED: 2017
INDEXED IN: WOS
7
TITLE: The Data Cube as a Typed Linear Algebra Operator
AUTHORS: Oliveira, JN ; Macedo, HD;
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, PUBLISHED: 2017
INDEXED IN: Scopus WOS
8
TITLE: "Keep definition, change category" - A practical approach to state-based system calculi
AUTHORS: Jose Nuno Oliveira ; Victor Cacciari Miraldo;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 4, PUBLISHED: 2016
INDEXED IN: WOS CrossRef: 3
IN MY: ORCID
9
TITLE: A linear algebra approach to OLAP  Full Text
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2, PUBLISHED: 2015
INDEXED IN: Scopus WOS CrossRef: 10
IN MY: ORCID
10
TITLE: A study of risk-aware program transformation  Full Text
AUTHORS: Daniel Murta; Jose Nuno Oliveira ;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110, PUBLISHED: 2015
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID
Page 1 of 6. Total results: 59.

A place for researchers and their institutions

Useful Links

Get Help

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