Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 9101 | 3534 |
h-index | 48 | 27 |
i10-index | 126 | 76 |
Acces public
Afișați-le pe toate36 de articole
2 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Sumit GulwaniPartner Research Manager, MicrosoftAdresă de e-mail confirmată pe microsoft.com
- Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalAdresă de e-mail confirmată pe sri.com
- Natarajan ShankarSRI International Computer Science LaboratoryAdresă de e-mail confirmată pe csl.sri.com
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyAdresă de e-mail confirmată pe eecs.berkeley.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderAdresă de e-mail confirmată pe colorado.edu
- patrick lincolnSRIAdresă de e-mail confirmată pe sri.com
- Adrià GascónGoogle ResearchAdresă de e-mail confirmată pe google.com
- Harald RuessfortissAdresă de e-mail confirmată pe fortiss.org
- Radu GrosuProfessor of Computer ScienceAdresă de e-mail confirmată pe tuwien.ac.at
- Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityAdresă de e-mail confirmată pe cs.sunysb.edu
- John RushbySRI InternationalAdresă de e-mail confirmată pe csl.sri.com
- Leo BachmairProfessor of Computer Science, Stony Brook UniversityAdresă de e-mail confirmată pe cs.stonybrook.edu
- Bruno DutertreAmazon Web ServicesAdresă de e-mail confirmată pe amazon.com
- Sam OwreSRI InternationalAdresă de e-mail confirmată pe sri.com
- Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityAdresă de e-mail confirmată pe princeton.edu
- Junxing YangStony Brook UniverisityAdresă de e-mail confirmată pe cs.stonybrook.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKAdresă de e-mail confirmată pe cs.ox.ac.uk
- Pramod SubramanyanIndian Institute of Technology KanpurAdresă de e-mail confirmată pe cse.iitk.ac.in
- Leonardo de MouraAmazon Web ServicesAdresă de e-mail confirmată pe amazon.com
- Gaurav KhannaUniversity of Rhode Island & UMass DartmouthAdresă de e-mail confirmată pe umassd.edu
Urmăriți
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Adresă de e-mail confirmată pe csl.sri.com - Pagina de pornire