N-GraphML: Language and Formal Grammar for Proof-Graphs. - Daniel Vaz dos Santos; Lucas Fernando Souza de Castro; Gleifer Vaz Alves (WEIT, 2013)

Simulating Smart Campus Applications in Edge and Fog Computing. - Denis Contini; Lucas Fernando Souza de Castro; Edmundo Roberto Mauro Madeira; Sandro Rigo; Luiz Fernando Bittencourt (SMARTCOMP, 2020)

Integrating Embedded Multiagent Systems with Urban Simulation Tools and IoT Applications. - Lucas Fernando Souza de Castro; Fabian Cesar Pereira Brandão Manoel; Vinicius Souza de Jesus; Carlos Eduardo Pantoja; André Pinz Borges; Gleifer Vaz Alves (RITA, 2022)

Relating Edge Computing and Microservices by means of Architecture Approaches and Features, Orchestration, Choreography, and Offloading: A Systematic Literature Review. - Lucas Fernando Souza de Castro; Sandro Rigo (CoRR, 2023)