×
Compute Distance To:
Author ID: holik.lukas Recent zbMATH articles by "Holík, Lukáš"
Published as: Holík, Lukáš; Holik, Lukas; Holik, Lukáš

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 104 times in 73 Documents Cited by Year
When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata). Zbl 1284.68337
Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Mayr, Richard; Vojnar, Tomáš
16
2010
All for the price of few (parameterized verification through view abstraction). Zbl 1426.68160
Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš
12
2013
Antichain-based universality and inclusion testing over nondeterministic finite tree automata. Zbl 1172.68493
Bouajjani, Ahmed; Habermehl, Peter; Holík, Lukáš; Touili, Tayssir; Vojnar, Tomáš
9
2008
Computing simulations over tree automata. Efficient techniques for reducing tree automata. Zbl 1134.68391
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
9
2008
Forest automata for verification of heap manipulation. Zbl 1284.68398
Habermehl, Peter; Holík, Lukáš; Rogalewicz, Adam; Šimáček, Jiří; Vojnar, Tomáš
9
2012
Advanced Ramsey-based Büchi automata inclusion testing. Zbl 1343.68130
Abdulla, Parosh Aziz; Chen, Yu-Fang; Clemente, Lorenzo; Holík, Lukáš; Hong, Chih-Duo; Mayr, Richard; Vojnar, Tomáš
8
2011
An integrated specification and verification technique for highly concurrent data structures. Zbl 1381.68141
Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš; Jonsson, Bengt; Rezine, Ahmed
8
2013
A uniform (bi-)simulation-based framework for reducing tree automata. Zbl 1291.68223
Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
5
2009
Nested antichains for WS1S. Zbl 1420.68186
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
3
2015
Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280
Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš
3
2009
Reduction of nondeterministic tree automata. Zbl 1420.68105
Almeida, Ricardo; Holík, Lukáš; Mayr, Richard
2
2016
Composed bisimulation for tree automata. Zbl 1172.68487
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
2
2008
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68135
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
2
2013
Summaries for context-free games. Zbl 1391.68072
Holík, Lukáš; Meyer, Roland; Muskalla, Sebastian
2
2016
Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure. Zbl 07178983
Havlena, Vojtěch; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
2
2019
From shapes to amortized complexity. Zbl 1446.68030
Fiedor, Tomáš; Holík, Lukáš; Rogalewicz, Adam; Sinn, Moritz; Vojnar, Tomáš; Zuleger, Florian
2
2018
Mediator synthesis in a component algebra with data. Zbl 1444.68103
Holík, Lukáš; Isberner, Malte; Jonsson, Bengt
2
2015
Lazy automata techniques for WS1S. Zbl 1452.03090
Fiedor, Tomáš; Holík, Lukáš; Janků, Petr; Lengál, Ondřej; Vojnar, Tomáš
2
2017
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68136
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
1
2016
From low-level pointers to high-level containers. Zbl 1475.68084
Dudka, Kamil; Holík, Lukáš; Peringer, Petr; Trtík, Marek; Vojnar, Tomáš
1
2016
Counterexample validation and interpolation-based refinement for forest automata. Zbl 1484.68103
Holík, Lukáš; Hruška, Martin; Lengál, Ondřej; Rogalewicz, Adam; Vojnar, Tomáš
1
2017
Optimizing an LTS-simulation algorithm. Zbl 1399.65139
Holík, Lukáš; Šimáček, Jiří
1
2010
Chain-free string constraints. Zbl 1437.68131
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Diep, Bui Phi; Holík, Lukáš; Janků, Petr
1
2019
Composed bisimulation for tree automata. Zbl 1176.68098
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
1
2009
Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure. Zbl 07178983
Havlena, Vojtěch; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
2
2019
Chain-free string constraints. Zbl 1437.68131
Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Diep, Bui Phi; Holík, Lukáš; Janků, Petr
1
2019
From shapes to amortized complexity. Zbl 1446.68030
Fiedor, Tomáš; Holík, Lukáš; Rogalewicz, Adam; Sinn, Moritz; Vojnar, Tomáš; Zuleger, Florian
2
2018
Lazy automata techniques for WS1S. Zbl 1452.03090
Fiedor, Tomáš; Holík, Lukáš; Janků, Petr; Lengál, Ondřej; Vojnar, Tomáš
2
2017
Counterexample validation and interpolation-based refinement for forest automata. Zbl 1484.68103
Holík, Lukáš; Hruška, Martin; Lengál, Ondřej; Rogalewicz, Adam; Vojnar, Tomáš
1
2017
Reduction of nondeterministic tree automata. Zbl 1420.68105
Almeida, Ricardo; Holík, Lukáš; Mayr, Richard
2
2016
Summaries for context-free games. Zbl 1391.68072
Holík, Lukáš; Meyer, Roland; Muskalla, Sebastian
2
2016
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68136
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
1
2016
From low-level pointers to high-level containers. Zbl 1475.68084
Dudka, Kamil; Holík, Lukáš; Peringer, Petr; Trtík, Marek; Vojnar, Tomáš
1
2016
Nested antichains for WS1S. Zbl 1420.68186
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
3
2015
Mediator synthesis in a component algebra with data. Zbl 1444.68103
Holík, Lukáš; Isberner, Malte; Jonsson, Bengt
2
2015
All for the price of few (parameterized verification through view abstraction). Zbl 1426.68160
Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš
12
2013
An integrated specification and verification technique for highly concurrent data structures. Zbl 1381.68141
Abdulla, Parosh Aziz; Haziza, Frédéric; Holík, Lukáš; Jonsson, Bengt; Rezine, Ahmed
8
2013
Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68135
Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš
2
2013
Forest automata for verification of heap manipulation. Zbl 1284.68398
Habermehl, Peter; Holík, Lukáš; Rogalewicz, Adam; Šimáček, Jiří; Vojnar, Tomáš
9
2012
Advanced Ramsey-based Büchi automata inclusion testing. Zbl 1343.68130
Abdulla, Parosh Aziz; Chen, Yu-Fang; Clemente, Lorenzo; Holík, Lukáš; Hong, Chih-Duo; Mayr, Richard; Vojnar, Tomáš
8
2011
When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata). Zbl 1284.68337
Abdulla, Parosh Aziz; Chen, Yu-Fang; Holík, Lukáš; Mayr, Richard; Vojnar, Tomáš
16
2010
Optimizing an LTS-simulation algorithm. Zbl 1399.65139
Holík, Lukáš; Šimáček, Jiří
1
2010
A uniform (bi-)simulation-based framework for reducing tree automata. Zbl 1291.68223
Abdulla, Parosh A.; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
5
2009
Mediating for reduction (on minimizing alternating Büchi automata). Zbl 1248.68280
Abdulla, Parosh A.; Chen, Yu-Fang; Holik, Lukáš; Vojnar, Tomáš
3
2009
Composed bisimulation for tree automata. Zbl 1176.68098
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
1
2009
Antichain-based universality and inclusion testing over nondeterministic finite tree automata. Zbl 1172.68493
Bouajjani, Ahmed; Habermehl, Peter; Holík, Lukáš; Touili, Tayssir; Vojnar, Tomáš
9
2008
Computing simulations over tree automata. Efficient techniques for reducing tree automata. Zbl 1134.68391
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
9
2008
Composed bisimulation for tree automata. Zbl 1172.68487
Abdulla, Parosh A.; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
2
2008
all top 5

