dblp keys for Jasmin Blanchette

Jasmin Blanchette
Jasmin Christian Blanchette

Keys

# of data records = 124

homepages/52/6913 journals/afp/BlanchetteQT23 journals/cacm/BentkampBNTVW23 journals/jar/BentkampBTV23 journals/jar/EbnerBT23 journals/lmcs/BlanchetteV23 journals/siglog/BentkampBNTW23 journals/tocl/VukmirovicBH23 conf/cade/BlanchetteQT23 conf/frocos/NummelinBD23 conf/itp/DvorakB23 conf/tacas/VukmirovicBS23 conf/mkm/2021w journals/corr/abs-2302-06420 journals/jar/WaldmannTRB22 journals/jar/VukmirovicBBCNT22 journals/sttt/VukmirovicBCS22 conf/itp/DesharnaisVBW22 conf/cade/2022 journals/corr/abs-2208-07775 journals/jar/Blanchette21 journals/jar/BentkampBTVW21 journals/lmcs/BentkampBCW21 conf/cade/EbnerBT21 conf/cade/BentkampBTV21 conf/cade/VukmirovicBBCNT21 conf/cpp/TourretB21 conf/fmcad/VukmirovicBH21 conf/mkm/BlanchetteN21 journals/corr/abs-2102-00453 journals/afp/BlanchetteT20 journals/jar/BarbosaBFF20 journals/jar/SchlichtkrullBT20 conf/cade/WaldmannTRB20 conf/cpp/2020 journals/corr/abs-2005-02094 journals/jar/BlanchetteM19 journals/jar/BentkampBK19 journals/pacmpl/BlanchetteGPT19 journals/sosym/BlanchetteBPKTW19 conf/cade/BentkampBTVW19 conf/cpp/Blanchette19 conf/cpp/SchlichtkrullBT19 conf/tacas/VukmirovicBCS19 journals/afp/SchlichtkrullBT18 journals/afp/SchlichtkrullBT18a journals/jar/AvigadBKPPS18 journals/jar/BlanchetteFLW18 conf/cade/BentkampBCW18 conf/cade/SchlichtkrullBT18 conf/cade/BlanchettePR18 conf/cpp/FleuryBL18 journals/afp/BlanchettePT17 journals/afp/BlanchettePT17a journals/jar/BlanchettePT17 journals/jar/ReynoldsB17 conf/cade/BlanchetteF0W17 conf/cade/BarbosaBF17 conf/cade/BeckerBWW17 conf/esop/BlanchetteBL0T17 conf/fossacs/BlanchetteWW17 conf/frocos/BiendarraBBDFHK17 conf/ijcai/BlanchetteFW17 conf/itp/BentkampBK17 conf/lics/BlanchetteM0T17 conf/rta/BlanchetteFT17 journals/corr/abs-1712-01486 journals/dagstuhl-reports/BlanchetteFST17 journals/afp/BeckerBWW16 journals/afp/BlanchetteFT16 journals/afp/BlanchetteWW16 journals/corr/BlanchetteB0S16 journals/jar/BlanchetteBFSS16 journals/jar/BlanchetteGKKU16 journals/jfrea/BlanchetteKPU16 conf/cade/BlanchetteFW16 conf/cade/ReynoldsBCT16 conf/ijcai/ReynoldsB16 journals/corr/CruanesB16 conf/itp/2016 journals/corr/BlanchetteK16 conf/cade/ReynoldsB15 conf/esop/Blanchette0T15 conf/icfp/Blanchette0T15 conf/mkm/BlanchetteHMN15 conf/tap/2015 journals/corr/Blanchette0T15 journals/dagstuhl-reports/BjornerBSW15 journals/afp/Blanchette0T14 conf/cade/Blanchette14 conf/cade/Blanchette0T14 conf/haskell/BlanchetteHNNT14 conf/itp/BlanchetteHLP0T14 conf/itp/Blanchette0T14 journals/afp/Blanchette013 journals/japll/SultanaBP13 journals/jar/BlanchetteBP13 journals/sqj/Blanchette13 conf/cade/Blanchette13 conf/cade/SmolkaB13 conf/cade/BlanchetteP13 conf/frocos/Blanchette013 conf/itp/KuhlweinBKU13 conf/tacas/BlanchetteBPS13 conf/cade/2013pxtp phd/dnb/Blanchette12 conf/itp/BlanchettePWW12 conf/lics/TraytelPB12 journals/jar/BlanchetteK11 conf/cade/BlanchetteBP11 conf/frocos/BlanchetteBN11 conf/ppdp/BlanchetteWBOS11 conf/cade/BlanchetteK10 conf/itp/BlanchetteN10 conf/lpar/PaulsonB10 conf/lpar/Blanchette10 conf/lpar/BlanchetteC10 conf/tap/Blanchette10 journals/jar/Blanchette09 books/daglib/0030030 journals/afp/Blanchette08 journals/entcs/JohnsenBKO09 journals/entcs/BlanchetteO08 books/lib/BlanchetteS06

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.