dblp keys for Nir Piterman

Nir Piterman

Keys

# of data records = 142

homepages/p/NPiterman journals/csysl/HausmannJP23 journals/sttt/AlrahmanASP23 conf/atva/AzzopardiLPS23 journals/corr/abs-2301-01257 journals/corr/abs-2305-01425 journals/corr/abs-2305-02793 journals/corr/abs-2306-08144 journals/corr/abs-2307-09776 journals/corr/abs-2310-13612 journals/tse/KeeganBDPU22 conf/atal/AlrahmanAP22 conf/birthday/0001P22 conf/cade/CauliOP22 conf/ictac/AlrahmanMP22 conf/isola/AlrahmanAP22 conf/isola/AzzopardiPS22 journals/corr/abs-2201-06312 journals/corr/abs-2202-12592 journals/corr/abs-2207-00517 journals/aamas/AlrahmanP21 conf/amcc/AlrahmanBDPU21 conf/atva/AzzopardiPS21 conf/cav/CauliLPT21 conf/dlog/CauliLPT21 conf/dlog/CauliOP21 conf/kr/CauliOP21 journals/corr/abs-2104-10998 journals/corr/abs-2107-00929 journals/corr/abs-2107-14668 conf/atal/AlrahmanPP20 journals/corr/abs-2009-05554 journals/shonan-reports/TeiPC20 conf/concur/ChatterjeeP19 conf/tacas/MajumdarPS19 series/cb/ClarkeWPHF19 journals/corr/abs-1902-05629 journals/corr/abs-1906-10793 journals/bmcsb/WoodhousePWGF18 reference/mc/PitermanP18 journals/corr/abs-1804-03453 journals/corr/abs-1804-03454 journals/jacm/CookKP17 journals/jsyml/ChatterjeeP17 journals/sttt/Piterman17 journals/tse/CiolekBDPU17 conf/vmcai/AhmedBBDFHINPRS17 conf/wia/CauliP17 journals/bmcbi/LimWWPWFG16 conf/birthday/HuthKP16 conf/hybrid/WisniewskiSBP16 conf/tacas/BakhirkinP16 conf/tacas/BrockschmidtCIK16 journals/iandc/HuthKP15 journals/trob/RamanPFK15 conf/cav/CookKP15 conf/cav/FisherKPW15 conf/cyphy/BujorianuP15 conf/icfem/CastroKP15 conf/sas/BakhirkinBP15 conf/stacs/CastroKP15 conf/tacas/CookKP15 conf/hvc/2015 journals/corr/FisherKPW15 journals/corr/BrockschmidtCIK15 conf/acsd/DIppolitoBPU14 conf/cav/CookFHIJP14 conf/fmcad/CookKP14 conf/sas/BakhirkinBP14 journals/corr/HuthKP14 journals/tosem/DIppolitoBPU13 conf/cav/ClaessenFIPW13 conf/chi/TaylorPIFCCBB13 conf/fossacs/HuthKP13 conf/icra/RamanPK13 conf/icse/BrabermanDPSU04 conf/mfcs/Piterman13 conf/popl/KoksalPSBFP13 journals/corr/HuthKP13 conf/tacas/2013 journals/jcss/BloemJPPS12 journals/pe/HuthPW12 conf/cav/BenqueBCCFIPTV12 conf/fm/DIppolitoBPU12 conf/ipcat/BeyerEPHHF12 conf/vmcai/KleinPP12 journals/corr/abs-1206-5174 journals/sttt/GodefroidP11 conf/concur/FisherHNPSV11 conf/fm/FisherPV11 conf/hvc/HuthKP11 conf/hvc/HuthKP11a conf/icse/DIppolitoBPU11 conf/time/Piterman11 conf/vmcai/CookFKP11 journals/iandc/ChatterjeeHP10 journals/pe/FecherHPW10 conf/birthday/KupfermanPV10 conf/formats/NickovicP10 conf/qest/HuthPW10 conf/sigsoft/DIppolitoBPU10 journals/bmcsb/WangCPPF09 journals/eceasst/HuthPW09 journals/fmsd/KupfermanPV09 conf/fct/HuthPW09 conf/fossacs/KupfermanP09 conf/vmcai/GodefroidP09 conf/fmsb/FisherHMP08 conf/qest/FecherHPW08 journals/corr/abs-0805-2620 journals/lmcs/Piterman07 journals/ploscb/FisherPHH07 conf/cav/KupfermanPV07 conf/concur/ChatterjeeHP07 conf/date/BloemGJPPW07 conf/fossacs/ChatterjeeHP07 journals/entcs/BloemGJPPW07 journals/corr/abs-0705-2205 journals/sttt/FangPPZ06 conf/cade/GrinchteinLP06 conf/cav/KupfermanPV06 conf/cav/JuvekarP06 conf/csl/HenzingerP06 conf/lics/Piterman06 conf/lics/PitermanP06 conf/vmcai/PitermanPS06 journals/iandc/KestenPP05 conf/cav/PitermanV04 conf/cmsb/FisherHHPSS04 conf/tacas/FangPPZ04 conf/vmcai/FangPPZ04 journals/entcs/ArmoniFFHPV05 journals/tcs/PitermanV03 conf/birthday/KupfermanPV03 conf/cav/ArmoniFFGPTV03 conf/cav/KestenPP03 conf/lics/PitermanV03 conf/cav/KupfermanPV02 conf/lpar/KupfermanPV02 conf/concur/KupfermanPV01 conf/mfcs/PitermanV01 conf/fsttcs/KupfermanPV00

a service of  Schloss Dagstuhl - Leibniz Center for Informatics