Michael D. Jones

According to our database, Michael D. Jones authored at least 59 papers between 1998 and 2024.

Collaborative distances:

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

2024

Training, children, and parents: Coach perspectives on wearable sensor data in sub-elite figure skating in the United States.

Michael D. Jones, Mia Caminita, Elizabeth Klemm, Dustin A. Bruening, Sarah Ridge

Int. J. Hum. Comput. Stud., March, 2024

2023

Understanding the Roles of Video and Sensor Data in the Annotation of Human Activities.

Michael D. Jones, Courtni Byun, Naomi Johnson, Kevin D. Seppi

Int. J. Hum. Comput. Interact., November, 2023

Editorial: Inbodied interaction.

m. c. schraefel, Michael D. Jones, Josh Andres, Elizabeth L. Murnane

Frontiers Comput. Sci., 2023

Discomfort: a new material for interaction design.

m. c. schraefel, Michael D. Jones

Frontiers Comput. Sci., 2023

Glove Navigator for Skiing in the Mountains.

Kuisma Hurtig, Jemina Colley, Michael D. Jones, Jonna Häkkilä

Proceedings of the 22nd International Conference on Mobile and Ubiquitous Multimedia, 2023

2022

New Trends in HCI and Sports.

Eleonora Mencarini, Amon Rapp, Ashley Colley, Florian Daiber, Michael D. Jones, Felix Kosmalla, Stephan G. Lukosch, Jasmin Niess, Evangelos Niforatos, Pawel W. Wozniak, Massimo Zancanaro

Proceedings of the MobileHCI '22: Adjunct Publication of the 24th International Conference on Human-Computer Interaction with Mobile Devices and Services, Vancouver, BC, Canada, 28 September 2022, 2022

Using Machine Learning to Classify Volleyball Jumps.

Miki Jauhiainen, Michael D. Jones

Proceedings of the New Trends in HCI and Sports Workshop, 2022

Outside Where? A Survey of Climates and Built Environments in Studies of HCI outdoors.

Michael D. Jones, Meredith Von Feldt, Natalie Andrus

Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

Body as Starting Point 5: Exploring the Inbodied Interaction Design Framework - New Methodologies in Interactive Health Design.

Josh Andrés, Richard Gomer, Michael D. Jones, m. c. schraefel

Proceedings of the CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 29 April 2022, 2022

2021

Body As Starting Point 4: Inbodied Interaction Design for Health Ownership.

m. c. schraefel, Josh Andrés, Aaron Tabor, Scott Bateman, Abby Wanyu Liu, Mike Jones, Kai Kunze, Elizabeth L. Murnane, Steeven Villa

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020

Towards Tangible Interaction in Scraping Therapy.

Casey Walker, Michael D. Jones, Steven Orrock, Karen Carter

Proceedings of the TEI '20: Fourteenth International Conference on Tangible, 2020

Tangible Interactions with Physicalizations of Personal Experience Data.

Zann Anderson, Michael D. Jones

Proceedings of the 15th International Joint Conference on Computer Vision, 2020

2019

Synchronization between Sensors and Cameras in Movement Data Labeling Frameworks.

Jacob W. Kamminga, Michael D. Jones, Kevin D. Seppi, Nirvana Meratnia, Paul J. M. Havinga

Proceedings of the 2nd Workshop on Data Acquisition To Analysis, 2019

Cake Cam: Take Your Photo and Be in it Too.

Candice Lusk, Michael D. Jones

Proceedings of the 21st International Conference on Human-Computer Interaction with Mobile Devices and Services, 2019

Mobile computing and well-being in the outdoors.

Zann Anderson, Michael D. Jones

Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 ACM International Symposium on Wearable Computers, 2019

Delivering Sign Language in a Live Planetarium Show Using Head-Mounted Displays and Infrared Light.

Michael D. Jones, M. Jeannette Lawler

Proceedings of the 21st International ACM SIGACCESS Conference on Computers and Accessibility, 2019

Understanding How Non-experts Collect and Annotate Activity Data.

Naomi Johnson, Michael D. Jones, Kevin D. Seppi, Lawrence Thatcher

Proceedings of the Human Activity Sensing - Corpus and Applications, 2019

2018

Correction of copy number induced false positives in CRISPR screens.

Antoine de Weck, Javad Golji, Michael D. Jones, Joshua M. Korn, Eric Billy, E. Robert McDonald III, Tobias Schmelzle, Hans Bitter, Audrey Kauffmann

PLoS Comput. Biol., 2018

W.O.U.S.: Widgets of Unusual Size.

Zann Anderson, Michael D. Jones, Kevin D. Seppi

Proceedings of the Twelfth International Conference on Tangible, 2018

Decoupling Screen Size and Gesture Size for Wrist Worn Devices.

Michael D. Jones, Kevin D. Seppi, Jared Forsyth, Zann Anderson

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

Understanding How Non-Experts Collect and Annotate Activity Data.

Michael D. Jones, Naomi Johnson, Kevin D. Seppi, Lawrence Thatcher

Proceedings of the 2018 ACM International Joint Conference and 2018 International Symposium on Pervasive and Ubiquitous Computing and Wearable Computers, 2018

PHUI-kit: A Tool for Physical User Interface Layout.

Michael D. Jones, Zann Anderson, Casey Walker, Kevin D. Seppi

Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

PHUI-kit: Interface Layout and Fabrication on Curved 3D Printed Objects.

Michael D. Jones, Zann Anderson, Casey Walker, Kevin D. Seppi

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

HCI Outdoors: Understanding Human-Computer Interaction in Outdoor Recreation.

Michael D. Jones, Zann Anderson, Jonna Häkkilä, Keith Cheverst, Florian Daiber

Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017

