Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 966 | 221 |
h-index | 12 | 7 |
i10-indeks | 14 | 6 |
Offentlig adgang
Se alle2 artikler
2 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzVerificeret mail på alumni.stanford.edu
- Krishnendu ChatterjeeProfessor, IST AustriaVerificeret mail på ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyVerificeret mail på unina.it
- B. Thomas AdlerFacebook, Inc.Verificeret mail på alumni.caltech.edu
- Rupak MajumdarMPI for Software SystemsVerificeret mail på mpi-sws.org
- Zvonimir RakamaricAmazon Web Services (AWS)Verificeret mail på amazon.com
- Falk HowarTU DortmundVerificeret mail på tu-dortmund.de
- Malte IsbernerRed HatVerificeret mail på redhat.com
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerificeret mail på utwente.nl
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerificeret mail på amazon.com
- Kasper Søe LuckowAmazon Web ServicesVerificeret mail på amazon.com
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Verificeret mail på nvidia.com
- axel legayUCLouvainVerificeret mail på uclouvain.be
- Leandro Dias da SilvaUniversidade Federal de AlagoasVerificeret mail på ic.ufal.br
- Misty DaviesNASA Ames Research CenterVerificeret mail på nasa.gov
- Corina PasareanuCMU/NASA AmesVerificeret mail på nasa.gov
- Cesar SanchezResearch Professor, IMDEA Software InstituteVerificeret mail på imdea.org
- Alex ZamfirescuIndependent ResearcherVerificeret mail på ascinc.com