Name Card

Full name Familienname, Vorname
Hottelier, Thibaud
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura ; Rybalchenko, Andrey Aligators for Arrays (Tool Paper)Konferenzbeitrag Inproceedings2010
2Blanc, Regis ; Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura ABC: Algebraic Bound Computation for LoopsKonferenzbeitrag Inproceedings2010