Friend of OWSD
Bruno Lopes
Membership since:
2025
Field of activity:
Degrees:
2014
Doctorate Computing and Information Technology
Publications resulting from Research
LOPES, B.; Benevides, M. ; HAEUSLER, E. H. . Propositional dynamic logic for Petri Nets. Logic Journal of the IGPL, v. 23, p. 721-736, 2014.
LOPES, Bruno; Benevides, M. ; Haeusler, Edward Hermann . Extending Propositional Dynamic Logic for Petri Nets. Electronic Notes in Theoretical Computer Science, v. 305, p. 67-83, 2014.
Benevides, Mario R. F. ; Lopes, Bruno ; Haeusler, Edward Hermann . Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. THEORETICAL COMPUTER SCIENCE, p. 22-36, 2018.
Lopes, Bruno; Nalon, Cláudia ; Haeusler, Edward Hermann . Reasoning about Petri nets: a calculus based on Resolution and Dynamic Logic. ACM Transactions on Computational Logic (in press).
Benevides, Mario R. F. ; Lopes, Bruno ; Haeusler, Edward Hermann . Propositional Dynamic Logic for Petri Nets with Iteration. In: International Colloquium on Theoretical Aspects of Computing, 2016, Taipei. Theoretical Aspects of Computing - ICTAC 2016 (LNCS), 2016. v. 9965. p. 441-456.
SANTOS, J. B. ; Lopes, Bruno ; Haeusler, Edward Hermann . Counter-Model Generation from Failed Proof Searches in Propositional Minimal Implicational Logic. In: Logical and Semantic Frameworks with Applications, 2017, Brasília. Logical and Semantic Frameworks with Applications, 2017.
GRILO, ERICK SIMAS ; Lopes, Bruno . Formalization and Certification of Software for Smart Cities. In: 2018 International Joint Conference on Neural Networks (IJCNN), 2018, Rio de Janeiro. 2018 International Joint Conference on Neural Networks (IJCNN), 2018. p. 1-669.