Lukasz Kaiser

	2012
22		Faried Abu Zaid, Erich Grädel, Lukasz Kaiser: The Field of Reals is not omega-Automatic. STACS 2012: 577-588
	2011
21		Lukasz Kaiser: Logic and Games on Automatic Structures - Playing with Quantifiers and Decompositions Springer 2011: 1-118
20		Lukasz Kaiser, Lukasz Stafiniak: First-Order Logic with Counting for General Game Playing. AAAI 2011
19		Dietmar Berwanger, Lukasz Kaiser, Bernd Puchala: A Perfect-Information Construction for Coordination in Games. FSTTCS 2011: 387-398
18		Diana Fischer, Lukasz Kaiser: Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems. ICALP (2) 2011: 404-415
17		Vince Bárány, Lukasz Kaiser, Alexander Rabinovich: Expressing cardinality quantifiers in monadic second-order logic over chains. J. Symb. Log. 76(2): 603-619 (2011)
16		Lukasz Kaiser: Logic and games on automatic structures: playing with quantifiers and decompositions. RWTH Aachen University 2011: 1-118
	2010
15		Tobias Ganzow, Lukasz Kaiser: New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures. CSL 2010: 366-380
14		Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas: Degrees of Lookahead in Regular Infinite Games. FOSSACS 2010: 252-266
13		Vince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich: Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees. Fundam. Inform. 100(1-4): 1-17 (2010)
12		Dietmar Berwanger, Lukasz Kaiser: Information Tracking in Games on Graphs. Journal of Logic, Language and Information 19(4): 395-412 (2010)
11		Diana Fischer, Erich Grädel, Lukasz Kaiser: Model Checking Games for the Quantitative µ-Calculus. Theory Comput. Syst. 47(3): 696-719 (2010)
	2009
10		Vince Bárány, Lukasz Kaiser, Alexander Rabinovich: Cardinality Quantifiers in MLO over Trees. CSL 2009: 117-131
9		Erich Grädel, Lukasz Kaiser, Roman Rabinovich: Directed Graphs of Entanglement Two. FCT 2009: 169-180
8		Lukasz Kaiser: Synthesis for Structure Rewriting Systems. MFCS 2009: 415-426
	2008
7		Diana Fischer, Erich Grädel, Lukasz Kaiser: Model Checking Games for the Quantitative µ-Calculus. STACS 2008: 301-312
6		Lukasz Kaiser, Sasha Rubin, Vince Bárány: Cardinality and counting quantifiers on omega-automatic structures. STACS 2008: 385-396
5		Lukasz Kaiser, Sasha Rubin, Vince Bárány: Cardinality and counting quantifiers on omega-automatic structures CoRR abs/0802.2866: (2008)
4		Diana Fischer, Erich Grädel, Lukasz Kaiser: Model Checking Games for the Quantitative mu-Calculus CoRR abs/0802.2871: (2008)
3		Lukasz Kaiser: Logic and games on automatic structures. RWTH Aachen University 2008: 1-144
	2006
2		Lukasz Kaiser: Game Quantification on Automatic Structures and Hierarchical Model Checking Games. CSL 2006: 411-425
	2005
1		Lukasz Kaiser: Confluence of Right Ground Term Rewriting Systems Is Decidable. FoSSaCS 2005: 470-489

Coauthor Index

1	Vince Bárány	[5] [6] [10] [13] [17]
2	Dietmar Berwanger	[12] [19]
3	Diana Fischer	[4] [7] [11] [18]
4	Tobias Ganzow	[15]
5	Erich Grädel	[4] [7] [9] [11] [22]
6	Michael Holtmann	[14]
7	Bernd Puchala	[19]
8	Alexander Moshe Rabinovich (Alexander Rabinovich)	[10] [13] [17]
9	Roman Rabinovich	[9]
10	Sasha Rubin	[5] [6]
11	Lukasz Stafiniak	[20]
12	Wolfgang Thomas	[14]
13	Faried Abu Zaid	[22]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page