Alexandria: A Tool for Hierarchical Verification. - Annette Bunker; Trent N. Larson; Michael D. Jones; Phillip J. Windley (FMCAD, 1998)

Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods. - Michael D. Jones; Ganesh Gopalakrishnan (FMCAD, 2000)

Toward automated abstraction for protocols on branching networks. - Michael D. Jones; Ganesh Gopalakrishnan (HLDVT, 2000)

Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. - Abdel Mokkedem; Ravi Hosabettu; Michael D. Jones; Ganesh Gopalakrishnan (Formal Methods Syst. Des., 2000)

Incremental Proof of the Producer/Consumer Property for the PCI Protocol. - Dominique Cansell; Ganesh Gopalakrishnan; Michael D. Jones; Dominique Méry; Airy Weinzoepflen (ZB, 2002)

Benchmarking Explicit State Parallel Model Checkers. - Michael D. Jones; Eric Mercer; Tonglaga Bao; Rahul Kumar 004; Peter Lamborn (PDMC@CAV, 2003)

Responding to Policies at Runtime in TrustBuilder. - Bryan Smith; Kent E. Seamons; Michael D. Jones (POLICY, 2004)

Explicit State Model Checking with Hopper. - Michael D. Jones; Eric Mercer (SPIN, 2004)

Model Checking Machine Code with the GNU Debugger. - Eric Mercer; Michael D. Jones (SPIN, 2005)

Time-Efficient Model Checking with Magnetic Disk. - Tonglaga Bao; Michael D. Jones (TACAS, 2005)

Parallel search for LTL violations. - Michael D. Jones; Jacob Sorber (Int. J. Softw. Tools Technol. Transf., 2005)

January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior. - Peter Lamborn; Michael D. Jones (PPSN, 2006)

Guided Model Checking with a Bayesian Meta-heuristic. - Kevin D. Seppi; Michael D. Jones; Peter Lamborn (Fundam. Informaticae, 2006)

Model Checking Abstract Components within Concrete Software Environments. - Tonglaga Bao; Michael D. Jones (SPIN, 2008)

Test Case Generation Using Model Checking for Software Components Deployed into New Environments. - Tonglaga Bao; Michael D. Jones (ICST Workshops, 2009)

Motion capture for natural tree animation. - Jie Long; Cory Reimschussel; Ontario Britton; Michael D. Jones (SIGGRAPH Talks, 2009)

Motion Capture for a Natural Tree in the Wind. - Jie Long; Cory Reimschussel; Ontario Britton; Anthony Hall; Michael D. Jones (MIG, 2010)

Directable Weathering of Concave Rock Using Curvature Estimation. - Michael D. Jones; McKay Farley; Joseph Butler; Matthew Beardall (IEEE Trans. Vis. Comput. Graph., 2010)

Delaunay deformable mesh for the weathering and erosion of 3D terrain. - Luther A. Tychonievich; Michael D. Jones (Vis. Comput., 2010)

Branches and Roots: Project Selection in Graphics Courses for Fourth Year Computer Science Undergraduates. - Michael D. Jones (ISVC (2), 2011)

Owl pellets and head-mounted displays: a demonstration of visual interaction for children who communicate in a sign language. - Michael D. Jones; M. Jeannette Lawler; Eric Hintz; Nathan Bench; Fred Mangrubang (IDC, 2013)

Large and Small Eddies Matter: Animating Trees in Wind Using Coarse Fluid Simulation and Synthetic Turbulence. - A. Selino; Michael D. Jones (Comput. Graph. Forum, 2013)

Reconstructing 3D Tree Models Using Motion Capture and Particle Flow. - Jie Long; Michael D. Jones (Int. J. Comput. Games Technol., 2013)

Fast Relabeling of Deformable Delaunay Tetrahedral Meshes Using a Compact Uniform Grid. - D. Frogley; Michael D. Jones (J. Graph. Tools, 2013)

Head mounted displays and deaf children: Facilitating Sign Language in Challenging Learning Environments. - Michael D. Jones; M. Jeannette Lawler; Eric Hintz; Nathan Bench; Fred Mangrubang; Mallory Trullender (IDC, 2014)

Mobile Phone Access to a Sign Language Dictionary. - Michael D. Jones; Harley Hamilton; James Petmecky (ASSETS, 2015)

Animation of trees in wind using sparse motion capture data. - Jie Long; Bryce Porter; Michael D. Jones (Vis. Comput., 2015)

What you Sculpt is What you Get: Modeling Physical Interactive Devices with Clay and 3D Printed Widgets. - Michael D. Jones; Kevin D. Seppi; Dan R. Olsen (CHI, 2016)

Automatic detection of alpine ski turns in sensor data. - Michael D. Jones; Casey Walker; Zann Anderson; Lawrence Thatcher (UbiComp Adjunct, 2016)

SIG on Interactive Computing in Outdoor Recreation. - Michael D. Jones; Florian Daiber; Zann Anderson; Kevin D. Seppi (CHI Extended Abstracts, 2017)

Towards understanding hikers' technology preferences. - Zann Anderson; Candice Lusk; Michael D. Jones (UbiComp/ISWC Adjunct, 2017)

UbiMount: 2nd workshop on ubiquitous computing in the mountains. - Florian Daiber; Michael D. Jones; Frederik Wiehr; Keith Cheverst; Felix Kosmalla; Jonna Häkkilä (UbiComp/ISWC Adjunct, 2017)

