DBLP Keys for 'Shmuel Sagiv'

# of records = 106

homepages/s/SSagiv conf/cav/McMillanKS09 conf/popl/GulwaniLS09 conf/vmcai/Sagiv09 journals/toplas/DolevHS09 journals/corr/abs-0904-4902 conf/cav/CookGLRS08 conf/cav/BerdineLMRS08 conf/esop/ChawdharyCGSY08 conf/issta/DorLLSW08 conf/sas/ManevichLSRB08 journals/toplas/RinetzkyRSY08 conf/iwmm/2007 conf/birthday/2006wilhelm conf/aplas/GotsmanBCRS07 conf/cade/Lev-AmiWRS07 conf/cav/BogudlovLRS07 conf/cav/AmitRRSY07 conf/cav/BallKS07 conf/esop/RinetzkyPRSY07 conf/lpar/AbadiRS07 conf/pldi/GotsmanBCS07 conf/spin/GuetaFYS07 conf/tacas/ManevichBCRS07 conf/vmcai/Lev-AmiSIR07 journals/tocl/YorshRSW07 journals/toplas/Sagiv07 journals/corr/abs-0705-3610 journals/jlp/YorshRSMB07 journals/jpdc/ShachamSS07 conf/cav/Lev-AmiIS06 conf/fossacs/YorshRSMB06 conf/issta/YorshBS06 conf/birthday/RepsSB06 conf/birthday/LoginovRS06 conf/birthday/ManevichFHRS06 conf/sas/LoginovRS06 conf/vmcai/ArnoldMSS06 journals/tdsc/NebenzahlSW06 journals/igpl/YahavRSW06 conf/esop/2005 conf/cade/Lev-AmiIRSSY05 conf/cav/LoginovRS05 conf/cc/SadeSS05 conf/popl/RinetzkyBRSW05 conf/popl/GopanRS05 conf/ppopp/ShachamSS05 conf/sas/RinetzkySY05 conf/sss/DolevHS05 conf/vmcai/ManevichYRS05 conf/vstte/DorFGLLMRRRSWYY05 journals/entcs/YorshSRS05 journals/scp/ShahamYKS05 conf/cav/RepsSW04 conf/cav/ImmermanRRSY04 conf/csl/ImmermanRRSY04 conf/ifip/Lev-AmiMS04 conf/sas/JeannetLRS04 conf/sas/ManevichSRF04 conf/tacas/GopanDDRS04 conf/tacas/YorshRS04 conf/vmcai/RepsSY04 conf/vmcai/Sagiv04 conf/esop/YahavRSW03 conf/esop/RepsSL03 conf/pldi/DorRS03 conf/sas/ShahamYKS03 journals/corr/cs-LO-0312014 journals/entcs/YahavS03 conf/cc/OrenMS02 conf/lics/RepsLS02 conf/iwmm/ShahamKS02 conf/pldi/RamalingamWFGS02 conf/sas/ManevichRFGS02 books/crc/CRCcompiler2002/WilhelmRS02 journals/toplas/SagivRW02 conf/cc/RinetzkyS01 conf/pldi/ShahamKS01 conf/sas/DorRS01 journals/ipl/NielsonNS01 conf/cc/WilhelmSR00 conf/cc/ShahamKS00 conf/esop/NielsonNS00 conf/iwmm/ShahamKS00 conf/issta/Lev-AmiRSW00 conf/sas/DorRS00 conf/sas/Lev-AmiS00 conf/esop/BenediktRS99 conf/popl/SagivRW99 journals/jacm/RodehS99 conf/esop/RossS98 conf/paste/DorRS98 conf/popl/BallMS98 journals/toplas/SagivRW98 journals/acta/SagivFRW98 journals/njc/RossS98 conf/popl/SagivRW96 journals/tcs/SagivRH96 conf/popl/RepsHS95 conf/sigsoft/HorwitzRS95 conf/tapsoft/SagivRH95 conf/sigsoft/RepsHSR94 conf/esop/BernsteinRS92 journals/jlp/MakowskyGS92 conf/plilp/SagivFRW90 conf/popl/SagivEFR89

XML