Michael Jones
Michael Jones
Associate Professor of Computer Science, Brigham Young University
Verifierad e-postadress på cs.byu.edu
Citeras av
Citeras av
Model checking machine code with the GNU debugger
E Mercer, M Jones
International SPIN Workshop on Model Checking of Software, 251-265, 2005
Responding to policies at runtime in TrustBuilder
B Smith, KE Seamons, MD Jones
Policies for Distributed Systems and Networks, 2004. POLICY 2004 …, 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
Goblins by SpheroidalWeathering.
M Beardall, M Farley, D Ouderkirk, J Smith, M Jones, PK Egbert
NPH, 7-14, 2007
Time-efficient model checking with magnetic disk
T Bao, M Jones
International Conference on Tools and Algorithms for the Construction and …, 2005
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
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
Guided model checking with a bayesian meta-heuristic
K Seppi, M Jones, P Lamborn
Fundamenta Informaticae 70 (1, 2), 111-126, 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
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
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
HCI Outdoors: Understanding Human-Computer Interaction in Outdoor Recreation
MD Jones, KWJ Cheverst, Z Anderson, FJ Daiber, J Hakkila
ACM, 2018
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
Parallel search for LTL violations
MD Jones, J Sorber
International Journal on Software Tools for Technology Transfer 7 (1), 31-42, 2005
Explicit state model checking with Hopper
M Jones, E Mercer
International SPIN Workshop on Model Checking of Software, 146-150, 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
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
Towards understanding hikers' technology preferences
Z Anderson, C Lusk, MD Jones
Proceedings of the 2017 ACM International Joint Conference on Pervasive and …, 2017
Delaunay deformable mesh for the weathering and erosion of 3d terrain
LA Tychonievich, MD Jones
The Visual Computer 26 (12), 1485-1495, 2010
Motion capture for a natural tree in the wind
J Long, C Reimschussel, A Hall, M Jones
International Conference on Motion in Games, 158-169, 2010
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20