dblp keys for A. Prasad Sistla

A. Prasad Sistla

Keys

# of data records = 142

homepages/s/APrasadSistla conf/ccs/ChadhaS0B23 journals/corr/abs-2309-06615 journals/pacmpl/BartheCKS021 conf/lics/ChadhaSV21 journals/corr/abs-2104-14519 journals/fmsd/MathurBCSV20 conf/lics/BartheCJS020 journals/corr/abs-2011-06404 journals/jcss/BenCSV19 journals/corr/abs-1910-04137 conf/cav/BauerCS018 conf/csl/ChadhaS018 conf/fsttcs/Sistla18 reference/mc/AbdullaST18 conf/fmcad/BauerMCS017 conf/fossacs/ChadhaS017 conf/lics/ChadhaS017 conf/lics/KieferS16 conf/rv/YavolovskyZS16 journals/tkde/DragutWSYM15 journals/vldb/SistlaWX15 conf/atva/BenS15 conf/fossacs/ChadhaSVB15 journals/corr/KieferS15 conf/codaspy/GondiSV14 conf/hybrid/SistlaZFB14 conf/nordsec/GondiSV14 conf/birthday/HinrichsSZ14 conf/mfcs/ChadhaSV13 conf/pldi/HinrichsRPVSZ13 conf/acl/DragutWYSM12 conf/codaspy/GondiBVSV12 journals/corr/abs-1109-2536 conf/cav/SistlaZF11 conf/dialm/SistlaWXR11 conf/rv/SistlaZF11 conf/vmcai/ChadhaSV11 conf/ccs/BishtSV10 conf/cikm/DragutYSM10 conf/fc/BishtSV10 conf/fsttcs/ChadhaSV10 journals/jacm/ChadhaSV09 journals/pvldb/DragutFSYM09 conf/concur/ChadhaSV09 conf/edbt/IlarriWMIS09 conf/edbt/BoothSWC09 conf/vmcai/GondiPS09 journals/iandc/SistlaZ08 conf/acsac/CapizziLVS08 conf/ccs/SistlaVZB08 conf/lics/ChadhaSV08 conf/vmcai/SistlaS08 journals/fmsd/SistlaWZ07 conf/sefm/MehraRSJ07 journals/jcs/EamaniS06 conf/icde/DragutWSYM06 conf/vmcai/SistlaZZ06 conf/concur/MargariaSSZ05 conf/forte/SistlaZ05 conf/ssd/SistlaWX05 conf/vmcai/SistlaZW05 journals/corr/abs-cs-0501006 journals/cl/Sistla04 journals/toplas/SistlaG04 conf/sefm/SistlaWZ04 conf/ssdbm/WolfsonXS04 conf/vmcai/Sistla03 journals/sigmod/CruzKLSWY02 conf/cikm/SistlaHC02 conf/fsttcs/Sistla02 journals/tcs/EmersonJS01 conf/cav/SistlaG01 journals/jar/SistlaY00 journals/sigsoft/Sistla00 journals/tosem/SistlaGE00 conf/cav/2000 journals/dpd/WolfsonSCY99 journals/fac/SistlaG99 journals/fmsd/GyurisS99 journals/ijseke/SahayTS99 conf/icdt/WolfsonJSCRD99 conf/ngits/WolfsonSXZCYR99 conf/sigmod/WolfsonSXZC99 journals/ijseke/TsaiSSP98 journals/tods/SistlaWYS98 journals/tpds/SistlaWH98 conf/cav/ClarkeEJS98 conf/icde/LiuSYR98 journals/toplas/EmersonS97 conf/cav/GyurisS97 conf/cav/Sistla97 conf/cav/SistlaMG97 conf/dagstuhl/SistlaWCD97 conf/icde/SistlaYV97 conf/icde/SistlaWCD97 conf/words/TsaiSSP97 journals/csur/Sistla96 journals/fmsd/EmersonS96 conf/cikm/LiuOSWYR96 conf/ride/SistlaWDNR96 books/sp/subrahmanianJ96/SistlaY96 journals/sigmod/WolfsonSDNR95 journals/tkde/SistlaW95 conf/artdb/DengSW95 conf/cav/EmersonS95 conf/sigmod/SistlaW95 conf/vldb/SistlaYLL95 journals/fac/Sistla94 conf/cav/NaikS94 conf/sigmod/HuangSW94 conf/vldb/SistlaYH94 journals/iandc/SistlaZ93 conf/cav/EmersonJS93 conf/cav/EmersonS93 journals/debu/SistlaW92 journals/jacm/GermanS92 journals/rts/EmersonMSS92 journals/ipl/Sistla91 conf/cav/Sistla91 conf/cav/EmersonMSS90 journals/ipl/Sistla89 conf/podc/SistlaW89 journals/tcs/SistlaVW87 conf/lics/SistlaG87 conf/lics/SistlaZ87 journals/toplas/ClarkeES86 journals/jacm/SistlaC85 journals/jcss/ReifS85 conf/icalp/SistlaVW85 conf/podc/Sistla85 journals/iandc/EmersonS84 journals/iandc/SistlaCFNM84 conf/nato/ClarkeBES84 conf/podc/Sistla84 conf/stoc/EmersonS84 conf/focs/WolperVS83 conf/icalp/ReifS83 conf/lop/EmersonS83 conf/popl/ClarkeES83 conf/podc/SistlaCFG82 conf/stoc/SistlaC82