Cited by 150 Authors

12 Vojnar, Tomáš
11 Holík, Lukáš
7 Lengál, Ondřej
6 Abdulla, Parosh Aziz
4 Björklund, Johanna
4 Chen, Yu-Fang
4 Enea, Constantin
4 Raskin, Jean-François
3 Bouajjani, Ahmed
3 Clemente, Lorenzo
3 Ganty, Pierre
3 Hutagalung, Milka
3 Lange, Martin
3 Rogalewicz, Adam
3 Shoham, Sharon
3 Vardi, Moshe Ya’akov
3 Zhang, Lijun
3 Zuleger, Florian
2 Chatterjee, Krishnendu
2 Cleophas, Loek Gerard
2 Emmi, Michael
2 Feldman, Yotam M. Y.
2 Fiedor, Tomáš
2 Fogarty, Seth J.
2 Hamza, Jad
2 Havlena, Vojtěch
2 Hundeshagen, Norbert
2 König, Barbara
2 Kuske, Dietrich
2 Liu, Depeng
2 Lozes, Etienne
2 Lüttgen, Gerald
2 Majumdar, Rupak
2 Maquet, Nicolas
2 Mayr, Richard M.
2 Pous, Damien
2 Vogler, Walter
2 Wahl, Thomas
2 Widder, Josef
1 Amavi, Joshua
1 Arceri, Vincenzo
1 Athanasiou, Konstantinos
1 Berwanger, Dietmar
1 Björklund, Henrik
1 Bonchi, Filippo
1 Brunet, Paul
1 Chabin, Jacques
1 Chane-Yack-Fa, Raphaël
1 Cherroun, Hadda
1 Corradini, Andrea
1 Cortesi, Agostino
1 Damm, Werner
1 Daniel, Jakub
1 De Wulf, Martin
1 Diskin, Zinovy
1 Doyen, Laurent
1 Ferrara, Pietro
1 Finkel, Alain
1 Fisher, Corey
1 Frappier, Marc
1 Friedmann, Oliver
1 Gareis, Johannes
1 Ghorani, Maryam
1 Giannakopoulou, Dimitra
1 Guellouma, Younes
1 Gutiérrez, Elena
1 Habermehl, Peter
1 Hague, Matthew
1 Halfeld Ferrari Alves, Mírian
1 Haziza, Frédéric
1 Héam, Pierre-Cyrille
1 Heizmann, Matthias
1 Henzinger, Thomas A.
1 Högberg, Johanna
1 Holík, Luká
1 Hong, Chih-Duo
1 Horbach, Matthias
1 Hruška, Martin
1 Immerman, Neil
1 Iosif, Radu
1 Janků, Petr
1 Jansen, Christina
1 Jonsson, Bengt
1 Kaati, Lisa
1 Kaiser, Alexander D.
1 Katelaan, Jens
1 Klaedtke, Felix
1 Kouvaros, Panagiotis
1 Křena, Bohuslav
1 Kröning, Daniel
1 Kukovec, Jure
1 Kuperberg, Denis
1 Küpper, Sebastian
1 Leutgeb, Lorenz
1 Lin, Anthony Widjaja
1 Liu, Peizun
1 Lowe, Gavin
1 Lv, Yi
1 Maibaum, Thomas Stephen Edward
1 Maletti, Andreas
...and 50 more Authors

Citations by Year