(Q4559149)

for fundamental advances in the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems (الإنجليزية)

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

الدكتوراة الفخرية من جامعة ماساريك

point in time ^{الإنجليزية}

2015^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

زمالة رابطة مكائن الحوسبة

point in time ^{الإنجليزية}

2006^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

زمالة الجمعية الأمريكية لتقدم العلوم

point in time ^{الإنجليزية}

2013^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

place of birth ^{الإنجليزية}

النمسا

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

لينز

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

DBLP author ID ^{الإنجليزية}

h/ThomasAHenzinger

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

employer ^{الإنجليزية}

جامعة كورنل

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

جامعة كاليفورنيا، بركلي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

مدرسة لوزان الاتحادية للفنون التطبيقية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Institute of Science and Technology Austria ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

family name ^{الإنجليزية}

Henzinger ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Freebase ID ^{الإنجليزية}

/m/0hk3xvz

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

image ^{الإنجليزية}

Thomas Henzinger.png
٤٨٠ × ٤٥٧؛ ٢١٢ كيلوبايت

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

spouse ^{الإنجليزية}

مونيكا هنزنجر

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

doctoral advisor ^{الإنجليزية}

Zohar Manna ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

doctoral student ^{الإنجليزية}

Krishnendu Chatterjee ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Shaz Qadeer ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Sriram K. Rajamani ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Freddy Y.C. Mang ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Rupak Majumdar ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Pei-Hsin Ho ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Peter Kopke ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Benjamin Horowitz ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Ranjit Jhala ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Arindam Chakrabarti ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Arkadeb Ghosal ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Slobodan Matic ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Vinayak S. Prabhu ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Vasu Singh ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Grégory Théoduloz ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Maria-Emanuela-Canini Mateescu ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Damien Zufferey ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

Arjun Radhakrishna ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q88295

(Q4559149)

بيانات

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٣ وصلات)