research
∙
06/30/2023
Rigorous Function Calculi in Ariadne
Almost all problems in applied mathematics, including the analysis of dy...
share
research
∙
03/22/2023
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package
BDDs are representations of a Boolean expression in the form of a direct...
research
∙
06/25/2021
Decomposition of transition systems into sets of synchronizing state machines
Transition systems (TS) and Petri nets (PN) are important models of comp...
research
∙
09/23/2020
The Quotient in Preorder Theories
Seeking the largest solution to an expression of the form A x <= B is a ...
research
∙
01/29/2020
Higher Order Method for Differential Inclusions
Uncertainty is unavoidable in modeling dynamical systems and it may be r...
research
∙
08/09/2018
