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