Modelling Geometric Objects with ISO 15926: Three Proposals with a Comparative Analysis. - Geiza M. Hamazaki da Silva; Bruno Lopes 001; Gabriel B. Monteiro Lopes (ONTOBRAS-MOST, 2012)

A new proof of normalization for NS4 - Bruno Lopes 001; Cécilia Englander; Fernanda Lobo; Marcela Cruz (CoRR, 2012)

Extending Propositional Dynamic Logic for Petri Nets. - Bruno Lopes 001; Mario R. F. Benevides; Edward Hermann Haeusler (LSFA, 2013)

A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. - Cláudia Nalon; Bruno Lopes 001; Gilles Dowek; Edward Hermann Haeusler (LSFA, 2014)

Propositional dynamic logic for Petri nets. - Bruno Lopes 001; Mario R. F. Benevides; Edward Hermann Haeusler (Log. J. IGPL, 2014)

Extensões de lógica Proposicional dinâmica para Redes de Petri. - Bruno Lopes Vieira (2014)

Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. - Bruno Lopes 001; Mario R. F. Benevides; Edward Hermann Haeusler (PAAMS (Special Sessions), 2015)

Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case. - Christiano Braga; Bruno Lopes 001 (SBMF, 2015)

A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. - Jefferson de Barros Santos; Bruno Lopes Vieira; Edward Hermann Haeusler (WEIT, 2015)

Propositional Dynamic Logic for Petri Nets with Iteration. - Mario R. F. Benevides; Bruno Lopes 001; Edward Hermann Haeusler (ICTAC, 2016)

Editorial. - Juan Carlos Nieves; Edward Hermann Haeusler; Bruno Lopes Vieira (Computación y Sistemas, 2017)

Formalization and Certification of Software for Smart Cities. - Erick Simas Grilo; Bruno Lopes 001 (IJCNN, 2018)

Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. - Mario R. F. Benevides; Bruno Lopes 001; Edward Hermann Haeusler (Theor. Comput. Sci., 2018)

Critical Systems for Smart Cities: Towards Certifying Software. - Erick Simas Grilo; Bruno Lopes 001 (Smart and Digital Cities, 2019)

Revisiting Counter-model Generation for Minimal Implicational Logic. - Jefferson de Barros Santos; Bruno Lopes Vieira; Edward Hermann Haeusler (CoRR, 2019)

Modelling and Certifying Smart Cities in Reo Circuits. - Erick Simas Grilo; Bruno Lopes 001 (IWSSIP, 2020)

Towards Failure Prediction in Scientific Workflows Using Stochastic Petri Nets and Dynamic Logic. - Bruno Lopes 001; Daniel de Oliveira 001 (QUATIC, 2020)

Experiencing DfAnalyzer for Runtime Analysis of Phylogenomic Dataflows. - Luiz Gustavo Dias; Marta Mattoso; Bruno Lopes 001; Daniel de Oliveira 001 (BSB, 2020)

Using machine learning techniques to analyze the performance of concurrent kernel execution on GPUs. - Pablo Carvalho; Esteban Clua; Aline Paes; Cristiana Bentes; Bruno Lopes 001; Lúcia Maria de A. Drummond (Future Gener. Comput. Syst., 2020)

Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic. - Bruno Lopes 001; Cláudia Nalon; Edward Hermann Haeusler (ACM Trans. Comput. Log., 2021)

ReLo: a Dynamic Logic to Reason About Reo Circuits. - Erick Simas Grilo; Bruno Lopes 001 (LSFA, 2022)

A logical framework to reason about Reo circuits. - Erick Simas Grilo; Daniel Toledo; Bruno Lopes 001 (FLAP, 2022)

Twin-Treewidth: A Single-Exponential Logic-Based Approach. - Maurício Pires; Uéverton S. Souza; Bruno Lopes 001 (COCOA (2), 2023)

MAESTRO: Uma Abordagem para a Composição e Análise de Workflows Baseados em Scripts por Meio de Ontologias. - Luiz Gustavo Dias; Bruno Lopes 001; Daniel de Oliveira 001 (SBBD, 2023)

MAESTRO: a lightweight ontology-based framework for composing and analyzing script-based scientific experiments. - Luiz Gustavo Dias; Bruno Lopes 001; Daniel de Oliveira 001 (Knowl. Inf. Syst., 2024)

Towards determinism in PDL: relations and proof theory. - Mario R. F. Benevides; Leandro Gomes 001; Bruno Lopes 001 (J. Log. Comput., 2025)

Ecumenical Propositional Tableau. - Renato Leme; Marcelo Esteban Coniglio; Bruno Lopes 001; Giorgio Venturi (Stud Logica, 2025)