DBLP Keys for 'Alessandro Cimatti'

# of records = 90

homepages/13/5961 conf/cade/CimattiGS09 conf/cav/CimattiRT09 conf/sigsoft/BozzanoCRKNN09 conf/safecomp/BozzanoCKNNR09 journals/corr/abs-0904-4709 journals/corr/abs-0906-4492 conf/fmcad/2008 conf/cav/BruttomessoCFGS08 conf/fmics/CimattiRST08 conf/sefm/CimattiRST08 conf/tacas/CimattiGS08 conf/vmcai/CimattiRST08 journals/tcad/CimattiRT08 conf/atva/BozzanoCT07 conf/atva/RakamaricBHC07 conf/cav/CimattiRST07 conf/cav/BruttomessoCFGHNPS07 conf/fmcad/CavadaCFKRS07 conf/sat/CimattiGS07 conf/tacas/CimattiRT07 journals/ijfcs/BloemCPR07 conf/sfm/2006 conf/wia/BloemCPRS06 conf/dac/PillSCRBC06 conf/ecai/BertoliCP06 conf/fmcad/CimattiRST06 conf/aips/BertoliCP06 conf/lpar/BruttomessoCFGS06 conf/lpar/BruttomessoCFGSS06 conf/mochart/BertoliBC06 conf/sfm/CimattiS06 journals/ai/BertoliCRT06 journals/entcs/ArmandoC06 journals/entcs/BozzanoBCFHKPS06 journals/iandc/BozzanoBCJRRS06 conf/cade/BozzanoBCJRSS05 conf/cav/BozzanoBCJRRS05 conf/tacas/BozzanoBCJRSS05 journals/entcs/AudemardBCS05 journals/jar/BozzanoBCJRSS05 conf/ecai/RoelofsenSC04 conf/ecai/BertoliCT04 conf/fmcad/CimattiRS04 journals/ai/CimattiRB04 conf/aips/BertoliCPT03 conf/ijcai/CimattiPC03 conf/tacas/BenedettiC03 journals/ac/BiereCCSZ03 journals/ai/CimattiPRT03 conf/aips/BertoliC02 conf/aisc/AudemardBCKS02 conf/aose/BenerecettiC02 conf/cade/AudemardBCKS02 conf/cav/CimattiCGGPRST02 conf/ecai/BertoliCST02 conf/forte/AudemardCKS02 conf/frocos/CimattiGPRST02 conf/vmcai/CimattiPRS02 conf/ijcai/BertoliCR01 conf/ijcai/BertoliCRT01 conf/tacas/CimattiRB01 conf/movep/Cimatti00 journals/jair/CimattiR00 journals/sttt/CimattiCGR00 journals/scp/Hartonas-GarmhausenCCCG00 conf/cav/CimattiCGR99 conf/dac/BiereCCFZ99 conf/ecp/CimattiR99 conf/safecomp/ChiappiniCPRSTV99 conf/tacas/BiereCCZ99 conf/fm/CimattiPSTV99 journals/entcs/CimattiG99 conf/aaai/CimattiRT98 conf/aips/CimattiRT98 conf/ftcs/Hartonas-GarmhausenCCCG98 conf/safecomp/BertoliCGT98 conf/safecomp/CimattiGMRTT98 journals/ci/CimattiGW98 journals/fac/CimattiGMRTT98 conf/cav/CimattiGPPPRTY97 conf/ecp/CimattiGGT97 conf/atal/BenerecettiCGGS97 conf/fapr/CimattiS96 conf/icmas/CimattiS95 conf/ecaiw/CimattiS94 conf/lopstr/GiunchigliaC94 journals/aai/TraversoCSAG94 conf/aiia/ArmandoCV93 conf/ecai/TraversoCS92

XML