Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification. - Thitivatr Patanasakpinyo (CATA, 2019)

Enhanced Prediction Models for Predicting Spatial Visualization (VZ) in Address Verification Task. - Thitivatr Patanasakpinyo; Georgi I. Batinov; Kofi C. Whitney; Adel Sulaiman; Les Miller (CATA, 2019)

UI Error Reduction for High Spatial Visualization Users when Using Adaptive Software to Verify Addresses. - Thitivatr Patanasakpinyo; Les Miller (CATA, 2020)