Łukasz Kaiser
Adresse
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
| Telefon: | +49-241-80-21711 |
| Fax: | +49-241-80-22215 |
| Büro: | 4114a (E1) / Ahornstr. 55 |
| E-Mail: | kaiser [AT] logic.rwth-aachen.de |
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
- 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.
Ausgewählte Vorträge
- Model Checking Games for the Quantitative mu-Calculus, Dagstuhl Seminar, 2008.
- Logic and Games on Automatic Structures, Aachen Informatk-Seminar, 2008.
- Hierarchical Games for Verification of Heap-Manipulating Programs, MOVES Seminar, Aachen, 2008.
- Quantitative Systems, Modal Logics and Games, AlgoSyn Seminar, Aachen, 2008.
- Games with Hierarchical Information and Model Checking, Dagstuhl Seminar, 2007.
- Unfolding Parity Games, AlgoSyn Seminar, Rolduc, 2007.
- Hierarchical Information Games, Computer Scicence Seminar, Lausanne, 2007.
- Survey on Finite State Stochastic and Continuous Time Models, together with Daniel Willems, AlgoSyn Seminar, Rolduc, 2007.
- Countable omega-Automatic Structures, AlMoTh Meeting, Aachen, 2007.
- Memory for Infinitary Games, AlgoSyn Seminar, Aachen, December 2006.
- Game Quantifier on Automatic Structures, CSL, Szeged, 2006.
- Confluence of Right Ground Term Rewriting Systems is Decidable, FOSSACS, Edinburgh, 2005.
- Network Design with Selfish Agents, Dagstuhl Seminar, 2004.