×

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: 235 Publications since 1985, including 8 Books
all top 5

Co-Authors

11 single-authored
69 Chatterjee, Krishnendu
31 Majumdar, Rupak
21 Doyen, Laurent
20 de Alfaro, Luca
15 Alur, Rajeev
15 Otop, Jan
14 Raskin, Jean-François
13 Kupferman, Orna
10 Radhakrishna, Arjun
9 Jhala, Ranjit
8 Černý, Pavol
8 Mang, Freddy Y. C.
7 Gupta, Ashutosh
7 Jobstmann, Barbara
7 Petrov, Tatjana
7 Prabhu, Vinayak S.
6 Boker, Udi
6 Jurdziński, Marcin
6 Kirsch, Christoph M.
6 Kopke, Peter W.
6 Piterman, Nir
5 Daca, Przemysław
5 Guerraoui, Rachid
5 Kovács, Laura Ildikó
5 Qadeer, Shaz
5 Rajamani, Sriram K.
5 Samanta, Roopsha
5 Sezgin, Ali
5 Singh, Vasu
4 Avni, Guy
4 Bogomolov, Sergiy
4 Clarke, Edmund Melson jun.
4 Hottelier, Thibaud
4 Stoelinga, Mariëlle
4 Veith, Helmut
4 Wolf, Verena
4 Wong-Toi, Howard
4 Zufferey, Damien
3 Beyer, Dirk
3 Bloem, Roderick
3 Chakrabarti, Arindam
3 Faella, Marco
3 Giacobbe, Mirco
3 Guet, Călin C.
3 Ho, Pei-Hsin
3 Horn, Florian
3 Horowitz, Benjamin
3 Ibsen-Jensen, Rasmus
3 Kong, Hui
3 Křetínský, Jan
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 Gimbert, Hugo
2 Jiang, Yu
2 Ma, Di
2 Manna, Zohar
2 Nicollin, Xavier
2 Paixão, Tiago
2 Palsberg, Jens
2 Payer, Hannes
2 Pnueli, Amir
2 Puri, Anuj
2 Ryzhyk, Leonid
2 Schilling, Christian
2 Schobbens, Pierre-Yves
2 Sifakis, Joseph
2 Singh, Rohit R.
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 Bak, Stanley
1 Bartocci, Ezio
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 Chonev, Ventsislav
1 Dawar, Anuj
1 Didier, Frédéric
1 Duparc, Jacques
1 Edelsbrunner, Herbert
1 Elgyütt, Adrián
...and 57 more Co-Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription

Wikidata Timeline