3 papers
cs.FL2026
Robust Algebraic Theories of Triangle Graphs
Marius Bozga, Radu Iosif, Florian Zuleger
Triangle graphs are graphs of tree-width at most three in which every edge belongs to a triangle. This class encompasses well-known graph families such as Apollonian networks. We a…
cs.FL2025
Iterating Non-Aggregative Structure Compositions
Marius Bozga, Radu Iosif, Florian Zuleger
An aggregative composition is a binary operation obeying the principle that the whole is determined by the sum of its parts. The development of graph algebras, on which the theory…
cs.FL2025
Counting Abstraction for the Verification of Structured Parameterized Networks
Marius Bozga, Radu Iosif, Arnaud Sangnier +1
We consider the verification of parameterized networks of replicated processes whose architecture is described by hyperedge-replacement graph grammars. Due to the undecidability of…