A Student Model for Teaching Natural Deduction Based on a Prover That Mimics Student Reasoning. - João Carlos Gluz; Fabiane Penteado; Marcel Mossmann; Lucas Gomes; Rosa Vicari (Intelligent Tutoring Systems, 2014)

Contribuições à Qualidade de um Produto com Testadores de Diferentes Perfis: Um Relato de Experiência. - Mirian Souza; Ellen Barroso; Andréia Vieira; Adriane Almeida; Lucas Gomes; Arilo Dias Neto (SBQS, 2014)

XMPP-based Network Management Infrastructure for Agile IoT Application Deployment and Configuration. - Enrico Ferrera; Davide Conzon; Paolo Brizzi; Lucas Gomes; Marc Jentsch; Peeter Kool (ICIN, 2016)

Collusion Detection with Graph Neural Networks. - Lucas Gomes; Jannis Kueck; Mara Mattes; Martin Spindler; Alexey Zaytsev 002 (CoRR, 2024)