Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 964 | 219 |
h-indeks | 12 | 7 |
i10-indeks | 14 | 6 |
Dostęp publiczny
Wyświetl wszystko2 artykuły
2 artykuły
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Luca de AlfaroProfessor, UC Santa CruzZweryfikowany adres z acm.org
- Krishnendu ChatterjeeProfessor, IST AustriaZweryfikowany adres z ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyZweryfikowany adres z unina.it
- B. Thomas AdlerFacebook, Inc.Zweryfikowany adres z alumni.caltech.edu
- Rupak MajumdarMPI for Software SystemsZweryfikowany adres z mpi-sws.org
- Zvonimir RakamaricAmazon Web Services (AWS)Zweryfikowany adres z amazon.com
- Falk HowarTU DortmundZweryfikowany adres z tu-dortmund.de
- Malte IsbernerRed HatZweryfikowany adres z redhat.com
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteZweryfikowany adres z utwente.nl
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonZweryfikowany adres z amazon.com
- Kasper Søe LuckowAmazon Web ServicesZweryfikowany adres z amazon.com
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Zweryfikowany adres z nvidia.com
- axel legayUCLouvainZweryfikowany adres z uclouvain.be
- Leandro Dias da SilvaUniversidade Federal de AlagoasZweryfikowany adres z ic.ufal.br
- Misty DaviesNASA Ames Research CenterZweryfikowany adres z nasa.gov
- Corina PasareanuCMU/NASA AmesZweryfikowany adres z nasa.gov
- Cesar SanchezResearch Professor, IMDEA Software InstituteZweryfikowany adres z imdea.org
- Alex ZamfirescuIndependent ResearcherZweryfikowany adres z ascinc.com