Author: Daniel Jackson

Publications

Publication period start: 2012
Number of co-authors: 40

Co-authors

Number of publications with favourite co-authors
Tom Bartindale
3
Cassim Ladha
3
Patrick Olivier
7

Productive Colleagues

Most productive colleagues in number of publications
David Gries
31
Patrick Olivier
39
Robert L. Glass
48

Publications

Pears, Nick, Jackson, Daniel, Olivier, Patrick (2009): Smart Phone Interaction with Registered Displays. In IEEE Pervasive Computing, 8 (2) pp. 14-21. https://doi.ieeecomputersociety.org/10.1109/MPRV.2009.35

Seater, Robert, Jackson, Daniel, Gheyi, Rohit (2007): Requirement progression in problem frames: deriving specifications from requirements. In Requir. Eng., 12 (2) pp. 77-102. https://dx.doi.org/10.1007/s00766-007-0048-y

Bowen, Jonathan P., Butler, Ricky W., Dill, David L., Glass, Robert L., Gries, David, Hall, Anthony, Hinchey, Michael G., Holloway, C. Michael, Jackson, Daniel, Jones, Cliff B., Lutz, Michael J., Parnas, David Lorge, Rushby, John M., Wing, Jeannette M., Zave, Pamela (1996): An Invitation to Formal Methods. In IEEE Computer, 29 (4) pp. 16-30.

Jackson, Daniel (2005): Dependable Software: An Oxymoron&. In: 13th IEEE International Conference on Requirements Engineering RE 2005 29 August - 2 September, 2005, Paris, France. pp. 3. https://doi.ieeecomputersociety.org/10.1109/RE.2005.21

Seater, Robert, Jackson, Daniel (2006): Requirement Progression in Problem Frames Applied to a Proton Therapy System. In: 14th IEEE International Conference on Requirements Engineering RE 2006 11-15 September, 2006, Minneapolis/St.Paul, Minnesota, USA. pp. 166-175. https://doi.ieeecomputersociety.org/10.1109/RE.2006.53

Pears, Nick, Olivier, Patrick, Jackson, Daniel (2008): Display Registration for Device Interaction - a Proof of Principle Prototype. In: Ranchordas, Alpesh, Araújo, Helder (eds.) VISAPP 2008 - Proceedings of the Third International Conference on Computer Vision Theory and Applications - Volume 1 January 22-25, 2008, Funchal, Portugal. pp. 446-451.

Jackson, Daniel, Bartindale, Tom, Olivier, Patrick (2009): FiberBoard: compact multi-touch display using channeled light. In: Proceedings of the 2009 ACM International Conference on Interactive Tabletops and Surfaces , 2009, . pp. 25-28. https://doi.acm.org/10.1145/1731903.1731908

Jackson, Daniel, Bartindale, Tom, Olivier, Patrick (2009): FiberBoard: compact multi-touch display using channeled light. In: Proceedings of the 2009 ACM International Conference on Interactive Tabletops and Surfaces , 2009, . pp. D13. https://doi.acm.org/10.1145/1731903.1731954

McNaney, Roisin, Lindsay, Stephen, Ladha, Karim, Ladha, Cassim, Schofield, Guy, Ploetz, Thomas, Hammerla, Nils, Jackson, Daniel, Walker, Richard, Miller, Nick, Olivier, Patrick (2011): Cueing for drooling in Parkinson's disease. In: Proceedings of ACM CHI 2011 Conference on Human Factors in Computing Systems , 2011, . pp. 619-622. https://dx.doi.org/10.1145/1978942.1979030

Kang, Eunsuk, Jackson, Daniel (2010): Dependability Arguments with Trusted Bases. In: RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27 - October 1, 2010 , 2010, . pp. 262-271. https://dx.doi.org/10.1109/RE.2010.38

Barden, Pollie, Comber, Rob, Green, David, Jackson, Daniel, Ladha, Cassim, Bartindale, Tom, Bryan-Kinns, Nick, Stockman, Tony, Olivier, Patrick (2012): Telematic dinner party: designing for togetherness through play and performance. In: Proceedings of DIS12 Designing Interactive Systems , 2012, . pp. 38-47. https://dx.doi.org/10.1145/2317956.2317964

Hooper, Clare J., Preston, Anne, Balaam, Madeline, Seedhouse, Paul, Jackson, Daniel, Pham, Cuong, Ladha, Cassim, Ladha, Karim, Plotz, Thomas, Olivier, Patrick (2012): The French kitchen: task-based learning in an instrumented kitchen. In: Proceedings of the 2012 International Conference on Uniquitous Computing , 2012, . pp. 193-202. https://dx.doi.org/10.1145/2370216.2370246