Get my own profile
Public access
View all26 articles
2 articles
available
not available
Based on funding mandates
Co-authors
- Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
- Mohamadreza AhmadiCalifornia Institute of TechnologyVerified email at caltech.edu
- Melkior OrnikAssistant Professor, University of Illinois Urbana-ChampaignVerified email at illinois.edu
- Zhe XuAssistant Professor, Arizona State UniversityVerified email at asu.edu
- Cyrus NearyUniversity of British Columbia, Mila, University of MontrealVerified email at ubc.ca
- Marnix SuilenPhD Candidate, Radboud UniversityVerified email at science.ru.nl
- Franck DjeumouAssistant Professor, RPIVerified email at utexas.edu
- Yagiz SavasEngineer, Applied IntuitionVerified email at utexas.edu
- Mustafa O. KarabagPostdoctoral Fellow, The University of Texas at AustinVerified email at utexas.edu
- Bo WuApple Inc.Verified email at apple.com
- Christos VerginisAssistant Professor, Uppsala UniversityVerified email at angstrom.uu.se
- Thom BadingsPhD Candidate, Radboud UniversityVerified email at ru.nl
- Ahmadreza MarandiAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
- Ivan PapushaSubgradient, Inc., California Institute of TechnologyVerified email at subgradient.com
- Hasan A PoonawalaAssistant Professor, Mechanical Engineering, University of KentuckyVerified email at uky.edu
- Takashi TanakaUniversity of Texas at AustinVerified email at utexas.edu
- Georgios PapoudakisHuawei ResearchVerified email at ed.ac.uk