Łukasz Kaiser

Available identifiers

zbMath Open kaiser.lukaszDBLP39/1762WikidataQ30251976 ScholiaQ30251976MaRDI QIDQ555654

List of research outcomes

Publication	Date of Publication	Type
Characterising Choiceless Polynomial Time with First-Order Interpretations	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q5351973	2017-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q2954982	2017-01-24	Paper
Model-theoretic properties of \(\omega\)-automatic structures	2015-02-05	Paper
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing	2014-09-26	Paper
Directed Width Measures and Monotonicity of Directed Graph Searching	2014-08-20	Paper
Experiments with Reduction Finding	2013-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4910735	2013-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4910728	2013-03-19	Paper
Entanglement and the complexity of directed graphs	2013-01-07	Paper
A Counting Logic for Structure Transition Systems	2012-11-22	Paper
Degrees of Lookahead in Regular Infinite Games	2012-10-22	Paper
Solving Counter Parity Games	2012-09-25	Paper
Model checking the quantitative \(\mu \)-calculus on linear hybrid systems	2012-09-25	Paper
A perfect-information construction for coordination in games	2012-08-31	Paper
The field of reals is not \(\omega\)-automatic	2012-08-23	Paper
Logic and games on automatic structures. Playing with quantifiers and decompositions	2011-07-25	Paper
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems	2011-07-07	Paper
Expressing cardinality quantifiers in monadic second-order logic over chains	2011-06-28	Paper
Information tracking in games on graphs	2011-01-07	Paper
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees	2011-01-03	Paper
Model checking games for the quantitative \(\mu \)-calculus	2010-10-06	Paper
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures	2010-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q3574467	2010-07-09	Paper
Degrees of Lookahead in Regular Infinite Games	2010-04-27	Paper
Cardinality Quantifiers in MLO over Trees	2009-11-12	Paper
Directed Graphs of Entanglement Two	2009-10-20	Paper
Synthesis for Structure Rewriting Systems	2009-10-16	Paper
Game Quantification on Automatic Structures and Hierarchical Model Checking Games	2009-03-12	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper

Research outcomes over time

This page was built for person: Łukasz Kaiser