VLDB 2026 Research / reviewers in the wild / expert
Anton Chernev
dblp:383/6691
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2025
0009-0002-6232-5604ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Thin Coalgebraic Behaviours Are InductiveabstractCoalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tuples, cyclic lists and multisets. Motivated by goals in automata-based verification and results on thin trees, we introduce thin coalgebras as those coalgebras with only countably many infinite paths from each state. Our main result is an inductive characterisation of thinness via an initial algebra. To this end, we develop a syntax for thin behaviours and capture with a single equation when two terms represent the same thin behaviour. Finally, for the special case of polynomial functors, we retrieve from our syntax the notion of Cantor-Bendixson rank of a thin tree. Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke |
LICS | 1 |
| 2024 | Dual Adjunction Between $\varOmega $-Automata and Wilke Algebra Quotients
Anton Chernev, Helle Hvid Hansen, Clemens Kupke |
ICTAC | 1 |