| 2008 |
|---|
| 6 | EE | Diana Fischer,
Erich Grädel,
Lukasz Kaiser:
Model Checking Games for the Quantitative µ-Calculus.
STACS 2008: 301-312 |
| 5 | EE | Lukasz Kaiser,
Sasha Rubin,
Vince Bárány:
Cardinality and counting quantifiers on omega-automatic structures.
STACS 2008: 385-396 |
| 4 | EE | Lukasz Kaiser,
Sasha Rubin,
Vince Bárány:
Cardinality and counting quantifiers on omega-automatic structures
CoRR abs/0802.2866: (2008) |
| 3 | EE | Diana Fischer,
Erich Grädel,
Lukasz Kaiser:
Model Checking Games for the Quantitative mu-Calculus
CoRR abs/0802.2871: (2008) |
| 2006 |
|---|
| 2 | EE | Lukasz Kaiser:
Game Quantification on Automatic Structures and Hierarchical Model Checking Games.
CSL 2006: 411-425 |
| 2005 |
|---|
| 1 | EE | Lukasz Kaiser:
Confluence of Right Ground Term Rewriting Systems Is Decidable.
FoSSaCS 2005: 470-489 |
