Security, privacy, and anonymity. - Thomas Wright (ACM Crossroads, 2004)

On Cantor's First Uncountability Proof, Pick's Theorem, and the Irrationality of the Golden Ratio. - Mike Krebs; Thomas Wright (Am. Math. Mon., 2010)

The Impossibility of Certain Types of Carmichael Numbers. - Thomas Wright (Integers, 2012)

Algorithmic Approach to Planar Void Detection and Validation in Point Clouds. - Thomas Wright; Barry Lennox (TAROS, 2017)

The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics. - Thomas Wright; Ian Stark (CoRR, 2018)

Autonomous void detection and characterisation in point clouds and triangular meshes. - Benjamin Bird; Thomas Wright; Simon Watson 001; Barry Lennox (Int. J. Comput. Vis. Robotics, 2019)

Property-Directed Verified Monitoring of Signal Temporal Logic. - Thomas Wright; Ian Stark (RV, 2020)

Modelling Patterns of Gene Regulation in the bond-calculus. - Thomas Wright; Ian Stark (SASB, 2020)

Fast In-situ Mesh Generation using Orb-SLAM2 and OpenMVS. - Thomas Wright; Toshihide Hanari; Kuniaki Kawabata; Barry Lennox (UR, 2020)

Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic. - Thomas Wright; Ian Stark (CoRR, 2020)

Lego®-like Bricks to Go from the Real to the Virtual World. - Alejandro Cabrerizo; Will Zeurcher; Thomas Wright; Peter Jamieson (HCI (44), 2021)

Robotic Exploration of an Unknown Nuclear Environment Using Radiation Informed Autonomous Navigation. - Keir Groves; Emili Hernández; Andrew West; Thomas Wright; Barry Lennox (Robotics, 2021)

Simulating Ionising Radiation in Gazebo for Robotic Nuclear Inspection Challenges. - Thomas Wright; Andrew West; Mauro Licata; Nick Hawes; Barry Lennox (Robotics, 2021)

Formally Verified Self-adaptation of an Incubator Digital Twin. - Thomas Wright; Cláudio Gomes 001; Jim Woodcock 001 (ISoLA (4), 2022)

Real-Time Avoidance of Ionising Radiation Using Layered Costmaps for Mobile Robots. - Andrew West; Thomas Wright; Ioannis Tsitsimpelis; Keir Groves; Malcolm John Joyce; Barry Lennox (Frontiers Robotics AI, 2022)

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. - Morten Haahr Kristensen; Alberto Bonizzi; Cláudio Gomes 001; Simon Thrane Hansen; Carlos Ignacio Isasa Martin; Hannes Iven; Eduard Kamburjan; Peter Gorm Larsen; Martin Leucker; Prasad Talasila; Valdemar Trøjgård Tang; Stefano Tonetta; et al. (ACSOS-C, 2024)

Digital Twin Tutorial: The Incubator Case Study. - Cláudio Gomes 001; Morten Haahr Kristensen; Mikkel Schmidt Andersen; Prasad Talasila; Hao Feng; Thomas Wright; Peter Gorm Larsen (SETSS, 2024)

Modernizing Clemson University's Palmetto Cluster: Lessons Learned from 17 Years of HPC Administration. - Asher Antao; James Daly Burton; Douglas Dawson; Jill B. Gemmill; Zachary Gerstener; Ben Godfrey; Scott Groel; Zach Jordan; Becky Ligon; Dane Smith; Matthew Moersen; Sai Nandigam; et al. (PEARC, 2024)

Formal Verification of BDI Agents. - Thomas Wright; Louise A. Dennis; Jim Woodcock 001; Simon Foster 001 (The Combined Power of Research, Education, and Dissemination, 2025)

Formal Architectural Patterns for Adaptive Robotic Software. - James Baxter 001; Bert Van Acker; Morten Haahr Kristensen; Thomas Wright; Ana Cavalcanti 001; Cláudio Gomes 001 (FASE, 2025)

Reachability analysis of FMI models using data-driven dynamic sensitivity. - Sergiy Bogomolov; Cláudio Gomes 001; Carlos Ignacio Isasa Martin; Sadegh Soudjani; Paulius Stankaitis; Thomas Wright (Simul., 2025)