dblp keys for Henny B. Sipma

Henny B. Sipma
Henny Sipma

Keys

# of data records = 65

homepages/s/HennyBSipma journals/fac/SlaninaSM08 journals/fmsd/SankaranarayananSM08 conf/birthday/SanchezSSM08 conf/fase/SanchezSM07 conf/ipps/SanchezSM07 conf/lfcs/MannaSZ07 journals/iandc/ZhangSM06 conf/emsoft/SanchezSMG06 conf/emsoft/SubramonianGSS06 conf/hybrid/SankaranarayananSM06 conf/ictac/SlaninaSM06 conf/ipps/SanchezSMSG06 conf/opodis/SanchezSGM06 conf/vmcai/SankaranarayananCSM06 conf/vmcai/BradleyMS06 conf/rv/2005 journals/fmsd/FinkbeinerSS05 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/SankaranarayananSM05 conf/vmcai/BradleyMS05 journals/entcs/BarringerFGS06 journals/fmsd/FinkbeinerS04 conf/cade/ZhangSM04 conf/hybrid/SankaranarayananSM04 conf/popl/SankaranarayananSM04 conf/sas/SankaranarayananSM04 conf/tphol/ZhangSM04 conf/birthday/SankaranarayananSM03 conf/cav/ColonSS03 conf/emsoft/SanchezSSZDM03 conf/amcc/BayenGSMT02 conf/cav/ColonS02 journals/entcs/FinkbeinerSS02 journals/tcs/BjornerMSU01 conf/tacas/ColonS01 journals/entcs/FinkbeinerS01 journals/fac/BrowneFMS00 journals/fmsd/BjornerBCFMSU00 conf/icalp/MannaS00 conf/spin/BrowneSZ00 phd/us/Sipma99 journals/fmsd/SipmaUM99 conf/cav/MannaS99 conf/amast/MannaBSU98 conf/hybrid/MannaS98 conf/tssdv/MannaBBCFPSU98 conf/arts/BjornerMSU97 conf/compos/FinkbeinerMS97 conf/rtse/MannaCFSU97 conf/tacas/AlfaroM97 conf/asian/BrowneMS96 conf/cav/SipmaUM96 conf/cav/BjornerBCCKMSU96 conf/fsttcs/BrowneMS95 conf/tapsoft/MannaBBCCADKLSU95 conf/ftrtft/SipmaM94

a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.