Rohit Singh
发表
Krishnendu Chatterjee,
Thomas A. Henzinger,
Rohit Singh,
2010,
J. ACM.
Paolo Papotti,
Armando Solar-Lezama,
Ahmed K. Elmagarmid,
2017,
Proc. VLDB Endow..
T. Henzinger,
Pavol Cerný,
Arjun Radhakrishna,
2011,
CAV.
Sumit Gulwani,
Rohit Singh,
Sriram K. Rajamani,
2012,
AAAI.
Armando Solar-Lezama,
Rohit Singh,
Armando Solar-Lezama,
2016,
ArXiv.
Rishabh Singh,
Armando Solar-Lezama,
Zhilei Xu,
2014,
VMCAI.
Krishnendu Chatterjee,
Rohit Singh,
Laurent Doyen,
2011,
FCT.
Armando Solar-Lezama,
Yongquan Lu,
Charles E. Leiserson,
2016,
OOPSLA.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Rohit Singh,
2011,
TACAS.
Rohit Singh,
Rohit Singh,
2017
.
Paolo Papotti,
Armando Solar-Lezama,
Ahmed K. Elmagarmid,
2017,
SIGMOD Conference.
Rohit Singh,
Rohit Singh,
2013
.