Demo Data from EDBT 2026 / reviewers in the wild / expert
Marta Juzepczuk
dblp:291/2812
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Automata and formal languages · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages › formal grammars
context-free grammar |
0.5 | 1 | 2021 | Parikh's theorem for infinite alphabets · LICS 2021 |
Automata and formal languages
register automata |
0.5 | 1 | 2021 | Parikh's theorem for infinite alphabets · LICS 2021 |
Automata and formal languages
semilinear sets |
0.1 | 1 | 2021 | Parikh's theorem for infinite alphabets · LICS 2021 |
Methods — techniques the papers use, named apart from their topics
rational set · 0.5parikh image · 0.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Parikh's theorem for infinite alphabetsabstractWe investigate commutative images of languages recognised by register automata and grammars. Semi-linear and rational sets can be naturally extended to this setting by allowing for orbit-finite unions instead of only finite ones. We prove that commutative images of languages of one-register automata are not always semi-linear, but they are always rational. We also lift the latter result to grammars: commutative images of one- register context-free languages are rational, and in consequence commutatively equivalent to register automata. We conjecture analogous results for automata and grammars with arbitrarily many registers. Piotr Hofman, Marta Juzepczuk, Slawomir Lasota 0001, Mohnish Pattathurajan |
LICS | 2 |