Get my own profile
Public access
View all10 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Stephan ArltFederal Office for Information SecurityVerified email at bsi.bund.de
- Thomas WiesNew York UniversityVerified email at cs.nyu.edu
- Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
- Cristiano BertoliniResearcher, Federal University of Santa MariaVerified email at cin.ufpe.br
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
- Huascar SanchezSr. Computer Scientist @ SRI InternationalVerified email at sri.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerified email at amazon.com
- Linghui LuoAmazon Web ServicesVerified email at amazon.com
- Atif MemonProfessor of Computer Science, University of MarylandVerified email at cs.umd.edu
- Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
- Neha RungtaAmazon Web ServicesVerified email at amazon.com
- Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
- Andrew GacekAmazon Web ServiceVerified email at amazon.com
- Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
- Cole SchlesingerResearch Engineer, Galois Inc.Verified email at schlesinger.tech
- Omer TrippAmazonVerified email at google.com
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerified email at csl.sri.com
- Aritra SenguptaAutomated Reasoning Group, AWS.Verified email at cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningVerified email at amazon.com