| Model checking machine code with the GNU debugger E Mercer, M Jones International SPIN Workshop on Model Checking of Software, 251-265, 2005 | 66 | 2005 |
| Responding to policies at runtime in TrustBuilder B Smith, KE Seamons, MD Jones Policies for Distributed Systems and Networks, 2004. POLICY 2004 …, 2004 | 44 | 2004 |
| Incremental proof of the producer/consumer property for the PCI protocol D Cansell, G Gopalakrishnan, M Jones, D Méry, A Weinzoepflen International Conference of B and Z Users, 22-41, 2002 | 40 | 2002 |
| Goblins by SpheroidalWeathering. M Beardall, M Farley, D Ouderkirk, J Smith, M Jones, PK Egbert NPH, 7-14, 2007 | 37 | 2007 |
| What you sculpt is what you get: Modeling physical interactive devices with clay and 3d printed widgets MD Jones, K Seppi, DR Olsen Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems …, 2016 | 36 | 2016 |
| Directable weathering of concave rock using curvature estimation MD Jones, MK Farley, J Butler, M Beardall IEEE Transactions on Visualization and Computer Graphics 16 (1), 81-94, 2010 | 33 | 2010 |
| Time-efficient model checking with magnetic disk T Bao, M Jones International Conference on Tools and Algorithms for the Construction and …, 2005 | 33 | 2005 |
| Formalization and analysis of a solution to the PCI 2.1 bus transaction ordering problem A Mokkedem, RM Hosabettu, MD Jones, GC Gopalakrishnan Formal Methods in System Design 16 (1), 93-119, 2000 | 32 | 2000 |
| Guided model checking with a bayesian meta-heuristic K Seppi, M Jones, P Lamborn Fundamenta Informaticae 70 (1, 2), 111-126, 2006 | 30 | 2006 |
| A brief introduction to formal methods [hardware design] PE Black, KM Hall, MD Jones, TN Larson, PJ Windley Custom Integrated Circuits Conference, 1996., Proceedings of the IEEE 1996 …, 1996 | 29 | 1996 |
| Mobile Phone Access to a Sign Language Dictionary MD Jones, H Hamilton, J Petmecky Proceedings of the 17th International ACM SIGACCESS Conference on Computers …, 2015 | 28 | 2015 |
| Head mounted displays and deaf children: Facilitating sign language in challenging learning environments M Jones, MJ Lawler, E Hintz, N Bench, F Mangrubang, M Trullender Proceedings of the 2014 conference on Interaction design and children, 317-320, 2014 | 28 | 2014 |
| HCI Outdoors: Understanding Human-Computer Interaction in Outdoor Recreation MD Jones, KWJ Cheverst, Z Anderson, FJ Daiber, J Hakkila ACM, 2018 | 27 | 2018 |
| Parallel search for LTL violations MD Jones, J Sorber International Journal on Software Tools for Technology Transfer 7 (1), 31-42, 2005 | 25 | 2005 |
| Explicit state model checking with Hopper M Jones, E Mercer International SPIN Workshop on Model Checking of Software, 146-150, 2004 | 21 | 2004 |
| Large and small eddies matter: Animating trees in wind using coarse fluid simulation and synthetic turbulence A Selino, MD Jones Computer Graphics Forum 32 (1), 75-84, 2013 | 20 | 2013 |
| Towards understanding hikers' technology preferences Z Anderson, C Lusk, MD Jones Proceedings of the 2017 ACM International Joint Conference on Pervasive and …, 2017 | 19 | 2017 |
| UbiMount: 2nd workshop on ubiquitous computing in the mountains F Daiber, M Jones, F Wiehr, K Cheverst, F Kosmalla, J Häkkilä Proceedings of the 2017 ACM International Joint Conference on Pervasive and …, 2017 | 18 | 2017 |
| Delaunay deformable mesh for the weathering and erosion of 3d terrain LA Tychonievich, MD Jones The Visual Computer 26 (12), 1485-1495, 2010 | 16 | 2010 |
| Automatic detection of alpine ski turns in sensor data M Jones, C Walker, Z Anderson, L Thatcher Proceedings of the 2016 ACM International Joint Conference on Pervasive and …, 2016 | 14 | 2016 |
Kevin SeppiProfessor of Computer Science, Brigham Young UniversityVerified email at cs.byu.edu
