dblp keys for Michael J. Butler

Michael J. Butler

Keys

# of data records = 142

homepages/b/MichaelJButler journals/scp/BanachBQZ17 journals/scp/DalvandiBR17 conf/eurosp/HowardBCS17 conf/ictac/HoangSDB17 conf/issre/BogdiukiewiczBH17 conf/nfm/SnookHB17 conf/rssrail/ButlerDFHRST17 journals/corr/HoangVSBWB17 conf/asm/DghaymTBF16 conf/asm/HoangSLB16 conf/icfem/BanachB16 books/crc/p/ButlerAB16 conf/asm/2016 journals/corr/DarbariSBC16 journals/eceasst/DalvandiBR15 journals/fac/EleftherakisBH15 journals/fac/FathabadiBR15 journals/fac/ButlerJP15 journals/scp/BanachBQVZ15 journals/scp/AlkhammashBFC15 journals/sosym/SaidBS15 conf/fsen/DalvandiBR15 conf/mcsoc/FathabadiMBAM15 conf/icfem/2015 conf/asm/PereverzevaBFLT14 conf/ifm/FathabadiSB14 conf/imbsa/WilkinsonBC14 conf/summersim/SavicksBC14 journals/eceasst/AlkhammashFBC13 journals/eceasst/DghaymBF13 journals/fac/BowenBRH13 journals/scp/IrelandGLB13 conf/birthday/ButlerM13 conf/cacsd/SatpathyRSSB13 conf/csdm/BanachB13 conf/ictac/BanachB13 conf/iri/YeganefardB13 conf/modelsward/SatpathySARB13 journals/corr/abs-1305-6112 books/daglib/p/ButlerVM13 series/natosec/Butler13 journals/fac/Butler12 conf/adaEurope/EdmundsRB12 conf/asm/EdmundsBMSL12 conf/iceccs/YeganefardB12 conf/sefm/FathabadiBR12 conf/sefm/BicknellRBCS12 journals/corr/abs-1210-7034 journals/eceasst/SarshoghB11 journals/eceasst/YeganefardB11 journals/spe/SilvaPHB11 conf/nfm/FathabadiRB11 conf/soco/GondalPB11 conf/fm/2011 journals/fac/BoitenBDS10 journals/sttt/AbrialBHHMV10 conf/asm/IrelandGB10 conf/asm/TurnerBL10 conf/asm/MaamriaBER10 conf/asm/SorgePB10 conf/fmco/SilvaB10 conf/fmco/SnookSB10 conf/itp/MaamriaB10 conf/nfm/YeganefardBR10 journals/corr/abs-1012-4897 journals/corr/abs-1001-3464 journals/corr/abs-1002-3330 journals/entcs/RiponB09 conf/birthday/LeuschelCB09 conf/fm/SaidBS09 conf/fmco/FathabadiB09 conf/ic3/YadavB09 conf/icfem/SilvaB09 conf/ifm/Butler09 conf/sbmf/DamchoomB09 series/lncs/BallB09 series/lncs/YadavB09 conf/dagstuhl/2009P9381 series/lncs/5454 conf/dagstuhl/AbrialBJTW09 journals/entcs/EdmundsB08 journals/fac/ButlerY08 journals/sttt/LeuschelB08 conf/asm/SnookB08 conf/asm/AbrialBHV08 conf/icfem/DamchoomBA08 conf/asm/2008 conf/b/LeuschelBST07 conf/tap/SatpathyBLR07 conf/tase/TurnerLSB07 conf/icfem/2007 journals/fac/BoitenB06 journals/tosem/SnookB06 conf/fm/EvansB06 conf/gpce/LeavensABBCFHJMJSSS06 conf/icfem/AbrialBHV06 conf/rodin/YadavB06 conf/rodin/2006 journals/entcs/SatpathyLB05 journals/jucs/ButlerFN05 conf/asm/ButlerLS05 conf/concur/BruniBFHMM05 conf/epew/ButlerR05 conf/fm/ButlerL05 conf/icfem/LeuschelB05 conf/zum/RezazadehB05 journals/fac/HallerstedeB04 conf/atal/PrestiBLB04 conf/birthday/ButlerHF04 conf/coordination/ButlerF04 conf/itrust/ButlerLPT04 conf/ershov/AugustoBFC03 conf/fm/LeuschelB03 conf/sefm/NgB03 conf/zum/FerreiraB03 journals/dafes/Butler02 journals/fac/Butler02 journals/ibmsj/ChessellGVBFH02 conf/icfem/NgB02 conf/zum/MikhailovB02 conf/ifm/2002 conf/fm/HartelBJL01 journals/fac/Butler00 conf/ifm/ButlerF00 conf/iwsm/SatpathyHSB00 conf/zum/ButlerM00 journals/scp/Butler99 journals/toplas/ButlerH99 conf/fm/Butler99 conf/java/HartelBL99 journals/acta/BackB98 conf/zum/Butler97 journals/scp/Butler96 conf/tphol/ButlerL96 journals/fac/ButlerM95 conf/dagstuhl/ButlerSS95 conf/mpc/BackB95 conf/concur/Butler93 phd/ethos/Butler92 conf/fm/Butler91 conf/zum/Butler90