Karin Greimel

	2011
6		Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Specification-centered robustness. SIES 2011: 176-185
	2010
5		Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Robustness in the Presence of Liveness. CAV 2010: 410-424
4		Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber: RATSY - A New Requirements Analysis Tool with Synthesis. CAV 2010: 425-429
	2009
3		Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Synthesizing robust systems. FMCAD 2009: 85-92
	2008
2		Karin Greimel, Roderick Bloem, Barbara Jobstmann, Moshe Y. Vardi: Open Implication. ICALP (2) 2008: 361-372
1		Ronald Toegl, Georg Hofferek, Karin Greimel, Adrian Leung, Raphael Chung-Wei Phan, Roderick Bloem: Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme. ICYCS 2008: 2289-2294

Coauthor Index

1	Roderick Bloem (Roderick Paul Bloem)	[1] [2] [3] [4] [5] [6]
2	Krishnendu Chatterjee	[5] [6]
3	Alessandro Cimatti	[4]
4	Thomas A. Henzinger	[3] [5] [6]
5	Georg Hofferek	[1] [4]
6	Barbara Jobstmann	[2] [3] [5] [6]
7	Robert Könighofer	[4]
8	Adrian Leung	[1]
9	Raphael Chung-Wei Phan (Raphael C.-W. Phan)	[1]
10	Marco Roveri	[4]
11	Viktor Schuppan	[4]
12	Richard Seeber	[4]
13	Ronald Toegl	[1]
14	Moshe Y. Vardi	[2]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page