VLDB 2026 Research / reviewers in the wild / expert
Arthur Jaquard
dblp:296/1511
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2022
0000-0001-7407-684XORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | A Complexity Approach to Tree Algebras: the Polynomial CaseabstractIn this paper, we consider infinitely sorted tree algebras recognising regular language of finite trees. We pursue their analysis under the angle of their asymptotic complexity, i.e. the asymptotic size of the sorts as a function of the number of variables involved. Our main result establishes an equivalence between the languages recognised by algebras of polynomial complexity and the languages that can be described by nominal word automata that parse linearisation of the trees. On the way, we show that for such algebras, having polynomial complexity corresponds to having uniformly boundedly many orbits under permutation of the variables, or having a notion of bounded support (in a sense similar to the one in nominal sets). We also show that being recognisable by an algebra of polynomial complexity is a decidable property for a regular language of trees. Thomas Colcombet, Arthur Jaquard |
MFCS | 2 |
| 2021 | A Complexity Approach to Tree Algebras: the Bounded Case
Thomas Colcombet, Arthur Jaquard |
ICALP | 2 |