Lukasz Kaiser

Google Publications

Previous Publications

  •  

    Experiments with Reduction Finding

    Charles Jordan, Lukasz Kaiser

    SAT (2013), pp. 192-207

  •  

    A Counting Logic for Structure Transition Systems

    Lukasz Kaiser, Simon Leßenich

    CSL (2012), pp. 366-380

  •  

    Degrees of Lookahead in Regular Infinite Games

    Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas

    Logical Methods in Computer Science, vol. 8 (2012)

  •  

    Entanglement and the complexity of directed graphs

    Dietmar Berwanger, Erich Grädel, Lukasz Kaiser, Roman Rabinovich

    Theor. Comput. Sci., vol. 463 (2012), pp. 2-25

  •  

    Learning Games from Videos Guided by Descriptive Complexity

    Lukasz Kaiser

    AAAI (2012)

  •  

    Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

    Diana Fischer, Lukasz Kaiser

    Logical Methods in Computer Science, vol. 8 (2012)

  •  

    Solving Counter Parity Games

    Dietmar Berwanger, Lukasz Kaiser, Simon Leßenich

    MFCS (2012), pp. 160-171

  •  

    The Field of Reals is not omega-Automatic

    Faried Abu Zaid, Erich Grädel, Lukasz Kaiser

    STACS (2012), pp. 577-588

  •  

    A Perfect-Information Construction for Coordination in Games

    Dietmar Berwanger, Lukasz Kaiser, Bernd Puchala

    FSTTCS (2011), pp. 387-398

  •  

    Expressing cardinality quantifiers in monadic second-order logic over chains

    Vince Bárány, Lukasz Kaiser, Alexander Rabinovich

    J. Symb. Log., vol. 76 (2011), pp. 603-619

  •  

    First-Order Logic with Counting for General Game Playing

    Lukasz Kaiser, Lukasz Stafiniak

    AAAI (2011)

  •  

    Logic and Games on Automatic Structures - Playing with Quantifiers and Decompositions

    Lukasz Kaiser

    Springer (2011), pp. 1-118

  •  

    Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems

    Diana Fischer, Lukasz Kaiser

    ICALP (2) (2011), pp. 404-415

  •  

    Degrees of Lookahead in Regular Infinite Games

    Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas

    FOSSACS (2010), pp. 252-266

  •  

    Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

    Vince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich

    Fundam. Inform., vol. 100 (2010), pp. 1-17

  •  

    Information Tracking in Games on Graphs

    Dietmar Berwanger, Lukasz Kaiser

    Journal of Logic, Language and Information, vol. 19 (2010), pp. 395-412

  •  

    Model Checking Games for the Quantitative µ-Calculus

    Diana Fischer, Erich Grädel, Lukasz Kaiser

    Theory Comput. Syst., vol. 47 (2010), pp. 696-719

  •  

    New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures

    Tobias Ganzow, Lukasz Kaiser

    CSL (2010), pp. 366-380

  •  

    Cardinality Quantifiers in MLO over Trees

    Vince Bárány, Lukasz Kaiser, Alexander Rabinovich

    CSL (2009), pp. 117-131

  •  

    Directed Graphs of Entanglement Two

    Erich Grädel, Lukasz Kaiser, Roman Rabinovich

    FCT (2009), pp. 169-180

  •  

    Synthesis for Structure Rewriting Systems

    Lukasz Kaiser

    MFCS (2009), pp. 415-426

  •  

    Cardinality and counting quantifiers on omega-automatic structures

    Lukasz Kaiser, Sasha Rubin, Vince Bárány

    CoRR, vol. abs/0802.2866 (2008)

  •  

    Cardinality and counting quantifiers on omega-automatic structures

    Lukasz Kaiser, Sasha Rubin, Vince Bárány

    STACS (2008), pp. 385-396

  •  

    Model Checking Games for the Quantitative µ-Calculus

    Diana Fischer, Erich Grädel, Lukasz Kaiser

    STACS (2008), pp. 301-312

  •  

    Model Checking Games for the Quantitative mu-Calculus

    Diana Fischer, Erich Grädel, Lukasz Kaiser

    CoRR, vol. abs/0802.2871 (2008)

  •  

    Program Search as a Path to Artificial General Intelligence

    Lukasz Kaiser

    Artificial General Intelligence (2007), pp. 291-326

  •  

    Game Quantification on Automatic Structures and Hierarchical Model Checking Games

    Lukasz Kaiser

    CSL (2006), pp. 411-425

  •  

    Confluence of Right Ground Term Rewriting Systems Is Decidable

    Lukasz Kaiser

    FoSSaCS (2005), pp. 470-489