 | 2009 |
|---|
| 9 |       | Vince Bárány,
Lukasz Kaiser,
Alexander Rabinovich:
Cardinality Quantifiers in MLO over Trees.
CSL 2009: 117-131 |
| 8 | | Erich Grädel,
Lukasz Kaiser,
Roman Rabinovich:
Directed Graphs of Entanglement Two.
FCT 2009: 169-180 |
| 7 | | Lukasz Kaiser:
Synthesis for Structure Rewriting Systems.
MFCS 2009: 415-426 |
| 2008 |
|---|
| 6 | | Diana Fischer,
Erich Grädel,
Lukasz Kaiser:
Model Checking Games for the Quantitative µ-Calculus.
STACS 2008: 301-312 |
| 5 | | Lukasz Kaiser,
Sasha Rubin,
Vince Bárány:
Cardinality and counting quantifiers on omega-automatic structures.
STACS 2008: 385-396 |
| 4 | | Lukasz Kaiser,
Sasha Rubin,
Vince Bárány:
Cardinality and counting quantifiers on omega-automatic structures
CoRR abs/0802.2866: (2008) |
| 3 | | Diana Fischer,
Erich Grädel,
Lukasz Kaiser:
Model Checking Games for the Quantitative mu-Calculus
CoRR abs/0802.2871: (2008) |
| 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 |
