| |
| 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 |
| 1 | Vince Bárány | [4] [5] |
| 2 | Diana Fischer | [3] [6] |
| 3 | Erich Grädel | [3] [6] |
| 4 | Sasha Rubin | [4] [5] |