( en | de | ru )

 

Disambiguation of "Jones, Kevin D."

Author of the publication

copydeleteadd this publication to your clipboard
Factors Affecting Cyber Risk in Maritime.

, and . CyberSA, page 1-8. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

D B Jones

Kevin D Stubbs

Alexander Ali Kevin

Hugh Jones

Janet Jones-Ullmann

 

Other publications of authors with the same name

A Semantics for a Larch/Modula-3 Interface Language.. Larch, page 142-158. Springer, (1992)Modeling Security Policy and the Effect for End-Users., and . HCI (27), volume 8030 of Lecture Notes in Computer Science, page 256-265. Springer, (2013)Support Environments for VDM.. VDM Europe, volume 252 of Lecture Notes in Computer Science, page 110-117. Springer, (1987)Vision-based tracking and motion estimation for moving targets using small UAVs., , , and . ACC, IEEE, (2006)Forensic Readiness within the Maritime Sector., and . CyberSA, page 1-4. IEEE, (2019)Variable domain transformation for linear PAC analysis of mixed-signal systems., , and . ICCAD, page 887-894. IEEE Computer Society, (2007)A Formal Semantics for a DataFlow Machine - Using VDM.. VDM Europe, volume 252 of Lecture Notes in Computer Science, page 331-355. Springer, (1987)Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch., , and . DAC, page 440-443. IEEE, (2007)Larch: Languages and Tools for Formal Specification, , , , , and . Texts and Monographs in Computer Science Springer, (1993)Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification., and . ACM Great Lakes Symposium on VLSI, page 295-300. ACM, (2015)