Folgen
Jose N. Oliveira
Jose N. Oliveira
HASLab / INESC TEC and Universidade do Minho
Bestätigte E-Mail-Adresse bei di.uminho.pt - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Typing linear algebra: A biproduct-oriented approach
HD Macedo, JN Oliveira
Science of Computer Programming 78 (11), 2160-2191, 2013
872013
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
842004
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
812003
A reification calculus for model-oriented software specification
JNF Oliveira
Springer Verlag, 1990
711990
Software Reification using the SETS Calculus.
JN Oliveira
Refine, 140-171, 1992
681992
Type-safe two-level data transformation
A Cunha, JN Oliveira, J Visser
FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006
532006
Transforming Data by Calculation
JN Oliveira
Generative and Transformational Techniques in Software Engineering II …, 2007
52*2007
Programming from Galois connections
SC Mu, J Oliveira
Relational and Algebraic Methods in Computer Science, 294-313, 2011
412011
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
State-based components made generic
LS Barbosa, JN Oliveira
Electronic Notes in Theoretical Computer Science 82 (1), 39-56, 2003
382003
Transposing partial components--An exercise on coalgebraic refinement
LS Barbosa, JN Oliveira
Theoretical computer science 365 (1-2), 2-22, 2006
362006
Pointfree factorization of operation refinement
JN Oliveira, CJ Rodrigues
FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006
352006
Towards a linear algebra of programming
JN Oliveira
Formal Aspects of Computing 24, 433-458, 2012
342012
A linear algebra approach to OLAP
HD Macedo, JN Oliveira
Formal Aspects of Computing 27, 283-307, 2015
332015
Extended static checking by calculation using the pointfree transform
JN Oliveira
International LerNet ALFA Summer School on Language Engineering and Rigorous …, 2008
322008
'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
262009
From algebras to objects: Generation and composition
AM Cruz, LS Barbosa, JNF Oliveira
Know-Center, Graz, Austria, 2005
242005
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
242005
Reverse program calculation supported by code slicing
G Villavicencio, JN Oliveira
Proceedings Eighth Working Conference on Reverse Engineering, 35-45, 2001
222001
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20