Author

Antonios Kalampakas

3 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

Graphoid Automata, Frobenius PROPs, and Semiring Evaluation

Graphoid automata evaluate graphs by composing relations between words of states. We examine the equations that make this evaluation independent of the chosen graph expression, and what changes when relations are replaced by matrices over a commutative semiring. We prove that the classical graphoid equations are equiva...

Antonios Kalampakas · 0 citations

#edge computing Preprint Sep 2026

Automatic constraints with few subpowers and graphoid recognition

For graphoid automata, these results give polynomial-time recognition without a graph-width restriction, effective boundary composition, and comparison of finite graph relations, and the quadratic boundary bounds are optimal in the worst case.

Antonios Kalampakas · 0 citations

#edge computing Preprint Sep 2026

Width-Bounded Equational Derivations for Finite Graph Expressions

It is proved that equal closed expressions of pattern width at most $k$ are joined by a derivation in which every step applies an equation in either direction and every intermediate width is at most a computable $B_\Sigma(k)$, independently of graph size.

Antonios Kalampakas · 0 citations