A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition. - Lígia Maria Soares Passos; Stéphane Julia; Bruno Francisco Martins da Silva (SOSE, 2019)

Indexing High-Dimensional Vector Streams. - João Pedro Valladão Pinheiro; Lucas Ribeiro Borges; Bruno Francisco Martins da Silva; Luiz André P. Paes Leme; Marco Antonio Casanova (ICEIS (1), 2023)

Staged Vector Stream Similarity Search Methods. - João Pedro Valladão Pinheiro; Lucas Ribeiro Borges; Bruno Francisco Martins da Silva; Luiz André P. Paes Leme; Marco A. Casanova (ICEIS (Revised Selected Papers 1), 2023)