Löding, Christof Automata on infinite trees. (English) Zbl 07469506 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 265-302 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Löding}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 265--302 (2021; Zbl 07469506) Full Text: DOI
Hutagalung, Milka Topological characterisation of multi-buffer simulation. (English) Zbl 1478.68129 Fundam. Inform. 178, No. 1-2, 77-99 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Hutagalung}, Fundam. Inform. 178, No. 1--2, 77--99 (2021; Zbl 1478.68129) Full Text: DOI
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš Nested antichains for WS1S. (English) Zbl 1417.68182 Acta Inf. 56, No. 3, 205-228 (2019). MSC: 68T15 03B25 03B35 03D05 PDFBibTeX XMLCite \textit{T. Fiedor} et al., Acta Inf. 56, No. 3, 205--228 (2019; Zbl 1417.68182) Full Text: DOI arXiv
Hutagalung, Milka; Hundeshagen, Norbert; Kuske, Dietrich; Lange, Martin; Lozes, Étienne Multi-buffer simulations: decidability and complexity. (English) Zbl 1400.68105 Inf. Comput. 262, Part 2, 280-310 (2018). MSC: 68Q45 68Q17 68Q25 PDFBibTeX XMLCite \textit{M. Hutagalung} et al., Inf. Comput. 262, Part 2, 280--310 (2018; Zbl 1400.68105) Full Text: DOI HAL
Hutagalung, Milka; Hundeshagen, Norbert; Kuske, Dietrich; Lange, Martin; Lozes, Etienne Multi-buffer simulations for trace language inclusion. (English) Zbl 1478.68130 Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 213-227 (2016). MSC: 68Q45 68Q25 91A80 PDFBibTeX XMLCite \textit{M. Hutagalung} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 213--227 (2016; Zbl 1478.68130) Full Text: arXiv Link
Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Vojnar, Tomáš Mediating for reduction (on minimizing alternating Büchi automata). (English) Zbl 1360.68536 Theor. Comput. Sci. 552, 26-43 (2014). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Theor. Comput. Sci. 552, 26--43 (2014; Zbl 1360.68536) Full Text: DOI
Ranzato, Francesco An efficient simulation algorithm on Kripke structures. (English) Zbl 1301.68189 Acta Inf. 51, No. 2, 107-125 (2014). MSC: 68Q85 68Q60 68W05 PDFBibTeX XMLCite \textit{F. Ranzato}, Acta Inf. 51, No. 2, 107--125 (2014; Zbl 1301.68189) Full Text: DOI arXiv
Björklund, Johanna; Öhman, Lars-Daniel Simulation relations for pattern matching in directed graphs. (English) Zbl 1292.68135 Theor. Comput. Sci. 485, 1-15 (2013). MSC: 68T10 05C60 68Q25 PDFBibTeX XMLCite \textit{J. Björklund} and \textit{L.-D. Öhman}, Theor. Comput. Sci. 485, 1--15 (2013; Zbl 1292.68135) Full Text: DOI
Habermehl, Peter; Holík, Lukáš; Rogalewicz, Adam; Šimáček, Jiří; Vojnar, Tomáš Forest automata for verification of heap manipulation. (English) Zbl 1284.68398 Form. Methods Syst. Des. 41, No. 1, 83-106 (2012). MSC: 68Q60 68Q45 68P05 PDFBibTeX XMLCite \textit{P. Habermehl} et al., Form. Methods Syst. Des. 41, No. 1, 83--106 (2012; Zbl 1284.68398) Full Text: DOI
Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš A uniform (bi-)simulation-based framework for reducing tree automata. (English) Zbl 1291.68223 Češka, Milan (ed.) et al., Proceedings of the international doctoral workshop on mathematical and engineering methods in computer science (MEMICS 2008), Znojmo, Czech Republic, November 14–16, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 251, 27-48 (2009). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Electron. Notes Theor. Comput. Sci. 251, 27--48 (2009; Zbl 1291.68223) Full Text: DOI
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš Computing simulations over tree automata. Efficient techniques for reducing tree automata. (English) Zbl 1134.68391 Ramakrishnan, C. R. (ed.) et al., Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78799-0/pbk). Lecture Notes in Computer Science 4963, 93-108 (2008). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{P. A. Abdulla} et al., Lect. Notes Comput. Sci. 4963, 93--108 (2008; Zbl 1134.68391) Full Text: DOI