Dr. Lars Kuhtz

While being a member of this group or in collaboration with us.

• Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
  Lars Kuhtz and Bernd Finkbeiner · LMCS
• Weak Kripke Structures and LTL
  Lars Kuhtz and Bernd Finkbeiner · CONCUR 2011
• LTL Path Checking is Efficiently Parallelizable
  Lars Kuhtz and Bernd Finkbeiner · ICALP 2009 · Best paper award
• Monitor Circuits for LTL with Bounded and Unbounded Future
  Bernd Finkbeiner and Lars Kuhtz · RV 2009
• An improved algorithm for approximating the chromatic number of G<sub style="font-size:75%">n,p</sub>
  Amin Coja-Oghlan and Lars Kuhtz · Information Processing Letters, volume 99, issue 6, 30 September 2006, pages 234-238
• Colouring G<sub style="font-size:75%">n,p</sub> and Spectral Techniques
  Lars Kuhtz · UdS

While being a member of this group or in collaboration with us.

• Model Checking Finite Paths and Trees
  Lars Kuhtz · UdS