EDBT 2026 Demo / reviewers in the wild / expert
Priscilla Raucci
dblp:334/3055
· DBLP profile ↗
6ranked-venue papers
0as first author
6since 2021 · last 2026
0009-0005-5491-3408ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 6 · 6 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Deterministic pushdown automata with translucent input lettersabstractThe use of translucent input letters represents a way of implementing a discontinuous input processing in automata. In detail, a translucent automaton performs several sweeps from left to right on the input: according to the current state, some symbols are visible and can be processed, whereas some other symbols are invisible and may be processed in another sweep. We also distinguish between the returning and non-returning mode, which differ in the way the automaton behaves after reading a symbol: in the returning mode, a new sweep starts immediately, while in the non-returning mode, the device processes the next visible symbol. Here, we investigate deterministic pushdown automata with translucent letters both in the returning and non-returning mode. We prove that the non-returning mode strictly outperforms the returning mode, and that the families of the languages accepted by these two types of devices can be ranked strictly between the deterministic context-free languages and the deterministic context-sensitive languages. Moreover, both families are shown to be incomparable to the families of context-free, growing context-sensitive, and Church-Rosser languages. The ability of accepting non-semilinear languages is also emphasized (addressing an open question in the literature). Finally, we study the closure properties of both language families under the Boolean operations, obtaining that they are both closed under complementation but not under union and intersection. Further non-closure results are pointed-out for returning devices. Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Priscilla Raucci, Matthias Wendlandt |
Inf. Comput. | 5 |
| 2026 | On properties of languages accepted by deterministic pushdown automata with translucent input letters
Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Priscilla Raucci, Matthias Wendlandt |
Theor. Comput. Sci. | 5 |
| 2025 | Subregular Expressions with Two Operations
Martin Kutrib, Priscilla Raucci, Matthias Wendlandt |
DLT | 2 |
| 2025 | State-Freezing Pushdown Automata
Martin Kutrib, Andreas Malcher, Priscilla Raucci |
CIAA | 3 |
| 2024 | Deterministic Pushdown Automata with Translucent Input Letters
Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Priscilla Raucci, Matthias Wendlandt |
DLT | 5 |
| 2024 | On Properties of Languages Accepted by Deterministic Pushdown Automata with Translucent Input Letters
Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Priscilla Raucci, Matthias Wendlandt |
CIAA | 5 |