Thibaud Hottelier

	2010
5		Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács: ABC: Algebraic Bound Computation for Loops. LPAR (Dakar) 2010: 103-118
4		Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko: Aligators for Arrays (Tool Paper). LPAR (Yogyakarta) 2010: 348-356
3		Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov: Invariant and Type Inference for Matrices. VMCAI 2010: 163-179
	2009
2		George Nychis, Thibaud Hottelier, Zhuocheng Yang, Srinivasan Seshan, Peter Steenkiste: Enabling MAC Protocol Implementations on Software-Defined Radios. NSDI 2009: 91-106
	2008
1		Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács: Valigator: A Verification Tool with Bound and Invariant Generation. LPAR 2008: 333-342

Coauthor Index

1	Régis Blanc	[5]
2	Thomas A. Henzinger	[1] [3] [4] [5]
3	Laura Kovács (Laura Ildikó Kovács)	[1] [3] [4] [5]
4	George Nychis	[2]
5	Andrey Rybalchenko	[4]
6	Srinivasan Seshan	[2]
7	Peter Steenkiste	[2]
8	Andrei Voronkov	[3]
9	Zhuocheng Yang	[2]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page