Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 23673 | 13608 |
h-index | 73 | 56 |
i10-index | 197 | 146 |
Acces public
Afișați-le pe toate108 articole
2 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyAdresă de e-mail confirmată pe eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalAdresă de e-mail confirmată pe sri.com
- Wenchao LiAssistant Professor, Boston UniversityAdresă de e-mail confirmată pe bu.edu
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftAdresă de e-mail confirmată pe csl.sri.com
- George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaAdresă de e-mail confirmată pe seas.upenn.edu
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchAdresă de e-mail confirmată pe microsoft.com
- Shaz QadeerSoftware Engineer, MetaAdresă de e-mail confirmată pe meta.com
- Natarajan ShankarSRI International Computer Science LaboratoryAdresă de e-mail confirmată pe csl.sri.com
- Ofer StrichmanTechnion, Haifa, IsraelAdresă de e-mail confirmată pe ie.technion.ac.il
- Daniel HolcombAssociate Professor, University of MassachusettsAdresă de e-mail confirmată pe engin.umass.edu
- David WagnerProfessor of Computer Science, UC BerkeleyAdresă de e-mail confirmată pe cs.berkeley.edu
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityAdresă de e-mail confirmată pe cs.huji.ac.il
- Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaAdresă de e-mail confirmată pe sssup.it
- Stephen FreundComputer Science, Williams CollegeAdresă de e-mail confirmată pe cs.williams.edu
- Petros ManiatisStaff Research Scientist, GoogleAdresă de e-mail confirmată pe google.com
- Nicholas HopperProfessor of Computer Science & Engineering, University of MinnesotaAdresă de e-mail confirmată pe umn.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignAdresă de e-mail confirmată pe illinois.edu
Urmăriți
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Adresă de e-mail confirmată pe eecs.berkeley.edu - Pagina de pornire