Get my own profile
Public access
View all51 articles
1 article
available
not available
Based on funding mandates
Co-authors
Fabio SomenziProfessor, University of Colorado BoulderVerified email at colorado.edu- Dominik WojtczakDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
- Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
- Mateo PerezUniversity of Colorado BoulderVerified email at colorado.edu
- Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
- Majid ZamaniAssociate Professor, University of Colorado BoulderVerified email at colorado.edu
- Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
- Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoVerified email at utep.edu
- Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
- Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
- Vishnu MuraliUniversity of Colorado BoulderVerified email at colorado.edu
- Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
- Taylor DohmenUniversity of Colorado BoulderVerified email at colorado.edu
- Alvaro VelasquezProgram Manager, DARPAVerified email at darpa.mil
- Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
- Vojtěch ForejtDifflblueVerified email at diffblue.com
- Mahathi AnandInstitute for Systems Theory and Automatic Control, University StuttgartVerified email at ist.uni-stuttgart.de
- Sadegh SoudjaniMax Planck Institute for Software SystemsVerified email at mpi-sws.org
- Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
Follow
Ashutosh Trivedi
Associate Professor, University of Colorado at Boulder
Verified email at colorado.edu - Homepage