!!Thomas Henzinger - Publications [List of publications|http://pub.ist.ac.at/~tah/Publications/byyear.html]