Articles with public access mandates - Łukasz KaiserLearn more
Available somewhere: 6
Synthesis for structure rewriting systems
Ł Kaiser
International Symposium on Mathematical Foundations of Computer Science, 415-426, 2009
Mandates: German Research Foundation
MPIDepQBF: towards parallel QBF solving without knowledge sharing
C Jordan, L Kaiser, F Lonsing, M Seidl
International Conference on Theory and Applications of Satisfiability …, 2014
Mandates: Austrian Science Fund
A unified approach to boundedness properties in MSO
L Kaiser, M Lang, S Leßenich, C Löding
24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 2015
Mandates: German Research Foundation
Solving counter parity games
D Berwanger, Ł Kaiser, S Leßenich
International Symposium on Mathematical Foundations of Computer Science, 160-171, 2012
Mandates: German Research Foundation
Model checking the quantitative mu-calculus on linear hybrid systems
D Fischer, L Kaiser
Logical Methods in Computer Science 8, 2012
Mandates: German Research Foundation
A Counting Logic for Structure Transition Systems
L Kaiser, S Leßenich
Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program