Thomas Henzinger (Q88295)
From The Right Wiki
Jump to navigationJump to search
Austrian computer scientist
- Thomas A. Henzinger
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Thomas Henzinger |
Austrian computer scientist |
|
Statements
1962
2 references
9 April 2014
8 December 1962
Q71536040 (Deleted Item)
1 reference
Q16765207 (Deleted Item)
28 February 2021
Q543804 (Deleted Item)
0 references
Q337234 (Deleted Item)
Q58482584 (Deleted Item)
2006
Q463303 (Deleted Item)
0 references
2020
Q61664704 (Deleted Item)
8 January 2007
Q18748039 (Deleted Item)
2 references
Q829984 (Deleted Item)
Q682739 (Deleted Item)
0 references
1104
0 references
Q2586819 (Deleted Item)
2012
1 reference
Q6860207 (Deleted Item)
2015
for fundamental advances in the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems (English)
Q64756748 (Deleted Item)
2015
Q18748039 (Deleted Item)
2006
8 January 2007
For contributions to formal verification and hybrid systems. (English)
Q126416278 (Deleted Item)
1 January 2012
Q15631401 (Deleted Item)
2024
1 reference
Q16765207 (Deleted Item)
28 February 2021
h/ThomasAHenzinger
0 references
148011039
1 reference
2 references
3 July 2019
Q6375970 (Deleted Item)
1 reference
4 July 2019
Q8974424 (Deleted Item)
henzinger.thomas-a
0 references
115250514
1 reference
stk2008428963
1 reference
81100034124
0 references
n98002399
1 reference
/m/0hk3xvz
0 references
26165
0 references
Q1944655 (Deleted Item)
1 reference
thomas-a-henzinger
0 references
Henzinger,_Thomas_A.
0 references
jpgplxUAAAAJ
0 references
0000-0002-2985-7724
0 references
2707196735
0 references
14401376
0 references
E39PBJkp7Rjbw3hcpTDXqb3mh3
0 references
70099
0 references
308023
0 references
7004449411
0 references
90545903
1 reference
ncf10670854
1 reference
KAC202297494
1 reference
DA10023895
2 references
Q115920372 (Deleted Item)
1140845216661395840
29 December 2023
02-A003364763
1 reference
Q8487137 (Deleted Item)
0 references
Q886295
0 references
118183540
0 references