Carsten Ihlemann

	2009
4		Carsten Ihlemann, Viorica Sofronie-Stokkermans: System Description: H-PILoT. CADE 2009: 131-139
	2008
3		Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans: On Local Reasoning in Verification. TACAS 2008: 265-281
	2007
2		Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs: Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. Deduction and Decision Procedures 2007
1		Viorica Sofronie-Stokkermans, Carsten Ihlemann: Automated Reasoning in Some Local Extensions of Ordered Structures. ISMVL 2007: 1

Coauthor Index

1	Swen Jacobs	[2] [3]
2	Viorica Sofronie-Stokkermans (Viorica Sofronie)	[1] [2] [3] [4]