Thomas A. Henzinger
发表
Constantin Enea,
Shaz Qadeer,
Suha Orhun Mutluergil,
2020
.
Constantin Enea,
Shaz Qadeer,
Suha Orhun Mutluergil,
2020,
PLDI.
S. Shankar Sastry,
Alberto Sangiovanni-Vincentelli,
T. John Koo,
2002
.
Thomas A. Henzinger,
T. Henzinger,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Rajeev Alur,
Radu Grosu,
Bow-Yaw Wang,
2000,
CAV 2000.
Shaz Qadeer,
Bernhard Kragl,
Thomas A. Henzinger,
2020,
CAV.
Dorde Zikelic,
Thomas A. Henzinger,
Mathias Lechner,
2020,
ArXiv.
Alberto L. Sangiovanni-Vincentelli,
Roberto Passerone,
Thomas A. Henzinger,
2002,
ICCAD 2002.
Christoph M. Kirsch,
Benjamin Horowitz,
Thomas A. Henzinger,
2003
.
Radu Grosu,
Mathias Lechner,
Ramin Hasani,
2020,
Nature Machine Intelligence.
Anna Lukina,
Thomas A. Henzinger,
Christian Schilling,
2020,
ArXiv.
Alberto Sangiovanni-Vincentelli,
Christoph M. Kirsch,
Arkadeb Ghosal,
2006
.