Skapa en profil
Offentlig åtkomst
Visa alla10 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Stephan ArltFederal Office for Information SecurityVerifierad e-postadress på bsi.bund.de
- Thomas WiesNew York UniversityVerifierad e-postadress på cs.nyu.edu
- Philipp RuemmerProfessor in Computer Science, University of RegensburgVerifierad e-postadress på ur.de
- Cristiano BertoliniResearcher, Federal University of Santa MariaVerifierad e-postadress på cin.ufpe.br
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerifierad e-postadress på informatik.uni-freiburg.de
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerifierad e-postadress på amazon.com
- Huascar SanchezComputer Scientist @ SRI InternationalVerifierad e-postadress på sri.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerifierad e-postadress på amazon.com
- Atif MemonProfessor of Computer Science, University of MarylandVerifierad e-postadress på cs.umd.edu
- Linghui LuoAmazon Web ServicesVerifierad e-postadress på amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityVerifierad e-postadress på cs.sun.ac.za
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerifierad e-postadress på csl.sri.com
- Neha RungtaAmazon Web ServicesVerifierad e-postadress på amazon.com
- Michael W WhalenAmazon, Inc. and the University of MinnesotaVerifierad e-postadress på cs.umn.edu
- Andrew GacekAmazon Web ServiceVerifierad e-postadress på amazon.com
- Byron CookProfessor of Computer Science, UCL, AmazonVerifierad e-postadress på cs.ucl.ac.uk
- Cole SchlesingerResearch Engineer, Galois Inc.Verifierad e-postadress på schlesinger.tech
- Aritra SenguptaAutomated Reasoning Group, AWS.Verifierad e-postadress på cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningVerifierad e-postadress på amazon.com
- Dejan JovanovićAmazon Web ServicesVerifierad e-postadress på amazon.com