Inference of static semantics for incomplete C programs LTC Melo, RG Ribeiro, MR de Araújo, FMQ Pereira Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017 | 24 | 2017 |
Type inference for c: Applications to the static analysis of incomplete programs LTC Melo, RG Ribeiro, BCF Guimarães, FMQ Pereira ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (3), 1-71, 2020 | 12 | 2020 |
NomadiKey: User authentication for smart devices based on nomadic keys L Cotta, AL Fernandes, LTC Melo, LFZ Saggioro, F Martins, AL Maia Neto, ... 2016 IEEE International Conference on Communications (ICC), 2016 | 8 | 2016 |
SMOV: Array Bound-Check and access in a single instruction A Maia, LTC Melo, FMQ Pereira, OPV Neto, LB Oliveira 2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC …, 2016 | 1 | 2016 |
Uma biblioteca para desenho de grafos construída sob o paradigma de programação genérica LTC Melo Universidade Federal de Minas Gerais, 2007 | 1 | 2007 |
Teclanômade: Uma solução de autenticação para usuários de dispositivos inteligentes baseada em Teclados Nômades ALM Neto, AL Fernandes, F Martins, LTC Melo, L Cotta, LFZ Saggioro, ... Anais do XV Simpósio Brasileiro em Segurança da Informação e de Sistemas …, 2015 | | 2015 |
Protecting Programs Against Memory Violation In Hardware ALM Neto, LTC Melo, OPV Neto, FMQ Pereira, LB Oliveira IEEE Latin America Transactions 13 (3), 885-891, 2015 | | 2015 |
XVIII Seminário Nacional de Distribuição de Energia Elétrica SENDI 2008-06 a 10 de outubro Olinda-Pernambuco-Brasil VMCR Cardoso, MDC Ramos, FMTRD Chaves, LTC Melo | | |
Generic Graph Drawing LTC Melo, RC Mesquita | | |