Judy Bowen - RankMe

86 papers A* 1A 1B 2C 4Misc 26Journal 19Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Empowering Education: Student Perceptions and Attitudes to the Role of Social Robots in Learning Contexts. HRI Companion Jessica Turner, Nicholas Vanderschantz, Judy Bowen, Jemma L. König, Hannah Carino
2025	A*	`conf`	Applying the Perceived Creepiness of Technology Scale to Social Robots. HRI Jessica Turner, Judy Bowen, Jemma L. König, Katarzyna Stawarz, Nicholas Vanderschantz
2025	—	`ed.`	Companion Proceedings of the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2025, Trier, Germany, June 23-27, 2025 EICS (Companion) Judy Bowen, Benjamin Weyers, Kris Luyten, Luciana Zaina
2025	—	`conf`	EICS 2025 Foreword. EICS (Companion) Judy Bowen, Benjamin Weyers, Anke Dittmar, Célia Martinie, Kris Luyten, Luciana Zaina
2025	A	`conf`	Exploring Opportunities for Flexible Wearables to Support Physical Training. Conference on Designing Interactive Systems Katarzyna Stawarz, Aluna Everitt, Judy Bowen
2025	Misc	`conf`	Interactive Mood Mapping: A Playful Tabletop Game for Shared Environments. OZCHI Parastoo Heydarian, Judy Bowen, Annika Hinze, Jemma L. König
2024	Misc	`conf`	Shared Data Visualisations for Private Data: Managing Ownership and Visibility. OZCHI Judy Bowen, Annika Hinze
2024	Misc	`conf`	The Impact of Data Aggregation: Advocating for Individualized Analysis in Wearable Sensor Research. OZCHI Jemma L. König, Jascha Penaredondo, Nick Lim, Annika Hinze, Judy Bowen
2023	J	`jnl`	Creating Formal Models from Informal Design Artefacts. Int. J. Hum. Comput. Interact. Judy Bowen, Benjamin Weyers, Bowen Liu
2023	Misc	`conf`	First Do No Harm: Cultural and Ethical Impacts of User Studies. OZCHI Jadon Miller, Mitchell A. Head, Mahonri W. Owen, Merel Cornelie Janna Hoskens, Jemma L. König, Judy Bowen
2023	J	`jnl`	Interactive System Modelling for the Internet of Things. Proc. ACM Hum. Comput. Interact. Judy Bowen, Jessica Turner
2023	Misc	`conf`	Let's Make it Accessible: The Challenges Of Working With Low-cost Commercially Available Wearable Devices. OZCHI Jemma L. König, Jascha Penaredondo, Emily McCullagh, Judy Bowen, Annika Hinze
2023	Misc	`ed.`	Proceedings of the 35th Australian Computer-Human Interaction Conference, OzCHI 2023, Wellington, New Zealand, December 2-6, 2023 OZCHI Judy Bowen, Nadia Pantidi, Dana McKay, Jennifer Ferreira, Alessandro Soro, Rachel Blagojevic, Chris Lawrence, Nic Vanderschantz, Te Taka Keegan, Jane Turner, Hilary Davis, Mark D. Apperley, Jacob Young
2023	J	`jnl`	Workload categorization for hazardous industries: The semantic modelling of multi-modal physiological data. Future Gener. Comput. Syst. Jemma L. König, Annika Hinze, Judy Bowen
2022	J	`jnl`	Participatory Data Design: Managing Data Sovereignty in IoT Solutions. Interact. Comput. Judy Bowen, Annika Hinze
2021	—	`conf`	Designing for Inaccessible People and Places. INTERACT (4) Judy Bowen, Annika Hinze
2021	J	`jnl`	Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Interact. Comput. Yamine Aït Ameur, Judy Bowen, José Creissac Campos, Philippe A. Palanque, Benjamin Weyers
2021	C	`conf`	Interaction Modelling for IoT. APSEC Jessica Turner, Judy Bowen, Nikki van Zandwijk
2021	J	`jnl`	Task Modelling for Interactive System Design: A Survey of Historical Trends, Gaps and Future Needs. Proc. ACM Hum. Comput. Interact. Judy Bowen, Anke Dittmar, Benjamin Weyers
2021	J	`jnl`	Using Task Models to Understand the Intersection of Numeracy Skills and Technical Competence With Medical Device Design. Interact. Comput. Judy Bowen, Diana Coben
2020	J	`jnl`	A Glimpse into the Past, Present, and Future of Engineering Interactive Computing Systems. Proc. ACM Hum. Comput. Interact. Judy Bowen, Marco Winckler, Jean Vanderdonckt
2020	Misc	`ed.`	EICS '20: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Sophia Antipolis, France, June 23-26, 2020 EICS Judy Bowen, Jean Vanderdonckt, Marco Winckler
2020	J	`jnl`	Model-based Testing of Interactive Systems using Interaction Sequences. Proc. ACM Hum. Comput. Interact. Jessica Turner, Judy Bowen, Steve Reeves
2020	Misc	`conf`	Personas revisited: Extending the Use of Personas to Enhance Participatory Design. NordiCHI Judy Bowen, Helen Petrie, Annika Hinze, Sanjit Samaddar
2020	Misc	`conf`	SeqCheck: a model checking tool for interactive systems. EICS Jessica Turner, Judy Bowen, Steve Reeves
2019	C	`conf`	A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems. APSEC Sapna Jaidka, Steve Reeves, Judy Bowen
2019	—	`conf`	Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets. FM Workshops (1) Sapna Jaidka, Steve Reeves, Judy Bowen
2019	—	`ed.`	Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019. EICS Workshops Benjamin Weyers, Judy Bowen
2019	C	`conf`	Managing Application-level QoS for IoT Stream Queries in Hazardous Outdoor Environments. IoTBDS Holger Ziekow, Annika Hinze, Judy Bowen
2019	—	`conf`	Smarter Software Engineering Methods for Smart Environments. EICS Workshops Judy Bowen, Annika Hinze
2019	Misc	`conf`	Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019. EICS Damiano Distante, Marco Winckler, Regina Bernhaupt, Judy Bowen, José Creissac Campos, Florian Müller, Philippe A. Palanque, Jan Van den Bergh, Benjamin Weyers, Alexandra Voit
2018	—	`conf`	Engineering Interactive Systems with Model-Driven Code Contracts. ASWEC Judy Bowen, Steve Reeves
2018	J	`jnl`	Mymemory: A mobile memory assistant for people with traumatic brain injury. Int. J. Hum. Comput. Stud. Carole Chang, Annika Hinze, Judy Bowen, Leah Gilbert, Nicola Starkey
2018	Misc	`conf`	Simulating Interaction Sequences. EICS Jessica Turner, Judy Bowen, Steve Reeves
2018	Misc	`conf`	Test Stub Generation from Interaction and Behavioural Models. EICS Judy Bowen, Swikrit Khanal
2018	—	`conf`	Using Abstraction with Interaction Sequences for Interactive System Modelling. STAF Workshops Jessica Turner, Judy Bowen, Steve Reeves
2017	—	`conf`	Augmented Reality Game for People with Traumatic Brain Injury: Concept and Prototypical Exploration. ICCAE Leah Gilbert, Annika Hinze, Judy Bowen
2017	—	`ch.`	Case Studies. Handbook of Formal Methods in Human-Computer Interaction Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan J. Dix, Philippe A. Palanque
2017	—	`ch.`	Combining Models for Interactive System Modelling. Handbook of Formal Methods in Human-Computer Interaction Judy Bowen, Steve Reeves
2017	—	`conf`	Coping with Design Complexity: A Conceptual Framework for Design Alternatives and Variants. INTERACT (1) Judy Bowen, Anke Dittmar
2017	C	`conf`	Formal Definitions for Design Spaces and Traces. APSEC Judy Bowen, Anke Dittmar
2017	J	`jnl`	Generating Obligations, Assertions and Tests from UI Models. Proc. ACM Hum. Comput. Interact. Judy Bowen, Steve Reeves
2017	—	`conf`	Identifying the Interplay of Design Artifacts and Decisions in Practice: A Case Study. INTERACT (1) Judy Bowen, Anke Dittmar
2017	—	`conf`	Investigating Wearable Technology for Fatigue Identification in the Workplace. INTERACT (2) Christopher Griffiths, Judy Bowen, Annika Hinze
2017	Misc	`conf`	Modelling safety-critical devices: coloured petri nets and Z. EICS Sapna Jaidka, Steve Reeves, Judy Bowen
2017	—	`conf`	Personal Data Collection in the Workplace: Ethical and Technical Challenges. BCS HCI Judy Bowen, Annika Hinze, Christopher Griffiths, Vimal Kumar, David Bainbridge
2017	—	`ch.`	Reasoning About Interactive Systems in Dynamic Situations of Use. Handbook of Formal Methods in Human-Computer Interaction Judy Bowen, Annika Hinze
2017	—	`ch.`	State of the Art on Formal Methods for Interactive Systems. Handbook of Formal Methods in Human-Computer Interaction Raquel Oliveira Prates, Philippe A. Palanque, Benjamin Weyers, Judy Bowen, Alan J. Dix
2017	Misc	`conf`	Supporting interactive system testing with interaction sequences. EICS Jessica Turner, Judy Bowen, Steve Reeves
2017	—	`book`	The Handbook of Formal Methods in Human-Computer Interaction. Benjamin Weyers, Judy Bowen, Alan J. Dix, Philippe A. Palanque
2017	—	`ch.`	Topics of Formal Methods in HCI. Handbook of Formal Methods in Human-Computer Interaction Judy Bowen, Alan J. Dix, Philippe A. Palanque, Benjamin Weyers
2017	—	`ch.`	Trends and Gaps. Handbook of Formal Methods in Human-Computer Interaction Alan J. Dix, Benjamin Weyers, Judy Bowen, Philippe A. Palanque
2017	—	`conf`	Understanding Active Non-Use through the Framework of Complex Design Spaces. ECCE Anke Dittmar, Judy Bowen
2016	Misc	`conf`	A semi-formal framework for describing interaction design spaces. EICS Judy Bowen, Anke Dittmar
2016	—	`conf`	Personal Video Collection Management Behavior. JCDL Sally Jo Cunningham, David M. Nichols, Judy Bowen
2016	—	`conf`	Students and Their Videos: Implications for a Video Digital Library. ICADL Sally Jo Cunningham, David M. Nichols, Judy Bowen
2016	J	`jnl`	What's news? Encounters with news in everyday life: a study of behaviours and attitudes. Int. J. Digit. Libr. Sally Jo Cunningham, David M. Nichols, Annika Hinze, Judy Bowen
2015	Misc	`conf`	Creating models of interactive systems with the support of lightweight reverse-engineering tools. EICS Judy Bowen
2015	—	`conf`	Design Patterns for Models of Interactive Systems. ASWEC Judy Bowen, Steve Reeves
2015	B	`conf`	Digital News Resources: An Autoethnographic Study of News Encounters. TPDL Sally Jo Cunningham, David M. Nichols, Annika Hinze, Judy Bowen
2015	Misc	`conf`	Evaluating Low-cost Activity Trackers for Use in Large-scale Data Gathering of Forestry Workers. OZCHI Judy Bowen, Annika Hinze, Sally Jo Cunningham, Richard Parker
2015	Misc	`conf`	Workshop on formal methods in human computer interaction. EICS Benjamin Weyers, Judy Bowen, Alan J. Dix, Philippe A. Palanque
2014	B	`conf`	A Simplified Z Semantics for Presentation Interaction Models. FM Judy Bowen, Steve Reeves
2014	—	`conf`	Designing a mobile augmented memory system for people with Traumatic Brain Injuries. CogInfoCom Carole Chang, Annika Hinze, Judy Bowen, Nicola Starkey
2014	Misc	`conf`	Model-driven tools for medical device selection. EICS Judy Bowen, Annika Hinze, Selina Reid
2013	—	`conf`	A Tale of Two Studies. AUIC Judy Bowen, Steve Reeves, Andrea Schweer
2013	Misc	`conf`	Formal methods for interactive system: (FMIS 2013). EICS Judy Bowen, Steve Reeves
2013	Misc	`conf`	Modelling safety properties of interactive medical systems. EICS Judy Bowen, Steve Reeves
2013	J	`jnl`	Preface to the proceedings of FMIS 2013. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Judy Bowen, Steve Reeves
2013	J	`jnl`	UI-design driven model-based testing. Innov. Syst. Softw. Eng. Judy Bowen, Steve Reeves
2012	Misc	`conf`	Modelling user manuals of modal medical devices and learning from the experience. EICS Judy Bowen, Steve Reeves
2012	Misc	`conf`	Using ontologies to reason about the usability of interactive medical devices in multiple situations of use. EICS Judy Bowen, Annika Hinze
2011	J	`jnl`	Preface for FMIS 2011. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Judy Bowen, Steve Reeves
2011	J	`jnl`	Supporting Mobile Application Development with Model-Driven Emulation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Judy Bowen, Annika Hinze
2011	Misc	`conf`	UI-driven test-first development of interactive systems. EICS Judy Bowen, Steve Reeves
2010	Misc	`conf`	Developing usability studies via formal models of UIs. EICS Judy Bowen, Steve Reeves
2010	Misc	`conf`	Model-driven GUI & interaction design using emulation. EICS Annika Hinze, Judy Bowen, Yuting Wang, Robi Malik
2009	J	`jnl`	Refinement for user interface designs. Formal Aspects Comput. Judy Bowen, Steve Reeves
2009	—	`conf`	Supporting Multi-path UI Development with Vertical Refinement. Australian Software Engineering Conference Judy Bowen, Steve Reeves
2009	J	`jnl`	UI-Design Driven Model-Based Testing. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Judy Bowen, Steve Reeves
2008	J	`jnl`	Formal models for user interface design artefacts. Innov. Syst. Softw. Eng. Judy Bowen, Steve Reeves
2007	—	`conf`	Refinement for User Interface Designs. FMIS@BCS HCI Judy Bowen, Steve Reeves
2007	—	`conf`	Using formal models to design user interfaces: a case study. BCS HCI (1) Judy Bowen, Steve Reeves
2006	—	`conf`	Formal Models for Informal GUI Designs. FMIS@ICFEM Judy Bowen, Steve Reeves
2006	—	`conf`	Formal Refinement of Informal GUI Design Artefacts. ASWEC Judy Bowen, Steve Reeves
2005	—	`conf`	Including Design Guidelines in the Formal Specification of Interfaces in Z. ZB Judy Bowen, Steve Reeves