Jose N. Oliveira
TitleCited byYear
The ubiris. v2: A database of visible wavelength iris images captured on-the-move and at-a-distance
H Proenca, S Filipe, R Santos, J Oliveira, LA Alexandre
IEEE Transactions on Pattern Analysis and Machine Intelligence 32 (8), 1529-1535, 2009
3892009
Leaf gas exchange, chloroplastic pigments and dry matter accumulation in castor bean (Ricinus communis L) seedlings subjected to salt stress conditions
HA Pinheiro, JV Silva, L Endres, VM Ferreira, C de Albuquerque Câmara, ...
Industrial Crops and Products 27 (3), 385-392, 2008
1322008
Gestão por processos: fundamentos, técnicas e modelos de implementação: foco no sistema de gestão da qualidade com base na ISO 9000: 2000
S Barbará
Qualitymark Editora Ltda, 2008
1102008
Análise e modelagem de processos de negócios: foco na notação BPMN (Business Process Modeling Notation)
R Valle, SB Oliveira
Análise e modelagem de processos de negócios: Foco na notação BPMN (Business …, 2011
832011
A reification calculus for model-oriented software specification
JN Oliveira
Formal Aspects of Computing 2 (1), 1-23, 1990
701990
Software reification using the SETS calculus
JN Oliveira
5th Refinement Workshop, 140-171, 1992
621992
Gestão por processos: fundamentos, técnicas e modelos de implementação: foco no sistema de gestão de qualidade com base na ISO 9000: 2000
SB OLIVEIRA
Rio de Janeiro: Qualitymark, 2008
582008
Detection of electronegative low density lipoprotein (LDL−) in plasma and atherosclerotic lesions by monoclonal antibody-based immunoassays
NRT Damasceno, A Sevanian, E Apolinário, JMA Oliveira, I Fernandes, ...
Clinical biochemistry 39 (1), 28-38, 2006
582006
Type-safe two-level data transformation
A Cunha, JN Oliveira, J Visser
International Symposium on Formal Methods, 284-299, 2006
542006
Factors associated with complications of removal of third molars: a transversal study
NL Barbosa-Rebellato, AC Thomé, C Costa-Maciel, J Oliveira, R Scariot
Med Oral Patol Oral Cir Bucal 16 (3), e376-80, 2011
512011
Impairment of human CYP1A2-mediated xenobiotic metabolism by Antley–Bixler syndrome variants of cytochrome P450 oxidoreductase
M Kranendonk, CC Marohnic, SP Panda, MP Duarte, JS Oliveira, ...
Archives of biochemistry and biophysics 475 (2), 93-99, 2008
462008
Transforming Data by Calculation
JN Oliveira
Generative and Transformational Techniques in Software Engineering II …, 2007
46*2007
Advanced Functional Programming
SD Swierstra, PR Henriques, JN Oliveira
Lecture Notes in Computer Science 1608, 1999
441999
Typing linear algebra: A biproduct-oriented approach
HD Macedo, JN Oliveira
Science of Computer Programming 78 (11), 2160-2191, 2013
432013
Extended static checking by calculation using the pointfree transform
JN Oliveira
International LerNet ALFA Summer School on Language Engineering and Rigorous …, 2008
362008
State-based components made generic
LS Barbosa, JN Oliveira
Electronic Notes in Theoretical Computer Science 82 (1), 39-56, 2003
342003
Genotoxicity of instant coffee: possible involvement of phenolic Compounds
MP Duarte, A Laires, J Gaspar, D Leão, JS Oliveira, J Rueff
Mutation Research/Genetic Toxicology and Environmental Mutagenesis 442 (1 …, 1999
341999
Transposing partial components--An exercise on coalgebraic refinement
LS Barbosa, JN Oliveira
Theoretical computer science 365 (1-2), 2-22, 2006
322006
Cloreto de sódio, benzocaína e óleo de cravo-da-índia na água de transporte de tilápia-do-nilo
JR Oliveira, JL Carmo, KKC Oliveira, MCF Soares
Revista Brasileira de Zootecnia 38 (7), 1163-1169, 2009
312009
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
312008
The system can't perform the operation now. Try again later.
Articles 1–20