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

The strategic use of shape grammars in the creation of spatial arrangements, keynote paper. (1999)
Presentation / Conference Contribution
Edmonds, E. A., & Smyth, M. (1999, October). The strategic use of shape grammars in the creation of spatial arrangements, keynote paper. Presented at 2nd Intl Workshop on Strategic Knowledge and Concept Formation

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

Towards a cooperative software agent. (1994)
Book Chapter
Smyth, M. (1994). Towards a cooperative software agent. In J. H. Connolly, & E. A. Edmonds (Eds.), The Kluwer International Series on Computer Supported Cooperative Work; Spaces, Spatiality and Technology (1-11). Springer-Verlag. https://doi.org/10.1007/978-1-4471-2035-3_1

This chapter introduces the concept of software agents and focuses on their impact at the level of the user interface, particularly the relationship between the level of task action undertaken by agents and their corresponding representation to the u... Read More about Towards a cooperative software agent..

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