According to our database1, Lars Kuhtz authored at least 6 papers between 2006 and 2012.
Legend:Book In proceedings Article PhD thesis Other
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
Logical Methods in Computer Science, 2012
Weak Kripke Structures and LTL.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
Model checking finite paths and trees.
PhD thesis, 2010
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
An improved algorithm for approximating the chromatic number of Gn, p.
Inf. Process. Lett., 2006