Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 538 | 521 |
H-indeks | 10 | 10 |
i10-indeks | 10 | 10 |
Javni pristup
Prikaži sve9 članaka
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- Zachary TatlockUniversity of WashingtonPotvrđena adresa e-pošte na cs.washington.edu
- Max WillseyUC BerkeleyPotvrđena adresa e-pošte na eecs.berkeley.edu
- Dan GrossmanComputer Science, University of WashingtonPotvrđena adresa e-pošte na cs.washington.edu
- Pavel PanchekhaUniversity of Utah, Kahlert School of ComputingPotvrđena adresa e-pošte na cs.utah.edu
- James R. WilcoxUniversity of WashingtonPotvrđena adresa e-pošte na cs.washington.edu
- Adriana SchulzUniversity of WashingtonPotvrđena adresa e-pošte na cs.washington.edu
- Eva DarulovaUppsala UniversityPotvrđena adresa e-pošte na it.uu.se
- Haisen ZhaoProfessor of Shandong UniversityPotvrđena adresa e-pošte na sdu.edu.cn
- Jeffrey LiptonProfessor, University of WashingtonPotvrđena adresa e-pošte na uw.edu
- Chenming WuBaiduPotvrđena adresa e-pošte na mails.tsinghua.edu.cn
- Kathryn S McKinleyGooglePotvrđena adresa e-pošte na cs.utexas.edu
- Adrian SampsonComputer Science, Cornell UniversityPotvrđena adresa e-pošte na cornell.edu
- Todd MytkowiczMicrosoft ResearchPotvrđena adresa e-pošte na microsoft.com
- Manuel OriolConstructor Institute SchaffhausenPotvrđena adresa e-pošte na constructor.org
- Aurelien MonotABB Corporate ResearchPotvrđena adresa e-pošte na ch.abb.com
Prati
Chandrakana Nandi
Senior Researcher, Certora Inc.
Potvrđena adresa e-pošte na certora.com - Početna stranica