dblp keys for Michael Codish

Michael Codish

Keys

# of data records = 142

homepages/c/MCodish conf/aaai/JanotaC0CV24 conf/cpaior/ItzhakovC23 journals/constraints/ItzhakovC22 conf/aaai/ItzhakovC20 journals/constraints/CodishMPS19 journals/jcss/CodishCEMS19 conf/flops/CodishEGIS18 conf/synasc/MuslimanyC18 journals/corr/abs-1807-00507 journals/fac/CodishCNS17 journals/jcss/BundalaCCSZ17 conf/iclp/Codish0MM17 conf/ijcai/Codish0L17 journals/constraints/ItzhakovC16 journals/constraints/CodishFIM16 journals/jcss/CodishCFS16 journals/jfp/CodishS16 journals/tplp/FrankC16 conf/cp/CodishGIS16 journals/corr/0002C16a conf/lata/CodishCS15 conf/lopstr/CodishCNS15 journals/corr/CodishCNS15 journals/corr/CodishCEMS15 journals/corr/CodishCFS15 journals/corr/CodishFIM15 journals/corr/ItzhakovC15 journals/jair/MetodiSKC14 conf/ictai/CodishCFS14 conf/sat/FeketeC14 conf/synasc/CodishCS14 conf/flops/2014 journals/corr/MetodiCS14 journals/corr/CodishCS14 journals/corr/CodishCFS14 journals/corr/CodishFIM14 journals/corr/CodishCS14a journals/corr/BundalaCCSZ14 journals/jair/AMCS13 conf/hvc/CodishFM13 conf/ijcai/CodishMPS13 journals/corr/CodishFM13 journals/jar/CodishGST12 journals/tplp/MetodiC12 conf/aaai/MetodiSKC12 conf/cade/CodishFFGW12 conf/flops/Codish12 journals/corr/abs-1206-3883 journals/tplp/CodishGBFG11 conf/cp/MetodiCLS11 conf/tacas/CodishFFS11 journals/corr/abs-1104-4617 journals/corr/abs-1107-5980 conf/lpar/CodishZ10 conf/lpar/CodishFGS10 journals/corr/abs-1007-4935 journals/constraints/OhrimenkoSC09 conf/ppdp/CodishGS09 journals/jsat/CodishLS08 journals/tplp/CodishLS08 conf/fmoods/AlbertACGPZ08 conf/iclp/CodishLS08 conf/tacas/Ben-AmramC08 journals/toplas/BruynoogheCGGV07 conf/cp/OhrimenkoSC07 conf/frocos/Schneider-KampTACG07 conf/lopstr/Codish07 conf/dagstuhl/Schneider-KampFTGACMZ07 journals/corr/abs-cs-0702072 conf/esop/CodishLSS06 conf/lpar/CodishSLTG06 conf/rta/CodishLS06 journals/corr/abs-cs-0605074 journals/tplp/GenaimC05 conf/iclp/CodishLS05 journals/corr/abs-cs-0512067 conf/lpe/CodishG03 journals/corr/cs-PL-0312023 conf/birthday/CodishS02 conf/sas/BruynoogheCGV02 conf/vmcai/GenaimCGL02 journals/tplp/GenaimHC01 conf/agp/GenaimC01 conf/ershov/BruynoogheVC01 conf/esop/GenaimC01 conf/iclp/CodishGSS01 conf/lpar/GenaimC01 journals/jlp/CodishLB00 journals/jlp/CodishMT00 journals/jlp/HeatonACK00 journals/tcs/CodishL00 journals/jlp/Codish99 journals/jlp/CodishT99 journals/jlp/Codish99a journals/toplas/CodishSS99 journals/sttt/CodishDS98 conf/plilp/CodishS98 journals/jlp/CodishFMW97 journals/jlp/CodishBBH97 conf/agp/CodishT97 conf/alp/CodishT97 conf/iclp/CodishDS97 conf/iclp/BuenoCL97 conf/iclp/Codish97 conf/sas/CodishLB97 journals/jlp/CodishDFB96 journals/tcs/CodishM96 conf/agp/CodishLB96 conf/istcs/CodishL96 journals/iandc/BarbutiCGM95 journals/jlp/CodishD95 journals/toplas/CodishMBBH95 books/sp/cstoday95/BruynoogheCM95 journals/tcs/CodishDY94 journals/toplas/CodishFM94 conf/agp/CodishD94 conf/alp/CodishM94 conf/iclp/BruynoogheCM94 conf/iclp/CodishD94 conf/lpar/CodishBBH94 conf/sas/CodishD94 journals/logcom/BarbutiCGL93 conf/icalp/CodishFMW93 conf/iclp/DumortierJBC93 conf/iclp/CodishDFB93 conf/pepm/CodishMBBH93 conf/popl/CodishDG93 conf/sas/BruynoogheC93 conf/slp/CodishD93 conf/alp/BarbutiCGM92 conf/popl/BarbutiCGL92 conf/sas/CodishFMW92 conf/iclp/CodishDY91 conf/iclp/CodishFM91 conf/sas/BarbutiCGL91 journals/ngc/GallagherCS88 conf/lics/GerthCLS88 conf/meta/CodishGS88 journals/ngc/CodishS87 journals/jlp/SterlingC86 conf/iclp/CodishS86

a service of  Schloss Dagstuhl - Leibniz Center for Informatics