| 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 | 81 | 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 |
| Typing linear algebra: A biproduct-oriented approach HD Macedo, JN Oliveira Science of Computer Programming 78 (11), 2160-2191, 2013 | 77 | 2013 |
| A reification calculus for model-oriented software specification JNF Oliveira Springer Verlag, 1990 | 72 | 1990 |
| Software Reification using the SETS Calculus. JN Oliveira Refine, 140-171, 1992 | 69 | 1992 |
| 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 |
| Transforming Data by Calculation JN Oliveira Generative and Transformational Techniques in Software Engineering II …, 2007 | 52* | 2007 |
| Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings R Backhouse, JN Oliveira Springer, 2006 | 40 | 2006 |
| State-based components made generic LS Barbosa, JN Oliveira Electronic Notes in Theoretical Computer Science 82 (1), 39-56, 2003 | 39 | 2003 |
| 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 | 38 | 2008 |
| Transposing partial components--An exercise on coalgebraic refinement LS Barbosa, JN Oliveira Theoretical computer science 365 (1-2), 2-22, 2006 | 36 | 2006 |
| Extended static checking by calculation using the pointfree transform JN Oliveira International LerNet ALFA Summer School on Language Engineering and Rigorous …, 2008 | 34 | 2008 |
| Pointfree factorization of operation refinement JN Oliveira, CJ Rodrigues FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006 | 34 | 2006 |
| Programming from Galois connections SC Mu, JN Oliveira The Journal of Logic and Algebraic Programming 81 (6), 680-704, 2012 | 33 | 2012 |
| A linear algebra approach to OLAP HD Macedo, JN Oliveira Formal Aspects of Computing 27, 283-307, 2015 | 32 | 2015 |
| Towards a linear algebra of programming JN Oliveira Formal Aspects of Computing 24, 433-458, 2012 | 32 | 2012 |
| Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009: Proceedings JN Oliveira Springer, 2009 | 31 | 2009 |
| '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 |
| 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 | 25 | 2009 |
| Strategic term rewriting and its application to a VDMSL to SQL conversion TL Alves, PF Silva, J Visser, JN Oliveira FM 2005: Formal Methods, 399-414, 2005 | 25 | 2005 |
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt
