dblp keys for Luca Cardelli

Luca Cardelli

Keys

# of data records = 235

homepages/c/LucaCardelli journals/jlap/CardelliSTTV23 journals/tac/CardelliGLTTV23 journals/csysl/AlexisCP22 journals/jmlr/PataneBLC0K22 journals/tac/WhitbyCKLTT22 journals/bioinformatics/CardelliPTTVW21 journals/computation/CardelliKL21 journals/tac/LaurentiLACK21 conf/qest/CardelliGLTTV21 conf/splash/Cardelli21 journals/corr/abs-2101-03342 journals/corr/abs-2104-03180 journals/corr/abs-2105-15039 journals/nc/CardelliTT20 journals/ploscb/BoemoCN20 conf/aistats/BlaasPLCKR20 conf/cdc/PolymenakosLPCC20 conf/cmsb/Cardelli20 conf/icra/MichelmoreWLCGK20 conf/ifdad/TalmonSSCO20 journals/corr/abs-2005-06261 journals/corr/abs-2005-08097 journals/tcs/CardelliTTV19 journals/tcs/CardelliTTV19a journals/tocl/BortolussiCKL19 conf/aaai/CardelliKLP19 conf/cdc/WhitbyCKLTT19 conf/hybrid/CauchiLLAKC19 conf/ijcai/CardelliKLPPW19 journals/corr/abs-1901-01576 journals/corr/abs-1903-01980 journals/corr/abs-1903-10390 journals/corr/abs-1905-11876 journals/corr/abs-1909-09884 journals/corr/abs-1912-00071 journals/bmcsb/Hernansaiz-Ballesteros18 journals/nc/CardelliKW18 journals/nc/CardelliKL18 journals/nc/DalchauSHBCPC18 conf/cmsb/AbateCKLY18 conf/qest/CardelliTTV18 journals/corr/abs-1804-08744 journals/corr/abs-1807-06888 journals/corr/abs-1809-06452 journals/corr/abs-1812-03308 journals/ploscb/CardelliHDC17 journals/pnas/CardelliTTV17 conf/birthday/CardelliTTV17 conf/cav/CardelliCFKLPW17 conf/hybrid/LaurentiABCCK17 conf/tacas/CardelliTTV17 journals/corr/CardelliTTV17 journals/corr/abs-1710-08016 journals/biosystems/CardelliKL16 conf/cmsb/CardelliKL16 conf/dna/CardelliKL16 conf/dna/CardelliKW16 conf/lics/CardelliTTV16 conf/popl/CardelliTTV16 conf/qest/BortolussiCKL16 conf/tacas/CardelliTTV16 journals/corr/CardelliKL16 journals/bioinformatics/Kahramanogullari15 conf/cmsb/CardelliKL15 conf/concur/CardelliTTV15 conf/dna/BoemoTC15 journals/corr/LaurentiCK15 journals/corr/CardelliTTV15 journals/bmcbi/SpiroCS14 journals/bmcsb/Cardelli14 journals/fuin/CardelliM14 journals/ijsi/Kahramanogullari13 journals/mscs/Cardelli13 journals/nc/CardelliS13 journals/ploscb/KothamachuFWCS13 conf/ictac/CardelliM13 journals/corr/abs-1211-5190 journals/tcs/CardelliG12 journals/cuza/CardelliL11 journals/nc/Cardelli11 journals/ploscb/DalchauPGHCEEW11 conf/cmsb/CardelliL11 conf/csl/CardelliLM11 conf/icalp/CardelliLM11 conf/dna/2011 journals/corr/abs-1108-3419 journals/corr/abs-1109-4817 journals/mscs/CardelliZ10 conf/cie/CardelliG10 conf/qest/CardelliM10 conf/uc/Cardelli10 journals/corr/abs-1006-2993 conf/dagstuhl/2010P10271 conf/dagstuhl/BeckerCHT10 journals/bmcsb/WangCPPF09 journals/tcs/CardelliCGKP09 conf/birthday/Cardelli09 conf/dna/Cardelli09 journals/corr/abs-0911-2327 books/ms/4paradigm2009/CardelliP09 journals/tcs/Cardelli08 journals/tcs/Cardelli08a conf/ab/CardelliZ08 conf/concur/ZavattaroC08 conf/csl/Cardelli08 conf/ifipTCS/Cardelli08 conf/wadt/Cardelli08 journals/entcs/CardelliCGKP09 journals/eatcs/Cardelli07 conf/cmsb/PhillipsC07 conf/ecoop/Cardelli07 conf/qest/Cardelli07 journals/entcs/CardelliFW07 journals/entcs/CardelliGK08 journals/entcs/CardelliGG07 conf/birthday/2007plotkin journals/ijfcs/CardelliP06 journals/tcsb/BlosseyCP06 journals/tcsb/PhillipsCC06 journals/tcsb/2006-4 journals/iandc/CardelliGG05 journals/jfp/CalcagnoCG05 journals/tcsb/Cardelli05 conf/concur/Cardelli05 conf/icse/Cardelli05 conf/ictcs/Cardelli05 journals/mscs/CardelliG04 journals/tcs/CairesC04 journals/tcs/RegevPSCS04 journals/toplas/BentonCF04 conf/cmsb/Cardelli04 conf/icalp/FrischC04 journals/iandc/CairesC03 journals/mscs/GordonC03 conf/fossacs/CardelliGG03 conf/tldi/CalcagnoCG03 conf/ecoop/2003 journals/iandc/CardelliGG02 conf/concur/CairesC02 conf/ecoop/BentonCF02 conf/icalp/CardelliGG02 journals/sigmod/Cardelli01 conf/esop/CardelliG01 conf/icdt/Cardelli01 conf/sebd/CardelliG01 conf/tacs/CairesC01 conf/tlca/CardelliG01 journals/tcs/CardelliG00 conf/concur/CardelliGG00 conf/ifipTCS/CardelliGG00 conf/jisbd/Cardelli00 conf/popl/CardelliG00 journals/entcs/CardelliGG00 journals/iandc/BruceCP99 journals/tse/CardelliD99 conf/dbpl/Cardelli99 conf/ecoopw/Cardelli99 conf/fmoods/Cardelli99 conf/fossacs/GordonC99 conf/icalp/Cardelli99 conf/icalp/CardelliGG99 conf/popl/CardelliG99 conf/iccl/1998w conf/fossacs/CardelliG98 conf/ma/Cardelli98 conf/popl/1998 journals/sigplan/Cardelli97 conf/dsl/CardelliD97 conf/popl/Cardelli97 conf/tacs/BruceCP97 journals/entcs/CardelliG97 books/crc/tucker97/Cardelli97 books/daglib/0084624 journals/csur/Cardelli96 journals/csur/Cardelli96a journals/csur/Cardelli96b journals/iandc/AbadiC96 journals/toplas/AbadiC96 conf/mos/Cardelli96 conf/mos/BharatC96 conf/popl/AbadiCV96 journals/csys/Cardelli95 journals/jfp/AbadiCPR95 journals/scp/AbadiC95 journals/tapos/AbadiC95 journals/tapos/BruceCCESTLP95 conf/ecoop/AbadiC95 conf/popl/Cardelli95 conf/tapsoft/AbadiC95 conf/uist/BharatC95 journals/iandc/CardelliMMS94 conf/esop/AbadiC94 conf/lics/PlotkinAC94 conf/lics/AbadiC94 conf/tacs/AbadiC94 journals/tcs/AbadiCC93 journals/toplas/AmadioC93 conf/dbpl/CardelliMA93 conf/popl/AbadiCC93 journals/sigplan/CardelliDGJKN92 journals/jfp/AbadiCCL91 journals/jfp/CardelliL91 journals/mscs/CardelliM91 journals/toplas/AbadiCPP91 conf/dbpl/Cardelli91 conf/popl/AmadioC91 conf/tacs/CardelliMMS91 conf/ifip2/CardelliL90 conf/lfp/CardelliL90 conf/popl/AbadiCCL90 conf/ctcs/CardelliM89 conf/ifip2/Cardelli89 conf/mfps/CardelliM89 conf/popl/CardelliDJKN89 conf/popl/AbadiCPP89 journals/iandc/Cardelli88 conf/edbt/Cardelli88 conf/popl/Cardelli88 conf/uist/Cardelli88 journals/scp/Cardelli87 conf/flfp/Cardelli86 journals/csur/CardelliW85 journals/tods/AlbanoCO85 conf/db-workshops/CardelliM85 conf/litp/Cardelli85 conf/litp/Cardelli85a conf/siggraph/CardelliP85 conf/pos/CardelliM85 conf/concur/Cardelli84 conf/lfp/Cardelli84 conf/sdt/Cardelli84 conf/ecics/Cardelli82 conf/icalp/Cardelli82 conf/mfcs/Cardelli80

a service of  Schloss Dagstuhl - Leibniz Center for Informatics