Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 853 | 403 |
h-indeks | 17 | 13 |
i10-indeks | 28 | 13 |
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
- Thomas WiesNew York UniversityZweryfikowany adres z cs.nyu.edu
- Philipp RuemmerProfessor in Computer Science, University of RegensburgZweryfikowany adres z ur.de
- 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 SanchezComputer Scientist @ SRI InternationalZweryfikowany adres z sri.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSZweryfikowany adres z amazon.com
- Atif MemonProfessor of Computer Science, University of MarylandZweryfikowany adres z cs.umd.edu
- Linghui LuoAmazon Web ServicesZweryfikowany adres z amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityZweryfikowany adres z cs.sun.ac.za
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalZweryfikowany adres z csl.sri.com
- 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
- Lee PikeAWS Automated ReasoningZweryfikowany adres z amazon.com
- Dejan JovanovićAmazon Web ServicesZweryfikowany adres z amazon.com