Łukasz Kaiser
Address
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
| Phone: | +49-241-80-21711 |
| Fax: | +49-241-80-22215 |
| Room: | 4114a (E1) / Ahornstr. 55 |
| Email: | kaiser [AT] logic.rwth-aachen.de |
Research
My research interests include logic, especially algorithmic model theory, and combinatorial games both as means for efficient model checking of computer systems and as interesting mathematical objects.
Recent Publications
- D. Fischer, E. Grädel, and Ł. Kaiser. Model Checking Games for the Quantitative $\mu$-Calculus. In Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008 (S. Albers and P. Weil, Eds.), pp. 301–312, 2008.
- Ł. Kaiser, S. Rubin, and V. Bárány. Cardinality and counting quantifiers on omega-automatic structures. In Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008 (S. Albers and P. Weil, Eds.), pp. 385–396, 2008.
- E. Grädel and Ł. Kaiser. What kind of memory is needed to win infinitary Muller games? In Interactive Logic (J. van Benthem, B. Löwe, and D. Gabbay, Eds.), vol. 1 of Texts in Logic and Games. Amsterdam University Press, 2007.
- Ł. Kaiser. Game Quantification on Automatic Structures and Hierarchical Model Checking Games. In Proceedings of the 15th Annual Conference on Computer Science Logic, CSL 2006 (Z. Esik, Ed.), vol. 4207 of LNCS, pp. 411–425. Springer-Verlag, 2006.
- Ł. Kaiser. Confluence of Right Ground Term Rewriting Systems is Decidable. In FOSSACS 2005, Proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures (V. Sassone, Ed.), vol. 3441 of LNCS. Springer-Verlag, 2005.
Selected Talks
- Hierarchical information games, held in Lausanne, 2007.
- Countable omega-automatic structures, held at AlMoTh meeting in Aachen, 2007.
- Game quantifier on automatic structures, held at CSL in Szeged, 2006.