| |
# of records = 119
homepages/g/OrnaGrumberg conf/birthday/2009francez conf/atva/Grumberg09 conf/atva/MellerGS09 conf/birthday/YadgarGS09 journals/sttt/HuthG09 conf/spin/5000 conf/cav/JainCG08 conf/tacas/ChocklerGY08 journals/iandc/ShohamG08 conf/tacas/2007 conf/atva/OshmanG07 conf/atva/GrumbergSY07 conf/sas/ShohamG07 journals/tocl/ShohamG07 journals/iandc/GrumbergLLS07 journals/ijfcs/FixGHHS07 journals/sttt/GrumbergK07 conf/cav/TzorefG06 conf/lics/ShohamG06 journals/fmsd/GrumbergHS06 conf/atva/FixGHHS05 conf/atva/ShohamG05 conf/cav/RabinovitzG05 conf/charme/GrumbergHIS05 conf/charme/BustanFGKV05 conf/fmco/Grumberg05 conf/ifm/ChakiCGOSTV05 conf/popl/GrumbergLST05 conf/vmcai/GrumbergLLS05 journals/fmsd/GrumbergHS05 journals/fmsd/BarnerG05 journals/sttt/BrimG05 conf/fmcad/GrumbergSY04 conf/tacas/ShohamG04 journals/fmsd/YoravG04 journals/iandc/BustanG04 journals/sttt/CamposGYF04 conf/cav/ClarkeGTW03 conf/cav/ShohamG03 conf/cav/ArmoniFFGPTV03 conf/cav/GrumbergHS03 conf/memocode/ClarkeGTW03 journals/tocl/BustanG03 journals/entcs/BrimG03 journals/jacm/ClarkeGJLV03 journals/jair/GrumbergLM03 journals/sttt/Ben-DavidGHS03 conf/cav/BarnerG02 conf/ifm/KatzG02 conf/ifm/KorenblatGK02 conf/tacas/BustanG02 journals/entcs/Grumberg02 journals/entcs/BrimG02 journals/fmsd/HeymanGGS02 journals/jlp/YoravG02 conf/cav/GrumbergHS01 conf/dagstuhl/ClarkeGJLV01 journals/fmsd/Grumberg01 journals/logcom/GrumbergK01 conf/cade/BustanG00 conf/cav/ClarkeGJLV00 conf/cav/HeymanGGS00 conf/fmcad/Ben-DavidHGS00 journals/fmsd/CamposCG00 conf/charme/KatzGG99 journals/entcs/CimattiG99 journals/sttt/ClarkeGMP99 conf/fsttcs/BohnDGHL98 conf/tacas/LasterG98 conf/cav/1997 journals/toplas/DamsGG97 journals/toplas/ClarkeGJ97 journals/fmsd/ClarkeGH97 conf/cav/CamposG96 conf/nato/ClarkeGL96 journals/iandc/KupfermanG96 journals/logcom/FixG96 journals/logcom/KupfermanG96 conf/charme/HungarGD95 conf/concur/ClarkeGJ95 conf/dac/ClarkeGMZ95 conf/lics/BhatCG95 journals/fmsd/ClarkeGHJLMN95 conf/cav/ClarkeGH94 conf/ictl/GrumbergK94 conf/ictl/BernholtzG94 journals/toplas/GrumbergL94 journals/toplas/ClarkeGL94 journals/tcs/FixFG94 conf/cav/DamsGG93 conf/chdl/ClarkeGHJLMN93 conf/concur/BernholtzG93 conf/rex/ClarkeGL93 journals/dc/AttieFG93 journals/fmsd/De-LeonG93 conf/cav/De-LeonG92 conf/icalp/FixFG92 conf/popl/ClarkeGL92 journals/logcom/ClarkeGK92 conf/concur/GrumbergL91 conf/icalp/FixFG91 conf/cav/ShurekG90 conf/popl/AttieFG90 conf/avmfss/ShtadlerG89 conf/ershov/ClarkeGK89 journals/iandc/ClarkeGB89 journals/iandc/RinatFG88 journals/tcs/BrowneCG88 conf/podc/ClarkeG87 conf/tapsoft/BrowneCG87 conf/tls/ClarkeG87 conf/caap/RinatFG86 conf/podc/ClarkeGB86 journals/jcss/GrumbergFK86 conf/lop/FrancezGKP85 journals/iandc/GrumbergFR85 conf/podc/GrumbergFK84 conf/lop/GrumbergFK83
Copyright © 2009-11-20 by Michael Ley (ley@uni-trier.de)