... under construction ...
Testing future index page
Selected publications
- A. Neri, R.S. Barbosa, and J.N. Oliveira. Compiling quantamorphisms for the IBM Q-Experience. In IEEE Transactions on Software Engineering, doi: 10.1109/TSE.2021.3117515.
- J.N. Oliveira, M.A. Ferreira. Alloy Meets the Algebra of Programming: A Case Study. IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326, March 2013, doi:10.1109/TSE.2012.15.
- H.D. Macedo and J.N. Oliveira. Typing Linear Algebra: a Biproduct-oriented Approach. Science of Comp. Programming. Volume 78, pp.2160-2191 (DOI:10.1016/j.scico.2012.07.012).
- A. Santos, J.N. Oliveira. Type Your Matrices for Great Good (Functional Pearl). Proceedings of the Haskell Symposium 2020, 27-28 August 2020, pages 54-66.
- D. Murta and J.N. Oliveira. A study of risk-aware program transformation. Science of Computer Programming, 110:51-77, 2015. DOI: 10.1016/j.scico.2015.04.008
Other publications
Teaching
The websites of most courses in my teaching page are in Portuguese but their teaching materials are in English.
Home