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 HutterELLIS Institute & Professor, 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 SchillingAssociate 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