( en | de | ru )

 

Disambiguation of "Jackson, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Adaptive Defending Strategy for Smart Grid Attacks.

, , , and . SEGS@CCS, page 23-30. ACM, (2014)

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.

Daniel John Jackson

Helen Jackson

Margret Jackson

Michelle Jackson

Peter Jackson

 

Other publications of authors with the same name

TouchBridge: augmenting active tangibles for camera-based multi-touch surfaces., , , , , and . ITS, page 271-272. ACM, (2010)Faster Checking of Software Specifications by Eliminating Isomorphs., , and . POPL, page 79-90. ACM Press, (1996)Structuring Z Specifications with Views. ACM Trans. Softw. Eng. Methodol., 4 (4): 365-389 (1995)Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications., , and . ACM Trans. Program. Lang. Syst., 20 (2): 302-343 (1998)Mobile Device and Intelligent Display Interaction via Scale-invariant Image Feature Matching., , , and . PECCS, page 207-214. SciTePress, (2011)CueS: cueing for upper limb rehabilitation in stroke., , , , , , , , , and . BCS HCI, page 18-25. ACM, (2015)Critical feature analysis of a radiotherapy machine., , , , and . Reliab. Eng. Syst. Saf., 89 (1): 48-56 (2005)Alloy*: a general-purpose higher-order relational constraint solver., , , and . Formal Methods Syst. Des., 55 (1): 1-32 (2019)Problem decomposition for reuse., and . Softw. Eng. J., 11 (1): 19-30 (1996)Rapid specification and automated generation of prompting systems to assist people with dementia., , , , , and . Pervasive Mob. Comput., 7 (3): 299-318 (2011)