| |
# of records = 125
homepages/p/DPeled conf/mochart/2008 conf/rv/2009 conf/cav/BasuBPS09 journals/tcs/NiebertP09 conf/dagstuhl/2007P7241 conf/vmcai/2008 conf/atva/KatzP08 conf/cav/NiebertPP08 conf/mochart/KatzP08 conf/tacas/KatzP08 reference/wiley/PeledPS08 journals/tcs/BensalemPQT08 conf/atva/ElkindGPS07 conf/hvc/BensalemPQTZ07 conf/icalp/BosnackiEGP07 conf/tacas/ElkindGP07 conf/dagstuhl/HuhnHP07a conf/dagstuhl/HuhnHP07 journals/ijfcs/PeledT07 conf/forte/ElkindGPQ06 conf/tacas/NiebertP06 journals/ijfcs/PeledQ06 journals/igpl/GrocePY06 conf/atva/2005 conf/fates/JurdzinskiPQ05 conf/fates/PeledQ05 conf/ifm/BensalemPQT05 conf/tacas/GenestKMP05 conf/vissas/Peled05 journals/entcs/PeledQ05 journals/fac/GunterP05 journals/fmsd/Peled05 journals/fmsd/AlurMP05 conf/cav/2004 conf/fossacs/GenestMMP04 conf/isola/BensalemPQT04 conf/forte/PeledQ03 conf/icalp/Peled03 conf/ac/GenestMP03 conf/dagstuhl/MuschollP03 conf/birthday/GunterP03 journals/sttt/GunterMP03 conf/forte/2002 conf/cav/GrocePY02 conf/spin/EisnerP02 conf/tacas/GrocePY02 conf/tacas/GunterP02 journals/entcs/Peled02 journals/entcs/GunterP02 journals/fmsd/KurshanLMPY02 journals/jalc/PeledVY02 conf/fm/SharyginaP01 conf/fsttcs/PeledPZ01 conf/icalp/MuschollP01 conf/spin/PeledZ01 conf/tacas/GunterMP01 journals/tocl/AlurETP01 journals/fmsd/PeledVK01 conf/cav/GunterKP00 conf/forte/Peled00 conf/icdcsw/Peled00 conf/pdpta/GunterP00 conf/sam/MuschollP00 journals/iandc/AlurMP00 conf/cav/1999 conf/charme/YenigunLPB99 conf/forte/PeledVY99 conf/icalp/AlurTEP99 conf/mfcs/MuschollP99 conf/pdpta/JhaP99 conf/tacas/GunterP99 journals/iandc/GerthKPP99 journals/ipl/AlurP99 journals/jar/ChouP99 journals/sttt/ClarkeGMP99 conf/cav/Peled98 conf/cav/AbdullaJKP98 conf/cav/Peled98a conf/fossacs/MuschollPS98 conf/icalp/AlurMP98 conf/tacas/KurshanLMPY98 journals/fuin/BhatP98 journals/tcs/PeledWW98 conf/cav/KokkarinenPV97 conf/concur/BhatP97 conf/forte/AbdullaKP97 conf/iccad/KurshanLMPY97 conf/tacas/EmersonJP97 conf/tapsoft/LevinP97 conf/tphol/Peled97 journals/ipl/PeledW97 journals/tcs/Peled97 conf/cav/HolzmannP96 conf/concur/PeledWW96 conf/issta/GodefroidPS96 conf/lics/AlurMP96 conf/mfcs/Peled96 conf/tacas/ChouP96 conf/tacas/AlurHP96 journals/csur/Peled96 journals/fmsd/Peled96 journals/tse/GodefroidPS96 journals/stp/AlurHP96 conf/istcs/GerthKPP95 conf/lics/AlurPP95 conf/pstv/GerthPVW95 conf/pstv/PeledP95 conf/caap/Peled94 conf/cav/Peled94 conf/forte/HolzmannP94 conf/ictl/KwiatkowskaPP94 journals/tcs/PeledP94 journals/tcs/PeledJ94 conf/cav/Peled93 conf/parle/PeledJ93 conf/concur/Peled92 journals/dc/KatzP92 journals/tcs/KatzP92 conf/lics/PeledKP91 conf/icalp/PeledP90 journals/tcs/KatzP90 conf/rex/KatzP88 conf/podc/KatzP87 conf/tls/KatzP87
Copyright © 2010-01-02 by Michael Ley (ley@uni-trier.de)