Accelerometer data and video collected while hiking and climbing at UbiMount 2016. - Michael D. Jones; Zann Anderson (UbiComp/ISWC Adjunct, 2017)

Exploring a Modular Approach to Redesigning Interfaces for Physical Interactive Devices. - Michael D. Jones; Casey Walker; Zann Anderson; Candice Lusk; Andrew Bryce (TEI, 2017)

Sculpt, Deploy, Repeat: Fast Prototyping of Interactive Physical Objects. - Michael D. Jones; Kevin D. Seppi (CoRR, 2017)

HCI Outdoors: Understanding Human-Computer Interaction in Outdoor Recreation. - Michael D. Jones; Zann Anderson; Jonna Häkkilä; Keith Cheverst; Florian Daiber (CHI Extended Abstracts, 2018)

PHUI-kit: Interface Layout and Fabrication on Curved 3D Printed Objects. - Michael D. Jones; Zann Anderson; Casey Walker; Kevin D. Seppi (CHI, 2018)

PHUI-kit: A Tool for Physical User Interface Layout. - Michael D. Jones; Zann Anderson; Casey Walker; Kevin D. Seppi (CHI Extended Abstracts, 2018)

Understanding How Non-Experts Collect and Annotate Activity Data. - Michael D. Jones; Naomi Johnson; Kevin D. Seppi; Lawrence Thatcher (UbiComp/ISWC Adjunct, 2018)

Decoupling Screen Size and Gesture Size for Wrist Worn Devices. - Michael D. Jones; Kevin D. Seppi; Jared Forsyth; Zann Anderson (PerCom Workshops, 2018)

W.O.U.S.: Widgets of Unusual Size. - Zann Anderson; Michael D. Jones; Kevin D. Seppi (TEI, 2018)

Correction of copy number induced false positives in CRISPR screens. - Antoine de Weck; Javad Golji; Michael D. Jones; Joshua M. Korn; Eric Billy; E. Robert McDonald III; Tobias Schmelzle; Hans Bitter; Audrey Kauffmann (PLoS Comput. Biol., 2018)

Understanding How Non-experts Collect and Annotate Activity Data. - Naomi Johnson; Michael D. Jones; Kevin D. Seppi; Lawrence Thatcher (Human Activity Sensing, 2019)

Delivering Sign Language in a Live Planetarium Show Using Head-Mounted Displays and Infrared Light. - Michael D. Jones; M. Jeannette Lawler (ASSETS, 2019)

Mobile computing and well-being in the outdoors. - Zann Anderson; Michael D. Jones (UbiComp/ISWC Adjunct, 2019)

Cake Cam: Take Your Photo and Be in it Too. - Candice Lusk; Michael D. Jones (MobileHCI, 2019)

Synchronization between Sensors and Cameras in Movement Data Labeling Frameworks. - Jacob W. Kamminga; Michael D. Jones; Kevin D. Seppi; Nirvana Meratnia; Paul J. M. Havinga (DATA@SenSys, 2019)

Tangible Interactions with Physicalizations of Personal Experience Data. - Zann Anderson; Michael D. Jones (VISIGRAPP (2: HUCAPP), 2020)

Towards Tangible Interaction in Scraping Therapy. - Casey Walker; Michael D. Jones; Steven Orrock; Karen Carter (TEI, 2020)

Body As Starting Point 4: Inbodied Interaction Design for Health Ownership. - m. c. schraefel; Josh Andrés; Aaron Tabor; Scott Bateman; Abby Wanyu Liu; Mike Jones 004; Kai Kunze; Elizabeth L. Murnane; Steeven Villa (CHI Extended Abstracts, 2021)

Body as Starting Point 5: Exploring the Inbodied Interaction Design Framework - New Methodologies in Interactive Health Design. - Josh Andrés; Richard Gomer; Michael D. Jones; m. c. schraefel (CHI Extended Abstracts, 2022)

Outside Where? A Survey of Climates and Built Environments in Studies of HCI outdoors. - Michael D. Jones; Meredith Von Feldt; Natalie Andrus (CHI, 2022)

Using Machine Learning to Classify Volleyball Jumps. - Miki Jauhiainen; Michael D. Jones (NTSPORT@MobileHCI, 2022)

New Trends in HCI and Sports. - 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 (MobileHCI (Adjunct), 2022)

Glove Navigator for Skiing in the Mountains. - Kuisma Hurtig; Jemina Colley; Michael D. Jones; Jonna Häkkilä (MUM, 2023)

Discomfort: a new material for interaction design. - m. c. schraefel; Michael D. Jones (Frontiers Comput. Sci., 2023)

Editorial: Inbodied interaction. - m. c. schraefel; Michael D. Jones; Josh Andres; Elizabeth L. Murnane (Frontiers Comput. Sci., 2023)

Understanding the Roles of Video and Sensor Data in the Annotation of Human Activities. - Michael D. Jones; Courtni Byun; Naomi Johnson; Kevin D. Seppi (Int. J. Hum. Comput. Interact., 2023)

Grand Challenges in SportsHCI. - 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; et al. (CHI, 2024)

Training, children, and parents: Coach perspectives on wearable sensor data in sub-elite figure skating in the United States. - Michael D. Jones; Mia Caminita; Elizabeth Klemm; Dustin A. Bruening; Sarah Ridge (Int. J. Hum. Comput. Stud., 2024)

Experience Shaping, Social Cues and Safety: Headphone Use and Non-Use While Hiking in the United States. - Zann Anderson; Michael D. Jones (Int. J. Hum. Comput. Interact., 2024)