Volgen
Jose N. Oliveira
Jose N. Oliveira
HASLab / INESC TEC and Universidade do Minho
Geverifieerd e-mailadres voor di.uminho.pt - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Expression of cell-cycle regulatory proteins and their prognostic value in superficial low-grade urothelial cell carcinoma of the bladder
LL Santos, T Amaro, SA Pereira, CR Lameiras, P Lopes, MJ Bento, ...
European Journal of Surgical Oncology (EJSO) 29 (1), 74-80, 2003
772003
A reification calculus for model-oriented software specification
JNF Oliveira
Springer Verlag, 1990
731990
Software reification using the SETS calculus
JN Oliveira
5th Refinement Workshop, 140-171, 1992
681992
Typing linear algebra: A biproduct-oriented approach
HD Macedo, JN Oliveira
Science of Computer Programming 78 (11), 2160-2191, 2013
622013
Type-safe two-level data transformation
A Cunha, JN Oliveira, J Visser
International Symposium on Formal Methods, 284-299, 2006
552006
Transforming Data by Calculation
JN Oliveira
Generative and Transformational Techniques in Software Engineering II …, 2007
512007
Quality 4.0: the EFQM 2020 model and industry 4.0 relationships and implications
L Fonseca, A Amaral, J Oliveira
Sustainability 13 (6), 3107, 2021
482021
Extended static checking by calculation using the pointfree transform
JN Oliveira
International LerNet ALFA Summer School on Language Engineering and Rigorous …, 2008
372008
State-based components made generic
LS Barbosa, JN Oliveira
Electronic Notes in Theoretical Computer Science 82 (1), 39-56, 2003
372003
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
362008
Transposing partial components--An exercise on coalgebraic refinement
LS Barbosa, JN Oliveira
Theoretical computer science 365 (1-2), 2-22, 2006
352006
Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
R Backhouse, JN Oliveira
Springer, 2006
342006
Pointfree factorization of operation refinement
JN Oliveira, CJ Rodrigues
International Symposium on Formal Methods, 236-251, 2006
332006
A linear algebra approach to OLAP
HD Macedo, JN Oliveira
Formal Aspects of Computing 27 (2), 283-307, 2015
292015
Programming from Galois connections
SC Mu, JN Oliveira
The Journal of Logic and Algebraic Programming 81 (6), 680-704, 2012
292012
Towards a linear algebra of programming
JN Oliveira
Formal Aspects of Computing 24 (4), 433-458, 2012
292012
'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
262008
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
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
242009
From algebras to objects: Generation and composition
AM Cruz, LS Barbosa, JNF Oliveira
Know-Center, Graz, Austria, 2005
242005
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20