Crea el meu perfil
Accés públic
Mostra-ho tot10 articles
1 article
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Stephan ArltFederal Office for Information SecurityCorreu electrònic verificat a bsi.bund.de
- Thomas WiesNew York UniversityCorreu electrònic verificat a cs.nyu.edu
- Philipp RuemmerProfessor in Computer Science, University of RegensburgCorreu electrònic verificat a ur.de
- Cristiano BertoliniResearcher, Federal University of Santa MariaCorreu electrònic verificat a cin.ufpe.br
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityCorreu electrònic verificat a informatik.uni-freiburg.de
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonCorreu electrònic verificat a amazon.com
- Huascar SanchezComputer Scientist @ SRI InternationalCorreu electrònic verificat a sri.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSCorreu electrònic verificat a amazon.com
- Atif MemonProfessor of Computer Science, University of MarylandCorreu electrònic verificat a cs.umd.edu
- Linghui LuoAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityCorreu electrònic verificat a cs.sun.ac.za
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalCorreu electrònic verificat a csl.sri.com
- Neha RungtaAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Michael W WhalenAmazon, Inc. and the University of MinnesotaCorreu electrònic verificat a cs.umn.edu
- Andrew GacekAmazon Web ServiceCorreu electrònic verificat a amazon.com
- Byron CookProfessor of Computer Science, UCL, AmazonCorreu electrònic verificat a cs.ucl.ac.uk
- Cole SchlesingerResearch Engineer, Galois Inc.Correu electrònic verificat a schlesinger.tech
- Aritra SenguptaAutomated Reasoning Group, AWS.Correu electrònic verificat a cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningCorreu electrònic verificat a amazon.com
- Dejan JovanovićAmazon Web ServicesCorreu electrònic verificat a amazon.com