| 2026 | ENASE | Verifying Interoperability in Evolving IoT Systems. | Hongming Zhang, Judy Bowen, Jessica Turner, Jemma L. Knig |
| 2026 | HRI | Empowering Education: Student Perceptions and Attitudes to the Role of Social Robots in Learning Contexts. | Jessica Turner, Nicholas Vanderschantz, Judy Bowen, Jemma L. Knig, Hannah Carino |
| 2025 | EICS | EICS 2025 Foreword. | Judy Bowen, Benjamin Weyers, Anke Dittmar, Clia Martinie, Kris Luyten, Luciana Zaina |
| 2025 | HRI | Applying the Perceived Creepiness of Technology Scale to Social Robots. | Jessica Turner, Judy Bowen, Jemma L. Knig, Katarzyna Stawarz, Nicholas Vanderschantz |
| 2025 | OZCHI | Interactive Mood Mapping: A Playful Tabletop Game for Shared Environments. | Parastoo Heydarian, Judy Bowen, Annika Hinze, Jemma L. Knig |
| 2024 | OZCHI | Shared Data Visualisations for Private Data: Managing Ownership and Visibility. | Judy Bowen, Annika Hinze |
| 2024 | OZCHI | The Impact of Data Aggregation: Advocating for Individualized Analysis in Wearable Sensor Research. | Jemma L. Knig, Jascha Penaredondo, Nick Jin Sean Lim, Annika Hinze, Judy Bowen |
| 2023 | OZCHI | Let's Make it Accessible: The Challenges Of Working With Low-cost Commercially Available Wearable Devices. | Jemma L. Knig, Jascha Penaredondo, Emily McCullagh, Judy Bowen, Annika Hinze |
| 2023 | OZCHI | First Do No Harm: Cultural and Ethical Impacts of User Studies. | Jadon Miller, Mitchell A. Head, Mahonri W. Owen, Merel Cornelie Janna Hoskens, Jemma L. Knig, Judy Bowen |
| 2021 | APSEC | Interaction Modelling for IoT. | Jessica Turner, Judy Bowen, Nikki van Zandwijk |
| 2021 | Interact | Designing for Inaccessible People and Places. | Judy Bowen, Annika Hinze |
| 2020 | EICS | SeqCheck: a model checking tool for interactive systems. | Jessica Turner, Judy Bowen, Steve Reeves |
| 2020 | NordiCHI | Personas revisited: Extending the Use of Personas to Enhance Participatory Design. | Judy Bowen, Helen Petrie, Annika Hinze, Sanjit Samaddar |
| 2019 | APSEC | A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems. | Sapna Jaidka, Steve Reeves, Judy Bowen |
| 2019 | EICS | Smarter Software Engineering Methods for Smart Environments. | Judy Bowen, Annika Hinze |
| 2019 | EICS | Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019. | Damiano Distante, Marco Winckler, Regina Bernhaupt, Judy Bowen, Jos Creissac Campos, Florian Mller, Philippe A. Palanque, Jan Van den Bergh, Benjamin Weyers, Alexandra Voit |
| 2019 | FM | Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. | Sapna Jaidka, Steve Reeves, Judy Bowen |
| 2018 | EICS | Test Stub Generation from Interaction and Behavioural Models. | Judy Bowen, Swikrit Khanal |
| 2018 | EICS | Simulating Interaction Sequences. | Jessica Turner, Judy Bowen, Steve Reeves |
| 2017 | APSEC | Formal Definitions for Design Spaces and Traces. | Judy Bowen, Anke Dittmar |
| 2017 | EICS | Modelling safety-critical devices: coloured petri nets and Z. | Sapna Jaidka, Steve Reeves, Judy Bowen |
| 2017 | EICS | Supporting interactive system testing with interaction sequences. | Jessica Turner, Judy Bowen, Steve Reeves |
| 2017 | Interact | Coping with Design Complexity: A Conceptual Framework for Design Alternatives and Variants. | Judy Bowen, Anke Dittmar |
| 2017 | Interact | Identifying the Interplay of Design Artifacts and Decisions in Practice: A Case Study. | Judy Bowen, Anke Dittmar |
| 2017 | Interact | Investigating Wearable Technology for Fatigue Identification in the Workplace. | Christopher Griffiths, Judy Bowen, Annika Hinze |
| 2016 | EICS | A semi-formal framework for describing interaction design spaces. | Judy Bowen, Anke Dittmar |
| 2015 | EICS | Creating models of interactive systems with the support of lightweight reverse-engineering tools. | Judy Bowen |
| 2015 | EICS | Workshop on formal methods in human computer interaction. | Benjamin Weyers, Judy Bowen, Alan J. Dix, Philippe A. Palanque |
| 2015 | OZCHI | Evaluating Low-cost Activity Trackers for Use in Large-scale Data Gathering of Forestry Workers. | Judy Bowen, Annika Hinze, Sally Jo Cunningham, Richard Parker |
| 2014 | EICS | Model-driven tools for medical device selection. | Judy Bowen, Annika Hinze, Selina Reid |
| 2014 | FM | A Simplified Z Semantics for Presentation Interaction Models. | Judy Bowen, Steve Reeves |
| 2013 | EICS | Modelling safety properties of interactive medical systems. | Judy Bowen, Steve Reeves |
| 2013 | EICS | Formal methods for interactive system: (FMIS 2013). | Judy Bowen, Steve Reeves |
| 2012 | EICS | Using ontologies to reason about the usability of interactive medical devices in multiple situations of use. | Judy Bowen, Annika Hinze |
| 2012 | EICS | Modelling user manuals of modal medical devices and learning from the experience. | Judy Bowen, Steve Reeves |
| 2011 | EICS | UI-driven test-first development of interactive systems. | Judy Bowen, Steve Reeves |
| 2010 | EICS | Developing usability studies via formal models of UIs. | Judy Bowen, Steve Reeves |
| 2010 | EICS | Model-driven GUI & interaction design using emulation. | Annika Hinze, Judy Bowen, Yuting Wang, Robi Malik |