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 Tübingen & Professor, University of Freiburg, GermanyVerified email at cs.uni-freiburg.de
Aaron KleinScaDS.AIVerified email at amazon.com
Matthias HeizmannUniversity of Stuttgart, GermanyVerified email at heizmann.name
Christian SchillingAssociate Professor at Aalborg UniversityVerified email at cs.aau.dk
Benjamin MarianoPhD student, University of Texas at AustinVerified email at cs.utexas.edu
Linghui LuoAmazon Web ServicesVerified email at amazon.com
Martin SchaefAmazon Web ServicesVerified email at amazon.com
Jorge A NavasCertoraVerified email at certora.com
Antonio FilieriAmazon Web Services, Imperial College LondonVerified email at imperial.ac.uk
Aritra SenguptaAutomated Reasoning Group, AWS.Verified email at cse.ohio-state.edu
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Omer TrippAmazonVerified email at google.com
Muhammad Bilal ZafarRuhr University Bochum & Research Center for Trustworthy Data Science and SecurityVerified email at rub.de
Berk CirisciApplied Scientist, AWSVerified email at irif.fr
Daniel Diaz-SanchezAssociate professor Universidad Carlos III de MadridVerified email at it.uc3m.es
Lee PikeLogothetica
Nicolás RosnerAmazon Web Services