Lars Kuhtz

According to our database, Lars Kuhtz authored at least 6 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds

Lars Kuhtz, Bernd Finkbeiner

Log. Methods Comput. Sci., 2012

2011

Weak Kripke Structures and LTL.

Lars Kuhtz, Bernd Finkbeiner

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Model checking finite paths and trees.

Lars Kuhtz

PhD thesis, 2010

2009

Monitor Circuits for LTL with Bounded and Unbounded Future.

Bernd Finkbeiner, Lars Kuhtz

Proceedings of the Runtime Verification, 9th International Workshop, 2009

LTL Path Checking Is Efficiently Parallelizable.

Lars Kuhtz, Bernd Finkbeiner

Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

2006

An improved algorithm for approximating the chromatic number of G_{n, p}.

Amin Coja-Oghlan, Lars Kuhtz

Inf. Process. Lett., 2006