Stimulating Research Skills in Undergraduate Computing Students: An Experience Report. - Simone C. dos Santos; Anderson César Carvalho; Gabriel Leite; Luan Brito; Aline Gouveia (FIE, 2022)

Extracting Formal Smart-Contract Specifications from Natural Language with LLMs. - Gabriel Leite; Filipe Arruda; Pedro Antonino; Augusto Sampaio 001; A. W. Roscoe 001 (FACS, 2024)