Bruno Lopes

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards determinism in PDL: relations and proof theory Journal of Logic and Computation	2025-10-15	Paper
Ecumenical propositional tableau Studia Logica	2025-05-07	Paper
Twin-treewidth: a single-exponential logic-based approach	2024-09-16	Paper
ReLo: a Dynamic Logic to Reason About Reo Circuits Electronic Proceedings in Theoretical Computer Science	2024-02-28	Paper
A logical framework to reason about Reo circuits	2022-10-12	Paper
Memory propositional dynamic logic	2022-04-04	Paper
Bifurcations of the Riccati quadratic polynomial differential systems International Journal of Bifurcation and Chaos in Applied Sciences and Engineering	2021-05-31	Paper
Periodic solutions of continuous third-order differential equations with piecewise polynomial nonlinearities International Journal of Bifurcation and Chaos in Applied Sciences and Engineering	2020-10-08	Paper
Limit cycles bifurcating from the periodic annulus of the weight-homogeneous polynomial centers of weight-degree 2 Applied Mathematics and Computation	2019-03-19	Paper
Propositional dynamic logic for Petri nets Logic Journal of the IGPL	2019-01-08	Paper
Towards reasoning about Petri nets: a propositional dynamic logic based approach Theoretical Computer Science	2018-09-24	Paper
Limit cycles bifurcating from the periodic orbits of the weight-homogeneous polynomial centers of weight-degree 3	2018-05-31	Paper
Piecewise implicit differential systems Journal of Dynamics and Differential Equations	2018-01-26	Paper
Propositional dynamic logic for Petri nets with iteration Theoretical Aspects of Computing – ICTAC 2016	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 Lecture Notes in Computer Science	2016-04-01	Paper
Limit cycles of cubic polynomial differential systems with rational first integrals of degree 2 Applied Mathematics and Computation	2016-01-04	Paper
Limit cycles bifurcating from the periodic annulus of cubic homogeneous polynomial centers	2015-12-10	Paper
Limit cycles for a class of continuous and discontinuous cubic polynomial differential systems Qualitative Theory of Dynamical Systems	2015-01-27	Paper
Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Bruno Lopes