The activity of design as revealed by tool usage. (1999)
Journal Article
Smyth, M. (1999). The activity of design as revealed by tool usage. International journal of design sciences & technology = Revue des sciences et techniques de la conception, 7, 11-22

Lessons from experience: making theorem provers more co-operative. (1996)
Presentation / Conference Contribution
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1996, December). Lessons from experience: making theorem provers more co-operative. Presented at 2nd Workshop on User Interfaces for Theorm Provers

We describe our experiences in trying to build a co-operative theorem proving system. Our model of co-operation is that of a user and an automaton combining forces to prove theorems in a semi-automated theorem proving system. We describe various unde... Read More about Lessons from experience: making theorem provers more co-operative..

Human computer co-operative systems - empowering users through partnership. (1995)
Presentation / Conference Contribution
Smyth, M. (1995, January). Human computer co-operative systems - empowering users through partnership

Metaphor reflections and a tool for thought. (1995)
Presentation / Conference Contribution
Smyth, M., Anderson, B., & Alty, J. L. (1995, August). Metaphor reflections and a tool for thought. Presented at HCI '95

Reflections on the design of interface metaphors. (1995)
Presentation / Conference Contribution
Smyth, M., Anderson, B., Knott, R. P., & Alty, J. L. (1995, June). Reflections on the design of interface metaphors

Minimising conceptual baggage: making choices about metaphor. (1994)
Presentation / Conference Contribution
Anderson, B., Smyth, M., Knott, R. P., Bergan, M., Bergan, J., & Alty, J. L. (1994, August). Minimising conceptual baggage: making choices about metaphor. Presented at HCI'94

The role of metaphor at the human computer interface. (1994)
Presentation / Conference Contribution
Smyth, M., & Knott, R. P. (1994, November). The role of metaphor at the human computer interface. Presented at OZCHI94 - Harmony through working together

Interface metaphors are introduced as a technique to facilitate the learning of systems. To better understand this process, metaphors are discussed in terms of their role in the formation of mental models. This suggests that the principle advantage o... Read More about The role of metaphor at the human computer interface..

Metaphors in HCI. (1993)
Presentation / Conference Contribution
Smyth, M., & Knott, R. P. (2004, January). Metaphors in HCI. Presented at VAMMS'93, Visual Aspects of Man-Machine Systems

Human-human co-operation and the design of co-operative machines. (1990)
Journal Article
Smyth, M., & Clarke, A. A. (1990). Human-human co-operation and the design of co-operative machines. ICL technical journal, 7, 110-126

Articulating the designers mental codes. (1988)
Report
Smyth, M. (1988). Articulating the designers mental codes

Toward a co-operative design system. (1987)
Report
Smyth, M. (1987). Toward a co-operative design system