Bruno Lopes

Daniel de Oliveira

Proceedings of the 38th Brazilian Symposium on Databases, 2023

Twin-Treewidth: A Single-Exponential Logic-Based Approach.

[BibT_eX]

[DOI]

Maurício Pires

Uéverton S. Souza

Proceedings of the Combinatorial Optimization and Applications, 2023

2022

A logical framework to reason about Reo circuits.

[BibT_eX]

[DOI]

Daniel Toledo

FLAP, 2022

ReLo: a Dynamic Logic to Reason About Reo Circuits.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022

2021

Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic.

[BibT_eX]

[DOI]

Cláudia Nalon

Lúcia Maria de A. Drummond

ACM Trans. Comput. Log., 2021

2020

Using machine learning techniques to analyze the performance of concurrent kernel execution on GPUs.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2020

Experiencing DfAnalyzer for Runtime Analysis of Phylogenomic Dataflows.

[BibT_eX]

[DOI]

Proceedings of the Advances in Bioinformatics and Computational Biology, 2020

Towards Failure Prediction in Scientific Workflows Using Stochastic Petri Nets and Dynamic Logic.

[BibT_eX]

[DOI]

Daniel de Oliveira

Proceedings of the Quality of Information and Communications Technology, 2020

Modelling and Certifying Smart Cities in Reo Circuits.

[BibT_eX]

[DOI]

Jefferson de Barros Santos

Proceedings of the 2020 International Conference on Systems, Signals and Image Processing, 2020

2019

Revisiting Counter-model Generation for Minimal Implicational Logic.

[BibT_eX]

[DOI]

CoRR, 2019

Critical Systems for Smart Cities: Towards Certifying Software.

[BibT_eX]

[DOI]

Proceedings of the Smart and Digital Cities, 2019

2018

Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

Formalization and Certification of Software for Smart Cities.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

2017

Editorial.

[BibT_eX]

[DOI]

Juan Carlos Nieves

Computación y Sistemas, 2017

2016

Propositional Dynamic Logic for Petri Nets with Iteration.

[BibT_eX]

[DOI]

Jefferson de Barros Santos

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case.

[BibT_eX]

[DOI]

Christiano Braga

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Reasoning about Multi-Agent Systems Using Stochastic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability, 2015

2014

Extensões de lógica Proposicional dinâmica para Redes de Petri.

[BibT_eX]

[DOI]

PhD thesis, 2014

Propositional dynamic logic for Petri nets.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics.

[BibT_eX]

[DOI]

Cláudia Nalon

Gilles Dowek

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

2013

Extending Propositional Dynamic Logic for Petri Nets.

[BibT_eX]

[DOI]

Geiza M. Hamazaki da Silva

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2012

A new proof of normalization for NS4

[BibT_eX]

[DOI]

CoRR, 2012

Modelling Geometric Objects with ISO 15926: Three Proposals with a Comparative Analysis.

[BibT_eX]

[DOI]