EDBT 2026 Demo / reviewers in the wild / expert
Simon Sádovský
dblp:225/9884
· DBLP profile ↗
4ranked-venue papers
0as first author
4since 2021 · last 2024
0000-0001-8088-1327ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 4 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Performing Regular Operations with 1-Limited AutomataabstractAbstract The descriptional complexity of basic operations on regular languages using 1-limited automata, a restricted version of one-tape Turing machines, is investigated. When simulating operations on deterministic finite automata with deterministic 1-limited automata, the sizes of the resulting devices are polynomial in the sizes of the simulated machines. The situation is different when the operations are applied to deterministic 1-limited automata: while for boolean operations the simulations remain polynomial, for product, star, and reversal they cost exponential in size. The costs for product and star do not reduce if the given machines are sweeping two-way deterministic finite automata. These bounds are tight. Giovanni Pighizzini, Luca Prigioniero, Simon Sádovský |
Theory Comput. Syst. | 3 |
| 2023 | Usefulness of information and decomposability of unary regular languages
Giovanni Pighizzini, Branislav Rovan, Simon Sádovský |
Inf. Comput. | 3 |
| 2022 | Performing Regular Operations with 1-Limited Automata
Giovanni Pighizzini, Luca Prigioniero, Simon Sádovský |
DLT | 3 |
| 2021 | Usefulness of Information and Unary Languages
Giovanni Pighizzini, Branislav Rovan, Simon Sádovský |
LATA | 3 |