Person:489209

Available identifiers

zbMath Open lopes.bruno-domenicianoMaRDI QIDQ489209

List of research outcomes

Publication	Date of Publication	Type
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	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bruno D. Lopes