Follow
Michael Jones
Michael Jones
Professor of Computer Science, Brigham Young University
Verified email at cs.byu.edu
Title
Cited by
Cited by
Year
Model checking machine code with the GNU debugger
E Mercer, M Jones
International SPIN Workshop on Model Checking of Software, 251-265, 2005
652005
Responding to policies at runtime in TrustBuilder
B Smith, KE Seamons, MD Jones
Policies for Distributed Systems and Networks, 2004. POLICY 2004 …, 2004
432004
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
392016
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
392002
Goblins by SpheroidalWeathering.
M Beardall, M Farley, D Ouderkirk, J Smith, M Jones, PK Egbert
NPH, 7-14, 2007
372007
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
332010
Time-efficient model checking with magnetic disk
T Bao, M Jones
International Conference on Tools and Algorithms for the Construction and …, 2005
332005
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
322000
Guided model checking with a bayesian meta-heuristic
K Seppi, M Jones, P Lamborn
Fundamenta Informaticae 70 (1, 2), 111-126, 2006
312006
HCI Outdoors: Understanding Human-Computer Interaction in Outdoor Recreation
MD Jones, KWJ Cheverst, Z Anderson, FJ Daiber, J Hakkila
ACM, 2018
302018
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
302014
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
292015
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
291996
Parallel search for LTL violations
MD Jones, J Sorber
International Journal on Software Tools for Technology Transfer 7 (1), 31-42, 2005
252005
Towards understanding hikers' technology preferences
Z Anderson, C Lusk, MD Jones
Proceedings of the 2017 ACM International Joint Conference on Pervasive and …, 2017
212017
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
202013
Explicit state model checking with Hopper
M Jones, E Mercer
International SPIN Workshop on Model Checking of Software, 146-150, 2004
202004
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
192017
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
172016
Delaunay deformable mesh for the weathering and erosion of 3d terrain
LA Tychonievich, MD Jones
The Visual Computer 26 (12), 1485-1495, 2010
162010
The system can't perform the operation now. Try again later.
Articles 1–20