Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDMichael D. Jones
Person information
- affiliation: Brigham Young University, Provo, Utah, USA
- affiliation: University of Utah, Salt Lake City, Utah, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[c34]Zann Anderson, Michael D. Jones:
Tangible Interactions with Physicalizations of Personal Experience Data. VISIGRAPP (2: HUCAPP) 2020: 186-194- [c33]Casey Walker, Michael D. Jones, Steven Orrock, Karen Carter:
Towards Tangible Interaction in Scraping Therapy. Tangible and Embedded Interaction 2020: 597-602
2010 – 2019
- 2019
- [c32]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 - [c31]Zann Anderson, Michael D. Jones:
Mobile computing and well-being in the outdoors. UbiComp/ISWC Adjunct 2019: 1154-1157 - [c30]Candice Lusk, Michael D. Jones:
Cake Cam: Take Your Photo and Be in it Too. MobileHCI 2019: 12:1-12:9 - [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
- [j8]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) - [c29]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 - [c28]Michael D. Jones, Zann Anderson, Casey Walker, Kevin D. Seppi:
PHUI-kit: Interface Layout and Fabrication on Curved 3D Printed Objects. CHI 2018: 110 - [c27]Michael D. Jones, Zann Anderson, Casey Walker, Kevin D. Seppi:
PHUI-kit: A Tool for Physical User Interface Layout. CHI Extended Abstracts 2018 - [c26]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 - [c25]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 - [c24]Zann Anderson, Michael D. Jones, Kevin D. Seppi:
W.O.U.S.: Widgets of Unusual Size. Tangible and Embedded Interaction 2018: 221-230 - 2017
- [c23]Michael D. Jones, Florian Daiber, Zann Anderson, Kevin D. Seppi:
SIG on Interactive Computing in Outdoor Recreation. CHI Extended Abstracts 2017: 1326-1329 - [c22]Zann Anderson, Candice Lusk, Michael D. Jones:
Towards understanding hikers' technology preferences. UbiComp/ISWC Adjunct 2017: 1-4 - [c21]Michael D. Jones, Zann Anderson:
Accelerometer data and video collected while hiking and climbing at UbiMount 2016. UbiComp/ISWC Adjunct 2017: 1043-1046 - [c20]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: 465-471 - [i1]Michael D. Jones, Kevin D. Seppi:
Sculpt, Deploy, Repeat: Fast Prototyping of Interactive Physical Objects. CoRR abs/1709.06067 (2017) - 2016
- [c19]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 - [c18]Michael D. Jones, Casey Walker, Zann Anderson, Lawrence Thatcher:
Automatic detection of alpine ski turns in sensor data. UbiComp Adjunct 2016: 856-860 - 2015
- [j7]Jie Long, Bryce Porter, Michael D. Jones:
Animation of trees in wind using sparse motion capture data. Vis. Comput. 31(3): 325-339 (2015) - [c17]Michael D. Jones, Harley Hamilton, James Petmecky:
Mobile Phone Access to a Sign Language Dictionary. ASSETS 2015: 331-332 - 2014
- [c16]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
- [j6]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) - [c15]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 - 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) - [c14]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
- [c13]Tonglaga Bao, Michael D. Jones:
Test Case Generation Using Model Checking for Software Components Deployed into New Environments. ICST Workshops 2009: 57-66 - [c12]Jie Long, Cory Reimschussel, Ontario Britton, Michael D. Jones:
Motion capture for natural tree animation. SIGGRAPH Talks 2009 - 2008
- [c11]Tonglaga Bao, Michael D. Jones:
Model Checking Abstract Components within Concrete Software Environments. SPIN 2008: 42-59 - 2006
- [j4]Kevin D. Seppi, Michael D. Jones, Peter Lamborn:
Guided Model Checking with a Bayesian Meta-heuristic. Fundam. Informaticae 70(1-2): 111-126 (2006) - [c10]Peter Lamborn, Michael D. Jones:
January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior. PPSN 2006: 731-740 - 2005
- [j3]Michael D. Jones, Jacob Sorber:
Parallel search for LTL violations. Int. J. Softw. Tools Technol. Transf. 7(1): 31-42 (2005) - [c9]Eric Mercer, Michael D. Jones:
Model Checking Machine Code with the GNU Debugger. SPIN 2005: 251-265 - [c8]Tonglaga Bao, Michael D. Jones:
Time-Efficient Model Checking with Magnetic Disk. TACAS 2005: 526-540 - 2004
- [c7]Kevin D. Seppi, Michael D. Jones, Peter Lamborn:
Guided Model Checking with a Bayesian Meta-heuristic. ACSD 2004: 217-226 - [c6]Bryan Smith, Kent E. Seamons, Michael D. Jones:
Responding to Policies at Runtime in TrustBuilder. POLICY 2004: 149-158 - [c5]Michael D. Jones, Eric Mercer:
Explicit State Model Checking with Hopper. SPIN 2004: 146-150 - 2003
- [j2]Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn:
Benchmarking Explicit State Parallel Model Checkers. Electron. Notes Theor. Comput. Sci. 89(1): 84-98 (2003) - 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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-02-14 00:41 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 has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
