Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen24 Artikel
3 Artikel
verfügbar
nicht verfügbar
Basierend auf Förderungsverfügungen
Koautoren
Sumit GulwaniPartner Research Manager, MicrosoftBestätigte E-Mail-Adresse bei microsoft.com
Susmit JhaPrincipal Scientist, SRI InternationalBestätigte E-Mail-Adresse bei sri.com
Natarajan ShankarSRI International Computer Science LaboratoryBestätigte E-Mail-Adresse bei csl.sri.com
Sanjit A. SeshiaUniversity of California, BerkeleyBestätigte E-Mail-Adresse bei eecs.berkeley.edu
patrick lincolnSRIBestätigte E-Mail-Adresse bei sri.com
Adrià GascónUniversity of EdinburghBestätigte E-Mail-Adresse bei inf.ed.ac.uk
Harald RuessfortissBestätigte E-Mail-Adresse bei fortiss.org
John RushbySRI InternationalBestätigte E-Mail-Adresse bei csl.sri.com
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderBestätigte E-Mail-Adresse bei colorado.edu
Radu GrosuProfessor of Computer ScienceBestätigte E-Mail-Adresse bei tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityBestätigte E-Mail-Adresse bei cs.sunysb.edu
Leo BachmairProfessor of Computer Science, Stony Brook UniversityBestätigte E-Mail-Adresse bei cs.stonybrook.edu
Sam OwreSRI InternationalBestätigte E-Mail-Adresse bei sri.com
Souradeep DuttaUniversity of PennsylvaniaBestätigte E-Mail-Adresse bei colorado.edu
Bruno DutertreSRI InternationalBestätigte E-Mail-Adresse bei csl.sri.com
Sharad MalikProfessor of Electrical Engineering, Princeton UniversityBestätigte E-Mail-Adresse bei princeton.edu
Alessandro AbateProfessor of Verification and Control, University of OxfordBestätigte E-Mail-Adresse bei cs.ox.ac.uk
Junxing YangStony Brook UniverisityBestätigte E-Mail-Adresse bei cs.stonybrook.edu
Leonardo de MouraSenior Principal Researcher at MicrosoftBestätigte E-Mail-Adresse bei microsoft.com
Pramod SubramanyanIndian Institute of Technology KanpurBestätigte E-Mail-Adresse bei cse.iitk.ac.in

Ashish Tiwari
Computer Scientist, SRI International
Bestätigte E-Mail-Adresse bei csl.sri.com - Startseite