VLDB 2026 Research / reviewers in the wild / expert
Hendrik Maarand
dblp:199/2222
· DBLP profile ↗
4ranked-venue papers
3as first author
3since 2021 · last 2025
0000-0002-1967-4297ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 2 first-author · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Finiteness of Symbolic Derivatives in Lean
Ekaterina Zhuchko, Hendrik Maarand, Margus Veanes, Gabriel Ebner |
ITP | 2 |
| 2024 | Yet another canonical nondeterministic automaton
Hendrik Maarand, Hellis Tamm |
Theor. Comput. Sci. | 1 |
| 2021 | Operational semantics with semicommutations
Hendrik Maarand, Tarmo Uustalu |
J. Log. Algebraic Methods Program. | 1 |
| 2019 | Reordering Derivatives of Trace Closures of Regular LanguagesabstractWe provide syntactic derivative-like operations, defined by recursion on regular expressions, in the styles of both Brzozowski and Antimirov, for trace closures of regular languages. Just as the Brzozowski and Antimirov derivative operations for regular languages, these syntactic reordering derivative operations yield deterministic and nondeterministic automata respectively. But trace closures of regular languages are in general not regular, hence these automata cannot generally be finite. Still, as we show, for star-connected expressions, the Antimirov and Brzozowski automata, suitably quotiented, are finite. We also define a refined version of the Antimirov reordering derivative operation where parts-of-derivatives (states of the automaton) are nonempty lists of regular expressions rather than single regular expressions. We define the uniform scattering rank of a language and show that, for a regexp whose language has finite uniform scattering rank, the truncation of the (generally infinite) refined Antimirov automaton, obtained by removing long states, is finite without any quotienting, but still accepts the trace closure. We also show that star-connected languages have finite uniform scattering rank. Hendrik Maarand, Tarmo Uustalu |
CONCUR | 1 |