Decidindo a Autoridade pelo que Você Possui, Não por Quem Você É: Arquitetura de Segurança Baseada em Capacidades
A Anatomia Completa do Problema P versus NP: O Pináculo da Teoria da Complexidade Computacional e o Abismo Não Resolvido
O Teorema das Quatro Cores e a Revolução na Matemática Computacional: O Enigma de 100 Anos e a Filosofia da Prova por Máquina
Teoria dos Tipos e Isomorfismo de Curry-Howard: A Profunda Harmonia onde Proposições = Tipos e Provas = Programas
Teorema dos Números Primos: A bela lei oculta na distribuição de números primos aparentemente aleatórios