DBLP Keys for Byron Cook

# of records = 78

homepages/36/113 journals/fac/BabicCHR13 conf/chi/TaylorPIFCCBB13 conf/tacas/CookSZ13 journals/fmsd/CookKV12 conf/cav/BenqueBCCFIPTV12 journals/cacm/CookPR11 journals/entcs/GotsmanBC11 conf/cade/Cook11 conf/cav/BerdineCI11 conf/cav/CookKV11 conf/concur/CookHOPW11 conf/popl/CookK11 conf/vmcai/CookFKP11 conf/tacas/CookKRW10 conf/cav/2010 journals/fmsd/CookPR09 conf/fmcad/CookGMRSSV09 conf/ifm/Cook09 conf/popl/GotsmanCPV09 conf/vmcai/Cook09 conf/fmics/2009 journals/cacm/HincheyJCCBM08 conf/cav/CookGLRS08 conf/cav/YangLBCCDO08 conf/esop/ChawdharyCGSY08 journals/entcs/CookS07 journals/jsat/CookS07 journals/lmcs/LahiriBC07 journals/tcs/CookKS07 conf/aplas/GotsmanBCRS07 conf/cav/Cook07 conf/cav/BerdineCCDOWY07 conf/dagstuhl/BaaderCGN07 conf/dagstuhl/BaaderCGN07a conf/memocode/Cook07 conf/pldi/GotsmanBCS07 conf/pldi/CookPR07 conf/popl/BerdineCCDO07 conf/popl/CookGPRV07 conf/sas/MagillBCC07 conf/sefm/BabicHRC07 conf/sefm/Cook07 conf/tacas/ManevichBCRS07 conf/dagstuhl/2007P7401 conf/vmcai/2007 journals/entcs/CookSV06 conf/cav/GriesmayerBC06 conf/cav/BerdineCDO06 conf/cav/CookPR06 conf/eurosys/BallBCLLMORU06 conf/fmcad/CookKS06 conf/pldi/CookPR06 conf/sas/GotsmanBC06 journals/corr/abs-cs-0612003 conf/asm/Cook05 conf/cav/LahiriBC05 conf/cav/CookKS05 conf/icfem/CookG05 conf/sas/CookPR05 conf/spin/CookKS05 conf/cav/BallCLZ04 conf/ifm/BallCLR04 conf/isola/Cook04 conf/isola/CookKS04 conf/tacas/BallCDR04 journals/entcs/CookSV03 journals/sttt/AagaardCDJ03 journals/tcad/AnderssonBCH03 conf/cav/LahiriBC03 conf/dac/AnderssonBCH02 conf/charme/AagaardCDJ01 conf/fmcad/DayAC00 conf/charme/CookLMK99 conf/charme/DayLC99 conf/icfp/LaunchburyLC99 conf/iccl/MatthewsCL98 conf/icfp/CookL97

XML