Get my own profile
Public access
View all70 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
- Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
- Mate SoosSenior Research FellowVerified email at ethereum.org
- Vinodchandran VariyamProfessor, Computer Science and Engineering, University of Nebraska-LincolnVerified email at cse.unl.edu
- Bishwamittra GhoshPostdoctoral Researcher, MPI-SWS, GermanyVerified email at u.nus.edu
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
- Sourav ChakrabortyIndian Statistical Institute, KolkataVerified email at isical.ac.in
- Shubham SharmaPhD student, NUS, SingaporeVerified email at comp.nus.edu.sg
- Priyanka GoliaAssistant Prof., Indian Institute of Technology DelhiVerified email at iitd.ac.in
- Daniel J. FremontAssistant Professor, University of California, Santa CruzVerified email at ucsc.edu
- Pavan AduriIowa State UniversityVerified email at cs.iastate.edu
- Dror FriedThe Open University of IsraelVerified email at openu.ac.il
- Yash PoteNational University of SingaporeVerified email at comp.nus.edu.sg
- Aditya A. ShrotriSiemens Digital Industries SoftwareVerified email at siemens.com
- Arnab BhattacharyyaAssociate Professor, University of WarwickVerified email at warwick.ac.uk
- Teodora BalutaGeorgia Institute of TechnologyVerified email at gatech.edu
- Dmitry MalioutovResearch Staff Member, T.J. Watson IBM Research centerVerified email at us.ibm.com
- axel legayUCLouvainVerified email at uclouvain.be
- Leonardo Duenas-OsorioProfessor of Civil and Environmental Engineering, Rice UniversityVerified email at rice.edu
- Roger ParedesPhD, Research Associate, Rice UniversityVerified email at rice.edu
Follow
Kuldeep S. Meel
Associate Professor, University of Toronto
Verified email at cs.toronto.edu - Homepage