An improved algorithm for approximating the chromatic number of Gn, p. - Amin Coja-Oghlan; Lars Kuhtz (Inf. Process. Lett., 2006)

LTL Path Checking Is Efficiently Parallelizable. - Lars Kuhtz; Bernd Finkbeiner (ICALP (2), 2009)

Monitor Circuits for LTL with Bounded and Unbounded Future. - Bernd Finkbeiner; Lars Kuhtz (RV, 2009)

Model checking finite paths and trees. - Lars Kuhtz (2010)

Weak Kripke Structures and LTL. - Lars Kuhtz; Bernd Finkbeiner (CONCUR, 2011)

Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds - Lars Kuhtz; Bernd Finkbeiner (Log. Methods Comput. Sci., 2012)