Get my own profile
Public access
View all20 articles
1 article
available
not available
Based on funding mandates
Co-authors
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Dominik WojtczakDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
Vojtěch ForejtDifflblueVerified email at diffblue.com
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Devendra BhaveIIT BombayVerified email at cse.iitb.ac.in
Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoVerified email at utep.edu
Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
Vrunda DaveResearch Scholar, Indian Institute of Technology BombayVerified email at cse.iitb.ac.in
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Ramchandra PhawadeAssistant Professor, Dept of Computer Science and Engineering, IIT DharwadVerified email at iitdh.ac.in
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
S AkshayIIT BombayVerified email at cse.iitb.ac.in
Thomas BrihayeUMONSVerified email at umons.ac.be
Ashutosh Trivedi
Assistant Professor of Computer Science at the University of Colorado at Boulder
Verified email at colorado.edu - Homepage