Follow
Jose N. Oliveira
Title
Cited by
Cited by
Year
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
802004
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
792003
Typing linear algebra: A biproduct-oriented approach
HD Macedo, JN Oliveira
Science of Computer Programming 78 (11), 2160-2191, 2013
742013
A reification calculus for model-oriented software specification
JNF Oliveira
Springer Verlag, 1990
721990
Software Reification using the SETS Calculus.
JN Oliveira
Refine, 140-171, 1992
691992
Type-safe two-level data transformation
A Cunha, JN Oliveira, J Visser
FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006
542006
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
392003
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
382008
Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
R Backhouse, JN Oliveira
Springer, 2006
382006
Transposing partial components--An exercise on coalgebraic refinement
LS Barbosa, JN Oliveira
Theoretical computer science 365 (1-2), 2-22, 2006
362006
Extended static checking by calculation using the pointfree transform
JN Oliveira
International LerNet ALFA Summer School on Language Engineering and Rigorous …, 2008
342008
Pointfree factorization of operation refinement
JN Oliveira, CJ Rodrigues
FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006
342006
A linear algebra approach to OLAP
HD Macedo, JN Oliveira
Formal Aspects of Computing 27, 283-307, 2015
322015
Programming from Galois connections
SC Mu, JN Oliveira
The Journal of Logic and Algebraic Programming 81 (6), 680-704, 2012
322012
Towards a linear algebra of programming
JN Oliveira
Formal Aspects of Computing 24, 433-458, 2012
322012
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009: Proceedings
JN Oliveira
Springer, 2009
292009
'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
282008
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
252009
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
252005
The system can't perform the operation now. Try again later.
Articles 1–20