dblp keys for Radhia Cousot

Radhia Cousot

Keys

# of data records = 67

homepages/c/RCousot journals/ftpl/BertraneCCFMMR15 conf/csl/CousotC14 conf/popl/CousotC14 conf/fase/TrippPCCG13 conf/vmcai/CousotCFL13 conf/popl/2013 journals/jacm/CousotCM12 conf/oopsla/LogozzoBFCC12 conf/oopsla/CousotCLB12 conf/popl/CousotC12 journals/sigsoft/BertraneCCFMMR11 journals/tcs/CousotC11 conf/fossacs/CousotCM11 conf/popl/CousotCL11 conf/vmcai/CousotCL11 conf/birthday/CousotCM10a conf/birthday/CousotCM10 series/natosec/CousotC10 conf/sas/2010 journals/fmsd/CousotCFMMR09 journals/iandc/CousotC09 journals/stt/KastnerFWNHCCFMMRS09 journals/tcs/CousotCG09 conf/vmcai/Cousot08 conf/tase/CousotCFMMMR07 journals/entcs/CousotC07 journals/corr/abs-cs-0701193 conf/asian/CousotCFMMMR06 conf/birthday/CousotC06 journals/scp/Cousot05 conf/esop/CousotCFMMMR05 conf/vmcai/2005 conf/ifip/CousotC04 conf/popl/CousotC04 journals/tcs/CousotC03 conf/pldi/BlanchetCCFMMMR03 conf/sas/2003 conf/birthday/BlanchetCCFMMMR02 conf/cav/CousotC02 conf/cc/CousotC02 conf/popl/CousotC02 conf/emsoft/CousotC01 journals/entcs/CousotC01 conf/popl/CousotC00 journals/ase/CousotC99 conf/amast/CousotC97 conf/sas/1996 conf/cav/CousotC95 conf/fpca/CousotC95 conf/iccl/CousotC94 journals/tcs/CousotC93 conf/ershov/CousotC93 journals/jlp/CousotC92 journals/logcom/CousotC92 conf/plilp/CousotC92 conf/popl/CousotC92 conf/sas/CousotC91 conf/sas/CousotC91a journals/iandc/CousotC89 journals/acta/CousotC87 conf/icalp/CousotC80 conf/popl/CousotC79 conf/ifip2/CousotC77 conf/ldrs/CousotC77 conf/popl/CousotC77 journals/sigart/CousotC77

a service of  Schloss Dagstuhl - Leibniz Center for Informatics