Mr Scott Heiner

Research Officer

School of Electrical Engineering & Computer Science

s.heiner@uq.edu.au

Featured projects	Duration
Designing the materials of participation

Publications

Book Chapter (1)

Conference Papers (4)

Book Chapter

Colvin, Robert J., Hayes, Ian J., Heiner, Scott, Höfner, Peter, Meinicke, Larissa and Su, Roger C. (2024). Practical rely/guarantee verification of an efficient lock for seL4 on multicore architectures. The practice of formal methods: essays in honour of Cliff Jones, Part I. (pp. 65-87) edited by Ana Cavalcanti and James Baxter. Cham, Switzerland: Springer Nature Switzerland. doi: 10.1007/978-3-031-66676-6_4

Conference Papers

Khan, Awais Hameed, Snow, Stephen, Heiner, Scott, Hardgrove, Robert, Matthews, Sarah and Matthews, Ben (2020). The politics of materiality: exploring participatory design methods, tools and practices. DRS2020, Brisbane, QLD, Australia, 11 - 14 August, 2020. London, United Kingdom: Design Research Society. doi: 10.21606/drs.2020.246

Khan, Awais Hameed, Snow, Stephen, Heiner, Scott and Matthews, Ben (2020). Disconnecting: towards a semiotic framework for personal data trails. 2020 ACM Designing Interactive Systems Conference, Eindhoven, Netherlands, 6-10 July 2020. New York, United States: Association for Computing Machinery. doi: 10.1145/3357236.3395580

Snow, Stephen, Khan, Awais Hameed, Viller, Stephen, Matthews, Ben, Heiner, Scott, Pierce, James, Luger, Ewa, Gomer, Richard and Filipczuk, Dorota (2020). Speculative designs for emergent personal data trails: signs, signals and signifiers. 2020 CHI Conference on Human Factors in Computing Systems, Honolulu, HI, United States, 25-30 April 2020. New York, United States: Association for Computing Machinery. doi: 10.1145/3334480.3375173

Khan, Awais Hameed, Heiner, Scott and Matthews, Ben (2019). Disconnect: a proposal for reclaiming control in HCI. 2019 CHI Conference on Human Factors in Computing Systems, Glasgow, Scotland, 4 May 2019. New York, NY, USA: ACM Press. doi: 10.1145/3290607.3313048