Łukasz Kaiser

Available identifiers

zbMath Open kaiser.lukaszWikidataQ30251976 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/Q4910728	2013-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4910735	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
https://portal.mardi4nfdi.de/entity/Q2904795	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Łukasz Kaiser