Utwórz swój profil
Cytowane przez
Wszystkie | Od 2020 | |
---|---|---|
Cytowania | 948 | 441 |
h-indeks | 19 | 12 |
i10-indeks | 29 | 15 |
Dostęp publiczny
Wyświetl wszystko10 artykułów
1 artykuł
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
Stephan ArltFederal Office for Information SecurityZweryfikowany adres z bsi.bund.de
Philipp RuemmerProfessor in Computer Science, University of RegensburgZweryfikowany adres z ur.de
Thomas WiesNew York UniversityZweryfikowany adres z cs.nyu.edu
Cristiano BertoliniResearcher, Federal University of Santa MariaZweryfikowany adres z cin.ufpe.br
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityZweryfikowany adres z informatik.uni-freiburg.de
Temesghen KahsaiPrincipal Applied Scientist @ AmazonZweryfikowany adres z amazon.com
Huascar SanchezSr. Computer Scientist @ SRI InternationalZweryfikowany adres z sri.com
Linghui LuoAmazon Web ServicesZweryfikowany adres z amazon.com
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSZweryfikowany adres z amazon.com
Willem VisserComputer Science Division, Stellenbosch UniversityZweryfikowany adres z cs.sun.ac.za
Atif MemonProfessor of Computer Science, University of MarylandZweryfikowany adres z cs.umd.edu
Neha RungtaAmazon Web ServicesZweryfikowany adres z amazon.com
Michael W WhalenAmazon, Inc. and the University of MinnesotaZweryfikowany adres z cs.umn.edu
Andrew GacekAmazon Web ServiceZweryfikowany adres z amazon.com
Byron CookProfessor of Computer Science, UCL, AmazonZweryfikowany adres z cs.ucl.ac.uk
Cole SchlesingerResearch Engineer, Galois Inc.Zweryfikowany adres z schlesinger.tech
Aritra SenguptaAutomated Reasoning Group, AWS.Zweryfikowany adres z cse.ohio-state.edu
Omer TrippAmazonZweryfikowany adres z google.com
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalZweryfikowany adres z csl.sri.com
Martin KelloggAssistant Professor, NJITZweryfikowany adres z njit.edu