Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 190 | 181 |
h-index | 5 | 5 |
i10-indeks | 4 | 4 |
Offentlig adgang
Se alle6 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Maria ChristakisProfessor @ TU Wien InformaticsVerificeret mail på tuwien.ac.at
- Valentin WüstholzConsenSysVerificeret mail på consensys.net
- Stefan FalknerBosch Corporate ResearchVerificeret mail på de.bosch.com
- Frank HutterProfessor of Computer Science, University of Freiburg, GermanyVerificeret mail på cs.uni-freiburg.de
- Aaron KleinAWS Research BerlinVerificeret mail på amazon.com
- Matthias HeizmannUniversity of Stuttgart, GermanyVerificeret mail på heizmann.name
- Christian SchillingAssistant Professor at Aalborg UniversityVerificeret mail på cs.aau.dk
- Jorge A NavasCertoraVerificeret mail på certora.com
- Antonio FilieriAmazon Web Services, Imperial College LondonVerificeret mail på imperial.ac.uk
- Linghui LuoAmazon Web ServicesVerificeret mail på amazon.com
- Aritra SenguptaAutomated Reasoning Group, AWS.Verificeret mail på cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningVerificeret mail på amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityVerificeret mail på cs.sun.ac.za
- Martin SchaefAmazon Web ServicesVerificeret mail på amazon.com
- Nicolás RosnerAmazon Web Services