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
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Vishnu MuraliUniversity of Colorado BoulderVerified email at colorado.edu
Alvaro VelasquezProgram Manager, DARPAVerified email at darpa.mil
Taylor DohmenUniversity of Colorado BoulderVerified email at colorado.edu
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](https://usercontent.cljtscd.com/citations?view_op=view_photo&user=9WDXyy4AAAAJ&citpid=23)
Ashutosh Trivedi
Associate Professor, University of Colorado at Boulder
Verified email at colorado.edu - Homepage