( en | de | ru )

 

Disambiguation of "Jackson, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Faster Checking of Software Specifications by Eliminating Isomorphs.

, , and . POPL, page 79-90. ACM Press, (1996)

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

Software analysis: a roadmap, and . ICSE '00: Proceedings of the Conference on The Future of Software Engineering - Future of SE Track, page 133-145. (2000)Idioms of Logical Modelling.. ICGT, volume 4178 of Lecture Notes in Computer Science, page 14. Springer, (2006)Critical Feature Analysis of a Radiotherapy Machine., , , , and . SAFECOMP, volume 2788 of Lecture Notes in Computer Science, page 221-234. Springer, (2003)Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint)., and . IEEE Software, 13 (2): 20 (1996)Aspect: Detecting Bugs with Abstract Dependences.. ACM Trans. Softw. Eng. Methodol., 4 (2): 109-145 (1995)Panopticon: a parallel video overview system., , , , , and . UIST, page 123-130. ACM, (2013)αRby - An Embedding of Alloy in Ruby., , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 56-71. Springer, (2014)A Structure for Dependability Arguments., and . ASM, volume 5977 of Lecture Notes in Computer Science, page 1. Springer, (2010)Module Dependences in Software Design.. RISSEF, volume 2941 of Lecture Notes in Computer Science, page 198-203. Springer, (2002)Conveying spatial awareness cues in xR collaborations., , , and . IEEE Trans. Vis. Comput. Graph., 25 (11): 3178-3189 (2019)