Gidon Ernst

	2011
4		Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif: Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. SEFM 2011: 188-203
3		Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif: Interleaved Programs and Rely-Guarantee Reasoning with ITL. TIME 2011: 99-106
	2010
2		Faisal Aslam, Luminous Fennell, Christian Schindelhauer, Peter Thiemann, Gidon Ernst, Elmar Haussmann, Stefan Rührup, Zartash Afzal Uzmi: Optimized Java Binary and Virtual Machine for Tiny Motes. DCOSS 2010: 15-30
	2008
1		Faisal Aslam, Christian Schindelhauer, Gidon Ernst, Damian Spyra, Jan Meyer, Mohannad Zalloom: Introducing TakaTuka: a java virtualmachine for motes. SenSys 2008: 399-400

Coauthor Index

1	Faisal Aslam	[1] [2]
2	Luminous Fennell	[2]
3	Elmar Haussmann	[2]
4	Jan Meyer	[1]
5	Wolfgang Reif	[3] [4]
6	Stefan Rührup	[2]
7	Gerhard Schellhorn	[3] [4]
8	Christian Schindelhauer	[1] [2]
9	Damian Spyra	[1]
10	Peter Thiemann	[2]
11	Bogdan Tofan	[3]
12	Zartash Afzal Uzmi	[2]
13	Mohannad Zalloom	[1]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page