Utwórz swój profil
Cytowane przez
Wszystkie | Od 2020 | |
---|---|---|
Cytowania | 7714 | 4465 |
h-indeks | 40 | 32 |
i10-indeks | 77 | 59 |
Dostęp publiczny
Wyświetl wszystko32 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
Isil DilligUT AustinZweryfikowany adres z cs.utexas.edu
Chris JermaineAssociate Professor of Computer Science, Rice UniversityZweryfikowany adres z cs.rice.edu
Lydia E. KavrakiRice UniversityZweryfikowany adres z rice.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaZweryfikowany adres z seas.upenn.edu
Abhinav VermaThe Pennsylvania State UniversityZweryfikowany adres z psu.edu
Yisong YueCalifornia Institute of Technology; Asari AI; Latitude AIZweryfikowany adres z caltech.edu
Vijayaraghavan MuraliFacebookZweryfikowany adres z fb.com
Neil T. DantamAssociate Professor of Computer Science, Colorado School of MinesZweryfikowany adres z mines.edu
Armando Solar-LezamaMITZweryfikowany adres z csail.mit.edu
Sumit GulwaniDistinguished Scientist, MicrosoftZweryfikowany adres z microsoft.com
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinZweryfikowany adres z cs.wisc.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignZweryfikowany adres z illinois.edu
Patrick McDanielTsun-Ming Shih Professor of Computer Sciences, University of Wisconsin-MadisonZweryfikowany adres z cs.wisc.edu
William EnckProfessor of Computer Science, North Carolina State UniversityZweryfikowany adres z ncsu.edu
Damien OcteauGoogleZweryfikowany adres z google.com
Rishabh SinghResearch Scientist, Google BrainZweryfikowany adres z google.com
Dipak ChaudhariApplied Research Scientist, Meta Platforms, IncZweryfikowany adres z fb.com
Petar TsankovCo-founder & CEO, LatticeFlowZweryfikowany adres z latticeflow.ai
Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Zweryfikowany adres z inf.ethz.ch
Matthew MirmanETH ZürichZweryfikowany adres z inf.ethz.ch
Obserwuj