Overview
Availability
- Dr Scott Heiner is:
- Not available for supervision
Qualifications
- Doctor of Philosophy of Computer Science, The University of Queensland
Works
Search Professor Scott Heiner’s works on UQ eSpace
2026
Other Outputs
A hybrid model for a concurrent refinement algebra
Heiner, Scott (2026). A hybrid model for a concurrent refinement algebra. PhD Thesis, School of Electrical Engineering and Computer Science, The University of Queensland. doi: 10.14264/3b19946
2024
Book Chapter
Practical rely/guarantee verification of an efficient lock for seL4 on multicore architectures
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
2020
Conference Publication
The politics of materiality: exploring participatory design methods, tools and practices
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
2020
Conference Publication
Disconnecting: towards a semiotic framework for personal data trails
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
2020
Conference Publication
Speculative designs for emergent personal data trails: signs, signals and signifiers
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
2019
Conference Publication
Disconnect: a proposal for reclaiming control in HCI
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
Media
Enquiries
For media enquiries about Dr Scott Heiner's areas of expertise, story ideas and help finding experts, contact our Media team: