Crea el meu perfil
Accés públic
Mostra-ho tot6 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Maria ChristakisProfessor @ TU Wien InformaticsCorreu electrònic verificat a tuwien.ac.at
- Valentin WüstholzConsenSysCorreu electrònic verificat a consensys.net
- Stefan FalknerBosch Corporate ResearchCorreu electrònic verificat a de.bosch.com
- Frank HutterProfessor of Computer Science, University of Freiburg, GermanyCorreu electrònic verificat a cs.uni-freiburg.de
- Aaron KleinAWS Research BerlinCorreu electrònic verificat a amazon.com
- Matthias HeizmannUniversity of Stuttgart, GermanyCorreu electrònic verificat a heizmann.name
- Christian SchillingAssistant Professor at Aalborg UniversityCorreu electrònic verificat a cs.aau.dk
- Jorge A NavasCertoraCorreu electrònic verificat a certora.com
- Antonio FilieriAmazon Web Services, Imperial College LondonCorreu electrònic verificat a imperial.ac.uk
- Linghui LuoAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Aritra SenguptaAutomated Reasoning Group, AWS.Correu electrònic verificat a cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningCorreu electrònic verificat a amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityCorreu electrònic verificat a cs.sun.ac.za
- Martin SchaefAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Nicolás RosnerAmazon Web Services
Segueix