קבלת פרופיל משלי
צוטט על ידי
הכל | מאז 2020 | |
---|---|---|
ציטוטים ביבליוגרפיים | 16904 | 6699 |
H-index | 63 | 37 |
i10-index | 209 | 119 |
גישה ציבורית
הצג הכל61 מאמרים
מאמר אחד
זמין
לא זמין
על סמך ייפוי כח מהמממנים
מחברים משותפים
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon Universityכתובת אימייל מאומתת בדומיין cs.cmu.edu
Ofer StrichmanTechnion, Haifa, Israelכתובת אימייל מאומתת בדומיין ie.technion.ac.il
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerlandכתובת אימייל מאומתת בדומיין usi.ch
Georg WeissenbacherProfessor of Computer Science, TU Wienכתובת אימייל מאומתת בדומיין tuwien.ac.at
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKכתובת אימייל מאומתת בדומיין cs.ox.ac.uk
Michael TautschnigQueen Mary University of Londonכתובת אימייל מאומתת בדומיין qmul.ac.uk
Youcheng SunLecturer, University of Manchesterכתובת אימייל מאומתת בדומיין manchester.ac.uk
Tom MelhamProfessor of Computer Science, University of Oxfordכתובת אימייל מאומתת בדומיין cs.ox.ac.uk
Thomas WahlNortheastern University, Boston, USAכתובת אימייל מאומתת בדומיין northeastern.edu
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussexכתובת אימייל מאומתת בדומיין diffblue.com
Cristina DavidUniversity of Bristolכתובת אימייל מאומתת בדומיין bristol.ac.uk
Philipp RuemmerProfessor in Computer Science, University of Regensburgכתובת אימייל מאומתת בדומיין ur.de
Vijay D'SilvaGoogle Inc.כתובת אימייל מאומתת בדומיין google.com
Martin BrainCity, University of Londonכתובת אימייל מאומתת בדומיין city.ac.uk
Pascal KesseliDiffblue Ltd.כתובת אימייל מאומתת בדומיין diffblue.com
Alastair DonaldsonImperial College Londonכתובת אימייל מאומתת בדומיין imperial.ac.uk
Hana ChocklerKing's College Londonכתובת אימייל מאומתת בדומיין kcl.ac.uk
Christoph M. WintersteigerImandraכתובת אימייל מאומתת בדומיין imandra.ai
Alexander KaiserUniversity of Oxfordכתובת אימייל מאומתת בדומיין cs.ox.ac.uk
Matt LewisComputer Science Department, University of Oxfordכתובת אימייל מאומתת בדומיין cs.ox.ac.uk