[RDF data]
Home | Example Authors
PropertyValue
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/books/sp/cstoday95/Vardi95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/aaai/CalvaneseGLV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/aaai/FagiHV86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/aaai/FaginHMV94>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/aaai/KolaitisV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/adbt/BeeriV79>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/aips/Vardi10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/approx/MooreIDV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/arts/Vardi99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/aspdac/ArmoniFFHVVZ07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/atva/FriedgutKV04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/atva/NainV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/banff/Vardi95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/AbiteboulKSV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/KupfermanPV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/KupfermanPV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/Vardi03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/Vardi08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/Vardi92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/VardiW08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cade/KupfermanSV02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cade/PanSV02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cade/PanV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cade/SattlerV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cade/Vardi97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/1998>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/ArmoniFFGPTV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/AronsEFMMSSTVZ05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/BernholtzVW94>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/BustanRV04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/ChocklerKKV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/CookKV11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/CoptyFFGKTV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/CourcoubetisVWY90>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/DanieleGV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/FraerKZVF00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/ImmermanV97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanPV02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanPV06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanPV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanV96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanV96a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanV97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/PitermanV04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/PlakuKV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/SebastianiSTV04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/SebastianiTV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/Vardi95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cdc/BhatiaKV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/charme/BustanFGKV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/charme/ChocklerKV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/charme/FislerV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/charme/GurumurthyKSV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/charme/KupfermanV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cia/CalvaneseGLV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/coco/AbiteboulVV92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/coco/FaginSV93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/compos/KupfermanV97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/AlurHKV98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/AminofMV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/FisherHNPSV11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/HarelKV97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/HenzingerKV96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/KupfermanMTV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/KupfermanPV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/KupfermanV95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/KupfermanV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/MeydenV98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/Vardi88>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/Vardi98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/AguirreV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/AtseriasKV04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/BordeauxHV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/CoarfaDASV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/DalmauKV02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/PanV04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/Vardi10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/AikenKVW93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/FogartyKVW11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/LustigNV11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/Vardi00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/Vardi11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/dac/Vardi07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/2005P5241>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/2007P7441>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/DowneyKKLV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/DowneyKKLV07a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/KautzTV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/KautzTV05a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/KolaitisV08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/date/BabighianKV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/dbpl/CalvaneseGLV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/dbpl/CalvaneseGLV09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/dimacs/Vardi96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ecp/DanieleTV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ecp/GiacomoV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/edbt/McMahanPPV04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fates/ArmoniKTVZ06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fm/FisherPV11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fm/RozierV11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fmcad/FislerV98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fmcad/TabakovKVS08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/focs/FaginHV84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/focs/KupfermanV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/focs/Vardi81>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/focs/Vardi82>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/focs/Vardi85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/focs/WolperVS83>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/forte/2002>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/forte/PeledVY99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fossacs/KingKV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fossacs/LustigV09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fossacs/NainV12>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fsttcs/KupfermanPV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fsttcs/MogaveroMV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fsttcs/Vardi11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/fsttcs/Vardi97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/hvc/FismanKSV08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/hvc/Vardi08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/BeeriV81>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/BonattiLMV06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/FaginV84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/GreimelBJV08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/KolaitisV92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/KupfermanV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/SistlaVW85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/Vardi03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/Vardi98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/iccad/ArmoniEFKV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icde/CalvaneseGLV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icde/ChaudhuriCDGSWV96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/AbiteboulVV92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/CalvaneseGLV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/CalvaneseGLV11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/CalvaneseGV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/KuperV88>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/Vardi05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icla/Vardi09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/iclp/Vardi90>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icra/BhatiaKV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icra/PlakuKV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/icra/PlakuKV08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ijcai/Vardi03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/ijcai/Vardi85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/istcs/KupfermanV97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/jelia/Vardi02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/BatsellBOTV02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/CalvaneseGLV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/CalvaneseGV02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/HalpernV91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/krdb/CalvaneseGLV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lata/TabakovV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/CalvaneseGLV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/EtessamiVW97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/FederV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/FruhwirthSVY91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/GaifmanMSV87>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/HarelRV90>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KolaitisV88>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KolaitisV90>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KolaitisV92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KolaitisV96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KupfermanSV96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KupfermanV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KupfermanV06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KupfermanV98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/NainV09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/PanV06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/PistoreV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/PitermanV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/Vardi87>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/Vardi89>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/Vardi95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/Vardi98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/VardiW86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lop/Vardi85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lop/VardiW83>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/2003>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/FerraraPV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/KupfermanLV06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/KupfermanPV02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/KupfermanV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/KupfermanV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/MogaveroMV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/TabakovV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/memocode/TabakovV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/mfcs/KolaitisV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/mfcs/KupfermanV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/mfcs/PitermanV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/patmos/WienerKV08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/podc/FaginHMV95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/87>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/AbiteboulKPV96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/CalvaneseGLV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/CalvaneseGLV02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/CalvaneseGLV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/CalvaneseGLV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/ChaudhuriV92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/ChaudhuriV93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/ChaudhuriV94>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/FaginUV83>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/GrahamV84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/HillebrandKMV91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/KolaitisV90>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/KolaitisV98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/KuperUV84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/KuperV84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/MaierUV83>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/RamakrishnanSUV89>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/SagivV89>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/UllmanV88>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi82>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi88>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi89>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/popl/CookGPRV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/popl/Vardi88>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/procomet/KuphermannV98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/pstv/GerthPVW95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/rp/Vardi09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/rss/PlakuKV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/rv/TabakovV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/sat/PanV04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/sat/PanV04a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/sat/Vardi09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/sebd/CalvaneseGLV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/sebd/CalvaneseGLV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/sigcse/ArmoniRVV06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/sigcse/AsprayMVZ06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/sigcse/BruceKLV98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/sigmod/KuperV85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/sigmod/Vardi88>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/spin/RozierV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/spin/Vardi08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stacs/BustanKV04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stacs/FeigenbaumKVV98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stacs/KupfermanLVY11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stacs/KupfermanV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stacs/Vardi07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/AlurHV93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/CosmadakisGKV88>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/CourcoubetisVW86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/FaginV85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/FederV93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/HalpernV86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/HalpernV88>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/KanellakisCV83>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/KolaitisV87>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/KupfermanV98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/SafraV89>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/Vardi82>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/VardiS85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/VardiW84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/ArmoniBKV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/ArmoniFFGGKLMSTVZ02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/ChocklerKV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/EtessamiKVY07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/FislerFVY01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/FogartyV09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/FogartyV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/GlusmanKMFV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/KupfermanV04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/KupfermanV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/PlakuKV09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/SebastianiTV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/Vardi01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tacs/Vardi94>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tamc/Vardi09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/1988>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/FaginGHV92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/FaginHMV96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/FaginHV90>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/FaginV86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/HalpernMV94>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/Vardi86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/Vardi96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/tls/Vardi87>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/vmcai/Vardi07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/vstte/Vardi08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/webdb/CalvaneseGLV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/wia/TsaiFVT10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/wia/Vardi07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/xp/BeeriV80>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/conf/xp/Vardi83>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/acr/FaginKUV86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/acta/MakowskyV86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/acta/Vardi83>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ai/FaginHV95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/apal/FaginHMV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/apal/KupfermanSV06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/apal/Vardi91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/bsl/GradelKV97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/bsl/HalpernHIKVV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/bsl/KupfermanV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/KennedyV02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi08a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi08b>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi09a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi09b>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi09c>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi09d>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi09e>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi10a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi10b>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi10c>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi10d>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi10e>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11b>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11c>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11d>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11e>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11f>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi12>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi12a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi12b>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cjtcs/FeigenbaumKVV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cjtcs/KupfermanV98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/cjtcs/Vardi96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/constraints/CoarfaDASV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-0809-0360>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-0810-5728>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1003-1179>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1106-1228>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1109-6346>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1110-6183>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1112-6275>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1202-1309>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/cs-LO-0208033>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/cs-LO-9809003>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/csur/AbiteboulKMSV96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/dagstuhl-manifestos/KreikerTVW11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/dc/FaginHMV97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/eatcs/GaifmanV85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/eatcs/Vardi85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/endm/GiunchigliaNTV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/entcs/ArmoniFFHPV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/entcs/FraerKFV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/entcs/Vardi02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/BryantGHV09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/BryantGSV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/ChocklerKV06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/CourcoubetisVWY92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/FislerV02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/GrumbergVSA12>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/HardinKSV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/KupfermanPV09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/KupfermanV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/PlakuKV09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/SebastianiSTV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/geb/OshersonV06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/BeeriV84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/EtessamiVW02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/FaginSV95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/HarelKV02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/KolaitisV90>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/KolaitisV92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/KupfermanVW01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/Vardi96>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/VardiW94>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/Vardi98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ijfcs/FriedgutKV06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ijgt/FaginGHV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ipl/FaginV83>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ipl/Vardi81>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ipl/Vardi84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ipl/Vardi89>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/ipl/Vardi90>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/AbiteboulVV97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/BeeriV84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/CosmadakisKV90>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/FaginHV91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/FaginHV92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/GaifmanMSV93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/GrahamMV86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/KupfermanVW00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jair/BordeauxKNV11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jair/PistoreV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jalc/PeledVY02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jancl/PanSV06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jar/PanV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/CalvaneseGLV02>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/ChaudhuriV97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/HalpernV89>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/KestenPV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/KolaitisV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/KolaitisV95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/KupfermanPV12>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/RamakrishnanSUV93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/Vardi84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/Vardi86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/VardiW86>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jlp/HillebrandKMV95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jlp/Vardi91>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jolpe/WienerKV09>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/FaginHV92>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Vardi97>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/lmcs/BonattiLMV08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/lmcs/EtessamiKVY08>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/rsa/MooreIDV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/BeeriV84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/ChandraV85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/FederV98>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/HalpernMV04>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sigmod/AbiteboulHVGHHRUVH05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sigmod/BeeriV81>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sigmod/CalvaneseGLV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sigmod/RossCGJBV99>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/software/Vardi88>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/software/Vardi88a>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sttt/ChocklerKV06>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sttt/KupfermanV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sttt/RozierV10>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/sttt/SebastianiTV11>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/AbiteboulVV95>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/BeeriV85>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/CalvaneseGLV07>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/CalvaneseGV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/KuperV93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/KupfermanV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/PitermanV03>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/SistlaVW87>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tocl/KupfermanV01>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tocl/KupfermanV05>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tods/KuperV93>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/tods/MaierUV84>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/toplas/KupfermanV00>
is dc:creator of <http://dblp.l3s.de/d2r/resource/publications/journals/trob/PlakuKV10>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/1998>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/2005P5241>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/2007P7441>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/conf/forte/2002>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/95>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/2003>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/87>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/92>
is swrc:editor of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/1988>
foaf:homepage <http://www.cs.rice.edu/~vardi/>
rdfs:label Moshe Y. Vardi
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/books/sp/cstoday95/Vardi95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/aaai/CalvaneseGLV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/aaai/FagiHV86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/aaai/FaginHMV94>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/aaai/KolaitisV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/adbt/BeeriV79>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/aips/Vardi10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/approx/MooreIDV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/arts/Vardi99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/aspdac/ArmoniFFHVVZ07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/atva/FriedgutKV04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/atva/NainV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/banff/Vardi95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/AbiteboulKSV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/KupfermanPV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/KupfermanPV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/Vardi03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/Vardi08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/Vardi92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/birthday/VardiW08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cade/KupfermanSV02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cade/PanSV02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cade/PanV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cade/SattlerV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cade/Vardi97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/ArmoniFFGPTV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/AronsEFMMSSTVZ05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/BernholtzVW94>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/BustanRV04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/ChocklerKKV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/CookKV11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/CoptyFFGKTV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/CourcoubetisVWY90>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/DanieleGV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/FraerKZVF00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/ImmermanV97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanPV02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanPV06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanPV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanV96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanV96a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanV97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/KupfermanV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/PitermanV04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/PlakuKV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/SebastianiSTV04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/SebastianiTV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cav/Vardi95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cdc/BhatiaKV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/charme/BustanFGKV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/charme/ChocklerKV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/charme/FislerV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/charme/GurumurthyKSV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/charme/KupfermanV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cia/CalvaneseGLV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/coco/AbiteboulVV92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/coco/FaginSV93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/compos/KupfermanV97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/AlurHKV98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/AminofMV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/FisherHNPSV11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/HarelKV97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/HenzingerKV96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/KupfermanMTV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/KupfermanPV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/KupfermanV95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/KupfermanV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/MeydenV98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/Vardi88>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/concur/Vardi98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/AguirreV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/AtseriasKV04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/BordeauxHV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/CoarfaDASV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/DalmauKV02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/PanV04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/cp/Vardi10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/AikenKVW93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/FogartyKVW11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/LustigNV11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/Vardi00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/csl/Vardi11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/dac/Vardi07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/DowneyKKLV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/DowneyKKLV07a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/KautzTV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/KautzTV05a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/dagstuhl/KolaitisV08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/date/BabighianKV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/dbpl/CalvaneseGLV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/dbpl/CalvaneseGLV09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/dimacs/Vardi96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ecp/DanieleTV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ecp/GiacomoV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/edbt/McMahanPPV04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fates/ArmoniKTVZ06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fm/FisherPV11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fm/RozierV11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fmcad/FislerV98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fmcad/TabakovKVS08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/focs/FaginHV84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/focs/KupfermanV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/focs/Vardi81>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/focs/Vardi82>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/focs/Vardi85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/focs/WolperVS83>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/forte/PeledVY99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fossacs/KingKV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fossacs/LustigV09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fossacs/NainV12>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fsttcs/KupfermanPV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fsttcs/MogaveroMV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fsttcs/Vardi11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/fsttcs/Vardi97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/hvc/FismanKSV08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/hvc/Vardi08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/BeeriV81>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/BonattiLMV06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/FaginV84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/GreimelBJV08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/KolaitisV92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/KupfermanV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/SistlaVW85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/Vardi03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icalp/Vardi98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/iccad/ArmoniEFKV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icde/CalvaneseGLV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icde/ChaudhuriCDGSWV96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/AbiteboulVV92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/CalvaneseGLV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/CalvaneseGLV11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/CalvaneseGV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/KuperV88>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icdt/Vardi05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icla/Vardi09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/iclp/Vardi90>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icra/BhatiaKV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icra/PlakuKV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/icra/PlakuKV08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ijcai/Vardi03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/ijcai/Vardi85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/istcs/KupfermanV97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/jelia/Vardi02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/BatsellBOTV02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/CalvaneseGLV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/CalvaneseGV02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/kr/HalpernV91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/krdb/CalvaneseGLV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lata/TabakovV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/CalvaneseGLV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/EtessamiVW97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/FederV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/FruhwirthSVY91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/GaifmanMSV87>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/HarelRV90>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KolaitisV88>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KolaitisV90>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KolaitisV92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KolaitisV96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KupfermanSV96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KupfermanV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KupfermanV06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/KupfermanV98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/NainV09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/PanV06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/PistoreV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/PitermanV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/Vardi87>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/Vardi89>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/Vardi95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/Vardi98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lics/VardiW86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lop/Vardi85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lop/VardiW83>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/FerraraPV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/KupfermanLV06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/KupfermanPV02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/KupfermanV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/KupfermanV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/MogaveroMV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/lpar/TabakovV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/memocode/TabakovV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/mfcs/KolaitisV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/mfcs/KupfermanV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/mfcs/PitermanV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/patmos/WienerKV08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/podc/FaginHMV95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/AbiteboulKPV96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/CalvaneseGLV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/CalvaneseGLV02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/CalvaneseGLV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/CalvaneseGLV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/ChaudhuriV92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/ChaudhuriV93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/ChaudhuriV94>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/FaginUV83>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/GrahamV84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/HillebrandKMV91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/KolaitisV90>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/KolaitisV98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/KuperUV84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/KuperV84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/MaierUV83>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/RamakrishnanSUV89>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/SagivV89>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/UllmanV88>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi82>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi88>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi89>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pods/Vardi95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/popl/CookGPRV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/popl/Vardi88>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/procomet/KuphermannV98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/pstv/GerthPVW95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/rp/Vardi09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/rss/PlakuKV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/rv/TabakovV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/sat/PanV04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/sat/PanV04a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/sat/Vardi09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/sebd/CalvaneseGLV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/sebd/CalvaneseGLV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/sigcse/ArmoniRVV06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/sigcse/AsprayMVZ06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/sigcse/BruceKLV98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/sigmod/KuperV85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/sigmod/Vardi88>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/spin/RozierV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/spin/Vardi08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stacs/BustanKV04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stacs/FeigenbaumKVV98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stacs/KupfermanLVY11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stacs/KupfermanV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stacs/Vardi07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/AlurHV93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/CosmadakisGKV88>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/CourcoubetisVW86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/FaginV85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/FederV93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/HalpernV86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/HalpernV88>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/KanellakisCV83>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/KolaitisV87>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/KupfermanV98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/SafraV89>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/Vardi82>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/VardiS85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/stoc/VardiW84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/ArmoniBKV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/ArmoniFFGGKLMSTVZ02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/ChocklerKV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/EtessamiKVY07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/FislerFVY01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/FogartyV09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/FogartyV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/GlusmanKMFV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/KupfermanV04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/KupfermanV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/PlakuKV09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/SebastianiTV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacas/Vardi01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tacs/Vardi94>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tamc/Vardi09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/FaginGHV92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/FaginHMV96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/FaginHV90>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/FaginV86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/HalpernMV94>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/Vardi86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tark/Vardi96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/tls/Vardi87>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/vmcai/Vardi07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/vstte/Vardi08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/webdb/CalvaneseGLV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/wia/TsaiFVT10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/wia/Vardi07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/xp/BeeriV80>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/conf/xp/Vardi83>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/acr/FaginKUV86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/acta/MakowskyV86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/acta/Vardi83>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ai/FaginHV95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/apal/FaginHMV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/apal/KupfermanSV06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/apal/Vardi91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/bsl/GradelKV97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/bsl/HalpernHIKVV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/bsl/KupfermanV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/KennedyV02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi08a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi08b>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi09a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi09b>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi09c>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi09d>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi09e>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi10a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi10b>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi10c>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi10d>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi10e>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11b>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11c>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11d>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11e>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi11f>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi12>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi12a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cacm/Vardi12b>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cjtcs/FeigenbaumKVV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cjtcs/KupfermanV98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/cjtcs/Vardi96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/constraints/CoarfaDASV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-0809-0360>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-0810-5728>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1003-1179>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1106-1228>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1109-6346>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1110-6183>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1112-6275>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/abs-1202-1309>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/cs-LO-0208033>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/corr/cs-LO-9809003>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/csur/AbiteboulKMSV96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/dagstuhl-manifestos/KreikerTVW11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/dc/FaginHMV97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/eatcs/GaifmanV85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/eatcs/Vardi85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/endm/GiunchigliaNTV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/entcs/ArmoniFFHPV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/entcs/FraerKFV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/entcs/Vardi02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/BryantGHV09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/BryantGSV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/ChocklerKV06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/CourcoubetisVWY92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/FislerV02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/GrumbergVSA12>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/HardinKSV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/KupfermanPV09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/KupfermanV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/PlakuKV09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/fmsd/SebastianiSTV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/geb/OshersonV06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/BeeriV84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/EtessamiVW02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/FaginSV95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/HarelKV02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/KolaitisV90>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/KolaitisV92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/KupfermanVW01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/Vardi96>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/iandc/VardiW94>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/igpl/Vardi98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ijfcs/FriedgutKV06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ijgt/FaginGHV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ipl/FaginV83>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ipl/Vardi81>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ipl/Vardi84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ipl/Vardi89>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/ipl/Vardi90>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/AbiteboulVV97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/BeeriV84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/CosmadakisKV90>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/FaginHV91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/FaginHV92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/GaifmanMSV93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/GrahamMV86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jacm/KupfermanVW00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jair/BordeauxKNV11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jair/PistoreV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jalc/PeledVY02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jancl/PanSV06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jar/PanV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/CalvaneseGLV02>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/ChaudhuriV97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/HalpernV89>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/KestenPV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/KolaitisV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/KolaitisV95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/KupfermanPV12>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/RamakrishnanSUV93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/Vardi84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/Vardi86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jcss/VardiW86>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jlp/HillebrandKMV95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jlp/Vardi91>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jolpe/WienerKV09>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/FaginHV92>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/jsyml/Vardi97>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/lmcs/BonattiLMV08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/lmcs/EtessamiKVY08>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/rsa/MooreIDV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/BeeriV84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/ChandraV85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/FederV98>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/HalpernMV04>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sigmod/AbiteboulHVGHHRUVH05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sigmod/BeeriV81>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sigmod/CalvaneseGLV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sigmod/RossCGJBV99>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/software/Vardi88>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/software/Vardi88a>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sttt/ChocklerKV06>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sttt/KupfermanV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sttt/RozierV10>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/sttt/SebastianiTV11>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/AbiteboulVV95>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/BeeriV85>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/CalvaneseGLV07>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/CalvaneseGV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/KuperV93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/KupfermanV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/PitermanV03>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tcs/SistlaVW87>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tocl/KupfermanV01>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tocl/KupfermanV05>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tods/KuperV93>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/tods/MaierUV84>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/toplas/KupfermanV00>
is foaf:maker of <http://dblp.l3s.de/d2r/resource/publications/journals/trob/PlakuKV10>
foaf:name Moshe Y. Vardi
rdfs:seeAlso <http://dblp.l3s.de/Authors/Moshe+Y.+Vardi>
rdfs:seeAlso <http://www.bibsonomy.org/uri/author/Moshe+Y.+Vardi>
rdf:type foaf:Agent