×

zbMATH — the first resource for mathematics

Holík, Lukáš

Compute Distance To:
Author ID: holik.lukas Recent zbMATH articles by "Holík, Lukáš"
Published as: Holík, Lukáš; Holik, Lukas; Holik, Lukáš
Documents Indexed: 30 Publications since 2008, including 1 Book

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 76 times in 58 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áš
13
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áš
10
2013
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áš
8
2008
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áš
7
2008
Forest automata for verification of heap manipulation. Zbl 1284.68398
Habermehl, Peter; Holík, Lukáš; Rogalewicz, Adam; Šimáček, Jiří; Vojnar, Tomáš
7
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áš
6
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
6
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
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 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
Nested antichains for WS1S. Zbl 1420.68186
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
1
2015
Reduction of nondeterministic tree automata. Zbl 1420.68105
Almeida, Ricardo; Holík, Lukáš; Mayr, Richard
1
2016
Composed bisimulation for tree automata. Zbl 1176.68098
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Holík, Lukáš; Kaati, Lisa; Vojnar, Tomáš
1
2009
Mediator synthesis in a component algebra with data. Zbl 1444.68103
Holík, Lukáš; Isberner, Malte; Jonsson, Bengt
1
2015
Optimizing an LTS-simulation algorithm. Zbl 1399.65139
Holík, Lukáš; Šimáček, Jiří
1
2010
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
Summaries for context-free games. Zbl 1391.68072
Holík, Lukáš; Meyer, Roland; Muskalla, Sebastian
1
2016
Reduction of nondeterministic tree automata. Zbl 1420.68105
Almeida, Ricardo; Holík, Lukáš; Mayr, Richard
1
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
Summaries for context-free games. Zbl 1391.68072
Holík, Lukáš; Meyer, Roland; Muskalla, Sebastian
1
2016
Nested antichains for WS1S. Zbl 1420.68186
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
1
2015
Mediator synthesis in a component algebra with data. Zbl 1444.68103
Holík, Lukáš; Isberner, Malte; Jonsson, Bengt
1
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áš
10
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
6
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áš
7
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áš
6
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áš
13
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
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áš
8
2008
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áš
7
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 128 Authors

10 Vojnar, Tomáš
9 Holík, Lukáš
6 Abdulla, Parosh Aziz
5 Lengál, Ondřej
4 Björklund, Johanna
4 Raskin, Jean-François
3 Bouajjani, Ahmed
3 Chen, Yu-Fang
3 Clemente, Lorenzo
3 Enea, Constantin
3 Rogalewicz, Adam
2 Chatterjee, Krishnendu
2 Cleophas, Loek Gerard
2 Emmi, Michael
2 Fiedor, Tomáš
2 Fogarty, Seth J.
2 Ganty, Pierre
2 Hamza, Jad
2 Hutagalung, Milka
2 König, Barbara
2 Lange, Martin
2 Majumdar, Rupak
2 Maquet, Nicolas
2 Mayr, Richard M.
2 Shoham, Sharon
2 Vardi, Moshe Y.
2 Wahl, Thomas
1 Amavi, Joshua
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 Damm, Werner
1 Daniel, Jakub
1 De Wulf, Martin
1 Diskin, Zinovy
1 Doyen, Laurent
1 Feldman, Yotam M. Y.
1 Finkel, Alain
1 Fisher, Corey
1 Frappier, Marc
1 Friedmann, Oliver
1 Ghorani, Maryam
1 Giannakopoulou, Dimitra
1 Guellouma, Younes
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 Hundeshagen, Norbert
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 Konnov, Igor V.
1 Kouvaros, Panagiotis
1 Křena, Bohuslav
1 Kröning, Daniel
1 Küpper, Sebastian
1 Kuske, Dietrich
1 Lin, Anthony Widjaja
1 Liu, Depeng
1 Liu, Peizun
1 Lozes, Etienne
1 Lüttgen, Gerald
1 Lv, Yi
1 Maibaum, Thomas Stephen Edward
1 Maletti, Andreas
1 Mammar, Amel
1 Matheja, Christoph
1 May, Jonathan
1 Meyer, Roland
1 Muskalla, Sebastian
1 Namjoshi, Kedar S.
1 Nicaud, Cyril
1 Noll, Thomas
1 Nolte, Dennis
1 Öhman, Lars-Daniel
1 Padon, Oded
1 Parízek, Pavel
1 Păsăreanu, Corina S.
1 Peleg, Hila
...and 28 more Authors

Citations by Year