Lars Kuhtz

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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 G_{n, p}. Inf. Process. Lett. 99(6): 234-238 (2006)

	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 G_{n, p}. Inf. Process. Lett. 99(6): 234-238 (2006)

Coauthor Index

1 Amin Coja-Oghlan [1]

2 Bernd Finkbeiner [2] [3]

Colors in the list of coauthors