José Bacelar Almeida
José Bacelar Almeida
HASLab / INESC TEC, Universidade do Minho
Verified email at
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 Goncalves, L Saint-André, M Ventura, ...
Tree Physiology 29 (1), 111-124, 2009
Verifying constant-time implementations
JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi
25th {USENIX} Security Symposium ({USENIX} Security 16), 53-70, 2016
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
Bacterial and fungal proteolytic enzymes: production, catalysis and potential applications
RR Da Silva
Applied biochemistry and biotechnology 183 (1), 1-19, 2017
A positive growth response to NaCl applications in Eucalyptus plantations established on K-deficient soils
JCR Almeida, JP Laclau, JL de Moraes Goncalves, J Ranger, ...
Forest Ecology and Management 259 (9), 1786-1795, 2010
Rigorous software development: an introduction to program verification
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Springer Science & Business Media, 2011
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, 2012
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
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
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
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
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
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
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
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
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
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
Bounded version vectors
JB Almeida, PS Almeida, C Baquero
International Symposium on Distributed Computing, 102-116, 2004
An overview of formal methods tools and techniques
JB Almeida, MJ Frade, JS Pinto, SM de Sousa
Rigorous Software Development, 15-44, 2011
Sensing structure based on surface plasmon resonance in chemically etched single mode optical fibres
L Coelho, J de Almeida, JL Santos, RAS Ferreira, PS André, D Viegas
Plasmonics 10 (2), 319-327, 2015
The system can't perform the operation now. Try again later.
Articles 1–20