José N. Oliveira

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 7

Top Topics

Quantitative Measures

Covariance Matrices

Relational Model

Top Venues

ESEC/SIGSOFT FSE

Publications

Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira
Alloy Goes Fuzzy. ABZ (2024)
João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira
Verification of railway network models with EVEREST. MoDELS (2022)
Pedro Silva, José N. Oliveira, Nuno Macedo, Alcino Cunha
Quantitative relational modelling with QAlloy. ESEC/SIGSOFT FSE (2022)
Ana Neri, Rui Soares Barbosa, José N. Oliveira
Compiling Quantamorphisms for the IBM Q Experience. IEEE Trans. Software Eng. 48 (11) (2022)
Armando Santos, José N. Oliveira
Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl). Haskell@ICFP (2020)
Ana Neri, Rui Soares Barbosa, José N. Oliveira
Compiling quantamorphisms for the IBM Q Experience. CoRR (2020)
João M. Afonso, Gabriel D. Fernandes, João P. Fernandes, Filipe Oliveira, Bruno M. Ribeiro, Rogério Pontes, José N. Oliveira, Alberto J. Proença
Typed Linear Algebra for Efficient Analytical Querying. CoRR (2018)
F. Luis Neves, José N. Oliveira
Classifying Internet Objects. WWW (Fall) (1995)
José N. Oliveira
Software Reification using the SETS Calculus. Refine (1992)