Karin Quaas

	2009
5		Karin Quaas: Weighted Timed MSO Logics. Developments in Language Theory 2009: 419-430
4		Karin Quaas: On the Supports of Recognizable Timed Series. FORMATS 2009: 243-257
	2008
3		Manfred Droste, Karin Quaas: A Kleene-Schützenberger Theorem for Weighted Timed Automata. FoSSaCS 2008: 142-156
2		Parosh Aziz Abdulla, Johann Deneux, Joël Ouaknine, Karin Quaas, James Worrell: Universality Analysis for One-Clock Timed Automata. Fundam. Inform. 89(4): 419-450 (2008)
	2007
1		Parosh Aziz Abdulla, Joël Ouaknine, Karin Quaas, James Worrell: Zone-Based Universality Analysis for Single-Clock Timed Automata. FSEN 2007: 98-112

Coauthor Index

1	Parosh Aziz Abdulla	[1] [2]
2	Johann Deneux	[2]
3	Manfred Droste	[3]
4	Joël Ouaknine	[1] [2]
5	James Worrell	[1] [2]

Colors in the list of coauthors