Get my own profile
Public access
View all29 articles
4 articles
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
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Mateo PerezUniversity of Colorado BoulderVerified email at colorado.edu
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
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 seas.upenn.edu
Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoVerified email at utep.edu
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Majid ZamaniAssociate Professor, University 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
Taylor DohmenUniversity of Colorado BoulderVerified email at colorado.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
Vrunda DaveResearch Scholar, Indian Institute of Technology BombayVerified email at cse.iitb.ac.in
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk