Bruno D. Lopes

Available identifiers

zbMath Open lopes.bruno-domenicianoMaRDI QIDQ489209

List of research outcomes

Publication	Date of Publication	Type
Twin-treewidth: a single-exponential logic-based approach	2024-09-16	Paper
ReLo: a Dynamic Logic to Reason About Reo Circuits	2024-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q5039192	2022-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5067947	2022-04-04	Paper
Bifurcations of the Riccati Quadratic Polynomial Differential Systems	2021-05-31	Paper
Periodic Solutions of Continuous Third-Order Differential Equations with Piecewise Polynomial Nonlinearities	2020-10-08	Paper
Limit cycles bifurcating from the periodic annulus of the weight-homogeneous polynomial centers of weight-degree 2	2019-03-19	Paper
Propositional dynamic logic for Petri nets	2019-01-08	Paper
Towards reasoning about Petri nets: a propositional dynamic logic based approach	2018-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4644349	2018-05-31	Paper
Piecewise implicit differential systems	2018-01-26	Paper
Propositional Dynamic Logic for Petri Nets with Iteration	2016-12-21	Paper
A calculus for automatic verification of Petri nets based on resolution and dynamic logics	2016-08-01	Paper
Extending propositional dynamic logic for Petri nets	2016-05-10	Paper
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case	2016-04-01	Paper
Limit cycles of cubic polynomial differential systems with rational first integrals of degree 2	2016-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q3457023	2015-12-10	Paper
Limit cycles for a class of continuous and discontinuous cubic polynomial differential systems	2015-01-27	Paper
Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices	N/A	Paper

Research outcomes over time

This page was built for person: Bruno D. Lopes