Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Maria ChristakisProfessor @ TU Wien InformaticsVerified email at tuwien.ac.at
- Valentin WüstholzConsenSysVerified email at consensys.net
- Stefan FalknerBosch Corporate ResearchVerified email at de.bosch.com
- Frank HutterProfessor of Computer Science, University of Freiburg, GermanyVerified email at cs.uni-freiburg.de
- Aaron KleinAWS Research BerlinVerified email at amazon.com
- Matthias HeizmannUniversity of Stuttgart, GermanyVerified email at heizmann.name
- Christian SchillingAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
- Jorge A NavasCertoraVerified email at certora.com
- Antonio FilieriAmazon Web Services, Imperial College LondonVerified email at imperial.ac.uk
- Linghui LuoAmazon Web ServicesVerified email at amazon.com
- Aritra SenguptaAutomated Reasoning Group, AWS.Verified email at cse.ohio-state.edu
- Lee PikeAWS Automated ReasoningVerified email at amazon.com
- Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
- Martin SchaefAmazon Web ServicesVerified email at amazon.com
- Nicolás RosnerAmazon Web Services