Crea il mio profilo
Accesso pubblico
Visualizza tutto10 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Stephan ArltFederal Office for Information SecurityEmail verificata su bsi.bund.de
- Thomas WiesNew York UniversityEmail verificata su cs.nyu.edu
- Philipp RuemmerProfessor in Computer Science, University of RegensburgEmail verificata su ur.de
- Cristiano BertoliniResearcher, Federal University of Santa MariaEmail verificata su cin.ufpe.br
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityEmail verificata su informatik.uni-freiburg.de
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonEmail verificata su amazon.com
- Huascar SanchezComputer Scientist @ SRI InternationalEmail verificata su sri.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSEmail verificata su amazon.com
- Atif MemonProfessor of Computer Science, University of MarylandEmail verificata su cs.umd.edu
- Linghui LuoAmazon Web ServicesEmail verificata su amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityEmail verificata su cs.sun.ac.za
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalEmail verificata su csl.sri.com
- Neha RungtaAmazon Web ServicesEmail verificata su amazon.com
- Michael W WhalenAmazon, Inc. and the University of MinnesotaEmail verificata su cs.umn.edu
- Andrew GacekAmazon Web ServiceEmail verificata su amazon.com
- Byron CookProfessor of Computer Science, UCL, AmazonEmail verificata su cs.ucl.ac.uk
- Cole SchlesingerResearch Engineer, Galois Inc.Email verificata su schlesinger.tech
- Aritra SenguptaAutomated Reasoning Group, AWS.Email verificata su cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningEmail verificata su amazon.com
- Dejan JovanovićAmazon Web ServicesEmail verificata su amazon.com