dblp keys for Bas Spitters

Bas Spitters

Keys

# of data records = 83

homepages/52/1626 conf/cpp/HaselwarterHHWH24 journals/toplas/HaselwarterRMWASHMS23 conf/ccs/AranhaHST23 conf/cpp/NielsenAS23 conf/csfw/HvassAS23 journals/iacr/HaselwarterHHWHS23 journals/iacr/AranhaHST23 journals/jfp/AnnenkovMNS22 conf/cav/cNAS22 journals/corr/abs-2203-08016 journals/corr/abs-2208-00758 journals/mscs/BidlingmaierFS21 conf/cpp/AnnenkovMNS21 conf/csfw/AbateHRMWHMS21 conf/csfw/SidorencoOS21 conf/csfw/ThomsenS21 journals/corr/abs-2108-02995 journals/iacr/AbateHRMWHMS21 journals/iacr/SidorencoOS21 journals/iacr/HvassAS21 journals/lmcs/RijkeSS19 journals/mscs/BirkedalCMMPS20 conf/cpp/AnnenkovNS20 journals/corr/abs-2007-12105 journals/corr/abs-2012-09138 journals/iacr/ThomsenS20 journals/jar/BirkedalBCGSV19 conf/fm/NielsenS19 journals/corr/abs-1907-10674 journals/corr/abs-1911-04732 journals/corr/abs-1912-07339 conf/csfw/HaaghKOSS18 conf/rta/LicataOPS18 journals/corr/abs-1801-07664 journals/corr/abs-1804-05236 journals/corr/abs-1806-07197 journals/corr/abs-1806-07966 journals/corr/abs-1809-08646 journals/iacr/HaaghKOSS18 conf/cpp/BauerGLSSS17 journals/corr/RijkeSS17 conf/csl/BirkedalBCGSV16 journals/corr/BirkedalBCGSV16 journals/corr/BauerGLSSS16 journals/corr/Spitters16 journals/corr/BirkedalBCGSV16a journals/mscs/RijkeS15 conf/itp/MakarovS13 journals/corr/abs-1305-3835 journals/jla/CoquandS12 journals/synthese/HeunenLS12 journals/corr/abs-1310-0705 journals/corr/abs-1106-3448 journals/mlq/CoquandPS11 journals/mscs/SpittersW11 conf/mkm/KrebbersS11 journals/corr/abs-1210-0298 journals/corr/abs-1102-1323 journals/corr/abs-1105-2751 journals/apal/Spitters10 journals/jla/CoquandS10 journals/order/Spitters10 journals/tcs/OConnorS10 conf/itp/SpittersW10 journals/corr/abs-1006-1432 journals/jla/CoquandS09 conf/cca/SpittersO09 journals/corr/abs-0809-1552 journals/mscs/SpittersGNW07 journals/mscs/GeuversNSW07 journals/apal/Spitters06 journals/jsyml/Spitters06 journals/jsyml/Spitters06a journals/jucs/CoquandS05 journals/jucs/Spitters05 journals/lmcs/Spitters05 journals/mlq/CoquandS05 books/ox/05/Spitters05 conf/dagstuhl/Spitters05 journals/corr/abs-cs-0512009 conf/tphol/Cruz-FilipeS03 journals/mlq/Spitters02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.