Geffert, Viliam; Bednárová, Zuzana; Szabari, Alexander Input-driven pushdown automata for edit distance neighborhood. (English) Zbl 07117540 Hofman, Piotrek (ed.) et al., Developments in language theory. 23rd international conference, DLT 2019, Warsaw, Poland, August 5–9, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-24885-7/pbk; 978-3-030-24886-4/ebook). Lecture Notes in Computer Science 11647, 113-126 (2019). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Lect. Notes Comput. Sci. 11647, 113--126 (2019; Zbl 07117540) Full Text: DOI
Geffert, Viliam; Bednárová, Zuzana Minimal useful size of counters for (real-time) multicounter automata. (English) Zbl 06894485 Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 8th international conference, MCU 2018, Fontainebleau, France, June 28–30, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92401-4/pbk; 978-3-319-92402-1/ebook). Lecture Notes in Computer Science 10881, 105-120 (2018). MSC: 68Q80 PDF BibTeX XML Cite \textit{V. Geffert} and \textit{Z. Bednárová}, Lect. Notes Comput. Sci. 10881, 105--120 (2018; Zbl 06894485) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice Boolean language operations on nondeterministic automata with a pushdown of constant height. (English) Zbl 1374.68251 J. Comput. Syst. Sci. 90, 99-114 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Bednárová} et al., J. Comput. Syst. Sci. 90, 99--114 (2017; Zbl 1374.68251) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam Two double-exponential gaps for automata with a limited pushdown. (English) Zbl 1370.68157 Inf. Comput. 253, Part 3, 381-398 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Bednárová} and \textit{V. Geffert}, Inf. Comput. 253, Part 3, 381--398 (2017; Zbl 1370.68157) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Reinhardt, Klaus; Yakaryilmaz, Abuzer New results on the minimum amount of useful space. (English) Zbl 1338.68138 Int. J. Found. Comput. Sci. 27, No. 2, 259-281 (2016). MSC: 68Q45 68Q05 PDF BibTeX XML Cite \textit{Z. Bednárová} et al., Int. J. Found. Comput. Sci. 27, No. 2, 259--281 (2016; Zbl 1338.68138) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice Removing nondeterminism in constant height pushdown automata. (English) Zbl 1360.68539 Inf. Comput. 237, 257-267 (2014). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Bednárová} et al., Inf. Comput. 237, 257--267 (2014; Zbl 1360.68539) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam Two double-exponential gaps for automata with a limited pushdown. (English) Zbl 1362.68126 Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-04920-5/pbk). Lecture Notes in Computer Science 8370, 113-125 (2014). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Bednárová} and \textit{V. Geffert}, Lect. Notes Comput. Sci. 8370, 113--125 (2014; Zbl 1362.68126) Full Text: DOI
Geffert, Viliam; Bednárová, Zuzana; Mereghetti, Carlo; Palano, Beatrice Boolean language operations on nondeterministic automata with a pushdown of constant height. (English) Zbl 1362.68139 Bulatov, Andrei A. (ed.) et al., Computer science – theory and applications. 8th international computer science symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25–29, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38535-3/pbk). Lecture Notes in Computer Science 7913, 100-111 (2013). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Lect. Notes Comput. Sci. 7913, 100--111 (2013; Zbl 1362.68139) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice Removing nondeterminism in constant height pushdown automata. (English) Zbl 1304.68092 Kutrib, Martin (ed.) et al., Descriptional complexity of formal systems. 14th international workshop, DCFS 2012, Braga, Portugal, July 23–25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31622-7/pbk). Lecture Notes in Computer Science 7386, 76-88 (2012). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Bednárová} et al., Lect. Notes Comput. Sci. 7386, 76--88 (2012; Zbl 1304.68092) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice The size-cost of Boolean operations on constant height deterministic pushdown automata. (English) Zbl 1272.68205 Theor. Comput. Sci. 449, 23-36 (2012). MSC: 68Q45 68Q19 PDF BibTeX XML Cite \textit{Z. Bednárová} et al., Theor. Comput. Sci. 449, 23--36 (2012; Zbl 1272.68205) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice The size-cost of Boolean operations on constant height deterministic pushdown automata. (English) Zbl 1341.68076 Holzer, Markus (ed.) et al., Descriptional complexity of formal systems. 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25–27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22599-4/pbk). Lecture Notes in Computer Science 6808, 80-92 (2011). MSC: 68Q45 PDF BibTeX XML Cite \textit{Z. Bednárová} et al., Lect. Notes Comput. Sci. 6808, 80--92 (2011; Zbl 1341.68076) Full Text: DOI