Thomas Powell

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2023
A computational study of a class of recursive inequalities.
J. Log. Anal., 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


  Loading...