default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael D. Jones
Person information
- affiliation: Brigham Young University, Provo, Utah, USA
- affiliation: University of Utah, Salt Lake City, Utah, USA
Other persons with the same name
- Mike Jones — disambiguation page
- Michael Jones 0001
![[0009-0005-8066-5620]](https://dblp.org/img/orcid-mark.12x12.png "0009-0005-8066-5620")
(aka: Mike Jones 0001) — MIT Lincoln Laboratory Supercomputing Center, Lexington, MA, USA - Mike Jones 0002 (aka: Michael A. S. Jones) — Purdue University, West Lafayette, IN, United States (and 1 more)
- Michael L. Jones 0001 (aka: Mike Jones 0003) — Shepherd Center, Atlanta, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j15]Zann Anderson, Michael D. Jones:
Experience Shaping, Social Cues and Safety: Headphone Use and Non-Use While Hiking in the United States. Int. J. Hum. Comput. Interact. 40(20): 6220-6231 (2024)- [j14]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: 103184 (2024) - [c45]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: 312:1-312:20 - 2023
- [j13]m. c. schraefel, Michael D. Jones:
Discomfort: a new material for interaction design. Frontiers Comput. Sci. 5 (2023) - [j12]m. c. schraefel, Michael D. Jones, Josh Andres, Elizabeth L. Murnane:
Editorial: Inbodied interaction. Frontiers Comput. Sci. 5 (2023) - [j11]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): 3634-3648 (2023) - [c44]Kuisma Hurtig, Jemina Colley, Michael D. Jones, Jonna Häkkilä:
Glove Navigator for Skiing in the Mountains. MUM 2023: 503-505 - 2022
- [c43]Josh Andrés, Richard Gomer, Michael D. Jones, m. c. schraefel:
Body as Starting Point 5: Exploring the Inbodied Interaction Design Framework - New Methodologies in Interactive Health Design. CHI Extended Abstracts 2022: 98:1-98:5 - [c42]Michael D. Jones, Meredith Von Feldt, Natalie Andrus:
Outside Where? A Survey of Climates and Built Environments in Studies of HCI outdoors. CHI 2022: 373:1-373:15 - [c41]Miki Jauhiainen, Michael D. Jones:
Using Machine Learning to Classify Volleyball Jumps. NTSPORT@MobileHCI 2022 - [c40]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: 6:1-6:5 - [e1]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 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. CEUR Workshop Proceedings 3267, CEUR-WS.org 2022 [contents] - 2021
- [c39]m. c. schraefel, Josh Andrés, Aaron Tabor, Scott Bateman, Abby Wanyu Liu, Mike Jones, Kai Kunze, Elizabeth L. Murnane, Steeven Villa:
Body As Starting Point 4: Inbodied Interaction Design for Health Ownership. CHI Extended Abstracts 2021: 85:1-85:5 - [i2]m. c. schraefel, Michael D. Jones:
Discomfort: a New Material for Interaction Design. CoRR abs/2105.04015 (2021) - 2020
- [c38]Zann Anderson, Michael D. Jones:
Tangible Interactions with Physicalizations of Personal Experience Data. VISIGRAPP (2: HUCAPP) 2020: 186-194 - [c37]Casey Walker, Michael D. Jones, Steven Orrock, Karen Carter:
Towards Tangible Interaction in Scraping Therapy. TEI 2020: 597-602
2010 – 2019
- 2019
- [c36]Michael D. Jones, M. Jeannette Lawler:
Delivering Sign Language in a Live Planetarium Show Using Head-Mounted Displays and Infrared Light. ASSETS 2019: 396-401 - [c35]Zann Anderson, Michael D. Jones:
Mobile computing and well-being in the outdoors. UbiComp/ISWC Adjunct 2019: 1154-1157 - [c34]Candice Lusk, Michael D. Jones:
Cake Cam: Take Your Photo and Be in it Too. MobileHCI 2019: 12:1-12:9 - [c33]Jacob W. Kamminga, Michael D. Jones, Kevin D. Seppi, Nirvana Meratnia, Paul J. M. Havinga:
Synchronization between Sensors and Cameras in Movement Data Labeling Frameworks. DATA@SenSys 2019: 37-39 - [p1]Naomi Johnson, Michael D. Jones, Kevin D. Seppi, Lawrence Thatcher:
Understanding How Non-experts Collect and Annotate Activity Data. Human Activity Sensing 2019: 91-110 - 2018
- [j10]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) - [c32]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 - [c31]Michael D. Jones, Zann Anderson, Casey Walker, Kevin D. Seppi:
PHUI-kit: Interface Layout and Fabrication on Curved 3D Printed Objects. CHI 2018: 110 - [c30]Michael D. Jones, Zann Anderson, Casey Walker, Kevin D. Seppi:
PHUI-kit: A Tool for Physical User Interface Layout. CHI Extended Abstracts 2018 - [c29]Michael D. Jones, Naomi Johnson, Kevin D. Seppi, Lawrence Thatcher:
Understanding How Non-Experts Collect and Annotate Activity Data. UbiComp/ISWC Adjunct 2018: 1424-1433 - [c28]Michael D. Jones, Kevin D. Seppi, Jared Forsyth, Zann Anderson:
Decoupling Screen Size and Gesture Size for Wrist Worn Devices. PerCom Workshops 2018: 324-329 - [c27]Zann Anderson, Michael D. Jones, Kevin D. Seppi:
W.O.U.S.: Widgets of Unusual Size. TEI 2018: 221-230 - 2017
- [c26]Michael D. Jones, Florian Daiber, Zann Anderson, Kevin D. Seppi:
SIG on Interactive Computing in Outdoor Recreation. CHI Extended Abstracts 2017: 1326-1329 - [c25]Zann Anderson, Candice Lusk, Michael D. Jones:
Towards understanding hikers' technology preferences. UbiComp/ISWC Adjunct 2017: 1-4 - [c24]Florian Daiber, Michael D. Jones, Frederik Wiehr, Keith Cheverst, Felix Kosmalla, Jonna Häkkilä:
UbiMount: 2nd workshop on ubiquitous computing in the mountains. UbiComp/ISWC Adjunct 2017: 1022-1026 - [c23]Michael D. Jones, Zann Anderson:
Accelerometer data and video collected while hiking and climbing at UbiMount 2016. UbiComp/ISWC Adjunct 2017: 1043-1046 - [c22]Michael D. Jones, Casey Walker, Zann Anderson, Candice Lusk, Andrew Bryce:
Exploring a Modular Approach to Redesigning Interfaces for Physical Interactive Devices. TEI 2017: 465-471 - [i1]Michael D. Jones, Kevin D. Seppi:
Sculpt, Deploy, Repeat: Fast Prototyping of Interactive Physical Objects. CoRR abs/1709.06067 (2017) - 2016
- [c21]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: 876-886 - [c20]Michael D. Jones, Casey Walker, Zann Anderson, Lawrence Thatcher:
Automatic detection of alpine ski turns in sensor data. UbiComp Adjunct 2016: 856-860 - 2015
- [j9]Jie Long, Bryce Porter, Michael D. Jones:
Animation of trees in wind using sparse motion capture data. Vis. Comput. 31(3): 325-339 (2015) - [c19]Michael D. Jones, Harley Hamilton, James Petmecky:
Mobile Phone Access to a Sign Language Dictionary. ASSETS 2015: 331-332 - 2014
- [c18]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: 317-320 - 2013
- [j8]A. Selino, Michael D. Jones:
Large and Small Eddies Matter: Animating Trees in Wind Using Coarse Fluid Simulation and Synthetic Turbulence. Comput. Graph. Forum 32(1): 75-84 (2013) - [j7]Jie Long, Michael D. Jones:
Reconstructing 3D Tree Models Using Motion Capture and Particle Flow. Int. J. Comput. Games Technol. 2013: 363160:1-363160:11 (2013) - [j6]D. Frogley, Michael D. Jones:
Fast Relabeling of Deformable Delaunay Tetrahedral Meshes Using a Compact Uniform Grid. J. Graph. Tools 17(1-2): 17-29 (2013) - [c17]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: 535-538 - 2011
- [c16]Michael D. Jones:
Branches and Roots: Project Selection in Graphics Courses for Fourth Year Computer Science Undergraduates. ISVC (2) 2011: 249-258 - 2010
- [j5]Michael D. Jones, McKay Farley, Joseph Butler, Matthew Beardall:
Directable Weathering of Concave Rock Using Curvature Estimation. IEEE Trans. Vis. Comput. Graph. 16(1): 81-94 (2010) - [j4]Luther A. Tychonievich, Michael D. Jones:
Delaunay deformable mesh for the weathering and erosion of 3D terrain. Vis. Comput. 26(12): 1485-1495 (2010) - [c15]Jie Long, Cory Reimschussel, Ontario Britton, Anthony Hall, Michael D. Jones:
Motion Capture for a Natural Tree in the Wind. MIG 2010: 158-169
2000 – 2009
- 2009
- [c14]Tonglaga Bao, Michael D. Jones:
Test Case Generation Using Model Checking for Software Components Deployed into New Environments. ICST Workshops 2009: 57-66 - [c13]Jie Long, Cory Reimschussel, Ontario Britton, Michael D. Jones:
Motion capture for natural tree animation. SIGGRAPH Talks 2009 - 2008
- [c12]Tonglaga Bao, Michael D. Jones:
Model Checking Abstract Components within Concrete Software Environments. SPIN 2008: 42-59 - 2006
- [j3]Kevin D. Seppi, Michael D. Jones, Peter Lamborn:
Guided Model Checking with a Bayesian Meta-heuristic. Fundam. Informaticae 70(1-2): 111-126 (2006) - [c11]Peter Lamborn, Michael D. Jones:
January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior. PPSN 2006: 731-740 - 2005
- [j2]Michael D. Jones, Jacob Sorber:
Parallel search for LTL violations. Int. J. Softw. Tools Technol. Transf. 7(1): 31-42 (2005) - [c10]Eric Mercer, Michael D. Jones:
Model Checking Machine Code with the GNU Debugger. SPIN 2005: 251-265 - [c9]Tonglaga Bao, Michael D. Jones:
Time-Efficient Model Checking with Magnetic Disk. TACAS 2005: 526-540 - 2004
- [c8]Kevin D. Seppi, Michael D. Jones, Peter Lamborn:
Guided Model Checking with a Bayesian Meta-heuristic. ACSD 2004: 217-226 - [c7]Bryan Smith, Kent E. Seamons, Michael D. Jones:
Responding to Policies at Runtime in TrustBuilder. POLICY 2004: 149-158 - [c6]Michael D. Jones, Eric Mercer:
Explicit State Model Checking with Hopper. SPIN 2004: 146-150 - 2003
- [c5]Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn:
Benchmarking Explicit State Parallel Model Checkers. PDMC@CAV 2003: 84-98 - 2002
- [c4]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: 22-41 - 2000
- [j1]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): 93-119 (2000) - [c3]Michael D. Jones, Ganesh Gopalakrishnan:
Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods. FMCAD 2000: 505-519 - [c2]Michael D. Jones, Ganesh Gopalakrishnan:
Toward automated abstraction for protocols on branching networks. HLDVT 2000: 147-152
1990 – 1999
- 1998
- [c1]Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley:
Alexandria: A Tool for Hierarchical Verification. FMCAD 1998: 515-522
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-13 00:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
