Edit Profile Lengál, Ondřej Compute Distance To: Compute Author ID: lengal.ondrej Published as: Lengál, Ondřej External Links: ORCID Documents Indexed: 13 Publications since 2011 all top 5 Co-Authors 0 single-authored 11 Vojnar, Tomáš 8 Holík, Lukáš 3 Fiedor, Tomáš 2 Abdulla, Parosh Aziz 2 Enea, Constantin 2 Jonsson, Bengt 2 Sighireanu, Mihaela 2 Šimáček, Jiří 2 Trinh, Cong Quy 1 Chen, Yu-Fang 1 Havlena, Vojtěch 1 Hruška, Martin 1 Janků, Petr 1 Lin, Anthony Widjaja 1 Majumdar, Rupak 1 Rogalewicz, Adam 1 Rümmer, Philipp 1 Tan, Tony 1 Wu, Zhilin Serials 2 Acta Informatica 1 Formal Methods in System Design Fields 13 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 6 Publications have been cited 14 times in 12 Documents Cited by ▼ Year ▼ Compositional entailment checking for a fragment of separation logic. Zbl 1453.68046Enea, Constantin; Lengál, Ondřej; Sighireanu, Mihaela; Vojnar, Tomáš 5 2014 VATA: a library for efficient manipulation of non-deterministic tree automata. Zbl 1352.68135Lengál, Ondřej; Šimáček, Jiří; Vojnar, Tomáš 4 2012 Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68135Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš 2 2013 Counterexample validation and interpolation-based refinement for forest automata. Zbl 06687362Holík, Lukáš; Hruška, Martin; Lengál, Ondřej; Rogalewicz, Adam; Vojnar, Tomáš 1 2017 Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68136Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš 1 2016 Nested antichains for WS1S. Zbl 1420.68186Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš 1 2015 Counterexample validation and interpolation-based refinement for forest automata. Zbl 06687362Holík, Lukáš; Hruška, Martin; Lengál, Ondřej; Rogalewicz, Adam; Vojnar, Tomáš 1 2017 Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68136Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš 1 2016 Nested antichains for WS1S. Zbl 1420.68186Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš 1 2015 Compositional entailment checking for a fragment of separation logic. Zbl 1453.68046Enea, Constantin; Lengál, Ondřej; Sighireanu, Mihaela; Vojnar, Tomáš 5 2014 Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68135Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš 2 2013 VATA: a library for efficient manipulation of non-deterministic tree automata. Zbl 1352.68135Lengál, Ondřej; Šimáček, Jiří; Vojnar, Tomáš 4 2012 all cited Publications top 5 cited Publications all top 5 Cited by 33 Authors 5 Lengál, Ondřej 5 Vojnar, Tomáš 4 Holík, Lukáš 2 Chen, Taolue 2 Fiedor, Tomáš 2 Wu, Zhilin 1 Abdulla, Parosh Aziz 1 Bjørner, Nikolaj S. 1 Chin, Wei-Ngan 1 Corradini, Andrea 1 Diskin, Zinovy 1 Enea, Constantin 1 Gu, Xincai 1 Hruška, Martin 1 Janků, Petr 1 Jansen, Christina 1 Jonsson, Bengt 1 Katelaan, Jens 1 Khoo, Siau-Cheng 1 König, Barbara 1 Le, Ton Chanh 1 Maibaum, Thomas Stephen Edward 1 Matheja, Christoph 1 Noll, Thomas 1 Nolte, Dennis 1 Rogalewicz, Adam 1 Safilian, Aliakbar 1 Sighireanu, Mihaela 1 Song, Fu 1 Ta, Quang-Trung 1 Trinh, Cong Quy 1 Veanes, Margus 1 Zuleger, Florian Cited in 5 Serials 2 Acta Informatica 2 Journal of Logical and Algebraic Methods in Programming 1 Information Processing Letters 1 Formal Aspects of Computing 1 Formal Methods in System Design Cited in 3 Fields 12 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) Citations by Year