dblp keys for Thomas Ball

Thomas Ball

Keys

# of data records = 144

homepages/b/ThomasBall journals/corr/abs-2310-02393 journals/imwut/DevineMHBHDGFUH22 conf/acmidc/DrugaBK22 conf/chi/SeyedDFMHHBR21 conf/fdg/MoskalBCDHHKKNR21 journals/cacm/AustinBBDFHHMS20 journals/computer/HodgesSFB20 conf/uist/BallKKZ20 journals/jsa/DevineFHMBH19 conf/chi/SeyedHMDFHB19 conf/pppj/BallHM19 conf/splash/BallCHHMR19 conf/chi/KellySHB18 conf/chi/KellySHB18a conf/icsa/Ball18 conf/icse/BallBF18 conf/lctrts/DevineFHMBH18 conf/icse/Ball17 conf/sigcse/BallBH17 journals/fmsd/KwiatkowskaVBB16 conf/icse/BallPBMHBHR16 conf/ifm/KumarBLDUB16 journals/cacm/BallZ15 conf/icse/BallBHMPT15 series/natosec/BallD15 conf/snapl/2015 conf/icse/TillmannMHBBB14 conf/pldi/BallBGIKSSV14 conf/sigada/Ball14 conf/usenix/KasikciBCEM14 conf/fmcad/BaylessVBHH13 conf/paste/BallHSL13 journals/sigplan/BallMMR12 conf/oopsla/LogozzoB12 conf/pldi/PerelmanGBG12 conf/spin/BallBMMV12 conf/ifipTCS/2012 journals/cacm/BallLR11 journals/software/BallBHMQ11 conf/fase/LiXBL11 conf/kbse/LiXBLM11 conf/oopsla/BurckhardtLSYB11 conf/sigcse/SadowskiBBBGMMQT11 books/oreilly/11/NagappanB11 conf/popl/2011 conf/cav/BallBLKL10 conf/cav/LiXBL10 conf/fase/LiXBLM10 conf/fmcad/BallBKL10 conf/tacas/BallBCMQ10 conf/vstte/BallHLQV10 conf/icse/BallBHMQ09 conf/msr/Ball09 conf/dagstuhl/2009P9411 conf/dagstuhl/BallGHN09 conf/dagstuhl/BallGHN09a conf/issta/PachecoLB08 conf/osdi/MusuvathiQBBNN08 conf/rv/RosuCB08 conf/tap/BallK08 journals/lmcs/LahiriBC07 conf/cav/BallKS07 conf/esem/NagappanB07 conf/icse/PachecoLEB07 conf/vmcai/BallK07 journals/expert/BeckertHHSGRTBR06 conf/atva/Ball06 conf/eurosys/BallBCLLMORU06 conf/icse/NagappanBZ06 conf/issre/NagappanBM06 conf/issre/KudrjavetsNB06 conf/issta/YorshBS06 conf/lics/BallK06 conf/cav/2006 conf/dagstuhl/2005P5261 conf/pldi/2006 journals/corr/abs-cs-0612003 journals/toplas/BallMR05 conf/cav/LahiriBC05 conf/cav/BallKY05 conf/icse/NagappanB05 conf/icse/NagappanB05a conf/lpar/BallLM05 conf/vstte/Ball05 conf/dagstuhl/BallDNZ05 conf/dagstuhl/BallDNZ05a journals/software/LarusBDDFPRV04 conf/cav/BallCLZ04 conf/fmco/Ball04 conf/ifm/BallCLR04 conf/lpar/AminofBK04 conf/tacas/BallLX04 conf/tacas/BallCDR04 journals/sttt/BallPR03 conf/popl/BallNR03 conf/spin/2003 journals/tse/AtkinsBGM02 conf/agp/Ball02 conf/popl/BallR02 conf/sas/AdamsBDLRSW02 conf/tacas/BallPR02 journals/sigplan/BallB01 conf/cav/BallR01 conf/paste/BallR01 conf/pldi/BallMMR01 conf/spin/BallR01 conf/tacas/BallCR01 conf/tacas/BallPR01 journals/bell/BallBDMR00 journals/computer/BallL00 journals/ijst/BallCDJJLMR00 journals/stvr/BallHRWW00 conf/spin/BallR00 journals/sigplan/Ball99 journals/tse/AtkinsBBC99 conf/esec/SiffCBKR99 conf/esec/Ball99 conf/icse/AtkinsBGM99 conf/dsl/1999 journals/www/DouglisBCK98 conf/issta/Ball98 conf/popl/BallMS98 conf/paste/1998 journals/bell/AtkinsBBBCLMPRR97 conf/dsl/AtkinsBBBCMR97 conf/esec/RepsBDL98 conf/icse/JerdingSB97 conf/pldi/AmmonsBL97 journals/cn/DouglisBCK96 journals/computer/BallE96 conf/compcon/BallD96 conf/micro/BallL96 conf/usenix/DouglisB96 conf/sc/ChilimbiBEL95 journals/spe/LarusB94 journals/toplas/BallL94 journals/toplas/Ball94 conf/noms/BeelenB94 conf/vl/BallE94 journals/loplas/Ball93 conf/aadebug/BallH93 conf/pldi/BallL93 conf/popl/BallL92

a service of  Schloss Dagstuhl - Leibniz Center for Informatics