Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 191 | 182 |
h-indeks | 5 | 5 |
i10-indeks | 4 | 4 |
Dostęp publiczny
Wyświetl wszystko6 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Maria ChristakisProfessor @ TU Wien InformaticsZweryfikowany adres z tuwien.ac.at
- Valentin WüstholzConsenSysZweryfikowany adres z consensys.net
- Stefan FalknerBosch Corporate ResearchZweryfikowany adres z de.bosch.com
- Frank HutterProfessor of Computer Science, University of Freiburg, GermanyZweryfikowany adres z cs.uni-freiburg.de
- Aaron KleinAWS Research BerlinZweryfikowany adres z amazon.com
- Matthias HeizmannUniversity of Stuttgart, GermanyZweryfikowany adres z heizmann.name
- Christian SchillingAssistant Professor at Aalborg UniversityZweryfikowany adres z cs.aau.dk
- Jorge A NavasCertoraZweryfikowany adres z certora.com
- Antonio FilieriAmazon Web Services, Imperial College LondonZweryfikowany adres z imperial.ac.uk
- Linghui LuoAmazon Web ServicesZweryfikowany adres z amazon.com
- Aritra SenguptaAutomated Reasoning Group, AWS.Zweryfikowany adres z cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningZweryfikowany adres z amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityZweryfikowany adres z cs.sun.ac.za
- Martin SchaefAmazon Web ServicesZweryfikowany adres z amazon.com
- Nicolás RosnerAmazon Web Services