Saurabh Joshi
发表
R. K. Shyamasundar,
Shivali Agarwal,
Saurabh Joshi,
2011,
ICDCN.
Saurabh Joshi,
Gautam Muduganti,
2020
.
Saurabh Joshi,
Ruben Martins,
Prateek Kumar,
2018,
CP.
Anjeneya Swami Kare,
Subrahmanyam Kalyanasundaram,
Sriram Bhyravarapu,
2018,
CALDAM.
Daniel Kroening,
Saurabh Joshi,
Saurabh Joshi,
2014,
FM.
Daniel Kroening,
Rajdeep Mukherjee,
Thomas F. Melham,
2016,
ArXiv.
Daniel Kroening,
Vojtech Forejt,
Subodh Sharma,
2014,
FM.
Tom Melham,
Daniel Kroening,
John O'Leary,
2020,
ArXiv.
Joshua D. Tobkin,
Saurabh Joshi,
Aniket Kate,
2023,
ArXiv.
Saurabh Joshi,
S. Rajopadhye,
Ramakrishna Upadrasta,
2019,
ACM Trans. Archit. Code Optim..
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2014,
CP.
Kuldeep S. Meel,
Yash Pote,
Saurabh Joshi,
2019,
IJCAI.
Ingolf Krüger,
Rajesh K. Gupta,
R. K. Shyamasundar,
2007,
Haifa Verification Conference.
Vasco M. Manquinho,
Ruben Martins,
Saurabh Joshi,
2015,
CP.
Vasco M. Manquinho,
Inês Lynce,
Ruben Martins,
2015,
J. Satisf. Boolean Model. Comput..
Ruben Martins,
Saurabh Joshi,
Prateek Kumar,
2019,
J. Satisf. Boolean Model. Comput..
Saurabh Joshi,
Saurabh Joshi,
Eti Chaudhary,
2019,
TACAS.
Shuvendu K. Lahiri,
Akash Lal,
Saurabh Joshi,
2012,
POPL '12.