Sculpt, Deploy, Repeat: Fast Prototyping of Interactive Physical Objects.

Michael D. Jones, Kevin D. Seppi

CoRR, 2017

Exploring a Modular Approach to Redesigning Interfaces for Physical Interactive Devices.

Michael D. Jones, Casey Walker, Zann Anderson, Candice Lusk, Andrew Bryce

Proceedings of the Tenth International Conference on Tangible, 2017

Accelerometer data and video collected while hiking and climbing at UbiMount 2016.

Michael D. Jones, Zann Anderson

Proceedings of the Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers, 2017

UbiMount: 2nd workshop on ubiquitous computing in the mountains.

Florian Daiber, Michael D. Jones, Frederik Wiehr, Keith Cheverst, Felix Kosmalla, Jonna Häkkilä

Proceedings of the Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers, 2017

Towards understanding hikers' technology preferences.

Zann Anderson, Candice Lusk, Michael D. Jones

Proceedings of the Adjunct Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers, 2017

SIG on Interactive Computing in Outdoor Recreation.

Michael D. Jones, Florian Daiber, Zann Anderson, Kevin D. Seppi

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2016

Automatic detection of alpine ski turns in sensor data.

Michael D. Jones, Casey Walker, Zann Anderson, Lawrence Thatcher

Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2016 ACM International Symposium on Wearable Computers, 2016

What you Sculpt is What you Get: Modeling Physical Interactive Devices with Clay and 3D Printed Widgets.

Michael D. Jones, Kevin D. Seppi, Dan R. Olsen

Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

2015

Animation of trees in wind using sparse motion capture data.

Jie Long, Bryce Porter, Michael D. Jones

Vis. Comput., 2015

Mobile Phone Access to a Sign Language Dictionary.

Michael D. Jones, Harley Hamilton, James Petmecky

Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility, 2015

2014

Head mounted displays and deaf children: Facilitating Sign Language in Challenging Learning Environments.

Michael D. Jones, M. Jeannette Lawler, Eric Hintz, Nathan Bench, Fred Mangrubang, Mallory Trullender

Proceedings of the IDC '14, 2014

2013

Fast Relabeling of Deformable Delaunay Tetrahedral Meshes Using a Compact Uniform Grid.

D. Frogley, Michael D. Jones

J. Graph. Tools, 2013

Reconstructing 3D Tree Models Using Motion Capture and Particle Flow.

Jie Long, Michael D. Jones

Int. J. Comput. Games Technol., 2013

Large and Small Eddies Matter: Animating Trees in Wind Using Coarse Fluid Simulation and Synthetic Turbulence.

A. Selino, Michael D. Jones

Comput. Graph. Forum, 2013

Owl pellets and head-mounted displays: a demonstration of visual interaction for children who communicate in a sign language.

Michael D. Jones, M. Jeannette Lawler, Eric Hintz, Nathan Bench, Fred Mangrubang

Proceedings of the Interaction Design and Children 2013, 2013

2011

Branches and Roots: Project Selection in Graphics Courses for Fourth Year Computer Science Undergraduates.

Michael D. Jones

Proceedings of the Advances in Visual Computing - 7th International Symposium, 2011

2010

Delaunay deformable mesh for the weathering and erosion of 3D terrain.

Luther A. Tychonievich, Michael D. Jones

Vis. Comput., 2010

Directable Weathering of Concave Rock Using Curvature Estimation.

Michael D. Jones, McKay Farley, Joseph Butler, Matthew Beardall

IEEE Trans. Vis. Comput. Graph., 2010

Motion Capture for a Natural Tree in the Wind.

Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael D. Jones

Proceedings of the Motion in Games - Third International Conference, 2010

2009

Motion capture for natural tree animation.

Jie Long, Cory Reimschussel, Ontario Britton, Michael D. Jones

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2009

Test Case Generation Using Model Checking for Software Components Deployed into New Environments.

Tonglaga Bao, Michael D. Jones

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Model Checking Abstract Components within Concrete Software Environments.

Tonglaga Bao, Michael D. Jones

Proceedings of the Model Checking Software, 2008

2006

Guided Model Checking with a Bayesian Meta-heuristic.

Kevin D. Seppi, Michael D. Jones, Peter Lamborn

Fundam. Informaticae, 2006

January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior.

Peter Lamborn, Michael D. Jones

Proceedings of the Parallel Problem Solving from Nature, 2006

2005

Parallel search for LTL violations.

Michael D. Jones, Jacob Sorber

Int. J. Softw. Tools Technol. Transf., 2005

Time-Efficient Model Checking with Magnetic Disk.

Tonglaga Bao, Michael D. Jones

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Model Checking Machine Code with the GNU Debugger.

Eric Mercer, Michael D. Jones

Proceedings of the Model Checking Software, 2005

2004

Explicit State Model Checking with Hopper.

Michael D. Jones, Eric Mercer

Proceedings of the Model Checking Software, 2004

Responding to Policies at Runtime in TrustBuilder.

Bryan Smith, Kent E. Seamons, Michael D. Jones

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

2003

Benchmarking Explicit State Parallel Model Checkers.

Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

2002

Incremental Proof of the Producer/Consumer Property for the PCI Protocol.

Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2000

Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem.

Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan

Formal Methods Syst. Des., 2000

Toward automated abstraction for protocols on branching networks.

Michael D. Jones, Ganesh Gopalakrishnan

Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods.

Michael D. Jones, Ganesh Gopalakrishnan

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1998

Alexandria: A Tool for Hierarchical Verification.

Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley

Proceedings of the Formal Methods in Computer-Aided Design, 1998