Zuzana Bednárová

According to our database, Zuzana Bednárová authored at least 8 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Minimal Size of Counters for (Real-Time) Multicounter Automata.

Viliam Geffert, Zuzana Bednárová

Fundam. Informaticae, 2021

2019

Input-Driven Pushdown Automata for Edit Distance Neighborhood.

Viliam Geffert, Zuzana Bednárová, Alexander Szabari

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

2018

Minimal Useful Size of Counters for (Real-Time) Multicounter Automata.

Viliam Geffert, Zuzana Bednárová

Proceedings of the Machines, Computations, and Universality - 8th International Conference, 2018

2016

New Results on the Minimum Amount of Useful Space.

Zuzana Bednárová, Viliam Geffert, Klaus Reinhardt, Abuzer Yakaryilmaz

Int. J. Found. Comput. Sci., 2016

2014

Two Double-Exponential Gaps for Automata with a Limited Pushdown.

Zuzana Bednárová, Viliam Geffert

Proceedings of the Language and Automata Theory and Applications, 2014

2013

Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant Height.

Viliam Geffert, Zuzana Bednárová, Carlo Mereghetti, Beatrice Palano

Proceedings of the Computer Science - Theory and Applications, 2013

2012

Removing Nondeterminism in Constant Height Pushdown Automata.

Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano

Proceedings of the Descriptional Complexity of Formal Systems, 2012

2011

The Size-Cost of Boolean Operations on Constant Height Deterministic Pushdown Automata.

Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano

Proceedings of the Descriptional Complexity of Formal Systems, 2011