Založit si vlastní profil
Veřejný přístup
Zobrazit všechny6 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Maria ChristakisProfessor @ TU Wien InformaticsE-mailová adresa ověřena na: tuwien.ac.at
- Valentin WüstholzConsenSysE-mailová adresa ověřena na: consensys.net
- Stefan FalknerBosch Corporate ResearchE-mailová adresa ověřena na: de.bosch.com
- Frank HutterProfessor of Computer Science, University of Freiburg, GermanyE-mailová adresa ověřena na: cs.uni-freiburg.de
- Aaron KleinAWS Research BerlinE-mailová adresa ověřena na: amazon.com
- Matthias HeizmannUniversity of Stuttgart, GermanyE-mailová adresa ověřena na: heizmann.name
- Christian SchillingAssistant Professor at Aalborg UniversityE-mailová adresa ověřena na: cs.aau.dk
- Jorge A NavasCertoraE-mailová adresa ověřena na: certora.com
- Antonio FilieriAmazon Web Services, Imperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
- Linghui LuoAmazon Web ServicesE-mailová adresa ověřena na: amazon.com
- 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
- Willem VisserComputer Science Division, Stellenbosch UniversityE-mailová adresa ověřena na: cs.sun.ac.za
- Martin SchaefAmazon Web ServicesE-mailová adresa ověřena na: amazon.com
- Nicolás RosnerAmazon Web Services
Sledovat