Thomas Powell
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2023
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language.
CoRR, 2023
2021
Influence Pathways: Mapping the Narratives and Psychological Effects of Russian COVID-19 Disinformation.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021
2017
Assessing the Quality of Electronic Health Record Data and Patient Self-Report Data.
Proceedings of the 22nd International Conference on Information Quality, 2017