| Typing linear algebra: A biproduct-oriented approach HD Macedo, JN Oliveira Science of Computer Programming 78 (11), 2160-2191, 2013 | 90 | 2013 |
| Gas sorption in poly (lactic acid) and packaging materials NS Oliveira, J Oliveira, T Gomes, A Ferreira, J Dorgan, IM Marrucho Fluid Phase Equilibria 222, 317-324, 2004 | 84 | 2004 |
| Endothelin B receptor gene hypermethylation in prostate adenocarcinoma C Jeronimo, R Henrique, PF Campos, J Oliveira, OL Caballero, C Lopes, ... Journal of clinical pathology 56 (1), 52-55, 2003 | 79 | 2003 |
| A reification calculus for model-oriented software specification JNF Oliveira Springer Verlag, 1990 | 71 | 1990 |
| Software reification using the SETS calculus JN Oliveira 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop …, 1992 | 67 | 1992 |
| Transforming Data by Calculation JN Oliveira Generative and Transformational Techniques in Software Engineering II …, 2007 | 54 | 2007 |
| Type-safe two-level data transformation A Cunha, JN Oliveira, J Visser FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006 | 54 | 2006 |
| Programming from Galois connections SC Mu, J Oliveira Relational and Algebraic Methods in Computer Science, 294-313, 2011 | 42 | 2011 |
| Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009: Proceedings JN Oliveira Springer, 2009 | 40 | 2009 |
| Verifying Intel flash file system core specification MA Ferreira, SS Silva, JN Oliveira Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008 | 39 | 2008 |
| State-based components made generic LS Barbosa, JN Oliveira Electronic Notes in Theoretical Computer Science 82 (1), 39-56, 2003 | 39 | 2003 |
| Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings RC Backhouse, JN Oliveira Springer Science & Business Media, 2000 | 39 | 2000 |
| Transposing partial components--An exercise on coalgebraic refinement LS Barbosa, JN Oliveira Theoretical computer science 365 (1-2), 2-22, 2006 | 38 | 2006 |
| Pointfree factorization of operation refinement JN Oliveira, CJ Rodrigues FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006 | 36 | 2006 |
| Towards a linear algebra of programming JN Oliveira Formal Aspects of Computing 24, 433-458, 2012 | 35 | 2012 |
| Extended static checking by calculation using the pointfree transform JN Oliveira International LerNet ALFA Summer School on Language Engineering and Rigorous …, 2008 | 35 | 2008 |
| A linear algebra approach to OLAP HD Macedo, JN Oliveira Formal Aspects of Computing 27, 283-307, 2015 | 33 | 2015 |
| 'Galculator': functional prototype of a Galois-connection based proof assistant PF Silva, JN Oliveira Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008 | 29 | 2008 |
| e-Procurement: Uma reflexão sobre a situação actual em Portugal L Amaral, C Teixeira, JN Oliveira Associação para a Promoção e Desenvolvimento da Sociedade de Informação, 2003 | 28 | 2003 |
| An integrated formal methods tool-chain and its application to verifying a file system model MA Ferreira, JN Oliveira Brazilian Symposium on Formal Methods, 153-169, 2009 | 27 | 2009 |
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt
