Mijn eigen profiel maken
Openbare toegang
Alles bekijken6 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Maria ChristakisProfessor @ TU Wien InformaticsGeverifieerd e-mailadres voor tuwien.ac.at
- Valentin WüstholzConsenSysGeverifieerd e-mailadres voor consensys.net
- Stefan FalknerBosch Corporate ResearchGeverifieerd e-mailadres voor de.bosch.com
- Frank HutterProfessor of Computer Science, University of Freiburg, GermanyGeverifieerd e-mailadres voor cs.uni-freiburg.de
- Aaron KleinAWS Research BerlinGeverifieerd e-mailadres voor amazon.com
- Matthias HeizmannUniversity of Stuttgart, GermanyGeverifieerd e-mailadres voor heizmann.name
- Christian SchillingAssistant Professor at Aalborg UniversityGeverifieerd e-mailadres voor cs.aau.dk
- Jorge A NavasCertoraGeverifieerd e-mailadres voor certora.com
- Antonio FilieriAmazon Web Services, Imperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
- Linghui LuoAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
- Aritra SenguptaAutomated Reasoning Group, AWS.Geverifieerd e-mailadres voor cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningGeverifieerd e-mailadres voor amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityGeverifieerd e-mailadres voor cs.sun.ac.za
- Martin SchaefAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
- Nicolás RosnerAmazon Web Services