Thomas A. Henzinger - Concepedia

Author

Thomas A. Henzinger

University of California, Berkeley ORCID

Also Known As

Arjun Radhakrishna, Henzinger Thomas A., Henzinger, Thomas, Henzinger, Thomas A, Author, Henzinger, Thomas A., Henzinger, Thomas A. 1962-, K. Chatterjee, M. Faella, Sanders, Peter, T. A. Henzinger

723

Publications

43.6K

Citations

H-Index

199

Concepts

All Affiliations

University of California, Berkeley Institute of Science and Technology Austria École Polytechnique Fédérale de Lausanne University of Pennsylvania Centre National de la Recherche Scientifique

About

Thomas A. Henzinger is an author at University of California, Berkeley specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	68	170	24.8K
2	Business	20	25	1.7K
3	Medicine	2	2	116
4	Natural Sciences	2	2	82
5	Education	1	1	477

Thomas A. Henzinger

200

Publications

27.2K

Citations

H-Index

Page 1

	Year	Citations

Page 1