Thomas Wright

According to our database, Thomas Wright authored at least 17 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, Nicholas Rengier, Dennis Ryans, Hudson Smith, Thomas Wright

Proceedings of the Practice and Experience in Advanced Research Computing 2024: Human Powered Computing, 2024

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service.

Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, 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, Lars Bernd Vosteen, Thomas Wright

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024

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

Formally Verified Self-adaptation of an Incubator Digital Twin.

Thomas Wright, Cláudio Gomes, Jim Woodcock

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2021

Simulating Ionising Radiation in Gazebo for Robotic Nuclear Inspection Challenges.

Thomas Wright, Andrew West, Mauro Licata, Nick Hawes, Barry Lennox

Robotics, 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

Lego^®-like Bricks to Go from the Real to the Virtual World.

Alejandro Cabrerizo, Will Zeurcher, Thomas Wright, Peter Jamieson

Proceedings of the HCI International 2021 - Late Breaking Posters, 2021

2020

Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic.

Thomas Wright, Ian Stark

CoRR, 2020

Fast In-situ Mesh Generation using Orb-SLAM2 and OpenMVS.

Thomas Wright, Toshihide Hanari, Kuniaki Kawabata, Barry Lennox

Proceedings of the 17th International Conference on Ubiquitous Robots, 2020

Modelling Patterns of Gene Regulation in the bond-calculus.

Thomas Wright, Ian Stark

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020

Property-Directed Verified Monitoring of Signal Temporal Logic.

Thomas Wright, Ian Stark

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

Autonomous void detection and characterisation in point clouds and triangular meshes.

Benjamin Bird, Thomas Wright, Simon Watson, Barry Lennox

Int. J. Comput. Vis. Robotics, 2019

2018

The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics.

Thomas Wright, Ian Stark

CoRR, 2018

2017

Algorithmic Approach to Planar Void Detection and Validation in Point Clouds.

Thomas Wright, Barry Lennox

Proceedings of the Towards Autonomous Robotic Systems - 18th Annual Conference, 2017

2012

The Impossibility of Certain Types of Carmichael Numbers.

Thomas Wright

Integers, 2012

2010

On Cantor's First Uncountability Proof, Pick's Theorem, and the Irrationality of the Golden Ratio.

Mike Krebs, Thomas Wright

Am. Math. Mon., 2010

2004

Security, privacy, and anonymity.

Thomas Wright

ACM Crossroads, 2004