Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/pid/h/DavidHarel
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/pid/h/DavidHarel
https://dblp.org/rdf/schema#affiliation Weizmann Institute of Science, Israel
https://dblp.org/rdf/schema#authorOf https://dblp.org/rec/conf/modelsward/HarelKMS24 + , https://dblp.org/rec/journals/corr/abs-2401-02245 + , https://dblp.org/rec/journals/corr/abs-2403-03522 + , https://dblp.org/rec/journals/sncs/YerushalmiAEHKM23 + , https://dblp.org/rec/journals/tecs/SifakisH23 + , https://dblp.org/rec/conf/modelsward/MarronCFHS23 + , https://dblp.org/rec/conf/modelsward/BayerHMS23 + , https://dblp.org/rec/conf/tacas/AmirCYMHFK23 + , https://dblp.org/rec/journals/corr/abs-2305-04312 + , https://dblp.org/rec/journals/corr/abs-2312-16507 + , https://dblp.org/rec/journals/dt/HarelMS22 + , https://dblp.org/rec/conf/modelsward/YerushalmiAEHKM22 + , https://dblp.org/rec/journals/corr/abs-2202-04337 + , https://dblp.org/rec/journals/corr/abs-2205-13536 + , https://dblp.org/rec/journals/corr/abs-2206-09603 + , https://dblp.org/rec/journals/computer/HarelMY21 + , https://dblp.org/rec/journals/dt/HarelMMS21 + , https://dblp.org/rec/conf/isola/HarelM21 + , https://dblp.org/rec/journals/pnas/HarelMS20 + , https://dblp.org/rec/conf/icse/MarronLPH20 + , https://dblp.org/rec/journals/corr/abs-2001-06047 + , https://dblp.org/rec/conf/aaai/HarelMRVW19 + , https://dblp.org/rec/conf/mcm2/SandakMAGH19 + , https://dblp.org/rec/conf/modelsward/HarelKMSW19 + , https://dblp.org/rec/conf/modelsward/LapidMSH19 + , https://dblp.org/rec/journals/corr/abs-1911-07133 + , https://dblp.org/rec/journals/corr/abs-1911-10691 + , https://dblp.org/rec/journals/computer/HarelKMM18 + , https://dblp.org/rec/conf/birthday/HarelM18 + , https://dblp.org/rec/conf/models/MarronHHMT18 + , https://dblp.org/rec/conf/modelsward/Harel18 + , https://dblp.org/rec/conf/modelsward/GreenyerGHM18a + , https://dblp.org/rec/conf/modelsward/GreenyerGHM18 + , https://dblp.org/rec/reference/db/HarelM18 + , https://dblp.org/rec/journals/cse/AlexandronAGH17 + , https://dblp.org/rec/journals/cse/AlexandronAGH17a + , https://dblp.org/rec/conf/icse/HarelHMM17 + , https://dblp.org/rec/conf/modelsward/SteinbergGGHKM17 + , https://dblp.org/rec/conf/modelsward/SteinbergGGHKM17a + , https://dblp.org/rec/conf/staf/ElyasafHMW17 + , https://dblp.org/rec/journals/bmcbi/BlochH16 + , https://dblp.org/rec/journals/eatcs/AcetoDGHHISST16 + , https://dblp.org/rec/journals/iie/AlexandronAGH16 + , https://dblp.org/rec/journals/ijismd/HarelKMM16 + , https://dblp.org/rec/conf/icse/Berkman-Chardon16 + , https://dblp.org/rec/conf/models/MarronAEGKLMSSW16 + , https://dblp.org/rec/conf/modelsward/HarelKMM16 + , https://dblp.org/rec/journals/corr/Harel16 + , https://dblp.org/rec/journals/scp/HarelKKMWW15 + , https://dblp.org/rec/conf/atal/Harel15 + , https://dblp.org/rec/conf/concur/HarelKLMW15 + , https://dblp.org/rec/conf/fmcad/KatzBH15 + , https://dblp.org/rec/conf/modelsward/HarelKMW15 + , https://dblp.org/rec/journals/corr/HarelKMM15 + , https://dblp.org/rec/journals/jeric/AlexandronAGH14 + , https://dblp.org/rec/journals/tcci/HarelKMW14 + , https://dblp.org/rec/conf/agere/HarelK14 + , https://dblp.org/rec/conf/birthday/HarelK14 + , https://dblp.org/rec/conf/bmfa/HarelN14 + , https://dblp.org/rec/conf/emnlp/TsarfatyPWNSH14 + , https://dblp.org/rec/conf/etaps/GordonH14 + , https://dblp.org/rec/conf/icse/AlexandronAGH14 + , https://dblp.org/rec/conf/emsoft/HarelKKMMW13 + , https://dblp.org/rec/conf/lpar/HarelKK13 + , https://dblp.org/rec/conf/wipsce/AlexandronAGH13 + , https://dblp.org/rec/journals/cacm/HarelMW12 + , https://dblp.org/rec/journals/fuin/SettyCH12 + , https://dblp.org/rec/journals/jcss/BouajjaniHZ12 + , https://dblp.org/rec/journals/jcss/HarelS12 + , https://dblp.org/rec/journals/sosym/HarelM12 + , https://dblp.org/rec/journals/tcs/HarelK12 + , https://dblp.org/rec/conf/birthday/Harel12 + , https://dblp.org/rec/conf/fuzzIEEE/HarelMNW12 + , https://dblp.org/rec/conf/hvc/Harel12 + , https://dblp.org/rec/conf/icalp/Harel12 + , https://dblp.org/rec/conf/iceccs/HarelKMW12 + , https://dblp.org/rec/conf/icse/GordonH12 + , https://dblp.org/rec/conf/iticse/Harel12 + , https://dblp.org/rec/conf/kolicalling/AlexandronAGH12 + , https://dblp.org/rec/conf/vl/Harel12 + , https://dblp.org/rec/conf/vl/GordonH12 + , https://dblp.org/rec/journals/cacm/FisherHH11 + , https://dblp.org/rec/journals/sosym/MaozH11 + , https://dblp.org/rec/journals/tosem/MaozHK11 + , https://dblp.org/rec/conf/bpm/Harel11 + , https://dblp.org/rec/conf/ecal/Harel11 + , https://dblp.org/rec/conf/emsoft/HarelLMW11 + , https://dblp.org/rec/conf/fm/Harel11 + , https://dblp.org/rec/conf/ictai/EitanH11 + , https://dblp.org/rec/conf/iwpc/EitanGHMW11 + , https://dblp.org/rec/conf/oopsla/HarelMWW11 + , https://dblp.org/rec/conf/ppig/AlexandronAH11 + , https://dblp.org/rec/journals/fac/Harel10 + , https://dblp.org/rec/journals/fuin/SettyCH10 + , https://dblp.org/rec/journals/ploscb/HaddadMRHS10 + , https://dblp.org/rec/conf/apn/Harel10 + , https://dblp.org/rec/conf/birthday/HarelK10 + , https://dblp.org/rec/conf/birthday/HarelKM10 + , https://dblp.org/rec/conf/ecoop/HarelMW10 + , https://dblp.org/rec/conf/kbse/HarelMSB10 + , https://dblp.org/rec/conf/lics/Harel10 + , https://dblp.org/rec/conf/sofsem/HarelKMS10 + , https://dblp.org/rec/conf/vl/GordonH10 + , https://dblp.org/rec/journals/cacm/Harel09 + , https://dblp.org/rec/journals/software/HarelG09 + , https://dblp.org/rec/conf/birthday/SettyCMH09 + , https://dblp.org/rec/conf/cicling/GordonH09 + , https://dblp.org/rec/conf/hvc/Harel09 + , https://dblp.org/rec/conf/memocode/Harel09 + , https://dblp.org/rec/reference/db/HarelM09 + , https://dblp.org/rec/journals/computer/Harel08 + , https://dblp.org/rec/journals/pieee/SwerdlinCH08 + , https://dblp.org/rec/journals/ploscb/HaddadCSH08 + , https://dblp.org/rec/journals/sosym/CombesHK08 + , https://dblp.org/rec/journals/sosym/HarelM08 + , https://dblp.org/rec/journals/tcbb/SadotFBASHH08 + , https://dblp.org/rec/journals/tcs/Amir-KrollSCH08 + , https://dblp.org/rec/conf/birthday/HarelMS08 + , https://dblp.org/rec/conf/fase/AtirHKM08 + , https://dblp.org/rec/conf/fmsb/HarelS08 + , https://dblp.org/rec/conf/fplay/HarelSKS08 + , https://dblp.org/rec/conf/softvis/HarelS08 + , https://dblp.org/rec/journals/ploscb/EfroniHC07 + , https://dblp.org/rec/conf/fase/HarelKM07 + , https://dblp.org/rec/conf/hopl/Harel07 + , https://dblp.org/rec/conf/scsc/AtirH07 + , https://dblp.org/rec/conf/tacas/HarelS07 + , https://dblp.org/rec/conf/vl/MaozKH07 + , https://dblp.org/rec/journals/entcs/HarelSESC08 + , https://dblp.org/rec/books/daglib/0017067 + , https://dblp.org/rec/journals/tse/BarakHM06 + , https://dblp.org/rec/conf/cav/Harel06 + , https://dblp.org/rec/conf/scesm/HarelM06 + , https://dblp.org/rec/conf/sigsoft/MaozH06 + , https://dblp.org/rec/conf/wsc/Harel06 + , https://dblp.org/rec/conf/wsc/SauroHKSUHMST06 + , https://dblp.org/rec/conf/dagstuhl/BrinksmaHMSW06 + , https://dblp.org/rec/conf/dagstuhl/BrinksmaHMSW06a + , https://dblp.org/rec/journals/comgeo/KorenH05 + , https://dblp.org/rec/journals/computer/EfroniHC05 + , https://dblp.org/rec/conf/atva/CombesHK05 + , https://dblp.org/rec/conf/birthday/HarelKP05 + , https://dblp.org/rec/conf/tacas/KuglerHPLB05 + , https://dblp.org/rec/books/daglib/0015433 + , https://dblp.org/rec/journals/computer/HarelR04 + , https://dblp.org/rec/journals/jgaa/HarelK04 + , https://dblp.org/rec/journals/tvcg/CarmelHK04 + , https://dblp.org/rec/conf/cmsb/FisherHHPSS04 + , https://dblp.org/rec/conf/dfg/HarelK04 + , https://dblp.org/rec/conf/qsic/HarelKP04 + , https://dblp.org/rec/conf/vmcai/Harel04 + , https://dblp.org/rec/books/daglib/0015432 + , https://dblp.org/rec/books/daglib/0009081 + , https://dblp.org/rec/books/sp/03/HM2003 + , https://dblp.org/rec/journals/candc/HarelCL03 + , https://dblp.org/rec/journals/eatcs/Harel03 + , https://dblp.org/rec/journals/mmas/KorenCH03 + , https://dblp.org/rec/journals/sosym/HarelM03 + , https://dblp.org/rec/journals/tse/KupfermanH03 + , https://dblp.org/rec/conf/ac/BarakHM03 + , https://dblp.org/rec/conf/cmsb/KamHKMPHS03 + , https://dblp.org/rec/conf/dagstuhl/HarelKW03 + , https://dblp.org/rec/conf/ershov/Harel03 + , https://dblp.org/rec/conf/gd/KorenH03 + , https://dblp.org/rec/conf/hybrid/Harel03 + , https://dblp.org/rec/conf/kdd/KorenH03 + , https://dblp.org/rec/conf/oopsla/HarelKMP03 + , https://dblp.org/rec/books/sp/03/HarelT03 + , https://dblp.org/rec/books/daglib/0005427 + , https://dblp.org/rec/journals/iandc/HarelKV02 + , https://dblp.org/rec/journals/ijfcs/HarelK02 + , https://dblp.org/rec/journals/jgaa/HarelK02 + , https://dblp.org/rec/journals/tse/HarelK02 + , https://dblp.org/rec/journals/vc/HarelY02 + , https://dblp.org/rec/conf/avi/HarelK02 + , https://dblp.org/rec/conf/avi/KamCH02 + , https://dblp.org/rec/conf/emsoft/Harel02 + , https://dblp.org/rec/conf/fmcad/HarelKMP02 + , https://dblp.org/rec/conf/fmco/HarelEC02 + , https://dblp.org/rec/conf/gd/CarmelHK02 + , https://dblp.org/rec/conf/gd/HarelK02 + , https://dblp.org/rec/conf/gg/Harel02 + , https://dblp.org/rec/conf/ifm/GeryHP02 + , https://dblp.org/rec/conf/infovis/KorenCH02 + , https://dblp.org/rec/conf/mascots/HarelM02 + , https://dblp.org/rec/conf/oopsla/MarellyHK02 + , https://dblp.org/rec/conf/oopsla/MarellyHK02a + , https://dblp.org/rec/conf/wg/KorenH02 + , https://dblp.org/rec/journals/computer/Harel01 + , https://dblp.org/rec/journals/dam/HadanyH01 + , https://dblp.org/rec/journals/fmsd/DammH01 + , https://dblp.org/rec/journals/sigact/HarelKT01 + , https://dblp.org/rec/conf/fsttcs/HarelK01 + , https://dblp.org/rec/conf/kdd/HarelK01 + , https://dblp.org/rec/conf/omer/Harel01 + , https://dblp.org/rec/conf/vl/KamCH01 + , https://dblp.org/rec/conf/avi/HarelY00 + , https://dblp.org/rec/conf/avi/HarelK00 + , https://dblp.org/rec/conf/dlog/Harel00 + , https://dblp.org/rec/conf/fase/Harel00 + , https://dblp.org/rec/conf/gd/HarelK00 + , https://dblp.org/rec/conf/tools/HarelK00 + , https://dblp.org/rec/conf/wia/HarelK00 + , https://dblp.org/rec/journals/apal/HarelS99 + , https://dblp.org/rec/journals/csedu/Gal-EzerH99 + , https://dblp.org/rec/conf/fmoods/DammH99 + , https://dblp.org/rec/conf/wg/HadanyH99 + , https://dblp.org/rec/journals/algorithmica/HarelS98 + , https://dblp.org/rec/journals/cacm/Gal-EzerH98 + , https://dblp.org/rec/conf/mcu/Harel98 + , https://dblp.org/rec/conf/mfcs/Harel98 + , https://dblp.org/rec/conf/mpc/Harel98 + , https://dblp.org/rec/journals/computer/HarelG97 + , https://dblp.org/rec/conf/cav/Harel97 + , https://dblp.org/rec/conf/concur/HarelKV97 + , https://dblp.org/rec/conf/icalp/HarelS97 + , https://dblp.org/rec/conf/lfcs/Harel97 + , https://dblp.org/rec/conf/ngits/Harel97 + , https://dblp.org/rec/conf/re/Harel97 + , https://dblp.org/rec/conf/tools/CoplienGHM97 + , https://dblp.org/rec/conf/vl/Harel97 + , https://dblp.org/rec/journals/iandc/HarelS96 + , https://dblp.org/rec/journals/jcss/HirstH96 + , https://dblp.org/rec/journals/jcss/HirstH96a + , https://dblp.org/rec/journals/tcs/GlobermanH96 + , https://dblp.org/rec/journals/tog/DavidsonH96 + , https://dblp.org/rec/journals/tosem/HarelN96 + , https://dblp.org/rec/conf/asian/Harel96 + , https://dblp.org/rec/conf/eef/DouglassHT96 + , https://dblp.org/rec/conf/icse/HarelG96 + , https://dblp.org/rec/conf/lics/HirstH96 + , https://dblp.org/rec/conf/sofsem/Harel96 + , https://dblp.org/rec/journals/computer/Gal-EzerBHY95 + , https://dblp.org/rec/journals/sigact/Harel95 + , https://dblp.org/rec/journals/vlc/HarelS95 + , https://dblp.org/rec/conf/concur/Harel95 + , https://dblp.org/rec/conf/istcs/HarelS95 + , https://dblp.org/rec/books/sp/cstoday95/Harel95 + , https://dblp.org/rec/journals/iandc/HarelR94 + , https://dblp.org/rec/journals/jacm/DrusinskyH94 + , https://dblp.org/rec/journals/jacm/HirstH94 + , https://dblp.org/rec/journals/tcs/Etzion-PetruschkaHM94 + , https://dblp.org/rec/conf/avi/HarelS94 + , https://dblp.org/rec/conf/icalp/GlobermanH94 + , https://dblp.org/rec/conf/pods/Harel94 + , https://dblp.org/rec/conf/stacs/Harel94 + , https://dblp.org/rec/journals/siamcomp/HarelR93 + , https://dblp.org/rec/conf/coco/HirstH93 + , https://dblp.org/rec/conf/esec/Harel93 + , https://dblp.org/rec/conf/pods/HirstH93 + , https://dblp.org/rec/journals/computer/Harel92 + , https://dblp.org/rec/journals/tosem/HarelK92 + , https://dblp.org/rec/conf/nato/Harel92 + , https://dblp.org/rec/conf/stoc/Harel91 + , https://dblp.org/rec/journals/tse/HarelLNPPSST90 + , https://dblp.org/rec/conf/caap/HirstH90 + , https://dblp.org/rec/conf/focs/HarelR90 + , https://dblp.org/rec/conf/iclp/Harel90 + , https://dblp.org/rec/conf/lics/HarelRV90 + , https://dblp.org/rec/books/daglib/0070714 + , https://dblp.org/rec/journals/tcad/DrusinskyH89 + , https://dblp.org/rec/conf/mfcs/Harel89 + , https://dblp.org/rec/journals/cacm/Harel88 + , https://dblp.org/rec/conf/concur/DrusinskyH88 + , https://dblp.org/rec/conf/icse/HarelLNPPSS88 + , https://dblp.org/rec/books/daglib/0070715 + , https://dblp.org/rec/journals/scp/Harel87 + , https://dblp.org/rec/journals/sigplan/Harel87 + , https://dblp.org/rec/conf/lics/HarelPSS87 + , https://dblp.org/rec/journals/bioinformatics/UngerHS86 + , https://dblp.org/rec/journals/jacm/Harel86 + , https://dblp.org/rec/journals/sigact/Harel86 + , https://dblp.org/rec/journals/iandc/HarelS85 + , https://dblp.org/rec/journals/ipl/HarelP85 + , https://dblp.org/rec/journals/jlp/ChandraH85 + , https://dblp.org/rec/journals/tcs/HarelP85 + , https://dblp.org/rec/journals/iandc/HarelP84 + , https://dblp.org/rec/journals/iandc/HarelK84 + , https://dblp.org/rec/journals/jcss/FeldmanH84 + , https://dblp.org/rec/journals/jcss/HarelP84 + , https://dblp.org/rec/journals/siamcomp/ShermanPH84 + , https://dblp.org/rec/conf/nato/HarelP84 + , https://dblp.org/rec/conf/stoc/Harel84 + , https://dblp.org/rec/journals/jcss/HarelPS83 + , https://dblp.org/rec/conf/fct/Harel83 + , https://dblp.org/rec/conf/fct/HarelS83 + , https://dblp.org/rec/journals/iandc/HarelS82 + , https://dblp.org/rec/journals/jcss/ChandraH82 + , https://dblp.org/rec/journals/jcss/HarelKP82 + , https://dblp.org/rec/conf/icalp/HarelK82 + , https://dblp.org/rec/conf/pods/ChandraH82 + , https://dblp.org/rec/conf/popl/ShermanPH82 + , https://dblp.org/rec/conf/stoc/FeldmanH82 + , https://dblp.org/rec/journals/tcs/Harel81 + , https://dblp.org/rec/conf/focs/HarelPS81 + , https://dblp.org/rec/conf/lop/HarelPS81 + , https://dblp.org/rec/journals/cacm/Harel80 + , https://dblp.org/rec/journals/jcss/ChandraH80 + , https://dblp.org/rec/journals/sigact/Harel80 + , https://dblp.org/rec/journals/sigplan/Harel80 + , https://dblp.org/rec/journals/tcs/Harel80 + , https://dblp.org/rec/journals/toplas/Harel80 + , https://dblp.org/rec/conf/focs/HarelKP80 + , https://dblp.org/rec/conf/focs/ChandraH80 + , https://dblp.org/rec/conf/mfcs/Harel80 + , https://dblp.org/rec/conf/xp/ChandraH80 + , https://dblp.org/rec/books/sp/Harel79 + , https://dblp.org/rec/journals/ipl/Harel79 + , https://dblp.org/rec/journals/mlq/Harel79 + , https://dblp.org/rec/conf/popl/Harel79 + , https://dblp.org/rec/conf/stoc/ChandraH79 + , https://dblp.org/rec/conf/icalp/Harel78 + , https://dblp.org/rec/conf/popl/HarelP78 + , https://dblp.org/rec/conf/stoc/HarelPS77 + , https://dblp.org/rec/conf/stoc/HarelMP77 +
https://dblp.org/rdf/schema#coCreatorWith https://dblp.org/pid/a/LucaAceto + , https://dblp.org/pid/33/6044 + , https://dblp.org/pid/02/6971 + , https://dblp.org/pid/277/9596 + , https://dblp.org/pid/39/3683 + , https://dblp.org/pid/32/1976 + , https://dblp.org/pid/190/0774 + , https://dblp.org/pid/242/4998 + , https://dblp.org/pid/42/998 + , https://dblp.org/pid/27/3979 + , https://dblp.org/pid/41/1529 + , https://dblp.org/pid/372/0167 + , https://dblp.org/pid/33/8523 + , https://dblp.org/pid/b/ClarkWBarrett + , https://dblp.org/pid/343/1920 + , https://dblp.org/pid/b/CBeeri + , https://dblp.org/pid/372/0717 + , https://dblp.org/pid/184/5631 + , https://dblp.org/pid/239/0354 + , https://dblp.org/pid/184/8600 + , https://dblp.org/pid/91/3574 + , https://dblp.org/pid/b/AhmedBouajjani + , https://dblp.org/pid/b/EdBrinksma + , https://dblp.org/pid/43/6960 + , https://dblp.org/pid/56/4267 + , https://dblp.org/pid/71/3693 + , https://dblp.org/pid/09/6126 + , https://dblp.org/pid/c/AnneCondon + , https://dblp.org/pid/c/JCoplien + , https://dblp.org/pid/184/6703 + , https://dblp.org/pid/d/WernerDamm + , https://dblp.org/pid/42/4708 + , https://dblp.org/pid/56/4575 + , https://dblp.org/pid/98/4257 + , https://dblp.org/pid/16/331 + , https://dblp.org/pid/17/5075 + , https://dblp.org/pid/86/10030 + , https://dblp.org/pid/87/7184 + , https://dblp.org/pid/22/6137 + , https://dblp.org/pid/f/RonaldFagin + , https://dblp.org/pid/f/AlessandroFarinelli + , https://dblp.org/pid/21/5714 + , https://dblp.org/pid/92/1761 + , https://dblp.org/pid/64/1885 + , https://dblp.org/pid/343/1862 + , https://dblp.org/pid/15/454 + , https://dblp.org/pid/26/3189 + , https://dblp.org/pid/83/6384 + , https://dblp.org/pid/g/JosephGil + , https://dblp.org/pid/242/5070 + , https://dblp.org/pid/184/5605 + , https://dblp.org/pid/372/0314 + , https://dblp.org/pid/g/MichalGordon + , https://dblp.org/pid/46/1332 + , https://dblp.org/pid/143/4723 + , https://dblp.org/pid/g/YuriGurevich + , https://dblp.org/pid/229/9144 + , https://dblp.org/pid/00/5821 + , https://dblp.org/pid/60/11007 + , https://dblp.org/pid/202/9966 + , https://dblp.org/pid/h/MonikaRauchHenzinger + , https://dblp.org/pid/h/ThomasAHenzinger + , https://dblp.org/pid/h/TirzaHirst + , https://dblp.org/pid/30/2454 + , https://dblp.org/pid/16/548 + , https://dblp.org/pid/i/GiuseppeFItaliano + , https://dblp.org/pid/j/DavidSJohnson + , https://dblp.org/pid/80/4822 + , https://dblp.org/pid/51/486 + , https://dblp.org/pid/31/8437 + , https://dblp.org/pid/k/RichardMKarp + , https://dblp.org/pid/23/10321 + , https://dblp.org/pid/66/1103 + , https://dblp.org/pid/k/JoostNKok + , https://dblp.org/pid/k/YehudaKoren + , https://dblp.org/pid/k/DexterKozen + , https://dblp.org/pid/59/2178 + , https://dblp.org/pid/k/OrnaKupferman + , https://dblp.org/pid/k/MartaZKwiatkowska + , https://dblp.org/pid/36/4546 + , https://dblp.org/pid/60/4801 + , https://dblp.org/pid/70/5696 + , https://dblp.org/pid/190/0763 + , https://dblp.org/pid/33/5058 + , https://dblp.org/pid/13/844 + , https://dblp.org/pid/10/5980 + , https://dblp.org/pid/l/NancyALynch + , https://dblp.org/pid/m/AngelikaMader + , https://dblp.org/pid/m/ShaharMaoz + , https://dblp.org/pid/54/2972 + , https://dblp.org/pid/309/6520 + , https://dblp.org/pid/98/5121 + , https://dblp.org/pid/284/8806 + , https://dblp.org/pid/17/11018 + , https://dblp.org/pid/242/4983 + , https://dblp.org/pid/00/11008 + , https://dblp.org/pid/92/5052 + , https://dblp.org/pid/m/ARMeyer + , https://dblp.org/pid/m/BertrandMeyer + , https://dblp.org/pid/137/2934 + , https://dblp.org/pid/229/9097 + , https://dblp.org/pid/50/4247 + , https://dblp.org/pid/13/87 + , https://dblp.org/pid/153/9511 + , https://dblp.org/pid/n/ONierstrasz + , https://dblp.org/pid/118/0593 + , https://dblp.org/pid/166/5526 + , https://dblp.org/pid/39/3538 + , https://dblp.org/pid/p/CHPapadimitriou + , https://dblp.org/pid/09/2064 + , https://dblp.org/pid/p/MikePaterson + , https://dblp.org/pid/p/DavidPeleg + , https://dblp.org/pid/p/NPiterman + , https://dblp.org/pid/p/AmirPnueli + , https://dblp.org/pid/153/9612 + , https://dblp.org/pid/85/5080 + , https://dblp.org/pid/13/2876 + , https://dblp.org/pid/p/VRPratt + , https://dblp.org/pid/r/DannyRaz + , https://dblp.org/pid/r/GReggio + , https://dblp.org/pid/r/RonaldLRivest + , https://dblp.org/pid/161/0073 + , https://dblp.org/pid/51/5639 + , https://dblp.org/pid/40/11009 + , https://dblp.org/pid/r/BernhardRumpe + , https://dblp.org/pid/r/WalterLRuzzo + , https://dblp.org/pid/229/9129 + , https://dblp.org/pid/39/5503 + , https://dblp.org/pid/s/ArtoSalomaa + , https://dblp.org/pid/242/5080 + , https://dblp.org/pid/25/4782 + , https://dblp.org/pid/10/2495 + , https://dblp.org/pid/43/6695 + , https://dblp.org/pid/23/3648 + , https://dblp.org/pid/s/JoelISeiferas + , https://dblp.org/pid/50/42 + , https://dblp.org/pid/s/CliffordAShaffer + , https://dblp.org/pid/190/0765 + , https://dblp.org/pid/24/4645 + , https://dblp.org/pid/88/6899 + , https://dblp.org/pid/s/JosephSifakis + , https://dblp.org/pid/83/6687 + , https://dblp.org/pid/s/ScottASmolka + , https://dblp.org/pid/00/11012 + , https://dblp.org/pid/s/PaulGSpirakis + , https://dblp.org/pid/72/4558 + , https://dblp.org/pid/199/9629 + , https://dblp.org/pid/79/2367 + , https://dblp.org/pid/s/PerditaStevens + , https://dblp.org/pid/s/LenaStromback + , https://dblp.org/pid/38/6474 + , https://dblp.org/pid/81/3309 + , https://dblp.org/pid/34/8523 + , https://dblp.org/pid/32/3537 + , https://dblp.org/pid/t/PSThiagarajan + , https://dblp.org/pid/t/WolfgangThomas + , https://dblp.org/pid/t/JerzyTiuryn + , https://dblp.org/pid/29/5156 + , https://dblp.org/pid/21/3716 + , https://dblp.org/pid/39/1242 + , https://dblp.org/pid/u/AdelindeUhrmacher + , https://dblp.org/pid/75/3917 + , https://dblp.org/pid/v/MosheYVardi + , https://dblp.org/pid/52/1274 + , https://dblp.org/pid/153/9607 + , https://dblp.org/pid/w/JonWhittle + , https://dblp.org/pid/46/8330 + , https://dblp.org/pid/w/RoelWieringa + , https://dblp.org/pid/26/4609 + , https://dblp.org/pid/141/4369 + , https://dblp.org/pid/50/5536 + , https://dblp.org/pid/94/6661 + , https://dblp.org/pid/303/0002 + , https://dblp.org/pid/z/LDZuck +
https://dblp.org/rdf/schema#creatorName David Harel
https://dblp.org/rdf/schema#creatorNote award (2007): ACM Software System Award
https://dblp.org/rdf/schema#editorOf https://dblp.org/rec/conf/birthday/2009rozenberg + , https://dblp.org/rec/conf/dagstuhl/2006P6351 + , https://dblp.org/rec/conf/models/2006 + , https://dblp.org/rec/conf/stoc/STOC15 +
https://dblp.org/rdf/schema#homepage http://www.wisdom.weizmann.ac.il/~harel/ +
https://dblp.org/rdf/schema#primaryAffiliation Weizmann Institute of Science, Israel
https://dblp.org/rdf/schema#primaryCreatorName David Harel
https://dblp.org/rdf/schema#primaryHomepage http://www.wisdom.weizmann.ac.il/~harel/ +
https://dblp.org/rdf/schema#webpage https://scholar.google.com/citations?user=E20Gzu0AAAAJ + , https://dl.acm.org/profile/81100197485 + , https://zbmath.org/authors/?q=ai:harel.david + , https://mathscinet.ams.org/mathscinet/MRAuthorID/192789 + , https://mathgenealogy.org/id.php?id=18992 +
https://dblp.org/rdf/schema#wikidata http://www.wikidata.org/entity/Q2920599 +
https://dblp.org/rdf/schema#wikipedia https://en.wikipedia.org/wiki/David_Harel +
owl:sameAs http://www.wikidata.org/entity/Q2920599 + , http://isni.org/isni/0000000120188598 + , https://viaf.org/viaf/109353358 + , https://id.loc.gov/authorities/names/n79038969 + , https://d-nb.info/gnd/109527992 + , http://id.worldcat.org/fast/1439708 +
rdf:type https://dblp.org/rdf/schema#Creator + , https://dblp.org/rdf/schema#Person +
rdfs:label David Harel
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://www.b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Fpid-2Fh-2FDavidHarel"