dblp keys for Muralidhar Talupur

Muralidhar Talupur

Keys

# of data records = 22

homepages/37/913 reference/mc/AbdullaST18 journals/sttt/SethiTM16 conf/fmcad/2016 conf/atva/SethiTM14 journals/corr/SethiTM14 conf/spin/SethiTM13 conf/spin/SethiTSM12 conf/fmcad/Talupur11 conf/tacas/TalupurH11 conf/tacas/ClarkeTV08 journals/jsat/GanaiTG07 conf/cdes/KrithivasanHT06 conf/tacas/GanaiTG06 conf/vmcai/ClarkeTV06 conf/cav/TalupurSSP04 conf/concur/ClarkeTTV04 conf/tacas/LahiriBGT04 conf/cav/ClarkeGTW03 conf/memocode/ClarkeGTW03 conf/sat/ClarkeTVW03 journals/jalc/SubramanianTKR00

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.