R.C. Backhouse and J.N. Oliveira. On difunctions. JLAMP, volume 134, p. 100878, 2023.
J.N. Oliveira. How much is in a square? Calculating functional programs with squares. Journal of Functional Programming. 2025;35:e7. doi:10.1017/S0956796825000012
A. Neri, R.S. Barbosa, and J.N. Oliveira. Compiling quantamorphisms for the IBM Q-Experience. In IEEE Transactions on Software Engineering, Volume: 48, Issue: 11, 01 November 2022. DOI: 10.1109/TSE.2021.3117515.
P. Silva, J.N. Oliveira, N. Macedo and A. Cunha. Quantitative relational modelling with QAlloy. Proc. of ESEC/FSE 2022, Association for Computing Machinery, Inc (ACM), pp. 885-896.
H.D. Macedo and J.N. Oliveira. Typing Linear Algebra: a Biproduct-oriented Approach. Science of Comp. Programming. Volume 78, pp.2160-2191, 2012 (DOI:10.1016/j.scico.2012.07.012).
J.N. Oliveira. Reducing Logic to Arithmetics - Why not?. Contributed talk to IFIP WG 2.1 meeting #83, Viana do Castelo, Portugal, 8-12 Sept. 2025.
P. Silva, N. Macedo and J.N. Oliveira. On Quantitative Solution Iteration in QAlloy. ABZ’25, LNCS 15728, pp. 88-105.