Łukasz Kaiser
Adresse
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
| Fax: | +49-241-80-22215 |
Forschung
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.
Aktuelle Publikationen
- V. Bárány, Ł. Kaiser, and A. Rabinovich. Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Chains. J. Symb. Logic. To appear.
- E. Grädel, Ł. Kaiser, D. Berwanger, and R. Rabinovich. Entanglement and the Complexity Measures for Directed Graphs. Submitted for publication.
- F. Abu Zaid, E. Grädel, and Ł. Kaiser. The Field of Reals is not omega-Automatic. In Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012 (C. Dürr and T. Wilke, Eds.). To Appear, 2012.
- D. Berwanger, Ł. Kaiser, and S. Lessenich. Imperfect Recall and Counter Games. Technical Report. Laboratoire Spécification et Vérification, ENS Cachan, France, 2011.
- D. Berwanger, Ł. Kaiser, and B. Puchala. A Perfect-Information Construction for Coordination in Games. In Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011. To Appear, 2011.
Ausgewählte Vorträge
- Playing Games when States have Rich Structure, GT Jeux Meeting, Paris, 2010.
- Decomposition Theorems in Logic, Invited talk Celebrating the 100th Volume of Fundamenta Informaticæ, Warsaw, 2010.
- New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures, CSL, Brno, and similar at Games Meeting, Oxford, 2010. (Video file: automaton.ogg)
- Cardinality quantifiers in MLO over trees, CSL, Coimbra, 2009.
- Synthesis for Structure Rewriting Systems, MFCS, High Tatras, 2009.
- Model Checking Games for the Quantitative mu-Calculus, Dagstuhl Seminar, 2008.
- Logic and Games on Automatic Structures, Aachen Informatk-Seminar, 2008.
- Countable omega-Automatic Structures, AlMoTh Meeting, Aachen, 2007.
- Memory for Infinitary Games, AlgoSyn Seminar, Aachen, December 2006.
- Game Quantifier on Automatic Structures and Hierarchical Games, GAMES Meeting, Cambridge, and similar at CSL, Szeged, 2006.
- Confluence of Right Ground Term Rewriting Systems is Decidable, FOSSACS, Edinburgh, 2005.