José Bacelar Almeida
José Bacelar Almeida
HASLab / INESC TEC, Universidade do Minho
Verified email at di.uminho.pt
TitleCited byYear
Influence of nitrogen and potassium fertilization on leaf lifespan and allocation of above-ground growth in Eucalyptus plantations
JP Laclau, JCR Almeida, JLM Gonçalves, L Saint-André, M Ventura, ...
Tree Physiology 29 (1), 111-124, 2009
1212009
Verifying constant-time implementations
JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi
25th {USENIX} Security Symposium ({USENIX} Security 16), 53-70, 2016
1012016
Enhanced refractive index sensing characteristics of optical fibre long period grating coated with titanium dioxide thin films
L Coelho, D Viegas, JL Santos, J De Almeida
Sensors and Actuators B: Chemical 202, 929-934, 2014
722014
Bacterial and fungal proteolytic enzymes: production, catalysis and potential applications
RR Da Silva
Applied biochemistry and biotechnology 183 (1), 1-19, 2017
63*2017
A positive growth response to NaCl applications in Eucalyptus plantations established on K-deficient soils
JCR Almeida, JP Laclau, JL de Moraes Gonçalves, J Ranger, ...
Forest ecology and management 259 (9), 1786-1795, 2010
582010
Do changes in carbon allocation account for the growth response to potassium and sodium applications in tropical Eucalyptus plantations?
D Epron, JP Laclau, JCR Almeida, JLM Gonçalves, S Ponton, CR Sette Jr, ...
Tree physiology 32 (6), 667-679, 2011
572011
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer Science & Business Media, 2011
552011
Origin of the Archean leucogranodiorite–granite suites: evidence from the Rio Maria terrane and implications for granite magmatism in the Archean
JAC Almeida, R Dall'Agnol, SB Dias, FJ Althoff
Lithos 120 (3-4), 235-257, 2010
512010
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
JB Almeida, M Barbosa, G Barthe, F Dupressoir
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013
502013
A certifying compiler for zero-knowledge proofs of knowledge based on Σ-protocols
JB Almeida, E Bangerter, M Barbosa, S Krenn, AR Sadeghi, T Schneider
European Symposium on Research in Computer Security, 151-167, 2010
502010
Characterization of zinc oxide coated optical fiber long period gratings with improved refractive index sensing properties
L Coelho, D Viegas, JL Santos, J De Almeida
Sensors and Actuators B: Chemical 223, 45-51, 2016
472016
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC
JB Almeida, M Barbosa, G Barthe, F Dupressoir
International Conference on Fast Software Encryption, 163-184, 2016
432016
H2Sensing Based on a Pd-Coated Tapered-FBG Fabricated by DUV Femtosecond Laser Technique
S Silva, L Coelho, JM Almeida, O Frazão, JL Santos, FX Malcata, ...
IEEE photonics technology letters 25 (4), 401-403, 2013
422013
Jasmin: High-assurance and high-speed cryptography
JB Almeida, M Barbosa, G Barthe, A Blot, B Grégoire, V Laporte, ...
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
392017
Eficiência no gasto público com educação: uma análise dos municípios do Rio Grande do Norte
JLM da Silva, JCL Almeida
Planejamento e Políticas públicas, 2012
392012
Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols
J Bacelar Almeida, M Barbosa, E Bangerter, G Barthe, S Krenn, ...
Proceedings of the 2012 ACM conference on Computer and communications …, 2012
372012
Formal verification of side-channel countermeasures using self-composition
JB Almeida, M Barbosa, JS Pinto, B Vieira
Science of Computer Programming 78 (7), 796-812, 2013
362013
Bounded version vectors
JB Almeida, PS Almeida, C Baquero
International Symposium on Distributed Computing, 102-116, 2004
362004
Modeling of the energy deposition mechanisms in an argon magnetron planar discharge
F Guimaraes, J Almeida, J Bretagne
Journal of Vacuum Science & Technology A: Vacuum, Surfaces, and Films 9 (1 …, 1991
341991
An overview of formal methods tools and techniques
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Rigorous Software Development, 15-44, 2011
332011
The system can't perform the operation now. Try again later.
Articles 1–20