Lars Kuhtz

According to our database1, 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 Gn, p.
Inf. Process. Lett., 2006


  Loading...