Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Kaiser, {\L}ukasz"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Graph searching games and width measures for directed graphs
Saeed Akhoondian Amiri
,
Łukasz Kaiser
,
Stephan Kreutzer
,
Roman Rabinovich
,
Sebastian Siebertz
Leibniz International Proceedings in Informatics (LIPIcs)
30
, 2015, pp. 34-47
Model-theoretic properties of
\omega
-automatic structures
Faried Abu Zaid
,
Erich Grädel
,
Łukasz Kaiser
,
Wied Pakusa
Theory of Computing Systems
55
(4), 2014, pp. 856-880
Entanglement and the complexity of directed graphs
Dietmar Berwanger
,
Erich Grädel
,
Łukasz Kaiser
,
Roman Rabinovich
Theoretical Computer Science
463
, 2012, pp. 2-25
Solving counter parity games
Dietmar Berwanger
,
Łukasz Kaiser
,
Simon Leßenich
Lecture Notes in Computer Science
7464
, 2012, pp. 160-171
A perfect-information construction for coordination in games
Dietmar Berwanger
,
Łukasz Kaiser
,
Bernd Puchala
Leibniz International Proceedings in Informatics (LIPIcs)
13
, 2011, pp. 387-398
Model checking the quantitative
\mu
-calculus on linear hybrid systems
Diana Fischer
,
Łukasz Kaiser
Lecture Notes in Computer Science
6756
, 2011, pp. 404-415
Model checking games for the quantitative
\mu
-calculus
Diana Fischer
,
Erich Grädel
,
Łukasz Kaiser
Theory of Computing Systems
47
(3), 2010, pp. 696-719
Synthesis for structure rewriting systems
Łukasz Kaiser
Lecture Notes in Computer Science
5734
, 2009, pp. 415-426
Cardinality and counting quantifiers on omega-automatic structures
Łukasz Kaiser
,
Sasha Rubin
,
Vince Bárány
Leibniz International Proceedings in Informatics (LIPIcs)
1
, 2008, pp. 385-396