Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
José Nuno Fonseca Oliveira
AuthID:
R-000-8SF
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Article (27)
Proceedings Paper (27)
Editorial Material (2)
Proceedings (2)
Book (1)
Year Start - End:
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
-
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
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
Add to Marked List
Check All
Export All
BibTex
EndNote
CSV
RIS
ISI
APA
Print All
PDF
HTML
Page 1 of 6. Total results: 59.
<<
<
1
2
3
4
5
6
>
>>
© 2021 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service