dblp keys for John Hatcliff

John Hatcliff

Keys

# of data records = 139

homepages/52/5739 journals/jsa/BeltHRSCCMABCHH23 conf/facs2/HallerstedeH23 conf/fmics/HatcliffBRLSC23 journals/dagstuhl-reports/AbrahamHHSW23 journals/ieeesp/CoferABHSAHRKLM22 journals/isse/ThiagarajanHR22 journals/lmcs/ZarneshanGKSH22 conf/isola/HatcliffHSW22 conf/memocode/HuguesWHS22 conf/isola/RobbyH21 conf/isola/HatcliffBRC21 conf/ecsa/ThiagarajanHR20 conf/imbsa/ThiagarajanLHZ20 journals/corr/abs-2012-04025 journals/sigbed/HatcliffLCJZJ19 conf/isola/HatcliffLBRZ18 conf/isola/RobbyHB18 conf/safecomp/ZhangLH18 conf/IEEEares/ProcterVH17 conf/icdcsw/WangHOAHMNRV17 conf/sefm/ZhangRHMC17 conf/sensys/CarpenterHV17 journals/dt/LarsonZBHJ15 conf/embc/RanganathKHR15 conf/ichi/KimPHRR15 conf/safecomp/ProcterHWF15 conf/safecomp/KingFPCSHL15 conf/fhies/ProcterHR14 conf/icse/HatcliffWKCJ14 conf/memocode/ProcterH14 conf/icse/LarsonHC13 conf/icse/HatcliffRCB13 conf/nfm/LarsonCH13 conf/sigada/CourtieuACZRBHG13 conf/sigada/LarsonHFD13 conf/wisa/VassermanH13 journals/corr/BanerjeeDDH13 journals/dagstuhl-reports/CoferHHL13 journals/csur/HatcliffLLMP12 journals/pieee/LeeSCHJKKMPRV12 conf/iccps/HatcliffKLMFRVWG12 conf/icse/LarsonHPC12 conf/ihi/LiWH12 conf/nfm/BeltRCHD12 conf/post/AmtoftDZABHOC12 conf/scam/ThiagarajanHBR12 conf/sigada/BeltCHR12 conf/icse/2012sehc conf/nfm/BeltHRCHD11 conf/sigada/BeltHRCHD11 journals/scp/JungH10 conf/cascon/WassyngLMWH10 conf/esop/AmtoftHR10 conf/icse/KingALSHP10 books/sp/10/AmtoftHRRHG10 conf/forte/2010 journals/sigbed/KingPAHWSJJW09 conf/icse/KingPAHWSJJW09 conf/icse/KingPAHWSJJW09a conf/fm/AmtoftHRRHG08 conf/icfem/Hatcliff08 journals/entcs/HatcliffHLMWW09 journals/sttt/JungH07 journals/sttt/RanganathH07 journals/toplas/RanganathABHD07 conf/gpce/JungH07 conf/icse/DwyerHRPV07 conf/sefm/DengRH07 journals/computer/ChildsGJHH06 journals/computer/LeePCHKLRS06 journals/sigbed/KrishnaGSRH06 journals/sigbed/HatcliffLS06 journals/sigplan/BaileyHT06 journals/sttt/GaravelH06 journals/sttt/RobbyRDH06 journals/tcs/GaravelH06 conf/isola/DengRH06 conf/kbse/RobbyDH06 conf/tacas/DwyerHHRRW06 conf/taicpart/RobbyDH06 conf/pepm/2006 journals/fmsd/IosifDH05 conf/cav/DwyerHHR05 conf/ecoop/RodriguezDFHLR05 conf/esop/RanganathABDH05 conf/fase/JayaramanRH05 books/sp/05/TrombettiGSGHJS05 journals/fmsd/DwyerHRR04 conf/cassis/RodriguezDHR04 conf/cc/RanganathH04 conf/eclipse/DwyerHH04 conf/fase/JungHR04 conf/fase/ChildsGRDDHJSS04 conf/isola/HoosierDRH04 conf/isola/HoosierHRD04 conf/tacas/DengDHM04 conf/tacas/RobbyRDH04 conf/vmcai/HatcliffRD04 conf/emsoft/DwyerRDH03 conf/icse/HatcliffDDJR03 conf/oopsla/RanganathCGDHS03 conf/pepm/HatcliffDDJRR03 conf/sigsoft/RobbyDH03 journals/entcs/RobbyDHI03 conf/tacas/2003 journals/sttt/CorbettDH02 conf/birthday/HatcliffDPR02 conf/fmco/DengDHJRS02 conf/icse/DengDHM02 journals/tcs/BartheHS01 journals/tcs/BartheHS01a conf/concur/HatcliffD01 conf/icse/DwyerHJLPRZV01 journals/lisp/HatcliffDZ00 journals/sigsoft/DwyerH00 conf/icse/CorbettDHLPRZ00 conf/icse/CorbettDHR00 conf/spin/CorbettDHR00 journals/lisp/BartheHS99 conf/pepm/DwyerH99 conf/sas/HatcliffCDSZ99 conf/pepm/1998 journals/csur/Hatcliff98 journals/csur/DwyerHN98 conf/lopstr/GluckHJ98 conf/pepm/Hatcliff98 conf/plilp/HatcliffDL98 journals/jfp/HatcliffD97 journals/mscs/HatcliffD97 conf/plilp/BartheHS97 journals/entcs/BartheHS97 journals/entcs/BartheHT97 conf/dagstuhl/HatcliffG96 conf/plilp/Hatcliff95 conf/popl/HatcliffD94 conf/mfps/DanvyH93 journals/loplas/DanvyH92 conf/sas/DanvyH92

a service of  Schloss Dagstuhl - Leibniz Center for Informatics