अपनी एक प्रोफ़ाइल पाएं
इन्होंने कहा
सभी | 2019 से | |
---|---|---|
उद्धरण | 11331 | 3311 |
h-अनुक्रमणिका | 47 | 24 |
i10-अनुक्रमणिका | 92 | 54 |
सार्वजनिक ऐक्सेस
सभी देखें43 लेख
3 लेख
उपलब्ध
उपलब्ध नहीं
धन के अधिदेशों पर आधारित
सह-लेखक
- Somesh JhaLubar Chair of Computer Science, University of Wisconsincs.wisc.edu पर सत्यापित ईमेल
- Orna GrumbergProfessor of Computer Science, Technioncs.technion.ac.il पर सत्यापित ईमेल
- Andreas HolzerUniversity of Torontocs.toronto.edu पर सत्यापित ईमेल
- Christian SchallhartGoogleschallhart.net पर सत्यापित ईमेल
- Igor KonnovIndependent Security and Formal Methods Researcherkonnov.phd पर सत्यापित ईमेल
- Johannes KinderProfessor of Computer Science, LMU Munichlmu.de पर सत्यापित ईमेल
- Roderick BloemGraz University of Technologyiaik.tugraz.at पर सत्यापित ईमेल
- Thomas HenzingerIST Austriaist.ac.at पर सत्यापित ईमेल
- Michael TautschnigQueen Mary University of Londonqmul.ac.uk पर सत्यापित ईमेल
- Georg GottlobProfessor of Informatics, University of Calabriaunical.it पर सत्यापित ईमेल
- Tomer KotekTU Wienforsyte.at पर सत्यापित ईमेल
- Ayrat KhalimovTU Clausthaltu-clausthal.de पर सत्यापित ईमेल
- Nicola LeoneUniversity of Calabria, Professor of Computer Scienceunical.it पर सत्यापित ईमेल
- Mihai ChristodorescuGooglechristodorescu.org पर सत्यापित ईमेल
- Thomas EiterVienna University of Technology (TU Wien)kr.tuwien.ac.at पर सत्यापित ईमेल
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerlandusi.ch पर सत्यापित ईमेल
- Erich GrädelRWTH Aachen Universitylogic.rwth-aachen.de पर सत्यापित ईमेल
- Alex GroceAssociate Professor of Computer Science, Northern Arizona Universitynau.edu पर सत्यापित ईमेल
- Armin BiereProfessor of Computer Science, University of Freiburginformatik.uni-freiburg.de पर सत्यापित ईमेल
- Andreas FröhlichJKU Linzjku.at पर सत्यापित ईमेल
अनुसरण करें
Helmut Veith
Professor of Computer Science, Vienna University of Technology / TU Wien
forsyte.tuwien.ac.at पर सत्यापित ईमेल - मुख्यपृष्ठ