Publications

2022

1. TACAS

   Graves-CPA: A graph-attention verifier selector (competition contribution)

   Will Leeson, and Matthew B Dwyer

   In International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2022

   Bib PDF

   @inproceedings{leeson2022graves,
     title = {Graves-CPA: A graph-attention verifier selector (competition contribution)},
     author = {Leeson, Will and Dwyer, Matthew B},
     booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
     pages = {440--445},
     year = {2022},
     organization = {Springer}
   }

2019

1. IJQM

   Natural Language Processing (NLP) in qualitative public health research: a proof of concept study

   William Leeson, Adam Resnick, Daniel Alexander, and 1 more author

   International Journal of Qualitative Methods 2019

   HTML