# Lars Kuhtz

According to our database

Collaborative distances:

^{1}, Lars Kuhtz authored at least 6 papers between 2006 and 2012.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2012

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

Logical Methods in Computer Science, 2012

2011

Weak Kripke Structures and LTL.

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

2010

Model checking finite paths and trees.

PhD thesis, 2010

2009

Monitor Circuits for LTL with Bounded and Unbounded Future.

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

LTL Path Checking Is Efficiently Parallelizable.

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

2006

An improved algorithm for approximating the chromatic number of G

_{n, p}.
Inf. Process. Lett., 2006