Get my own profile
Public access
View all34 articles
7 articles
available
not available
Based on funding mandates
Co-authors
- Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
- Hai LinElectrical Engineering, University of Notre DameVerified email at nd.edu
- Zhe XuAssistant Professor, Arizona State UniversityVerified email at asu.edu
- Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityVerified email at tu-dortmund.de
- Mohamadreza AhmadiCalifornia Institute of TechnologyVerified email at caltech.edu
- Michael LemmonUniversity of Notre DameVerified email at nd.edu
- Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
- Warren DixonDistinguished Professor, University of FloridaVerified email at ufl.edu
- Peter StoneProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.edu
- Takashi TanakaUniversity of Texas at AustinVerified email at utexas.edu
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
- Buon Kiong LauLund UniversityVerified email at eit.lth.se
- Yuxin ChenUniversity of Chicago, Assistant Professor of Computer ScienceVerified email at uchicago.edu
- Yisong YueCalifornia Institute of Technology; Asari AI; Latitude AIVerified email at caltech.edu