Thomas Powell

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

Bibliography

2024
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language.
Log. Methods Comput. Sci., 2024

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