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; 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
Geffert, Viliam; Malcher, Andreas; Meckel, Katja; Mereghetti, Carlo; Palano, Beatrice A direct construction of finite state automata for pushdown store languages. (English) Zbl 1388.68171 Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 15th international workshop, DCFS 2013, London, ON, Canada, July 22–25, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39309-9/pbk). Lecture Notes in Computer Science 8031, 90-101 (2013). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Lect. Notes Comput. Sci. 8031, 90--101 (2013; Zbl 1388.68171) 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
Geffert, Viliam; Mereghetti, Carlo; Pighizzini, Giovanni One pebble versus \(\varepsilon\cdot\log n\) bits. (English) Zbl 1216.68111 Fundam. Inform. 104, No. 1-2, 55-69 (2010). MSC: 68Q05 68Q25 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Fundam. Inform. 104, No. 1--2, 55--69 (2010; Zbl 1216.68111) Full Text: DOI
Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice More concise representation of regular languages by automata and regular expressions. (English) Zbl 1192.68409 Inf. Comput. 208, No. 4, 385-394 (2010). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Inf. Comput. 208, No. 4, 385--394 (2010; Zbl 1192.68409) Full Text: DOI
Geffert, Viliam; Mereghetti, Carlo; Palano, Beatrice More concise representation of regular languages by automata and regular expressions. (English) Zbl 1161.68529 Ito, Masami (ed.) et al., Developments in language theory. 12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85779-2/pbk). Lecture Notes in Computer Science 5257, 359-370 (2008). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Lect. Notes Comput. Sci. 5257, 359--370 (2008; Zbl 1161.68529) Full Text: DOI
Geffert, Viliam; Mereghetti, Carlo; Pighizzini, Giovanni Complementing two-way finite automata. (English) Zbl 1121.68063 Inf. Comput. 205, No. 8, 1173-1187 (2007). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Inf. Comput. 205, No. 8, 1173--1187 (2007; Zbl 1121.68063) Full Text: DOI
Geffert, Viliam; Mereghetti, Carlo; Pighizzini, Giovanni Complementing two-way finite automata. (English) Zbl 1132.68445 De Felice, Clelia (ed.) et al., Developments in language theory. 9th international conference, DLT 2005, Palermo, Italy, July 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26546-5/pbk). Lecture Notes in Computer Science 3572, 260-271 (2005). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Lect. Notes Comput. Sci. 3572, 260--271 (2005; Zbl 1132.68445) Full Text: DOI
Geffert, Viliam; Mereghetti, Carlo; Pighizzini, Giovanni Converting two-way nondeterministic unary automata into simpler automata. (English) Zbl 1045.68080 Theor. Comput. Sci. 295, No. 1-3, 189-203 (2003). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Theor. Comput. Sci. 295, No. 1--3, 189--203 (2003; Zbl 1045.68080) Full Text: DOI
Geffert, Viliam; Mereghetti, Carlo; Pighizzini, Giovanni Converting two-way nondeterministic unary automata into simpler automata. (English) Zbl 1005.68090 Sgall, Jiří (ed.) et al., Mathematical foundations of computer science 2001. 26th international symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2136, 398-407 (2001). MSC: 68Q45 PDF BibTeX XML Cite \textit{V. Geffert} et al., Lect. Notes Comput. Sci. 2136, 398--407 (2001; Zbl 1005.68090)
Geffert, Viliam; Mereghetti, Carlo; Pighizzini, Giovanni Sublogarithmic bounds on space and reversals. (English) Zbl 0914.68068 SIAM J. Comput. 28, No. 1, 325-340 (1998). MSC: 68Q05 68Q45 68Q15 PDF BibTeX XML Cite \textit{V. Geffert} et al., SIAM J. Comput. 28, No. 1, 325--340 (1998; Zbl 0914.68068) Full Text: DOI