| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 5 |      | Lars Kuhtz, Bernd Finkbeiner: Weak Kripke Structures and LTL. CONCUR 2011: 419-433 |
| 2010 | ||
| 4 | | Lars Kuhtz: Model checking finite paths and trees. Saarland University 2010 |
| 2009 | ||
| 3 | | Lars Kuhtz, Bernd Finkbeiner: LTL Path Checking Is Efficiently Parallelizable. ICALP (2) 2009: 235-246 |
| 2 | | Bernd Finkbeiner, Lars Kuhtz: Monitor Circuits for LTL with Bounded and Unbounded Future. RV 2009: 60-75 |
| 2006 | ||
| 1 | | Amin Coja-Oghlan, Lars Kuhtz: An improved algorithm for approximating the chromatic number of Gn, p. Inf. Process. Lett. 99(6): 234-238 (2006) |
| 1 | Amin Coja-Oghlan | [1] |
| 2 | Bernd Finkbeiner | [2] [3] [5] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page