Michael D. Jones

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 28

Top Topics

Grand Challenges

Top Venues

UbiComp/ISWC Adjunct

Tangible and Embedded Interaction

CHI Extended Abstracts

Publications

Michael D. Jones, Mia Caminita, Elizabeth Klemm, Dustin A. Bruening, Sarah Ridge
Training, children, and parents: Coach perspectives on wearable sensor data in sub-elite figure skating in the United States. Int. J. Hum. Comput. Stud. 183 (2024)
Don Samitha Elvitigala, Armagan Karahanoglu, Andrii Matviienko, Laia Turmo Vidal, Dees B. W. Postma, Michael D. Jones, Maria F. Montoya, Daniel Harrison, Lars Elbæk, Florian Daiber, Lisa Anneke Burr, Rakesh Patibanda, Paolo Buono, Perttu Hämäläinen, Robby van Delden, Regina Bernhaupt, Xipei Ren, Vincent van Rheden, Fabio Zambetta, Elise van den Hoven, Carine Lallemand, Dennis Reidsma, Florian 'Floyd' Mueller
Grand Challenges in SportsHCI. CHI (2024)
m. c. schraefel, Michael D. Jones
Discomfort: a new material for interaction design. Frontiers Comput. Sci. 5 (2023)
Kuisma Hurtig, Jemina Colley, Michael D. Jones, Jonna Häkkilä
Glove Navigator for Skiing in the Mountains. MUM (2023)
m. c. schraefel, Michael D. Jones, Josh Andres, Elizabeth L. Murnane
Editorial: Inbodied interaction. Frontiers Comput. Sci. 5 (2023)
Michael D. Jones, Courtni Byun, Naomi Johnson, Kevin D. Seppi
Understanding the Roles of Video and Sensor Data in the Annotation of Human Activities. Int. J. Hum. Comput. Interact. 39 (18) (2023)
Michael D. Jones, Meredith Von Feldt, Natalie Andrus
Outside Where? A Survey of Climates and Built Environments in Studies of HCI outdoors. CHI (2022)
Miki Jauhiainen, Michael D. Jones
Using Machine Learning to Classify Volleyball Jumps. NTSPORT@MobileHCI (2022)
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
New Trends in HCI and Sports. MobileHCI (Adjunct) (2022)
Casey Walker, Michael D. Jones, Steven Orrock, Karen Carter
Towards Tangible Interaction in Scraping Therapy. Tangible and Embedded Interaction (2020)
Zann Anderson, Michael D. Jones
Tangible Interactions with Physicalizations of Personal Experience Data. VISIGRAPP (2: HUCAPP) (2020)
Candice Lusk, Michael D. Jones
Cake Cam: Take Your Photo and Be in it Too. MobileHCI (2019)
Michael D. Jones, M. Jeannette Lawler
Delivering Sign Language in a Live Planetarium Show Using Head-Mounted Displays and Infrared Light. ASSETS (2019)
Zann Anderson, Michael D. Jones
Mobile computing and well-being in the outdoors. UbiComp/ISWC Adjunct (2019)
Michael D. Jones, Zann Anderson, Casey Walker, Kevin D. Seppi
PHUI-kit: Interface Layout and Fabrication on Curved 3D Printed Objects. CHI (2018)
Michael D. Jones, Kevin D. Seppi, Jared Forsyth, Zann Anderson
Decoupling Screen Size and Gesture Size for Wrist Worn Devices. PerCom Workshops (2018)
Michael D. Jones, Naomi Johnson, Kevin D. Seppi, Lawrence Thatcher
Understanding How Non-Experts Collect and Annotate Activity Data. UbiComp/ISWC Adjunct (2018)
Antoine de Weck, Javad Golji, Michael D. Jones, Joshua M. Korn, Eric Billy, E. Robert McDonald III, Tobias Schmelzle, Hans Bitter, Audrey Kauffmann
Correction of copy number induced false positives in CRISPR screens. PLoS Comput. Biol. 14 (7) (2018)
Zann Anderson, Michael D. Jones, Kevin D. Seppi
W.O.U.S.: Widgets of Unusual Size. Tangible and Embedded Interaction (2018)
Michael D. Jones, Zann Anderson, Jonna Häkkilä, Keith Cheverst, Florian Daiber
HCI Outdoors: Understanding Human-Computer Interaction in Outdoor Recreation. CHI Extended Abstracts (2018)
Michael D. Jones, Zann Anderson, Casey Walker, Kevin D. Seppi
PHUI-kit: A Tool for Physical User Interface Layout. CHI Extended Abstracts (2018)
Michael D. Jones, Casey Walker, Zann Anderson, Candice Lusk, Andrew Bryce
Exploring a Modular Approach to Redesigning Interfaces for Physical Interactive Devices. Tangible and Embedded Interaction (2017)
Zann Anderson, Candice Lusk, Michael D. Jones
Towards understanding hikers' technology preferences. UbiComp/ISWC Adjunct (2017)
Michael D. Jones, Zann Anderson
Accelerometer data and video collected while hiking and climbing at UbiMount 2016. UbiComp/ISWC Adjunct (2017)
Michael D. Jones, Kevin D. Seppi
Sculpt, Deploy, Repeat: Fast Prototyping of Interactive Physical Objects. CoRR (2017)
Michael D. Jones, Florian Daiber, Zann Anderson, Kevin D. Seppi
SIG on Interactive Computing in Outdoor Recreation. CHI Extended Abstracts (2017)
Michael D. Jones, Kevin D. Seppi, Dan R. Olsen
What you Sculpt is What you Get: Modeling Physical Interactive Devices with Clay and 3D Printed Widgets. CHI (2016)
Michael D. Jones, Casey Walker, Zann Anderson, Lawrence Thatcher
Automatic detection of alpine ski turns in sensor data. UbiComp Adjunct (2016)
Michael D. Jones, Harley Hamilton, James Petmecky
Mobile Phone Access to a Sign Language Dictionary. ASSETS (2015)
Jie Long, Bryce Porter, Michael D. Jones
Animation of trees in wind using sparse motion capture data. Vis. Comput. 31 (3) (2015)
Michael D. Jones, M. Jeannette Lawler, Eric Hintz, Nathan Bench, Fred Mangrubang, Mallory Trullender
Head mounted displays and deaf children: Facilitating Sign Language in Challenging Learning Environments. IDC (2014)
Michael D. Jones, M. Jeannette Lawler, Eric Hintz, Nathan Bench, Fred Mangrubang
Owl pellets and head-mounted displays: a demonstration of visual interaction for children who communicate in a sign language. IDC (2013)
Jie Long, Michael D. Jones
Reconstructing 3D Tree Models Using Motion Capture and Particle Flow. Int. J. Comput. Games Technol. 2013 (2013)
Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael D. Jones
Motion Capture for a Natural Tree in the Wind. MIG (2010)
Michael D. Jones, McKay Farley, Joseph Butler, Matthew Beardall
Directable Weathering of Concave Rock Using Curvature Estimation. IEEE Trans. Vis. Comput. Graph. 16 (1) (2010)
Jie Long, Cory Reimschussel, Ontario Britton, Michael D. Jones
Motion capture for natural tree animation. SIGGRAPH Talks (2009)
Tonglaga Bao, Michael D. Jones
Test Case Generation Using Model Checking for Software Components Deployed into New Environments. ICST Workshops (2009)
Tonglaga Bao, Michael D. Jones
Model Checking Abstract Components within Concrete Software Environments. SPIN (2008)
Peter Lamborn, Michael D. Jones
January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior. PPSN (2006)
Kevin D. Seppi, Michael D. Jones, Peter Lamborn
Guided Model Checking with a Bayesian Meta-heuristic. Fundam. Informaticae 70 (1-2) (2006)
Michael D. Jones, Jacob Sorber
Parallel search for LTL violations. Int. J. Softw. Tools Technol. Transf. 7 (1) (2005)
Tonglaga Bao, Michael D. Jones
Time-Efficient Model Checking with Magnetic Disk. TACAS (2005)
Eric Mercer, Michael D. Jones
Model Checking Machine Code with the GNU Debugger. SPIN (2005)
Kevin D. Seppi, Michael D. Jones, Peter Lamborn
Guided Model Checking with a Bayesian Meta-heuristic. ACSD (2004)
Bryan Smith, Kent E. Seamons, Michael D. Jones
Responding to Policies at Runtime in TrustBuilder. POLICY (2004)
Michael D. Jones, Eric Mercer
Explicit State Model Checking with Hopper. SPIN (2004)
Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn
Benchmarking Explicit State Parallel Model Checkers. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)
Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen
Incremental Proof of the Producer/Consumer Property for the PCI Protocol. ZB (2002)
Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan
Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. Formal Methods Syst. Des. 16 (1) (2000)
Michael D. Jones, Ganesh Gopalakrishnan
Toward automated abstraction for protocols on branching networks. HLDVT (2000)
Michael D. Jones, Ganesh Gopalakrishnan
Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods. FMCAD (2000)
Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley
Alexandria: A Tool for Hierarchical Verification. FMCAD (1998)