Skapa en profil
Offentlig åtkomst
Visa alla6 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Maria ChristakisProfessor @ TU Wien InformaticsVerifierad e-postadress på tuwien.ac.at
- Valentin WüstholzConsenSysVerifierad e-postadress på consensys.net
- Stefan FalknerBosch Corporate ResearchVerifierad e-postadress på de.bosch.com
- Frank HutterProfessor of Computer Science, University of Freiburg, GermanyVerifierad e-postadress på cs.uni-freiburg.de
- Aaron KleinAWS Research BerlinVerifierad e-postadress på amazon.com
- Matthias HeizmannUniversity of Stuttgart, GermanyVerifierad e-postadress på heizmann.name
- Christian SchillingAssistant Professor at Aalborg UniversityVerifierad e-postadress på cs.aau.dk
- Jorge A NavasCertoraVerifierad e-postadress på certora.com
- Antonio FilieriAmazon Web Services, Imperial College LondonVerifierad e-postadress på imperial.ac.uk
- Linghui LuoAmazon Web ServicesVerifierad e-postadress på amazon.com
- Aritra SenguptaAutomated Reasoning Group, AWS.Verifierad e-postadress på cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningVerifierad e-postadress på amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityVerifierad e-postadress på cs.sun.ac.za
- Martin SchaefAmazon Web ServicesVerifierad e-postadress på amazon.com
- Nicolás RosnerAmazon Web Services