Concepedia

Thomas A. Henzinger

TA

Statistics

Publications

204

Citations

27.6K

H-Index

73

Active since

1992

Affiliations

University of California, Berkeley(Current)

Institute of Science and Technology Austria

École Polytechnique Fédérale de Lausanne

University of California, Santa Cruz

Centre National de la Recherche Scientifique

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

Publications per year

1992–2023

204

Publications

204

1–5 of 204