dblp keys for Alexandra Silva 0001

Alexandra Silva 0001

Keys

# of data records = 86

homepages/92/1378-1 journals/fuin/JeanninKS17a journals/jlp/KozenMS17 conf/popl/SmolkaKFK017 conf/popl/MoermanS0KS17 conf/forte/2017 journals/corr/HeerdtS017 journals/corr/KappeBL0Z17 journals/corr/HeerdtS017a journals/corr/EndrullisHHP017 journals/corr/Beohar0K017 journals/corr/Bonchi0S17 journals/corr/SmolkaKKFK017 journals/jlp/BarbosaCS16 journals/mscs/BonchiBCR016 journals/siglog/000116 conf/birthday/KrebbersPS16 conf/csl/Silva16 conf/esop/FosterKMR016 journals/corr/SmolkaKFK016 journals/corr/MoermanS0KS16 journals/corr/Beohar0KS16 journals/jcss/Jacobs0S15 journals/jisis/OliveiraSB15 journals/scp/CarboneL0S15 journals/siglog/000115 journals/tcs/BonchiM0Z15 conf/RelMiCS/KozenM015 conf/concur/000115 conf/icalp/KozenMP015 conf/popl/FosterKM0T15 conf/rta/EndrullisHHP015 journals/corr/EndrullisHHP015 journals/entcs/Jacobs0S14 journals/scp/MoonSKA14 journals/tocl/BonchiBHPRS14 conf/birthday/JacobsS14 conf/birthday/JacobsS14a conf/cmcs/BonchiM0Z14 conf/ifipTCS/GoncharovM014 conf/sac/OliveiraSB14 journals/corr/GoncharovMS14 journals/corr/BonchiMSZ14 journals/corr/abs-1302-1046 journals/eatcs/SilvaS13 journals/scp/BonsangueCGLRS13 journals/tamm/KozenS13 journals/tocl/BonsangueMS13 conf/aplas/BonchiCPS13 conf/calco/SilvaW13 conf/esop/JeanninKS13 journals/corr/abs-1303-1994 journals/corr/EndrullisHHPS13 journals/cuza/BliudzeBCS12 journals/cuza/Silva12 journals/entcs/BonchiBCRS12 journals/iandc/BonchiBBRS12 journals/scp/BonsangueCS12 conf/RelMiCS/KozenS12 conf/birthday/BonchiBRS12 conf/cmcs/JacobsSS12 conf/fossacs/AdamekBHKMS12 conf/birthday/2012kozen journals/corr/abs-1212-3458 journals/cuza/MokhtarBBST11 journals/entcs/SilvaS11 journals/iandc/SilvaBBR11 journals/tcs/JacobsNRS11 conf/fsen/Silva11 journals/corr/abs-1108-0144 journals/corr/abs-1104-2803 journals/corr/abs-1007-3769 journals/entcs/JacobsNRS10 journals/iandc/SilvaR10 conf/fsttcs/SilvaBBR10 conf/sbmf/BonsangueCGLRS10 journals/corr/abs-1007-5094 journals/corr/abs-1010-5308 conf/concur/BonchiBRS09 conf/coordination/BonsangueCS09 conf/fossacs/BonsangueRS09 conf/lics/BonsangueRS09 conf/amast/BarbosaOS08 conf/fossacs/BonsangueRS08 conf/wollic/SilvaR07 conf/haskell/SilvaV06