![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Michael 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
(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
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 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) - 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) - 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) - 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) - 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) - 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) - 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) - 2005
- [j2]Michael D. Jones, Jacob Sorber:
Parallel search for LTL violations. Int. J. Softw. Tools Technol. Transf. 7(1): 31-42 (2005) - 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)
Conference and Workshop Papers
- 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
- [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 - 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 - 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 - 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 - 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 - 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
- [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
- [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
- [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 - 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
- [c11]Peter Lamborn, Michael D. Jones:
January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior. PPSN 2006: 731-740 - 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
- [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 - 1998
- [c1]Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley:
Alexandria: A Tool for Hierarchical Verification. FMCAD 1998: 515-522
Parts in Books or Collections
- 2019
- [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
Editorship
- 2022
- [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]
Informal and Other Publications
- 2021
- [i2]m. c. schraefel, Michael D. Jones:
Discomfort: a New Material for Interaction Design. CoRR abs/2105.04015 (2021) - 2017
- [i1]Michael D. Jones, Kevin D. Seppi:
Sculpt, Deploy, Repeat: Fast Prototyping of Interactive Physical Objects. CoRR abs/1709.06067 (2017)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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 2024-08-19 21:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint