1
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;
TYPE: Proceedings, PUBLISHED: 2020, SOURCE: FM Workshops (1), VOLUME: 12232
INDEXED IN: DBLP CrossRef
2
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;
TYPE: Proceedings, PUBLISHED: 2020, SOURCE: FM Workshops (2), VOLUME: 12233
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 ;
TYPE: Proceedings Paper, 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: 1
4
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 ;
TYPE: Book, PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
5
TITLE: Programming from metaphorisms
AUTHORS: Jose Nuno Oliveira ;
TYPE: Article, PUBLISHED: 2018, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 94
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;
TYPE: Article, PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2
INDEXED IN: WOS
7
TITLE: The Data Cube as a Typed Linear Algebra Operator
AUTHORS: Oliveira, JN ; Macedo, HD;
TYPE: Proceedings Paper, 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
8
TITLE: "Keep definition, change category" - A practical approach to state-based system calculi
AUTHORS: Jose Nuno Oliveira ; Victor Cacciari Miraldo;
TYPE: Article, PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 4
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 ;
TYPE: Article, PUBLISHED: 2015, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2
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 ;
TYPE: Article, PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID
Page 1 of 6. Total results: 59.