dblp keys for Yuri Gurevich

Yuri Gurevich

Keys

# of data records = 286

homepages/g/YuriGurevich journals/eatcs/Gurevich23 journals/eatcs/Gurevich23a journals/eatcs/Gurevich23b journals/eatcs/GurevichB23 journals/iandc/GurevichB23 journals/igpl/Gurevich23 journals/corr/abs-2301-09145 journals/corr/abs-2307-06454 journals/eatcs/BlassGV22 journals/fuin/Gurevich22 journals/tcs/GurevichB22 journals/corr/abs-2201-05911 journals/corr/abs-2206-01032 journals/corr/abs-2209-13731 journals/eatcs/Gurevich21 journals/eatcs/Gurevich21a journals/corr/abs-2103-03930 journals/corr/abs-2105-05626 journals/corr/abs-2107-08324 journals/corr/abs-2111-10830 journals/eatcs/Gurevich20 journals/eatcs/BlassG20 journals/mscs/BlassG20 journals/tcs/BlassG20 journals/corr/abs-2002-03145 journals/corr/abs-2006-09488 journals/corr/abs-2009-10552 journals/eatcs/Gurevich19 journals/eatcs/BlassG19 conf/copa/GurevichV19 journals/corr/abs-1901-04911 journals/corr/abs-1910-06145 journals/eatcs/BlassG18 journals/eatcs/BlassG18a journals/eatcs/BlassG18b journals/corr/abs-1807-10414 journals/corr/abs-1807-11399 journals/corr/abs-1807-11403 journals/corr/abs-1808-06255 journals/eatcs/BlassG17 journals/corr/abs-1803-00697 journals/cacm/GurevichW16 journals/eatcs/AcetoDGHHISST16 journals/eatcs/GurevichV16 journals/eatcs/Gurevich16 journals/ijfcs/Gurevich16 journals/logcom/CotriniG16 books/sp/16/BlassG16 conf/nafips/Gurevich15 journals/corr/GurevichHW15 journals/logcom/BeklemishevG14 conf/ifipTCS/CotriniGLM14 journals/iandc/BlassG13 journals/rsl/CotriniG13 journals/rsl/CotriniG13a conf/essos/JeanninCCGNS13 conf/uss/0010ZCQEG13 journals/sLogica/GurevichP12 conf/birthday/BjornerCG12 conf/cie/Gurevich12 conf/datalog/Gurevich12 conf/sofsem/Gurevich12 journals/eatcs/GurevichP11 journals/tocl/GurevichN11 journals/tocl/BlassG11 conf/fct/Gurevich11 books/daglib/p/BlassG11 journals/eatcs/BlassGH10 journals/eatcs/BlassG10 journals/jcss/BjornerBG10 conf/birthday/BlassGMN10 conf/csl/BlassDG10 journals/entcs/FinkbeinerGP10 conf/mbt/2010 journals/bsl/BlassDG09 journals/eatcs/GurevichN09 journals/ijsi/VeanesBGS09 journals/jsyml/GilmanGM09 journals/mst/GroheGLSTB09 conf/trustbus/GurevichR09 journals/entcs/FinkbeinerGP09 conf/mbt/2009 journals/bsl/DershowitzG08 journals/eatcs/BlassG08 journals/tocl/BlassG08 journals/tocl/BlassG08a conf/birthday/Blass08 conf/csfw/GurevichN08 conf/mfcs/BlassG08 journals/entcs/FinkbeinerGP08 conf/mbt/2008 journals/corr/abs-0811-0811 journals/corr/abs-0811-0819 journals/corr/abs-0811-0964 journals/corr/abs-0811-0977 journals/corr/abs-0811-0987 journals/eatcs/BlassG07 journals/eatcs/BlassG07a journals/lmcs/BlassGRR07 journals/lmcs/BlassGRR07a journals/siamcomp/GurevichS07 journals/tcs/GurevichVW07 journals/tocl/BlassG07 journals/tocl/BlassG07a conf/csr/Gurevich07 conf/dbpl/GurevichLB07 conf/icdt/GroheGLSTB07 journals/entcs/FinkbeinerGP07 conf/mbt/2007 conf/tap/2007 journals/corr/abs-0707-3782 journals/corr/abs-0707-3789 journals/tocl/BlassG06 conf/dlt/GurevichW06 journals/entcs/FinkbeinerGP06 conf/mbt/2006 conf/rv/2005 journals/tcs/GurevichT05 journals/tcs/GurevichRS05 conf/asm/Gurevich05 conf/fates/BlassGNV05 conf/mfcs/Gurevich05 journals/entcs/BarringerFGS06 conf/mbt/2004 journals/eatcs/BlassG04 journals/tse/GlasserGV04 conf/asm/Gurevich04 conf/asm/GurevichY04 conf/foiks/Gurevich04 journals/entcs/GurevichPK05 journals/eatcs/BlassG03 journals/jsyml/BlassG03 journals/tocl/BlassG03 conf/asm/GurevichT03 conf/fmco/GurevichRS03 conf/lics/GurevichS03 journals/bsl/DawarG02 journals/eatcs/BlassG02a journals/eatcs/BlassG02 journals/iandc/BlassGB02 journals/jsyml/BlassGS02 journals/logcom/GurevichR02 conf/hicss/GlasserGV02 conf/issta/GrieskampGSV02 journals/apal/BlassGS01 journals/jucs/GurevichT01 journals/tocl/BlassG01 conf/ershov/Gurevich01 conf/lics/Gurevich01 books/ws/phaunRS01/Gurevich01 books/ws/phaunRS01/Gurevich01a books/ws/phaunRS01/Gurevich01b books/ws/phaunRS01/DegtyarevGV01 books/ws/phaunRS01/Gurevich01c books/ws/phaunRS01/Gurevich01d books/ws/phaunRS01/BlassG01 journals/eatcs/BlassG00a journals/eatcs/BlassG00 journals/jacm/EiterGG00 journals/jsyml/GurevichR00 journals/jsyml/BlassG00 journals/tcs/DegtyarevGNVV00 journals/tocl/Gurevich00 conf/amast/Gurevich00 conf/asm/BlassGB00 conf/asm/GurevichR00 conf/asm/GurevichSW00 conf/asm/BarnettBGSV00 conf/csl/BlassG00 conf/csl/BlassG00a conf/asm/2000 journals/apal/BlassGS99 journals/eatcs/Gurevich99 journals/iandc/GurevichV99 journals/tcs/GurevichV99 journals/iandc/GradelG98 journals/ipl/BlassGKL98 conf/lics/EiterGG98 conf/pods/GradelGH98 conf/rta/DegtyarevGNVV98 journals/corr/cs-SE-9810023 journals/corr/cs-SE-9810024 journals/corr/cs-SE-9810026 books/sp/BorgerGG1997 journals/eatcs/Gurevich97 journals/jucs/GurevichS97 journals/jucs/BlassG97 journals/jucs/DexterDG97 journals/jucs/GurevichSW97 journals/tcs/GurevichH97 conf/birthday/AlechinaG97 conf/icalp/GurevichV97 journals/apal/EiterGG96 journals/eatcs/DegtyarevGV96 journals/jsyml/GurevichS96 journals/apal/Gurevich95 journals/eatcs/Gurevich95a journals/eatcs/Gurevich95 journals/jsyml/GradelG95 journals/siamcomp/BlassG95 conf/comad/WallaceGS95 conf/csl/GurevichH95 journals/jcss/AjtaiG94 journals/sigact/Gurevich94 conf/icalp/GradelG94 conf/ifip/BlassG94 conf/ifip/Gurevich94 conf/ifip/GurevichH94 conf/lcc/GradelG94 conf/lics/GurevichIS94 conf/csl/1993 journals/corr/GurevichIS94 journals/corr/GurevichS94 journals/siamcomp/BlassG93 conf/csl/GurevichH93 conf/ijcai/EiterGG93 conf/asm/Gurevich93 conf/asm/RosenzweigBG93 conf/asm/GurevichM93 series/wsscs/Gurevich93 series/wsscs/Gurevich93a series/wsscs/Gurevich93b series/wsscs/Gurevich93c series/wsscs/Gurevich93d series/wsscs/Gurevich93e series/wsscs/Gurevich93f journals/eatcs/Gurevich92 conf/csl/GurevichH92 journals/jcss/Gurevich91 conf/fsttcs/BlassG91 conf/icalp/Gurevich91 journals/eatcs/Gurevich90 journals/iandc/Gurevich90 journals/jacm/GurevichS90 conf/csl/BlassG90 conf/focs/Gurevich90 journals/eatcs/Gurevich89a journals/eatcs/Gurevich89 journals/ipl/BlassG89 journals/jsyml/GurevichS89 journals/jsyml/GurevichS89a conf/csl/GurevichM89 conf/ershov/GurevichS89 conf/focs/AjtaiG89 journals/eatcs/Gurevich88 conf/stoc/GurevichS88 journals/jacm/AjtaiG87 journals/siamcomp/GurevichS87 conf/birthday/BlassG87 conf/csl/GurevichM87 conf/focs/Gurevich87 conf/fsttcs/Gurevich87 journals/apal/BlassG86 journals/apal/GurevichS86 journals/iandc/DenenbergGS86 journals/networks/BarakDG86 journals/sigact/Gurevich86 journals/iandc/BlassGK85 journals/jsyml/GurevichS85 journals/ndjfl/BurgessG85 conf/focs/GurevichS85 journals/iandc/GurevichL84 journals/jacm/GurevichSV84 journals/jsyml/GurevichL84 journals/jsyml/GoldfarbGS84 journals/siamcomp/BlassG84 journals/jsyml/Gurevich83 journals/jsyml/GurevichMS83 journals/jsyml/GurevichS83 journals/jsyml/GurevichS83a journals/jsyml/GurevichS83b conf/focs/Gurevich83 conf/lam/BlassG83 journals/apal/GurevichS82 journals/iandc/GurevichL82 journals/iandc/BlassG82 conf/podc/SistlaCFG82 conf/pods/GurevichL82 conf/stoc/GurevichH82 journals/aml/AanderaaBG80 journals/aml/Gurevich80 journals/jsyml/Gurevich79 journals/jsyml/GurevichS79 journals/aml/Gurevich77 journals/jsyml/Gurevich76

a service of  Schloss Dagstuhl - Leibniz Center for Informatics