James Vaughan

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 4

Top Topics

Evaluation Methods

Top Venues

Publications

Cheng Zhang, Stefan Bauer, Paul Bennett, Jiangfeng Gao, Wenbo Gong, Agrin Hilmkil, Joel Jennings, Chao Ma, Tom Minka, Nick Pawlowski, James Vaughan
Understanding Causality with Large Language Models: Feasibility and Opportunities. CoRR (2023)
Carlin MacKenzie, Fabian Huch, James Vaughan, Jacques D. Fleuriot
Re-imagining the Isabelle Archive of Formal Proofs. CICM (2022)
Carlin MacKenzie, Jacques D. Fleuriot, James Vaughan
An Evaluation of the Archive of Formal Proofs. CoRR (2021)
Petros Papapanagiotou, James Vaughan, Filip Smola, Jacques D. Fleuriot
A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows. HICSS (2021)
Maribeth Back, Bee Liew, Anthony Dunnigan, James Vaughan
Mobile monitoring and control system for a food industry development laboratory. Mobile HCI (Companion) (2012)
Maribeth Back, Don Kimber, Eleanor Gilbert Rieffel, Anthony Dunnigan, Bee Liew, Sagar Gattepally, Jonathan Foote, Jun Shingu, James Vaughan
The virtual chocolate factory: mixed reality industrial collaboration and control. ACM Multimedia (2010)