| 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 | 78 | 2004 |
| A reification calculus for model-oriented software specification JNF Oliveira Springer Verlag, 1990 | 72 | 1990 |
| Typing linear algebra: A biproduct-oriented approach HD Macedo, JN Oliveira Science of Computer Programming 78 (11), 2160-2191, 2013 | 69 | 2013 |
| Software reification using the SETS calculus JN Oliveira 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop …, 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 | 55 | 2006 |
| Transforming Data by Calculation JN Oliveira Generative and Transformational Techniques in Software Engineering II …, 2007 | 52* | 2007 |
| State-based components made generic LS Barbosa, JN Oliveira Electronic Notes in Theoretical Computer Science 82 (1), 39-56, 2003 | 38 | 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 | 37 | 2008 |
| Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings R Backhouse, JN Oliveira Springer, 2006 | 37 | 2006 |
| 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 Language Engineering and Rigorous Software Development: International LerNet …, 2009 | 35 | 2009 |
| Pointfree factorization of operation refinement JN Oliveira, CJ Rodrigues FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006 | 34 | 2006 |
| 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 |
| Programming from Galois connections SC Mu, JN Oliveira The Journal of Logic and Algebraic Programming 81 (6), 680-704, 2012 | 31 | 2012 |
| '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 | 28 | 2008 |
| An integrated formal methods tool-chain and its application to verifying a file system model MA Ferreira, JN Oliveira Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 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 |
| From algebras to objects: Generation and composition AM Cruz, LS Barbosa, JNF Oliveira Know-Center, Graz, Austria, 2005 | 24 | 2005 |
| Reverse program calculation supported by code slicing G Villavicencio, JN Oliveira Proceedings Eighth Working Conference on Reverse Engineering, 35-45, 2001 | 22 | 2001 |
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt
