Bruno Lopes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2015–2023
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | COCOA | Twin-Treewidth: A Single-Exponential Logic-Based Approach. | Maurcio Pires, Uverton S. Souza, Bruno Lopes |
| 2020 | QUATIC | Towards Failure Prediction in Scientific Workflows Using Stochastic Petri Nets and Dynamic Logic. | Bruno Lopes, Daniel de Oliveira |
| 2018 | IJCNN | Formalization and Certification of Software for Smart Cities. | Erick Simas Grilo, Bruno Lopes |
| 2016 | ICTAC | Propositional Dynamic Logic for Petri Nets with Iteration. | Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler |
| 2015 | PAAMS | Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. | Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler |