Mijn eigen profiel maken
Openbare toegang
Alles bekijken10 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Stephan ArltFederal Office for Information SecurityGeverifieerd e-mailadres voor bsi.bund.de
- Thomas WiesNew York UniversityGeverifieerd e-mailadres voor cs.nyu.edu
- Philipp RuemmerProfessor in Computer Science, University of RegensburgGeverifieerd e-mailadres voor ur.de
- Cristiano BertoliniResearcher, Federal University of Santa MariaGeverifieerd e-mailadres voor cin.ufpe.br
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityGeverifieerd e-mailadres voor informatik.uni-freiburg.de
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonGeverifieerd e-mailadres voor amazon.com
- Huascar SanchezComputer Scientist @ SRI InternationalGeverifieerd e-mailadres voor sri.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSGeverifieerd e-mailadres voor amazon.com
- Atif MemonProfessor of Computer Science, University of MarylandGeverifieerd e-mailadres voor cs.umd.edu
- Linghui LuoAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityGeverifieerd e-mailadres voor cs.sun.ac.za
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalGeverifieerd e-mailadres voor csl.sri.com
- Neha RungtaAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
- Michael W WhalenAmazon, Inc. and the University of MinnesotaGeverifieerd e-mailadres voor cs.umn.edu
- Andrew GacekAmazon Web ServiceGeverifieerd e-mailadres voor amazon.com
- Byron CookProfessor of Computer Science, UCL, AmazonGeverifieerd e-mailadres voor cs.ucl.ac.uk
- Cole SchlesingerResearch Engineer, Galois Inc.Geverifieerd e-mailadres voor schlesinger.tech
- Aritra SenguptaAutomated Reasoning Group, AWS.Geverifieerd e-mailadres voor cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningGeverifieerd e-mailadres voor amazon.com
- Dejan JovanovićAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com