dblp keys for Rohit Singh 0002

Rohit Singh 0002

Keys

# of data records = 18

homepages/21/3400-2 phd/ndltd/Singh17 journals/pvldb/SinghMEMPQST17 conf/sigmod/0002MEMPQS017 conf/fmcad/0002S16 conf/oopsla/Itzhaky0SYLLC16 conf/sat/Inala0S16 journals/corr/0002S16 journals/jacm/ChatterjeeHJ015 conf/vmcai/SinghSXKS14 conf/aaai/SinghGR12 conf/cav/CernyCHRS11 conf/fct/ChatterjeeDS11 conf/tacas/ChatterjeeHJS11 journals/corr/abs-1104-3211 journals/corr/abs-1104-4306 conf/cav/ChatterjeeHJS10 journals/corr/abs-1004-0739

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.