Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Lukás Holík" ( http://dblp.L3S.de/Authors/Lukás_Holík )

  Author page on DBLP  Author page in RDF  Community of Lukás Holík in ASPL-2

Publication years (Num. hits)
2008 (3) 2009 (3) 2010 (2) 2011 (3)
Publication types (Num. hits)
article(2) inproceedings(9)
Venues (Conferences, Journals, ...)
CAV(2) CIAA(2) TACAS(2) ATVA(1) CONCUR(1) Electr. Notes Theor. Comput. S...(1) FSTTCS(1) Int. J. Found. Comput. Sci.(1)
Authors
Lukás Holík(11) Tomás Vojnar(11) Parosh Aziz Abdulla(8) Ahmed Bouajjani(4) Lisa Kaati(4) Yu-Fang Chen(4) Richard Mayr(3) Chih-Duo Hong(2) Jirí Simácek(2) Lorenzo Clemente(2) Peter Habermehl(2) Adam Rogalewicz(1) Ondrej Lengál(1) Tayssir Touili(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar Advanced Ramsey-Based Büchi Automata Inclusion Testing. Search on Bibsonomy CONCUR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lukás Holík, Ondrej Lengál, Jirí Simácek, Tomás Vojnar Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Habermehl, Lukás Holík, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar Forest Automata for Verification of Heap Manipulation. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, Tomás Vojnar When Simulation Meets Antichains. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar Composed Bisimulation for Tree Automata. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Lukás Holík, Lisa Kaati, Tomás Vojnar A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Tomás Vojnar Mediating for Reduction (on Minimizing Alternating Büchi Automata). Search on Bibsonomy FSTTCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar Computing Simulations over Tree Automata. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ahmed Bouajjani, Peter Habermehl, Lukás Holík, Tayssir Touili, Tomás Vojnar Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. Search on Bibsonomy CIAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar Composed Bisimulation for Tree Automata. Search on Bibsonomy CIAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.