| |
# of records = 84
homepages/b/ThomasBall conf/icse/BallBHMQ09 conf/msr/Ball09 conf/issta/PachecoLB08 conf/osdi/MusuvathiQBBNN08 conf/rv/RosuCB08 conf/tap/BallK08 conf/cav/BallKS07 conf/esem/NagappanB07 conf/icse/PachecoLEB07 conf/vmcai/BallK07 journals/lmcs/LahiriBC07 conf/pldi/2006 conf/dagstuhl/2005P5261 conf/cav/2006 conf/atva/Ball06 conf/eurosys/BallBCLLMORU06 conf/icse/NagappanBZ06 conf/issre/KudrjavetsNB06 conf/issre/NagappanBM06 conf/issta/YorshBS06 conf/lics/BallK06 journals/corr/abs-cs-0612003 journals/expert/BeckertHHSGRTBR06 conf/cav/LahiriBC05 conf/cav/BallKY05 conf/icse/NagappanB05 conf/icse/NagappanB05a conf/lpar/BallLM05 conf/dagstuhl/BallDNZ05a conf/dagstuhl/BallDNZ05 conf/vstte/Ball05 journals/toplas/BallMR05 conf/cav/BallCLZ04 conf/fmco/Ball04 conf/ifm/BallCLR04 conf/lpar/AminofBK04 conf/tacas/BallCDR04 conf/tacas/BallLX04 journals/software/LarusBDDFPRV04 conf/spin/2003 conf/popl/BallNR03 journals/sttt/BallPR03 conf/popl/BallR02 conf/sas/AdamsBDLRSW02 conf/tacas/BallPR02 journals/tse/AtkinsBGM02 conf/cav/BallR01 conf/paste/BallR01 conf/pldi/BallMMR01 conf/spin/BallR01 conf/tacas/BallCR01 conf/tacas/BallPR01 journals/sigplan/BallB01 conf/spin/BallR00 journals/bell/BallBDMR00 journals/computer/BallL00 journals/stvr/BallHRWW00 conf/esec/SiffCBKR99 conf/esec/Ball99 conf/icse/AtkinsBGM99 journals/tse/AtkinsBBC99 journals/sigplan/Ball99 conf/issta/Ball98 conf/popl/BallMS98 journals/www/DouglisBCK98 conf/dsl/AtkinsBBBCMR97 conf/esec/RepsBDL98 conf/icse/JerdingSB97 conf/pldi/AmmonsBL97 conf/compcon/BallD96 conf/micro/BallL96 conf/usenix/DouglisB96 journals/cn/DouglisBCK96 journals/computer/BallE96 conf/sc/ChilimbiBEL95 conf/vl/BallE94 journals/toplas/BallL94 journals/toplas/Ball94 journals/spe/LarusB94 conf/aadebug/BallH93 conf/pldi/BallL93 journals/loplas/Ball93 conf/popl/BallL92
Copyright © 2009-11-27 by Michael Ley (ley@uni-trier.de)