dblp keys for Michael Norrish

Michael Norrish

Keys

# of data records = 80

homepages/10/3457 conf/aaai/LamontNDWM24 journals/pacmpl/KanabarVAMNPZ23 conf/itp/XuN23 conf/plos/PohjolaSTWSNUMS23 conf/itp/PohjolaGSN22 conf/itp/YeagerMNT22 journals/jar/ChanN21 journals/jar/GauthierKUKN21 conf/cpp/CattN21 conf/issta/HerreraGMNPH21 conf/nips/WuNWD21 journals/corr/abs-2102-09756 journals/jar/AbrahamssonHKKM20 conf/cade/XuN20 journals/jacm/BishopFMNRSSW19 journals/jar/ChanN19 journals/jar/ChanN19a journals/jfp/TanMKFON19 conf/icse/GhalePN19 conf/itp/AbdulazizGN19 conf/oopsla/AmiriBHN19 conf/pldi/LoowKTMNAF19 journals/corr/abs-1905-13055 journals/jar/AbdulazizNG18 conf/cade/HoAKMTN18 conf/itp/JantschN18 conf/vee/WangBHN18 conf/vstte/GhalePKN18 journals/corr/abs-1804-00596 journals/pacmpl/OwensNKMT17 conf/aips/AbdulazizGN17 conf/esop/GueneauMKN17 conf/icfp/TanMKFON16 conf/itp/ChanN16 conf/iwmm/LinBHN16 conf/ijcai/AbdulazizNG15 conf/itp/AbdulazizGN15 conf/itp/ChanN15 conf/iwmm/LinWBHN15 conf/snapl/WangLBNH15 journals/jcss/BarthwalN14 conf/cade/GauthierKKN14 conf/lcpc/NorrishS14 conf/popl/KumarMNO14 journals/jfrea/ChanN13 conf/itp/NorrishH13 conf/tableaux/0002BDN13 conf/cpp/2013 journals/jar/CheneyNV12 conf/cpp/ChanN12 journals/corr/abs-1207-2461 conf/itp/Norrish11 journals/cacm/KleinAEHCDEEKNSTW10 conf/csl/BarthwalN10 conf/itp/KumarN10 conf/wollic/BarthwalN10 journals/jar/Norrish09 conf/esop/BarthwalN09 conf/sosp/KleinEHACDEEKNSTW09 conf/tphol/WinwoodKSACN09 conf/fm/RidgeNS08 conf/tphol/SlindN08 conf/cade/UrbanBN07 conf/popl/TuchKN07 conf/tphol/NorrishV07 journals/lisp/Norrish06 conf/popl/BishopFNSSW06 conf/icfp/UrbanN05 conf/sigcomm/BishopFNSSW05 conf/tphol/NorrishS05 conf/tphol/Norrish04 journals/sttt/DennisCNBSM03 conf/icfp/Norrish03 conf/tphol/Norrish03 journals/cj/NorrishS02 conf/esop/WansbroughNSS02 conf/sigopsE/NorrishSW02 conf/tacas/DennisCNBSRGM00 conf/esop/Norrish99

a service of  Schloss Dagstuhl - Leibniz Center for Informatics