Michael D. Jones

66 papers A* 4A 4B 7C 1Misc 2Journal 18Unranked 27

Year	Rank	Type	Title / Venue / Authors
2025	—	`ed.`	Proceedings of the First Annual Conference on Human-Computer Interaction and Sports, SportsHCI 2025, Enschede, The Netherlands, November 17-19, 2025 SportsHCI Michael D. Jones, Carine Lallemand, Armagan Karahanoglu, Amon Rapp, Roy van den Heuvel, Aswin Balasubramaniam, Joshua Dawson
2025	—	`conf`	Sensor Placement for Jump Classification in Sub-Elite Figure Skating. SportsHCI Tyler Moessing, Michael D. Jones, Elizabeth Klemm, Mia Caminita, Sarah T. Ridge, Dustin A. Bruening
2025	J	`jnl`	Toward a Framework for the Design of Interactive Technology for Nature Recreation. Int. J. Hum. Comput. Interact. Michael D. Jones, Tuomas Kari, Daniel Reich, Barrett Ens, Siyi Liu, Solomon B. Pobee, Florian Mueller
2024	J	`jnl`	Experience Shaping, Social Cues and Safety: Headphone Use and Non-Use While Hiking in the United States. Int. J. Hum. Comput. Interact. Zann Anderson, Michael D. Jones
2024	A*	`conf`	Grand Challenges in SportsHCI. CHI 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
2024	J	`jnl`	Training, children, and parents: Coach perspectives on wearable sensor data in sub-elite figure skating in the United States. Int. J. Hum. Comput. Stud. Michael D. Jones, Mia Caminita, Elizabeth Klemm, Dustin A. Bruening, Sarah Ridge
2023	J	`jnl`	Discomfort: a new material for interaction design. Frontiers Comput. Sci. m. c. schraefel, Michael D. Jones
2023	J	`jnl`	Editorial: Inbodied interaction. Frontiers Comput. Sci. m. c. schraefel, Michael D. Jones, Josh Andres, Elizabeth L. Murnane
2023	B	`conf`	Glove Navigator for Skiing in the Mountains. MUM Kuisma Hurtig, Jemina Colley, Michael D. Jones, Jonna Häkkilä
2023	J	`jnl`	Understanding the Roles of Video and Sensor Data in the Annotation of Human Activities. Int. J. Hum. Comput. Interact. Michael D. Jones, Courtni Byun, Naomi Johnson, Kevin D. Seppi
2022	—	`conf`	Body as Starting Point 5: Exploring the Inbodied Interaction Design Framework - New Methodologies in Interactive Health Design. CHI Extended Abstracts Josh Andrés, Richard Gomer, Michael D. Jones, m. c. schraefel
2022	—	`conf`	New Trends in HCI and Sports. MobileHCI (Adjunct) 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
2022	A*	`conf`	Outside Where? A Survey of Climates and Built Environments in Studies of HCI outdoors. CHI Michael D. Jones, Meredith Von Feldt, Natalie Andrus
2022	—	`ed.`	Proceedings of the New Trends in HCI and Sports Workshop, co-located with the ACM International Conference on Mobile Human-Computer Interaction, NTSPORT@MobileHCI 2022, Vancouver, BC, Canada, October 1, 2022. NTSPORT@MobileHCI 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
2022	—	`conf`	Using Machine Learning to Classify Volleyball Jumps. NTSPORT@MobileHCI Miki Jauhiainen, Michael D. Jones
2021	J	`jnl`	Discomfort: a New Material for Interaction Design. CoRR m. c. schraefel, Michael D. Jones
2020	—	`conf`	Tangible Interactions with Physicalizations of Personal Experience Data. VISIGRAPP (2: HUCAPP) Zann Anderson, Michael D. Jones
2020	B	`conf`	Towards Tangible Interaction in Scraping Therapy. TEI Casey Walker, Michael D. Jones, Steven Orrock, Karen Carter
2019	B	`conf`	Cake Cam: Take Your Photo and Be in it Too. MobileHCI Candice Lusk, Michael D. Jones
2019	A	`conf`	Delivering Sign Language in a Live Planetarium Show Using Head-Mounted Displays and Infrared Light. ASSETS Michael D. Jones, M. Jeannette Lawler
2019	—	`conf`	Mobile computing and well-being in the outdoors. UbiComp/ISWC Adjunct Zann Anderson, Michael D. Jones
2019	—	`conf`	Synchronization between Sensors and Cameras in Movement Data Labeling Frameworks. DATA@SenSys Jacob W. Kamminga, Michael D. Jones, Kevin D. Seppi, Nirvana Meratnia, Paul J. M. Havinga
2019	—	`ch.`	Understanding How Non-experts Collect and Annotate Activity Data. Human Activity Sensing Naomi Johnson, Michael D. Jones, Kevin D. Seppi, Lawrence Thatcher
2018	J	`jnl`	Correction of copy number induced false positives in CRISPR screens. PLoS Comput. Biol. Antoine de Weck, Javad Golji, Michael D. Jones, Joshua M. Korn, Eric Billy, E. Robert McDonald III, Tobias Schmelzle, Hans Bitter, Audrey Kauffmann
2018	—	`conf`	Decoupling Screen Size and Gesture Size for Wrist Worn Devices. PerCom Workshops Michael D. Jones, Kevin D. Seppi, Jared Forsyth, Zann Anderson
2018	—	`conf`	HCI Outdoors: Understanding Human-Computer Interaction in Outdoor Recreation. CHI Extended Abstracts Michael D. Jones, Zann Anderson, Jonna Häkkilä, Keith Cheverst, Florian Daiber
2018	—	`conf`	PHUI-kit: A Tool for Physical User Interface Layout. CHI Extended Abstracts Michael D. Jones, Zann Anderson, Casey Walker, Kevin D. Seppi
2018	A*	`conf`	PHUI-kit: Interface Layout and Fabrication on Curved 3D Printed Objects. CHI Michael D. Jones, Zann Anderson, Casey Walker, Kevin D. Seppi
2018	—	`conf`	Understanding How Non-Experts Collect and Annotate Activity Data. UbiComp/ISWC Adjunct Michael D. Jones, Naomi Johnson, Kevin D. Seppi, Lawrence Thatcher
2018	B	`conf`	W.O.U.S.: Widgets of Unusual Size. TEI Zann Anderson, Michael D. Jones, Kevin D. Seppi
2017	—	`conf`	Accelerometer data and video collected while hiking and climbing at UbiMount 2016. UbiComp/ISWC Adjunct Michael D. Jones, Zann Anderson
2017	B	`conf`	Exploring a Modular Approach to Redesigning Interfaces for Physical Interactive Devices. TEI Michael D. Jones, Casey Walker, Zann Anderson, Candice Lusk, Andrew Bryce
2017	—	`conf`	SIG on Interactive Computing in Outdoor Recreation. CHI Extended Abstracts Michael D. Jones, Florian Daiber, Zann Anderson, Kevin D. Seppi
2017	J	`jnl`	Sculpt, Deploy, Repeat: Fast Prototyping of Interactive Physical Objects. CoRR Michael D. Jones, Kevin D. Seppi
2017	—	`conf`	Towards understanding hikers' technology preferences. UbiComp/ISWC Adjunct Zann Anderson, Candice Lusk, Michael D. Jones
2017	—	`conf`	UbiMount: 2nd workshop on ubiquitous computing in the mountains. UbiComp/ISWC Adjunct Florian Daiber, Michael D. Jones, Frederik Wiehr, Keith Cheverst, Felix Kosmalla, Jonna Häkkilä
2016	—	`conf`	Automatic detection of alpine ski turns in sensor data. UbiComp Adjunct Michael D. Jones, Casey Walker, Zann Anderson, Lawrence Thatcher
2016	A*	`conf`	What you Sculpt is What you Get: Modeling Physical Interactive Devices with Clay and 3D Printed Widgets. CHI Michael D. Jones, Kevin D. Seppi, Dan R. Olsen
2015	J	`jnl`	Animation of trees in wind using sparse motion capture data. Vis. Comput. Jie Long, Bryce Porter, Michael D. Jones
2015	A	`conf`	Mobile Phone Access to a Sign Language Dictionary. ASSETS Michael D. Jones, Harley Hamilton, James Petmecky
2014	Misc	`conf`	Head mounted displays and deaf children: Facilitating Sign Language in Challenging Learning Environments. IDC Michael D. Jones, M. Jeannette Lawler, Eric Hintz, Nathan Bench, Fred Mangrubang, Mallory Trullender
2013	J	`jnl`	Fast Relabeling of Deformable Delaunay Tetrahedral Meshes Using a Compact Uniform Grid. J. Graph. Tools D. Frogley, Michael D. Jones
2013	J	`jnl`	Large and Small Eddies Matter: Animating Trees in Wind Using Coarse Fluid Simulation and Synthetic Turbulence. Comput. Graph. Forum A. Selino, Michael D. Jones
2013	Misc	`conf`	Owl pellets and head-mounted displays: a demonstration of visual interaction for children who communicate in a sign language. IDC Michael D. Jones, M. Jeannette Lawler, Eric Hintz, Nathan Bench, Fred Mangrubang
2013	J	`jnl`	Reconstructing 3D Tree Models Using Motion Capture and Particle Flow. Int. J. Comput. Games Technol. Jie Long, Michael D. Jones
2011	—	`conf`	Branches and Roots: Project Selection in Graphics Courses for Fourth Year Computer Science Undergraduates. ISVC (2) Michael D. Jones
2010	J	`jnl`	Delaunay deformable mesh for the weathering and erosion of 3D terrain. Vis. Comput. Luther A. Tychonievich, Michael D. Jones
2010	J	`jnl`	Directable Weathering of Concave Rock Using Curvature Estimation. IEEE Trans. Vis. Comput. Graph. Michael D. Jones, McKay Farley, Joseph Butler, Matthew Beardall
2010	C	`conf`	Motion Capture for a Natural Tree in the Wind. MIG Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael D. Jones
2009	—	`conf`	Motion capture for natural tree animation. SIGGRAPH Talks Jie Long, Cory Reimschussel, Ontario Britton, Michael D. Jones
2009	—	`conf`	Test Case Generation Using Model Checking for Software Components Deployed into New Environments. ICST Workshops Tonglaga Bao, Michael D. Jones
2008	—	`conf`	Model Checking Abstract Components within Concrete Software Environments. SPIN Tonglaga Bao, Michael D. Jones
2006	J	`jnl`	Guided Model Checking with a Bayesian Meta-heuristic. Fundam. Informaticae Kevin D. Seppi, Michael D. Jones, Peter Lamborn
2006	A	`conf`	January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior. PPSN Peter Lamborn, Michael D. Jones
2005	—	`conf`	Model Checking Machine Code with the GNU Debugger. SPIN Eric Mercer, Michael D. Jones
2005	J	`jnl`	Parallel search for LTL violations. Int. J. Softw. Tools Technol. Transf. Michael D. Jones, Jacob Sorber
2005	A	`conf`	Time-Efficient Model Checking with Magnetic Disk. TACAS Tonglaga Bao, Michael D. Jones
2004	—	`conf`	Explicit State Model Checking with Hopper. SPIN Michael D. Jones, Eric Mercer
2004	—	`conf`	Guided Model Checking with a Bayesian Meta-heuristic. ACSD Kevin D. Seppi, Michael D. Jones, Peter Lamborn
2004	—	`conf`	Responding to Policies at Runtime in TrustBuilder. POLICY Bryan Smith, Kent E. Seamons, Michael D. Jones
2003	—	`conf`	Benchmarking Explicit State Parallel Model Checkers. PDMC@CAV Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn
2002	—	`conf`	Incremental Proof of the Producer/Consumer Property for the PCI Protocol. ZB Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen
2000	J	`jnl`	Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. Formal Methods Syst. Des. Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan
2000	—	`conf`	Toward automated abstraction for protocols on branching networks. HLDVT Michael D. Jones, Ganesh Gopalakrishnan
2000	B	`conf`	Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods. FMCAD Michael D. Jones, Ganesh Gopalakrishnan
1998	B	`conf`	Alexandria: A Tool for Hierarchical Verification. FMCAD Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley