José N. Oliveira

17 papers A 1B 1C 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Introduction to the Special Collection from FACS 2022.
Formal Aspects Comput.
Silvia Lizeth Tapia Tarifa, José Proença, José N. Oliveira
2025 C conf
On Quantitative Solution Iteration in QAlloy.
ABZ
Pedro Silva, Nuno Macedo, José N. Oliveira
2024 C conf
Alloy Goes Fuzzy.
ABZ
Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira
2024 — ch.
On the Relational Basis of Early R/G Work.
The Practice of Formal Methods (II)
José N. Oliveira
2022 J jnl
Compiling Quantamorphisms for the IBM Q Experience.
IEEE Trans. Software Eng.
Ana Neri, Rui Soares Barbosa, José N. Oliveira
2022 — conf
Quantitative relational modelling with QAlloy.
ESEC/SIGSOFT FSE
Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha
2022 A conf
Verification of railway network models with EVEREST.
MoDELS
João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira
2020 J jnl
Compiling quantamorphisms for the IBM Q Experience.
CoRR
Ana Neri, Rui Soares Barbosa, José N. Oliveira
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
FM Workshops (1)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 — ed.
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
FM Workshops (2)
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020 — conf
Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl).
Haskell@ICFP
Armando Santos, José N. Oliveira
2019 B ed.
Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
FM
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
2018 J jnl
Typed Linear Algebra for Efficient Analytical Querying.
CoRR
João M. Afonso, Gabriel D. Fernandes, João Pedro Alves Fernandes, Filipe Oliveira, Bruno M. Ribeiro, Rogério Pontes, José N. Oliveira, Alberto J. Proença
2012 J jnl
Functions as types or the "Hoare logic" of functional dependencies
CoRR
José N. Oliveira
1996 J jnl
Classifying Internet Objects.
World Wide Web J.
F. Luis Neves, José N. Oliveira
1995 — conf
Classifying Internet Objects.
WWW (Fall)
F. Luis Neves, José N. Oliveira
1992 — conf
Software Reification using the SETS Calculus.
Refine
José N. Oliveira