Tomás Babiak

	2012
4		Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: LTL to Büchi Automata Translation: Fast and More Deterministic. TACAS 2012: 95-109
3		Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: LTL to Büchi Automata Translation: Fast and More Deterministic CoRR abs/1201.0682: (2012)
	2010
2		Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness CoRR abs/1011.4214: (2010)
	2009
1		Tomás Babiak, Vojtech Rehák, Jan Strejcek: Almost Linear Büchi Automata EXPRESS 2009: 16-25

Coauthor Index

1	Mojmír Kretínský	[2] [3] [4]
2	Vojtech Rehák	[1] [2] [3] [4]
3	Jan Strejcek	[1] [2] [3] [4]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page