Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 853 | 403 |
Índice h | 17 | 13 |
Índice i10 | 28 | 13 |
Acesso público
Ver tudo10 artigos
1 artigo
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Stephan ArltFederal Office for Information SecurityEmail confirmado em bsi.bund.de
- Thomas WiesNew York UniversityEmail confirmado em cs.nyu.edu
- Philipp RuemmerProfessor in Computer Science, University of RegensburgEmail confirmado em ur.de
- Cristiano BertoliniResearcher, Federal University of Santa MariaEmail confirmado em cin.ufpe.br
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityEmail confirmado em informatik.uni-freiburg.de
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonEmail confirmado em amazon.com
- Huascar SanchezComputer Scientist @ SRI InternationalEmail confirmado em sri.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSEmail confirmado em amazon.com
- Atif MemonProfessor of Computer Science, University of MarylandEmail confirmado em cs.umd.edu
- Linghui LuoAmazon Web ServicesEmail confirmado em amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityEmail confirmado em cs.sun.ac.za
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalEmail confirmado em csl.sri.com
- Neha RungtaAmazon Web ServicesEmail confirmado em amazon.com
- Michael W WhalenAmazon, Inc. and the University of MinnesotaEmail confirmado em cs.umn.edu
- Andrew GacekAmazon Web ServiceEmail confirmado em amazon.com
- Byron CookProfessor of Computer Science, UCL, AmazonEmail confirmado em cs.ucl.ac.uk
- Cole SchlesingerResearch Engineer, Galois Inc.Email confirmado em schlesinger.tech
- Aritra SenguptaAutomated Reasoning Group, AWS.Email confirmado em cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningEmail confirmado em amazon.com
- Dejan JovanovićAmazon Web ServicesEmail confirmado em amazon.com