Založit si vlastní profil
Veřejný přístup
Zobrazit všechny10 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Stephan ArltFederal Office for Information SecurityE-mailová adresa ověřena na: bsi.bund.de
- Thomas WiesNew York UniversityE-mailová adresa ověřena na: cs.nyu.edu
- Philipp RuemmerProfessor in Computer Science, University of RegensburgE-mailová adresa ověřena na: ur.de
- Cristiano BertoliniResearcher, Federal University of Santa MariaE-mailová adresa ověřena na: cin.ufpe.br
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonE-mailová adresa ověřena na: amazon.com
- Huascar SanchezComputer Scientist @ SRI InternationalE-mailová adresa ověřena na: sri.com
- Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSE-mailová adresa ověřena na: amazon.com
- Atif MemonProfessor of Computer Science, University of MarylandE-mailová adresa ověřena na: cs.umd.edu
- Linghui LuoAmazon Web ServicesE-mailová adresa ověřena na: amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityE-mailová adresa ověřena na: cs.sun.ac.za
- Dr. Hassen SaidiSr Computer Scientist, SRI InternationalE-mailová adresa ověřena na: csl.sri.com
- Neha RungtaAmazon Web ServicesE-mailová adresa ověřena na: amazon.com
- Michael W WhalenAmazon, Inc. and the University of MinnesotaE-mailová adresa ověřena na: cs.umn.edu
- Andrew GacekAmazon Web ServiceE-mailová adresa ověřena na: amazon.com
- Byron CookProfessor of Computer Science, UCL, AmazonE-mailová adresa ověřena na: cs.ucl.ac.uk
- Cole SchlesingerResearch Engineer, Galois Inc.E-mailová adresa ověřena na: schlesinger.tech
- Aritra SenguptaAutomated Reasoning Group, AWS.E-mailová adresa ověřena na: cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningE-mailová adresa ověřena na: amazon.com
- Dejan JovanovićAmazon Web ServicesE-mailová adresa ověřena na: amazon.com