DBLP Keys for 'Fabio Somenzi'

# of records = 137

homepages/62/5300 conf/dac/NanshiS09 conf/sat/KimSJ09 conf/sat/HanS09 conf/cav/KimJRSPKS08 conf/date/NanshiS08 conf/vmcai/SohailSR08 conf/dac/HanS07 journals/entcs/BloemRS07 journals/jsat/KimJS07 conf/dac/AwedhS06 conf/dac/NanshiS06 conf/date/JinS06 conf/fmcad/KimS06 conf/iccad/WardS06 conf/tacas/LiS06 journals/entcs/AwedhS06 journals/fmsd/BloemGS06 journals/fmsd/WangBHRS06 journals/tcad/WangLJHS06 conf/charme/WardS05 conf/dac/JinS05 conf/tacas/JinHS05 journals/entcs/JinS05 journals/sttt/LiWS05 conf/cav/JinAS04 conf/cav/AwedhS04 conf/dac/WangJHS04 conf/fmcad/AwedhS04 conf/iccad/LiS04 conf/iccd/WangHS04 conf/sat/JinS04 conf/sat/JinS04a conf/tacas/RaviS04 journals/sttt/JinRS04 conf/cav/2003 conf/charme/Somenzi03 conf/charme/GurumurthyKSV03 conf/dac/JayakumarPS03 conf/dac/GuptaRSBBFPOS03 conf/iccad/WangHS03 conf/iccad/WangLJHS03 journals/entcs/LiWS03 conf/cav/PurandareS02 conf/cav/GurumurthyBS02 conf/fmcad/SomenziRB02 conf/tacas/JinKS02 conf/tacas/JinRS02 conf/concur/WangBHRS01 journals/tcad/DrechslerGS01 journals/sttt/Somenzi01 conf/cav/SomenziB00 conf/dac/MoonKRS00 conf/dac/BloemRS00 conf/dac/CabodiQS00 conf/date/KumthekarS00 conf/fmcad/RaviBS00 conf/fmcad/BloemGS00 conf/fmcad/MoonHS00 journals/tcad/BreuerSS00 journals/tcad/MeinelST00 conf/cav/BloemRS99 conf/charme/RaviS99 conf/date/RanjanSSB99 conf/iccad/MoonKSS99 conf/iccad/HiguchiS99 conf/iccd/RaviS99 journals/entcs/Somenzi99 conf/aspdac/MeinelST98 conf/dac/RaviMSS98 conf/dac/KumthekarBMS98 conf/fmcad/YangBOBCJRS98 conf/iccad/FerrandiMMPSS98 conf/iccad/MoonJHSYP98 conf/iccad/RanjanSSB98 journals/tcad/MaciiPS98 conf/dac/ManneGS97 conf/dac/MeinelST97 conf/dac/MaciiPS97 conf/islped/KumthekarMS97 journals/fmsd/BaharFGHMPS97 journals/fmsd/HachtelS97 journals/fmsd/MinatoS97 journals/tcad/BaharCHMS97 journals/tcad/MaciiPS97 tr/trier/MI97-14 conf/cav/BraytonHSSACEKKPQRSSSV96 conf/fmcad/BraytonHSSACEKKPQRSSSV96 conf/fmcad/RaviPHS96 conf/iccad/LeePJHS96 conf/islped/BaharBHMSS96 journals/tcad/ChoHMPS96 journals/tcad/ChoHMPS96a journals/tcad/HachtelMPS96 tr/trier/MI96-42 conf/dac/MannePBHSMP95 conf/iccad/RaviS95 conf/iccad/BaharS95 conf/iccad/PandaS95 conf/islped/PardoBMFHS95 conf/dac/HachtelMPS94 conf/eurodac/ChoHMPS94 conf/eurodac/HachtelMPS94 conf/eurodac/BaharCHMS94 conf/iccad/BaharHMS94 conf/iccad/PandaSP94 conf/iccad/HachtelRPPS94 conf/iccd/ChoHMPS94 journals/fmsd/PlessierHS94 journals/tcad/RhoHSJ94 journals/tcad/RhoS94 conf/cav/RhoS93 conf/dac/ChoHMPS93 conf/dac/RhoSP93 conf/iccad/BaharFGHMPS93 conf/iccad/HachtelS93 journals/tcad/ChoHS93 journals/et/ChoJSP93 conf/dac/RhoS92 conf/iccad/MaciiPS92 conf/iccad/JeongS92 conf/iccd/RhoS92 conf/iccad/RhoHS91 conf/iccad/JeongPHS91 conf/iccad/JeongPHS91a conf/iccd/ChoHS91 conf/itc/ChoHS91 journals/et/FavalliORS91 conf/eurodac/PipponziS90 conf/iccad/ChoHJPSS90 conf/iccad/LinS90 conf/dac/GaiMS88 journals/tcad/GaiMS88 journals/tcad/GaiSS87 journals/tcad/GaiSU87 journals/tc/SomenziGMP85 journals/tcad/SomenziGMP84

XML