Creating and sharing knowledge for telecommunications
... Guilherme Henrique Caçador Ramos

PhD Student

Guilherme Ramos

Former IT academic position: External Author
Joining/Leaving IT dates: 01-01-2014 / 01-12-2018
Roles held in IT: PhD Student
Former IT scientific area: Networks and Multimedia
Group: Security and Quantum Information - Lx

Scientific Achievements

  • Métodos formais para verificação de protocolos criptográficos
  • S. Pequito, S. Kar, P. Aguiar, J. Ramos, G. Ramos, The robust minimal controllability problem, Automatica, Vol. 82, No. 1, pp. 261 - 268, August, 2017 | BibTex
  • C. Caleiro, G. Ramos, S. Pequito, The robust minimal controllability problem for switched linear continuous-time systems, American Control Conference, Milwaukee, United States, Vol., pp. -, June, 2018 | BibTex
  • C. Caleiro, J. Saúde, G. Ramos, S. Kar, Reputation-based ranking systems and their resistance to bribery, International Conf. on Data Mining, New Orleans, United States, Vol., pp. -, November, 2017 | BibTex
  • G. Ramos, C. Caleiro, Symbolic Probabilistic Analysis of Side-Channel Information, Sessão Especial/Temática “Criptografia e Tópicos Relacionados” no “Encontro Nacional da Sociedade Portuguesa de Matemática 2016” Guilherme Henrique Caçador Ramos, Barreiro, Portugal, Vol. n.a., pp. n.a. - n.a., July, 2016,
    | Abstract
    | BibTex