| |
# of records = 169
homepages/m/ZoharManna conf/birthday/SanchezSSM08 journals/fac/BradleyM08 journals/fac/SlaninaSM08 journals/fmsd/SankaranarayananSM08 conf/fase/SanchezSM07 conf/fmcad/BradleyM07 conf/ipps/SanchezSM07 conf/lfcs/MannaSZ07 conf/emsoft/SanchezSMG06 conf/hybrid/SankaranarayananSM06 conf/ictac/SlaninaSM06 conf/ictac/BradleyM06 conf/ipps/SanchezSMSG06 conf/opodis/SanchezSGM06 conf/vmcai/SankaranarayananCSM06 conf/vmcai/BradleyMS06 journals/iandc/ZhangSM06 conf/atva/BradleyM05 conf/cade/ZhangSM05 conf/calco/SanchezSSM05 conf/cav/BradleyMS05 conf/concur/BradleyMS05 conf/forte/SanchezSSGM05 conf/forte/SanchezSSM05 conf/fsttcs/ZhangSM05 conf/icalp/BradleyMS05 conf/time/DAngeloSSRFSMM05 conf/vmcai/BradleyMS05 conf/vmcai/SankaranarayananSM05 conf/hybrid/SankaranarayananSM04 conf/cade/ZhangSM04 conf/popl/SankaranarayananSM04 conf/sas/SankaranarayananSM04 conf/tphol/ZhangSM04 conf/emsoft/SanchezSSZDM03 conf/birthday/SankaranarayananSM03 conf/unu/MannaZ02 journals/tcs/BjornerMSU01 conf/icalp/MannaS00 journals/acta/KestenMP00 journals/fac/BrowneFMS00 journals/fmsd/BjornerBCFMSU00 conf/cav/MannaS99 conf/time/Manna99 journals/fmsd/SipmaUM99 conf/amast/MannaBSU98 conf/hybrid/MannaS98 conf/agp/Manna97 conf/arts/BjornerMSU97 conf/compos/FinkbeinerMS97 conf/rtse/MannaCFSU97 conf/stacs/AlfaroKM97 conf/tacas/AlfaroM97 journals/tcs/BjornerBM97 conf/asian/BrowneMS96 conf/cav/SipmaUM96 conf/cav/AlfaroM96 conf/cav/BjornerBCCKMSU96 conf/eef/KestenMP96 conf/amast/AlfaroM95 conf/cp/BjornerBM95 conf/fsttcs/BrowneMS95 conf/hybrid/KestenMP95 conf/tapsoft/MannaBBCCADKLSU95 conf/wocfai/MannaPW95 books/sp/cstoday95/AnuchitanukulMU95 conf/cav/AnuchitanukulM94 conf/cav/Manna94 conf/ftrtft/KapurHMP94 conf/ftrtft/SipmaM94 conf/ictl/McGuireMW94 conf/lics/ChangMP94 conf/tacs/MannaP94 journals/iandc/HenzingerMP94 conf/cav/KestenMMP93 conf/rex/KestenMP93 journals/acta/MannaP93 conf/inria/MannaP92 conf/cade/MannaW92 conf/hybrid/MannaP92 conf/hybrid/HenzingerMP92 conf/icalp/ChangMP92 conf/icalp/HenzingerMP92 journals/tse/MannaW92 conf/mfcs/MannaP91 conf/popl/HenzingerMP91 conf/rex/HenzingerMP91 conf/rex/MalerMP91 journals/tcs/MannaP91 conf/podc/MannaP89 journals/jacm/AbadiM90 conf/icalp/MannaP89 journals/jsc/AbadiM89 conf/rex/MannaP88 conf/aaai/MannaW87 conf/podc/MannaP87 conf/popl/MannaP87 conf/slp/AbadiM87 conf/tls/MannaP87 journals/jar/MannaW87 journals/scp/MannaW87 conf/cade/AbadiM86 conf/cade/MannaW86 conf/lics/AbadiM86 conf/lics/JonssonMW86 books/ph/deGrootL86/MalachiMW86 journals/software/MalachiMW86 journals/jacm/MannaW86 conf/fsttcs/MannaW85 conf/icalp/MannaW85 conf/ijcai/MannaW85 conf/lop/AbadiM85 conf/lfp/MalachiMW84 journals/toplas/MannaW84 journals/scp/MannaP84 conf/icalp/HalpernMM83 conf/icalp/MannaP83 conf/lop/MaszkowskiM83 conf/popl/MannaP83 journals/acta/Ben-AriPM83 conf/lop/MannaP81 conf/lop/MannaW81 conf/popl/Ben-AriMP81 journals/acta/MannaW81 journals/tse/DershowitzM81 journals/scp/Manna81 conf/ifip/Manna80 conf/popl/MannaP80 journals/toplas/MannaW80 conf/icalp/DershowitzM79 conf/icalp/MannaP79 journals/cacm/DershowitzM79 journals/tse/MannaW79 conf/icse/DershowitzM78 conf/icse/MannaW78 journals/cacm/MannaW78 journals/tse/MannaW78 journals/tcs/MannaS78 conf/ijcai/MannaW77 conf/popl/DershowitzM77 journals/cacm/MannaS77 journals/tse/DershowitzM77 conf/icse/MannaW76 journals/cacm/KatzM76 journals/cl/ChandraM76 journals/siamcomp/MannaS76 conf/ijcai/WaldingerM75 conf/stoc/MannaS75 journals/acta/KatzM75 journals/ai/MannaW75 journals/siamcomp/AshcroftM75 conf/ibm/Manna74 journals/acta/MannaP74 conf/ijcai/KatzM73 journals/cacm/MannaNV73 journals/jacm/AshcroftMP73 conf/icalp/MannaV72 conf/stoc/ChandraM72 journals/cacm/MannaV72 conf/ifip/AshcroftM71 journals/cacm/MannaW71 journals/jcss/Manna71 conf/stoc/Manna70 journals/ai/Manna70 journals/jacm/MannaP70 conf/stoc/MannaP69 journals/jacm/Manna69 journals/jcss/Manna69
Copyright © 2009-11-20 by Michael Ley (ley@uni-trier.de)