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).