Zuzana Bednárová

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 7

Top Topics

Language Constructs

Levenshtein Distance

Edit Operations

Top Venues

Fundam. Informaticae

J. Comput. Syst. Sci.

Publications

Viliam Geffert, Zuzana Bednárová, Alexander Szabari
Input-driven pushdown automata for edit distance neighborhood. Theor. Comput. Sci. 918 (2022)
Viliam Geffert, Zuzana Bednárová
Minimal Size of Counters for (Real-Time) Multicounter Automata. Fundam. Informaticae 181 (2-3) (2021)
Viliam Geffert, Zuzana Bednárová, Alexander Szabari
Input-Driven Pushdown Automata for Edit Distance Neighborhood. DLT (2019)
Viliam Geffert, Zuzana Bednárová
Minimal Useful Size of Counters for (Real-Time) Multicounter Automata. MCU (2018)
Zuzana Bednárová, Viliam Geffert
Two double-exponential gaps for automata with a limited pushdown. Inf. Comput. 253 (2017)
Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano
Boolean language operations on nondeterministic automata with a pushdown of constant height. J. Comput. Syst. Sci. 90 (2017)
Zuzana Bednárová, Viliam Geffert, Klaus Reinhardt, Abuzer Yakaryilmaz
New Results on the Minimum Amount of Useful Space. Int. J. Found. Comput. Sci. 27 (2) (2016)
Zuzana Bednárová, Viliam Geffert
Two Double-Exponential Gaps for Automata with a Limited Pushdown. LATA (2014)
Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano
Removing nondeterminism in constant height pushdown automata. Inf. Comput. 237 (2014)
Viliam Geffert, Zuzana Bednárová, Carlo Mereghetti, Beatrice Palano
Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant Height. CSR (2013)
Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano
Removing Nondeterminism in Constant Height Pushdown Automata. DCFS (2012)
Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano
The size-cost of Boolean operations on constant height deterministic pushdown automata. Theor. Comput. Sci. 449 (2012)
Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano
The Size-Cost of Boolean Operations on Constant Height Deterministic Pushdown Automata. DCFS (2011)