dblp keys for Alexandra Silva 0001

Alexandra Silva 0001

Keys

# of data records = 206

homepages/92/1378-1 conf/csl/2024 journals/corr/abs-2401-05842 journals/cacm/RuppelLGRSR23 journals/darts/MoellerWSKF023 journals/pacmpl/ZilbersteinDS23 conf/calco/Zetzsche0S23 conf/ecoop/MoellerWSKF023 conf/esop/SchmidKS23 conf/icalp/RozowskiKKS023 conf/lics/Dahlqvist0S23 conf/qest/VoogdJSSW23 journals/corr/abs-2309-06913 journals/corr/abs-2310-01003 journals/corr/abs-2301-10812 journals/corr/abs-2301-11301 journals/corr/abs-2303-03111 journals/corr/abs-2303-14916 journals/corr/abs-2304-13504 journals/corr/abs-2305-01755 journals/corr/abs-2305-04842 journals/corr/abs-2307-09951 journals/corr/abs-2308-14781 journals/corr/abs-2310-08779 journals/jlap/BickfordKS22 conf/birthday/FerreiraHS22 conf/cmcs/HeerdtKRSS22 conf/esop/WagemakerFKKRS22 conf/icalp/SchmidR0R22 journals/corr/abs-2204-14153 conf/mfcs/2022 journals/corr/abs-2201-02577 journals/corr/abs-2201-10485 journals/corr/abs-2202-06901 journals/corr/abs-2208-04738 journals/corr/abs-2209-00122 journals/jlap/AlbertGIRSS21 journals/lmcs/BonchiSS21 journals/lmcs/KappeBLSZ21 journals/pacmpl/GiannarakisSW21 conf/fossacs/HeerdtKR021 conf/icalp/SchmidKK021 conf/lics/BaoDH021 conf/sigcomm/FerreiraBD021 journals/corr/abs-2106-08074 journals/corr/abs-2104-13421 conf/calco/2021 conf/cav/2021-1 conf/cav/2021-2 conf/wollic/2021 journals/corr/abs-2102-07504 journals/corr/abs-2102-08286 journals/eatcs/AlbersBMMNNPSS20 journals/pacmpl/SmolkaFHKKS20 journals/scp/BeoharKKS20 journals/tcs/KozenS20 journals/tocl/GoncharovMS20 conf/cmcs/HeerdtS020 conf/concur/AcetoBBH020 conf/concur/WagemakerBDKR020 conf/fossacs/KappeB0WZ20 conf/fossacs/HeerdtKR020 conf/lpar/Silva20 conf/mfcs/ParlantR0W20 conf/mfps/GuSZ20 journals/corr/abs-2001-05786 journals/corr/abs-2001-06348 journals/corr/abs-2001-10022 journals/corr/abs-2002-09682 journals/corr/abs-2005-11551 journals/corr/abs-2007-07593 journals/corr/abs-2008-09231 journals/corr/abs-2010-10223 journals/igpl/KennedyQSS19 journals/jlp/KappeBLSZ19 journals/jlp/HeerdtMSS19 conf/calco/HeerdtKRS019 conf/cav/DAntoniFS019 conf/concur/KappeBRSWZ19 conf/fsttcs/000119 conf/icalp/Brunet019 conf/mfcs/Silva19 conf/mpc/WagemakerBKR019 conf/pldi/SmolkaKKFHK019 conf/tbillc/2017 journals/corr/abs-1904-08096 journals/corr/abs-1904-08802 journals/corr/abs-1905-05519 journals/corr/abs-1905-08554 journals/corr/abs-1907-05920 journals/corr/abs-1911-04404 journals/lmcs/Beohar0K0W18 journals/lmcs/EndrullisHHP018 conf/birthday/HeerdtJK018 conf/esop/KappeB0Z18 conf/fm/AlbertGRS018 conf/icalp/0001BH018 conf/ictac/DahlqvistP018 conf/ictac/HeerdtHO018 journals/entcs/000118 journals/entcs/DahlqvistSDG18 conf/mfps/2017 journals/corr/abs-1802-06283 journals/corr/abs-1803-02651 journals/corr/abs-1805-11550 journals/corr/abs-1807-02102 journals/corr/abs-1811-06968 journals/corr/abs-1811-10401 journals/corr/abs-1812-03058 journals/fuin/JeanninKS17a journals/jlp/KozenMS17 journals/mscs/JeanninKS17 journals/mscs/KozenS17 journals/mscs/RotBBPRS17 conf/concur/Bonchi0S17 conf/concur/KappeBL0Z17 conf/csl/HeerdtS017 conf/popl/SmolkaKFK017 conf/popl/MoermanS0KS17 conf/rta/Silva17 conf/tase/BeoharKK017 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/corr/abs-1710-02787 journals/corr/abs-1712-01113 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/scp/MoonSKA14 journals/tocl/BonchiBHPRS14 conf/birthday/JacobsS14 conf/birthday/JacobsS14a conf/cmcs/BonchiM0Z14 conf/ifipTCS/GoncharovM014 conf/sac/OliveiraSB14 journals/entcs/Jacobs0S14 conf/mfps/2014 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/iandc/BonchiBBRS12 journals/scp/BonsangueCS12 conf/RelMiCS/KozenS12 conf/birthday/BonchiBRS12 conf/cmcs/JacobsSS12 conf/fossacs/AdamekBHKMS12 journals/entcs/BonchiBCRS12 conf/birthday/2012kozen journals/corr/abs-1212-3458 journals/cuza/MokhtarBBST11 journals/iandc/SilvaBBR11 journals/tcs/JacobsNRS11 conf/fsen/Silva11 journals/entcs/SilvaS11 journals/corr/abs-1108-0144 journals/corr/abs-1104-2803 journals/corr/abs-1007-3769 journals/iandc/SilvaR10 conf/fsttcs/SilvaBBR10 conf/sbmf/BonsangueCGLRS10 journals/corr/abs-1007-5094 journals/entcs/JacobsNRS10 conf/cmcs/2010 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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics