×

zbMATH — the first resource for mathematics

Henzinger, Thomas A.

Compute Distance To:
Author ID: henzinger.thomas-a
Published as: Henzinger, T.; Henzinger, T. A.; Henzinger, Thomas; Henzinger, Thomas A.
Homepage: http://pub.ist.ac.at/~tah/
External Links: Wikidata · ORCID · dblp · GND
Documents Indexed: 223 Publications since 1985, including 8 Books
all top 5

Co-Authors

11 single-authored
66 Chatterjee, Krishnendu
31 Majumdar, Rupak
20 Doyen, Laurent
19 de Alfaro, Luca
15 Alur, Rajeev
14 Otop, Jan
14 Raskin, Jean-François
12 Kupferman, Orna
10 Radhakrishna, Arjun
9 Jhala, Ranjit
8 Černý, Pavol
8 Mang, Freddy Y. C.
7 Jobstmann, Barbara
7 Prabhu, Vinayak S.
6 Boker, Udi
6 Gupta, Ashutosh
6 Jurdziński, Marcin
6 Kirsch, Christoph M.
6 Kopke, Peter W.
6 Piterman, Nir
5 Guerraoui, Rachid
5 Kovács, Laura Ildikó
5 Qadeer, Shaz
5 Rajamani, Sriram K.
5 Samanta, Roopsha
5 Singh, Vasu
4 Clarke, Edmund Melson jun.
4 Hottelier, Thibaud
4 Petrov, Tatjana
4 Sezgin, Ali
4 Stoelinga, Mariëlle
4 Veith, Helmut
4 Wolf, Verena
4 Wong-Toi, Howard
4 Zufferey, Damien
3 Beyer, Dirk
3 Bloem, Roderick
3 Bogomolov, Sergiy
3 Chakrabarti, Arindam
3 Daca, Przemysław
3 Faella, Marco
3 Ho, Pei-Hsin
3 Horn, Florian
3 Horowitz, Benjamin
3 Mateescu, Maria
3 Rybalchenko, Andrey
3 Sanvido, Marco A. A.
3 Sutre, Grégoire
3 Tarrach, Thorsten
3 Vardi, Moshe Y.
2 Berwanger, Dietmar
2 Courcoubetis, Costas A.
2 De Wulf, Martin
2 Dragoi, Cezara
2 Feder, Tomás
2 Fisher, Jasmin
2 Giacobbe, Mirco
2 Gimbert, Hugo
2 Ibsen-Jensen, Rasmus
2 Kong, Hui
2 Křetínský, Jan
2 Ma, Di
2 Nicollin, Xavier
2 Palsberg, Jens
2 Payer, Hannes
2 Puri, Anuj
2 Ryzhyk, Leonid
2 Schobbens, Pierre-Yves
2 Sifakis, Joseph
2 Singh, Rohit
2 Sokolova, Ana
2 Vafeiadis, Viktor
2 Varaiya, Pravin Pratap
2 Velner, Yaron
2 Wies, Thomas
2 Yovine, Sergio
2 Zhao, Tian
1 Antoš, David
1 Avni, Guy
1 Bak, Stanley
1 Blanc, Régis
1 Brayton, Robert K.
1 Brihaye, Thomas
1 Cassez, Franck
1 Chakraborty, Soham
1 Chlipala, Adam J.
1 Chmelík, Martin
1 Dawar, Anuj
1 Didier, Frédéric
1 Duparc, Jacques
1 Edelsbrunner, Herbert
1 Elgyütt, Adrián
1 Feret, Jérôme
1 Ferrère, Thomas
1 Field, John
1 Fix, Limor
1 Ghosal, Arkadeb
1 Gottlob, Georg
1 Greimel, Karin
1 Guet, Călin C.
...and 51 more Co-Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription

Wikidata Timeline