Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 965 | 220 |
h-indeks | 12 | 7 |
i10-indeks | 14 | 6 |
Offentlig tilgang
Vis alle2 artikler
2 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzVerifisert e-postadresse på alumni.stanford.edu
- Krishnendu ChatterjeeProfessor, IST AustriaVerifisert e-postadresse på ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyVerifisert e-postadresse på unina.it
- B. Thomas AdlerFacebook, Inc.Verifisert e-postadresse på alumni.caltech.edu
- Rupak MajumdarMPI for Software SystemsVerifisert e-postadresse på mpi-sws.org
- Zvonimir RakamaricAmazon Web Services (AWS)Verifisert e-postadresse på amazon.com
- Falk HowarTU DortmundVerifisert e-postadresse på tu-dortmund.de
- Malte IsbernerRed HatVerifisert e-postadresse på redhat.com
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerifisert e-postadresse på utwente.nl
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerifisert e-postadresse på amazon.com
- Kasper Søe LuckowAmazon Web ServicesVerifisert e-postadresse på amazon.com
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Verifisert e-postadresse på nvidia.com
- axel legayUCLouvainVerifisert e-postadresse på uclouvain.be
- Leandro Dias da SilvaUniversidade Federal de AlagoasVerifisert e-postadresse på ic.ufal.br
- Misty DaviesNASA Ames Research CenterVerifisert e-postadresse på nasa.gov
- Corina PasareanuCMU/NASA AmesVerifisert e-postadresse på nasa.gov
- Cesar SanchezResearch Professor, IMDEA Software InstituteVerifisert e-postadresse på imdea.org
- Alex ZamfirescuIndependent ResearcherVerifisert e-postadresse på ascinc.com