Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Marta Juzepczuk

dblp:291/2812 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Automata and formal languages › formal grammars
context-free grammar
0.512021
Parikh's theorem for infinite alphabets · LICS 2021
Automata and formal languages
register automata
0.512021
Parikh's theorem for infinite alphabets · LICS 2021
Automata and formal languages
semilinear sets
0.112021
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
YearPublicationVenuePosition
2021 Parikh's theorem for infinite alphabets
abstract
We 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
LICS2