Thomas Wright

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 13

Top Topics

Autonomous Navigation

Top Venues

Int. J. Comput. Vis. Robotics

Publications

Asher Antao, James Daly Burton, Douglas Dawson, Jill 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
Modernizing Clemson University's Palmetto Cluster: Lessons Learned from 17 Years of HPC Administration. PEARC (2024)
Andrew West, Thomas Wright, Ioannis Tsitsimpelis, Keir Groves, Malcolm John Joyce, Barry Lennox
Real-Time Avoidance of Ionising Radiation Using Layered Costmaps for Mobile Robots. Frontiers Robotics AI 9 (2022)
Thomas Wright, Cláudio Gomes, Jim Woodcock
Formally Verified Self-adaptation of an Incubator Digital Twin. ISoLA (4) (2022)
Alejandro Cabrerizo, Will Zeurcher, Thomas Wright, Peter Jamieson
-like Bricks to Go from the Real to the Virtual World. HCI (44) (2021)
Keir Groves, Emili Hernández, Andrew West, Thomas Wright, Barry Lennox
Robotic Exploration of an Unknown Nuclear Environment Using Radiation Informed Autonomous Navigation. Robotics 10 (2) (2021)
Thomas Wright, Andrew West, Mauro Licata, Nick Hawes, Barry Lennox
Simulating Ionising Radiation in Gazebo for Robotic Nuclear Inspection Challenges. Robotics 10 (3) (2021)
Thomas Wright, Ian Stark
Property-Directed Verified Monitoring of Signal Temporal Logic. RV (2020)
Thomas Wright, Toshihide Hanari, Kuniaki Kawabata, Barry Lennox
Fast In-situ Mesh Generation using Orb-SLAM2 and OpenMVS. UR (2020)
Thomas Wright, Ian Stark
Modelling Patterns of Gene Regulation in the bond-calculus. SASB (2020)
Thomas Wright, Ian Stark
Technical Report: Property-Directed Verified Monitoring of Signal Temporal Logic. CoRR (2020)
Benjamin Bird, Thomas Wright, Simon Watson, Barry Lennox
Autonomous void detection and characterisation in point clouds and triangular meshes. Int. J. Comput. Vis. Robotics 9 (4) (2019)
Thomas Wright, Ian Stark
The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics. CoRR (2018)
Thomas Wright, Barry Lennox
Algorithmic Approach to Planar Void Detection and Validation in Point Clouds. TAROS (2017)
Thomas Wright
The Impossibility of Certain Types of Carmichael Numbers. Integers 12 (2012)
Mike Krebs, Thomas Wright
On Cantor's First Uncountability Proof, Pick's Theorem, and the Irrationality of the Golden Ratio. Am. Math. Mon. 117 (7) (2010)
Thomas Wright
Security, privacy, and anonymity. ACM Crossroads 11 (2) (2004)