DBLP Keys for 'Amir Pnueli'

# of records = 251

homepages/p/AmirPnueli conf/fase/KuglerPP09 conf/spin/PnueliZ08 conf/apsec/Pnueli08 conf/cav/CohenPZ08 conf/cav/NiebertPP08 conf/fm/ZaksP08 conf/paste/ZaksP08 conf/birthday/MalerNP08 conf/vmcai/PnueliS08 journals/igpl/GabbayP08 conf/cav/MalerNP07 conf/date/BloemGJPPW07 conf/fmcad/0002OPTZ07 conf/oopsla/KuglerPP07 conf/tacas/KuglerPSH07 conf/vmcai/BalabanPZ07 journals/entcs/BloemGJPPW07 journals/ijfcs/BalabanPZ07 conf/fm/PnueliZ06 conf/formats/MalerNP06 conf/forte/FangMPZ06 conf/icalp/BalabanPZ06 conf/lics/PitermanP06 conf/vmcai/BalabanCP06 conf/vmcai/PitermanPS06 journals/entcs/PnueliS06 journals/entcs/PnueliZZ06 journals/fmsd/KestenPRS06 journals/sttt/FangPPZ06 conf/atva/Pnueli05 conf/cav/BarrettFGHPZ05 conf/cav/BalabanFPZ05 conf/formats/MalerNP05 conf/forte/BalabanPZ05 conf/fsttcs/MysoreP05 conf/birthday/HarelKP05 conf/tacas/PnueliPR05 conf/tacas/KuglerHPLB05 conf/vmcai/Pnueli05 conf/vmcai/BalabanPZ05 conf/birthday/Pnueli05 journals/entcs/HuBGP05 journals/fmsd/ZuckPGBFH05 journals/iandc/KestenPP05 journals/scp/DammJPV05 journals/tcs/KestenP05 conf/atva/GordinLP04 conf/cav/TalupurSSP04 conf/fossacs/MalerP04 conf/qsic/HarelKP04 conf/tacas/FangPPZ04 conf/uml/AronsHKPZ04 conf/vmcai/FangPPZ04 journals/cl/ZuckP04 conf/hybrid/2003 conf/cav/KestenPP03 conf/charme/LangbergPR03 conf/cmsb/KamHKMPHS03 conf/fossacs/AronsPZ03 conf/oopsla/HarelKMP03 conf/vmcai/PnueliZ03 conf/birthday/PnueliA03 journals/iandc/PnueliRSS03 journals/jucs/ZuckPG03 conf/cases/LeviathanP02 conf/cav/PnueliXZ02 conf/concur/KestenPSZ02 conf/concur/PnueliK02 conf/emsoft/Pnueli02 conf/fmcad/HarelKMP02 conf/fmco/DammJPV02 conf/ftrtft/Pnueli02 conf/vmcai/ZuckPK02 journals/constraints/LeungPP02 journals/entcs/ZuckPFG02 journals/entcs/ZuckPFGH02 journals/iandc/PnueliRSS02 journals/logcom/KestenP02 conf/cav/AronsPRXZ01 conf/fsttcs/FismanP01 conf/fsttcs/PeledPZ01 conf/fsttcs/PnueliRS01 conf/podc/Pnueli01 conf/tacas/PnueliRZ01 journals/toplas/LeungPP01 journals/jcss/KestenPV01 journals/tcs/KestenMMPS01 conf/cases/Pnueli00 conf/cav/Pnueli00 conf/cav/PnueliS00 conf/fsttcs/SedletskyPB00 conf/tacas/AronsP00 journals/acta/KestenMP00 journals/iandc/KestenP00 journals/igpl/LichtensteinP00 journals/sttt/KestenP00 conf/cav/PnueliRSS99 conf/csl/KestenP99 conf/birthday/PnueliSS99 conf/hybrid/BournezMP99 conf/rtss/AltisenGPSTY99 conf/vlsid/AronsP99 conf/fm/KestenKPR99 journals/dc/JonssonPR99 journals/iandc/KestenPSY99 conf/compos/1997 conf/cade/Pnueli98 conf/concur/AsarinMP98 conf/concur/DammPR98 conf/fm/PnueliSS98 conf/fmcad/PnueliA98 conf/ftrtft/PnueliSS98 conf/icalp/KestenPR98 conf/icalp/PnueliSS98 conf/IEEEpact/LeungPP98 conf/mfcs/KestenP98 conf/tacas/PnueliSS98 journals/sttt/PnueliSS98 conf/cav/BozgaMPY97 conf/cav/KestenMMPS97 conf/charme/DammP97 conf/compos/DammJHP97 conf/focs/Pnueli97 conf/hybrid/Pnueli97 conf/hybrid/AsarinBKMPR97 conf/podc/Pnueli97 conf/amast/MarcusP96 conf/cav/PnueliS96 conf/eef/KestenMP96 conf/charme/MalerP95 conf/hybrid/KestenMP95 conf/lics/KestenP95 conf/lics/KupfermanP95 conf/stacs/MalerPS95 journals/iandc/MalerP95 journals/tcs/AsarinMP95 conf/ftrtft/KapurHMP94 conf/ftrtft/Pnueli94 conf/hybrid/AsarinMP94 conf/lics/ChangMP94 conf/tacs/MannaP94 journals/iandc/HenzingerMP94 journals/tcs/PeledP94 conf/cav/MalerP93 conf/cav/KestenMMP93 conf/lics/PnueliZ93 conf/rex/KestenMP93 journals/acta/MannaP93 journals/iandc/PnueliZ93 conf/inria/MannaP92 conf/concur/Pnueli92 conf/fsttcs/Pnueli92 conf/ftrtft/KestenP92 conf/hybrid/KestenPSY92 conf/hybrid/MannaP92 conf/hybrid/HenzingerMP92 conf/icalp/ChangMP92 conf/icalp/HenzingerMP92 conf/colt/MalerP91 conf/lics/PeledKP91 conf/mfcs/MannaP91 conf/popl/KleinmanMPS91 conf/popl/HenzingerMP91 conf/rex/HenzingerMP91 conf/rex/MalerMP91 conf/tacs/PnueliS91 journals/tcs/MannaP91 conf/focs/MalerP90 conf/focs/PnueliR90 conf/icalp/PeledP90 conf/lics/HarelLP90 conf/podc/MannaP89 journals/tse/HarelLNPPSST90 conf/tls/1987 conf/aii/MalerP89 conf/icalp/MannaP89 conf/icalp/PnueliR89 conf/popl/PnueliR89 conf/concur/PnueliR88 conf/ftrtft/PnueliH88 conf/icse/HarelLNPPSS88 conf/rex/MannaP88 journals/cvgip/DoriP88 conf/lics/HarelPSS87 conf/podc/MannaP87 conf/popl/MannaP87 conf/stacs/KaplanP87 conf/tls/MannaP87 journals/tse/ShiPSP87 conf/ifip/Pnueli86 conf/lics/RosnerP86 conf/lics/PnueliZ86 conf/popl/BarringerKP86 books/sp/trends86/Pnueli86 journals/dc/PnueliZ86 conf/icalp/Pnueli85 conf/lop/LichtensteinPZ85 conf/lop/FrancezGKP85 conf/popl/LichtensteinP85 conf/acm/SzymanskiPLP84 conf/icalp/RonRP84 conf/podc/PnueliZ84 conf/popl/ShashaPE84 conf/stoc/BarringerKP84 journals/siamcomp/SharirPH84 journals/siamcomp/ShermanPH84 journals/scp/MannaP84 journals/tcs/FrancezLP84 journals/tcs/AptPS84 journals/tcs/CohenLP84 conf/icalp/CohenLP83 conf/icalp/MannaP83 conf/lop/KorenP83 conf/popl/MannaP83 conf/stoc/Pnueli83 conf/acs/Pnueli83 journals/toplas/HartSP83 journals/acta/Ben-AriPM83 journals/tse/PrywesP83 journals/jcss/HarelPS83 conf/popl/HartSP82 conf/popl/ShermanPH82 journals/jcss/Ben-AriHP82 conf/focs/HarelPS81 conf/icalp/Ben-AriHP81 conf/icalp/LehmannPS81 conf/icalp/PnueliZ81 conf/lop/HarelPS81 conf/lop/MannaP81 conf/popl/Ben-AriMP81 journals/siamcomp/PnueliS81 journals/tcs/Pnueli81 conf/focs/FrancezLP80 conf/popl/GabbayPSS80 conf/popl/MannaP80 conf/icalp/MannaP79 conf/scc/Pnueli79 journals/toplas/PrywesPS79 journals/acta/FrancezP78 conf/focs/Pnueli77 conf/icalp/PnueliS77 conf/stoc/HarelPS77 journals/acta/FrancezKP77 journals/tcs/OlshanskyP77 journals/acta/MannaP74 journals/jacm/AshcroftMP73 journals/jacm/EvenPL72 journals/jcss/CommonerHEP71 journals/jacm/MannaP70 conf/stoc/MannaP69

XML