Combining the Animation and Testing of Abstract Data Types. - Tim Miller 001; Paul A. Strooper (APAQS, 2001)

Animation Can Show Only the Presence of Errors, Never Their Absence. - Tim Miller 001; Paul A. Strooper (Australian Software Engineering Conference, 2001)

Strategic 'Morphing' and the Survivability of E-commerce Firms. - Robert J. Kauffman; Bin Wang 001; Tim Miller 001 (HICSS, 2002)

Model-Based Specification Animation Using Testgraphs. - Tim Miller 001; Paul A. Strooper (ICFEM, 2002)

When Internet Companies Morph: Understanding Organizational Strategy Changes in the 'New' New Economy. - Robert J. Kauffman; Tim Miller 001; Bin Wang 001 (First Monday, 2002)

Supporting the Software Testing Process through Specification Animation. - Tim Miller 001; Paul A. Strooper (SEFM, 2003)

A framework and tool support for the systematic testing of model-based specifications. - Tim Miller 001; Paul A. Strooper (ACM Trans. Softw. Eng. Methodol., 2003)

A Case Study in Specification and Implementation Testing. - Tim Miller 001; Paul A. Strooper (APSEC, 2004)

Integrating Formal Specification and Software Verification and Validation. - Roger Duke; Tim Miller 001; Paul A. Strooper (TFM, 2004)

CZT Support for Z Extensions. - Tim Miller 001; Leo Freitas; Petra Malik; Mark Utting (IFM, 2005)

Multi-agent System Specification Using TCOZ. - Tim Miller 001; Peter McBurney (MATES, 2005)

Commercial applications of agents: lessons, experiences and challenges. - Roxana Belecheanu; Steve Munroe; Michael Luck; Terry R. Payne; Tim Miller 001; Peter McBurney; Michal Pechoucek (AAMAS, 2006)

Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols. - Tim Miller 001; Peter McBurney (ESAW, 2006)

Reflections on: When Internet companies morph. - Robert J. Kauffman; Tim Miller 001; Bin Wang 001 (First Monday, 2006)

Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents. - Steve Munroe; Tim Miller 001; Roxana Belecheanu; Michal Pechoucek; Peter McBurney; Michael Luck (Knowl. Eng. Rev., 2006)

Amongst First-Class Protocols. - Tim Miller 001; Jarred McGinnis (ESAW, 2007)

First-Class Protocols for Agent-Based Coordination of Scientific Instruments. - Tim Miller 001; Peter McBurney; Jarred McGinnis; Kostas Stathis (WETICE, 2007)

A formal semantics for Gaia liveness rules and expressions. - Tim Miller 001; Peter McBurney (Int. J. Agent Oriented Softw. Eng., 2007)

On illegal composition of first-class agent interaction protocols. - Tim Miller 001; Peter McBurney (ACSC, 2008)

Annotation and Matching of First-Class Agent Interaction Protocols. - Tim Miller 001; Peter McBurney (ArgMAS, 2008)

Having fun at home: interleaving fieldwork and goal models. - Sonja Pedell; Tim Miller 001; Frank Vetere; Leon Sterling; Steve Howard; Jeni Paay (OZCHI, 2009)

Engaging Stakeholders with Agent-Oriented Requirements Modelling. - Tim Miller 001; Sonja Pedell; Leon Sterling; Bin Lu (AOSE, 2010)

Test Coverage Criteria for Agent Interaction Testing. - Tim Miller 001; Lin Padgham; John Thangarajah (AOSE, 2010)

Characterising and matching iterative and recursive agent interaction protocols. - Tim Miller 001; Peter McBurney (AAMAS, 2010)

Ontology-based Validation of Agent Oriented Modelling. - Alex Lopez-Lorca; Ghassan Beydoun; Leon Sterling; Tim Miller 001 (EKAW (Posters and Demos), 2010)

Ontology-mediated Validation of Software Models. - Antonio A. Lopez-Lorca; Ghassan Beydoun; Leon Sterling; Tim Miller 001 (ISD, 2010)

Shared artefacts as participatory Babel fish. - Sonja Pedell; Frank Vetere; Steve Howard; Tim Miller 001; Leon Sterling (PDC, 2010)

Substantiating Agent-Based Quality Goals for Understanding Socio-Technical Systems. - Sonja Pedell; Tim Miller 001; Leon Sterling; Frank Vetere; Steve Howard (AAMAS Workshops, 2011)

Substantiating quality goals with field data for socially-oriented requirements engineering. - Sonja Pedell; Tim Miller 001; Leon Sterling; Frank Vetere; Steve Howard; Jeni Paay (AAMAS, 2011)

TATM: A Trust Mechanism for Social Traders in Double Auctions. - Jacob Dumesny; Tim Miller 001; Michael Kirley; Liz Sonenberg (Australasian Conference on Artificial Intelligence, 2011)

Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols. - Tim Miller 001; Peter McBurney (Comput. Intell., 2011)

Understanding socially oriented roles and goals through motivational modelling. - Tim Miller 001; Sonja Pedell; Leon Sterling; Frank Vetere; Steve Howard (J. Syst. Softw., 2012)

A case study in model-based testing of specifications and implementations. - Tim Miller 001; Paul A. Strooper (Softw. Test. Verification Reliab., 2012)

The role of users' emotions and associated quality goals on appropriation of systems: two case studies. - Antonette Mendoza; Tim Miller 001; Sonja Pedell; Leon Sterling (ACIS, 2013)

Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies. - Tim Miller 001; Peter McBurney (Multiagent Grid Syst., 2013)

Using Dependency Structures for Prioritization of Functional Test Suites. - Shifa-e-Zehra Haidry; Tim Miller 001 (IEEE Trans. Software Eng., 2013)

Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems. - Lin Padgham; Zhiyong Zhang; John Thangarajah; Tim Miller 001 (IEEE Trans. Software Eng., 2013)

Socially-Oriented Requirements Engineering: Software Engineering Meets Ethnography. - Sonja Pedell; Tim Miller 001; Frank Vetere; Leon Sterling; Steve Howard (Perspectives on Culture and Agent-based Simulations, 2014)

Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing. - Tim Miller 001; Adrian R. Pearce; Liz Sonenberg; Frank Dignum; Paolo Felli; Christian J. Muise (AAAI Fall Symposia, 2014)

Checking consistency of agent designs against interaction protocols for early-phase defect location. - Yoosef B. Abushark; John Thangarajah; Tim Miller 001; James Harland (AAMAS, 2014)

Robust anticipatory stigmergic collision avoidance in multi-agent systems. - Friedrich Burkhard von der Osten; Michael Kirley; Tim Miller 001 (AAMAS, 2014)

Checking The Correctness of Agent Designs Against Model-Based Requirements. - Yoosef B. Abushark; Michael Winikoff; Tim Miller 001; James Harland; John Thangarajah (ECAI, 2014)

Anticipatory stigmergic collision avoidance under noise. - Friedrich Burkhard von der Osten; Michael Kirley; Tim Miller 001 (GECCO, 2014)

Researchers as proxies for informal carers: photo sharing with older adults to mediate wellbeing. - Hilary Davis 001; Sonja Pedell; Antonio A. Lopez-Lorca; Tim Miller 001; Leon Sterling (OZCHI, 2014)

A Preliminary Analysis of Interdependence in Multiagent Systems. - Ronal Rajneshwar Singh; Tim Miller 001; Liz Sonenberg (PRIMA, 2014)

One size doesn't fit all: diversifying "the user" using personas and emotional scenarios. - Antonio A. Lopez-Lorca; Tim Miller 001; Sonja Pedell; Antonette Mendoza; Alen Keirnan; Leon Sterling (SSE@SIGSOFT FSE, 2014)

Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. - Paolo Felli; Tim Miller 001; Christian J. Muise; Adrian R. Pearce; Liz Sonenberg (ICSR, 2014)

Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator. - Tim Miller 001; Bin Lu; Leon Sterling; Ghassan Beydoun; Kuldar Taveter (IEEE Trans. Software Eng., 2014)

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. - Christian J. Muise; Vaishak Belle; Paolo Felli; Sheila A. McIlraith; Tim Miller 001; Adrian R. Pearce; Liz Sonenberg (AAAI, 2015)

Structural Alignment as the Basis to Improve Significant Change Detection in Versioned Sentences. - Ping Ping Tan; Karin Verspoor; Timothy Miller 001 (ALTA, 2015)

Using Metamorphic Testing to Improve Dynamic Symbolic Execution. - Eman Alatawi; Tim Miller 001; Harald Søndergaard (ASWEC, 2015)

Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct. - David A. W. Clarke; Tim Miller 001; Antonette Mendoza (ASWEC (2), 2015)

Looking Closer at Compositional Symbolic Execution. - Yude Lin; Tim Miller 001 (ASWEC (2), 2015)

Compositional Symbolic Execution Using Fine-Grained Summaries. - Yude Lin; Tim Miller 001; Harald Søndergaard (ASWEC, 2015)

Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. - Yoosef B. Abushark; John Thangarajah; Tim Miller 001; James Harland; Michael Winikoff (AAMAS, 2015)

Communication in Human-Agent Teams for Tasks with Joint Action. - Sirui Li; Weixing Sun; Tim Miller 001 (COIN@AAMAS/IJCAI, 2015)

Towards Team Formation via Automated Planning. - Christian J. Muise; Frank Dignum; Paolo Felli; Tim Miller 001; Adrian R. Pearce; Liz Sonenberg (COIN@AAMAS/IJCAI, 2015)

Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. - Christian J. Muise; Tim Miller 001; Paolo Felli; Adrian R. Pearce; Liz Sonenberg (AAMAS, 2015)

Computing Social Behaviours Using Agent Models. - Paolo Felli; Tim Miller 001; Christian J. Muise; Adrian R. Pearce; Liz Sonenberg (IJCAI, 2015)

Viewpoint Modelling with Emotions: A Case Study. - Maheswaree Kissoon Curumsing; Antonio A. Lopez-Lorca; Tim Miller 001; Leon Sterling; Rajesh Vasa (Int. J. People Oriented Program., 2015)

Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems. - Tim Miller 001; Sonja Pedell; Antonio A. Lopez-Lorca; Antonette Mendoza; Leon Sterling; Alen Keirnan (J. Syst. Softw., 2015)

'Knowing Whether' in Proper Epistemic Knowledge Bases. - Tim Miller 001; Paolo Felli; Christian J. Muise; Adrian R. Pearce; Liz Sonenberg (AAAI, 2016)

Compositional Symbolic Execution: Incremental Solving Revisited. - Yude Lin; Tim Miller 001; Harald Søndergaard (APSEC, 2016)

Does it Fit Me Better? User Segmentation in Requirements Engineering. - Mohammadhossein Sherkat; Tim Miller 001; Antonette Mendoza (APSEC, 2016)

Requirements Specification in The Prometheus Methodology via Activity Diagrams. - Yoosef B. Abushark; John Thangarajah; Tim Miller 001; Michael Winikoff; James Harland (AAMAS, 2016)

Communication and Shared Mental Models for Teams Performing Interdependent Tasks. - Ronal Rajneshwar Singh; Liz Sonenberg; Tim Miller 001 (COIN@AAMAS/ECAI, 2016)

Generating source inputs for metamorphic testing using dynamic symbolic execution. - Eman Alatawi; Tim Miller 001; Harald Søndergaard (MET@ICSE, 2016)

Belief Update for Proper Epistemic Knowledge Bases. - Tim Miller 001; Christian J. Muise (IJCAI, 2016)

Planning for a Single Agent in a Multi-Agent Environment Using FOND. - Christian J. Muise; Paolo Felli; Tim Miller 001; Adrian R. Pearce; Liz Sonenberg (IJCAI, 2016)

Rev at SemEval-2016 Task 2: Aligning Chunks by Lexical, Part of Speech and Semantic Equivalence. - Ping Tan; Karin Verspoor; Tim Miller 001 (SemEval@NAACL-HLT, 2016)

Social planning for social HRI. - Liz Sonenberg; Tim Miller 001; Adrian R. Pearce; Paolo Felli; Christian J. Muise; Frank Dignum (CoRR, 2016)

The Minds of Many: Opponent Modeling in a Stochastic Game. - Friedrich Burkhard von der Osten; Michael Kirley; Tim Miller 001 (IJCAI, 2017)

Real-Time UAV Maneuvering via Automated Planning in Simulations. - Miquel Ramírez; Michael Papasimeon; Lyndon Benke; Nir Lipovetzky; Tim Miller 001; Adrian R. Pearce (IJCAI, 2017)

Leveraging abstract interpretation for efficient dynamic symbolic execution. - Eman Alatawi; Harald Søndergaard; Tim Miller 001 (ASE, 2017)

Requirements specification via activity diagrams for agent-based systems. - Yoosef B. Abushark; Tim Miller 001; John Thangarajah; Michael Winikoff; James Harland (Auton. Agents Multi Agent Syst., 2017)

Explainable AI: Beware of Inmates Running the Asylum Or: How I Learnt to Stop Worrying and Love the Social and Behavioural Sciences. - Tim Miller 001; Piers Howe; Liz Sonenberg (CoRR, 2017)

Logics of Common Ground. - Tim Miller 001; Jens Pfau; Liz Sonenberg; Yoshihisa Kashima (J. Artif. Intell. Res., 2017)

A framework for automatically ensuring the conformance of agent designs. - Yoosef B. Abushark; John Thangarajah; James Harland; Tim Miller 001 (J. Syst. Softw., 2017)

Psychologically-Driven Requirements Engineering: A Case Study in Depression Care. - Eman Alatawi; Antonette Mendoza; Tim Miller 001 (ASWEC, 2018)

Symbolic Execution with Invariant Inlay: Evaluating the Potential. - Eman Alatawi; Tim Miller 001; Harald Søndergaard (ASWEC, 2018)

Integrated Hybrid Planning and Programmed Control for Real Time UAV Maneuvering. - Miquel Ramírez; Michael Papasimeon; Nir Lipovetzky; Lyndon Benke; Tim Miller 001; Adrian R. Pearce; Enrico Scala; Mohammad Zamani (AAMAS, 2018)

Combining Planning with Gaze for Online Human Intention Recognition. - Ronal Rajneshwar Singh; Tim Miller 001; Joshua Newn; Liz Sonenberg; Eduardo Velloso; Frank Vetere (AAMAS, 2018)

Emotional Attachment Framework for People-Oriented Software. - Mohammadhossein Sherkat; Antonette Mendoza; Tim Miller 001; Rachel Burrows (CoRR, 2018)

Towards a Grounded Dialog Model for Explainable Artificial Intelligence. - Prashan Madumal; Tim Miller 001; Frank Vetere; Liz Sonenberg (CoRR, 2018)

Explaining Explanation, Part 4: A Deep Dive on Deep Nets. - Robert R. Hoffman; Tim Miller 001; Shane T. Mueller; Gary Klein; William J. Clancey (IEEE Intell. Syst., 2018)

A Grounded Interaction Protocol for Explainable Artificial Intelligence. - Prashan Madumal; Tim Miller 001; Liz Sonenberg; Frank Vetere (AAMAS, 2019)

Evaluating Ask Izzy: A Mobile Web App for People Experiencing Homelessness. - Rachel Burrows; Antonette Mendoza; Leon Sterling; Tim Miller 001; Sonja Pedell (ECSCW Exploratory Papers, Demos and Posters, 2019)

Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study. - Rachel Burrows; Antonio A. Lopez-Lorca; Leon Sterling; Tim Miller 001; Antonette Mendoza; Sonja Pedell (RE, 2019)

Explanation in artificial intelligence: Insights from the social sciences. - Tim Miller 001 (Artif. Intell., 2019)

What you get is what you see: Decomposing Epistemic Planning using Functional STRIPS. - Guang Hu; Tim Miller 001; Nir Lipovetzky (CoRR, 2019)

Let's Make It Personal, A Challenge in Personalizing Medical Inter-Human Communication. - Mor Vered; Frank Dignum; Tim Miller 001 (CoRR, 2019)

Improving Performance of Multiagent Cooperation Using Epistemic Planning. - Abeer Alshehri; Tim Miller 001; Liz Sonenberg (CoRR, 2019)

"But why?" Understanding explainable artificial intelligence. - Tim Miller 001 (XRDS, 2019)

XAI - Explainable artificial intelligence. - David Gunning; Mark Stefik; Jaesik Choi; Timothy Miller 001; Simone Stumpf; Guang-Zhong Yang (Sci. Robotics, 2019)

Implicit Coordination Using FOND Planning. - Thorsten Engesser; Tim Miller 001 (AAAI, 2020)

Explainable Reinforcement Learning through a Causal Lens. - Prashan Madumal; Tim Miller 001; Liz Sonenberg; Frank Vetere (AAAI, 2020)

A Closer Look at Generalisation in RAVEN. - Steven Spratley; Krista A. Ehinger; Tim Miller 001 (ECCV (27), 2020)

Combining gaze and AI planning for online human intention recognition. - Ronal Rajneshwar Singh; Tim Miller 001; Joshua Newn; Eduardo Velloso; Frank Vetere; Liz Sonenberg (Artif. Intell., 2020)

Report on the 2019 IJCAI Explainable Artificial Intelligence Workshop. - Tim Miller 001; Rosina Weber; Daniele Magazzeni (AI Mag., 2020)

Distal Explanations for Explainable Reinforcement Learning Agents. - Prashan Madumal; Tim Miller 001; Liz Sonenberg; Frank Vetere (CoRR, 2020)

Improving Interpretability of CNN Models Using Non-Negative Concept Activation Vectors. - Ruihan Zhang 002; Prashan Madumal; Tim Miller 001; Krista A. Ehinger; Benjamin I. P. Rubinstein (CoRR, 2020)

Good proctor or "Big Brother"? AI Ethics and Online Exam Supervision Technologies. - Simon Coghlan; Tim Miller 001; Jeannie Paterson (CoRR, 2020)

Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping review. - Seyedeh Neelufar Payrovnaziri; Zhaoyi Chen; Pablo Rengifo-Moreno; Tim Miller 001; Jiang Bian 001; Jonathan H. Chen; Xiuwen Liu; Zhe He 001 (J. Am. Medical Informatics Assoc., 2020)

Demand-Driven Transparency for Monitoring Intelligent Agents. - Mor Vered; Piers Howe; Tim Miller 001; Liz Sonenberg; Eduardo Velloso (IEEE Trans. Hum. Mach. Syst., 2020)

Invertible Concept-based Explanations for CNN Models with Non-negative Concept Activation Vectors. - Ruihan Zhang 002; Prashan Madumal; Tim Miller 001; Krista A. Ehinger; Benjamin I. P. Rubinstein (AAAI, 2021)

Deceptive Reinforcement Learning for Privacy-Preserving Planning. - Zhengshang Liu; Yue Yang; Tim Miller 001; Peta Masters (AAMAS, 2021)

Observing Multiplayer Boardgame Play at a Distance. - Melissa J. Rogerson; Joshua Newn; Ronal Singh; Emma Baillie; Michael Papasimeon; Lyndon Benke; Tim Miller 001 (CHI PLAY, 2021)

Collaborative Human-Agent Planning for Resilience. - Ronal Singh; Tim Miller 001; Darryn Reid (COINE, 2021)

Formalizing Trust in Artificial Intelligence: Prerequisites, Causes and Goals of Human Trust in AI. - Alon Jacovi; Ana Marasovic; Tim Miller 001; Yoav Goldberg (FAccT, 2021)

Directive Explanations for Actionable Explainability in Machine Learning Applications. - Ronal Rajneshwar Singh; Paul Dourish; Piers Howe; Tim Miller 001; Liz Sonenberg; Eduardo Velloso; Frank Vetere (CoRR, 2021)

Designing for Contestation: Insights from Administrative Law. - Henrietta Lyons; Eduardo Velloso; Tim Miller 001 (CoRR, 2021)

Fair and Responsible AI: A Focus on the Ability to Contest. - Henrietta Lyons; Eduardo Velloso; Tim Miller 001 (CoRR, 2021)

LEx: A Framework for Operationalising Layers of Machine Learning Explanations. - Ronal Singh; Upol Ehsan; Marc Cheong; Mark O. Riedl; Tim Miller 001 (CoRR, 2021)

Modelling Strategic Deceptive Planning in Adversarial Multi-Agent Systems. - Lyndon Benke; Michael Papasimeon; Tim Miller 001 (CoRR, 2021)

Emotionalism Within People-Oriented Software Design. - Mohammadhossein Sherkat; Tim Miller 001; Antonette Mendoza; Rachel Burrows (Frontiers Comput. Sci., 2021)

Modeling communication of collaborative multiagent system under epistemic planning. - Abeer Alshehri; Tim Miller 001; Liz Sonenberg (Int. J. Intell. Syst., 2021)

Goal Recognition for Deceptive Human Agents through Planning and Gaze. - Thao Le 002; Ronal Singh; Tim Miller 001 (J. Artif. Intell. Res., 2021)

Contrastive explanation: a structural-model approach. - Tim Miller 001 (Knowl. Eng. Rev., 2021)

Conceptualising Contestability: Perspectives on Contesting Algorithmic Decisions. - Henrietta Lyons; Eduardo Velloso; Tim Miller 001 (Proc. ACM Hum. Comput. Interact., 2021)

What's the Appeal? Perceptions of Review Processes for Algorithmic Decisions. - Henrietta Lyons; Senuri Wijenayake; Tim Miller 001; Eduardo Velloso (CHI, 2022)

Special issue on Explainable Artificial Intelligence (XAI). - Tim Miller 001; Robert R. Hoffman; Ofra Amir; Andreas Holzinger (Artif. Intell., 2022)

Efficient multi-agent epistemic planning: Teaching planners about nested belief. - Christian Muise; Vaishak Belle; Paolo Felli; Sheila A. McIlraith; Tim Miller 001; Adrian R. Pearce; Liz Sonenberg (Artif. Intell., 2022)

Improving Model Understanding and Trust with Counterfactual Explanations of Model Confidence. - Thao Le 002; Tim Miller 001; Ronal Singh; Liz Sonenberg (CoRR, 2022)

Are we measuring trust correctly in explainability, interpretability, and transparency research? - Tim Miller 001 (CoRR, 2022)

Concept-based Explanations using Non-negative Concept Activation Vectors and Decision Tree for CNN Models. - Gayda Mutahar; Tim Miller 001 (CoRR, 2022)

Real-Time Counterfactual Explanations For Robotic Systems With Multiple Continuous Outputs. - Vilde B. Gjærum; Inga Strümke; Anastasios M. Lekkas; Tim Miller 001 (CoRR, 2022)

Technology for societal change: Evaluating a mobile app addressing the emotional needs of people experiencing homelessness. - Rachel Burrows; Antonette Mendoza; Sonja Pedell; Leon Sterling; Tim Miller 001; Antonio A. Lopez-Lorca (Health Informatics J., 2022)

Planning with Perspectives - Decomposing Epistemic Planning using Functional STRIPS. - Guang Hu; Tim Miller 001; Nir Lipovetzky (J. Artif. Intell. Res., 2022)

Explaining Model Confidence Using Counterfactuals. - Thao Le 002; Tim Miller 001; Ronal Singh; Liz Sonenberg (AAAI, 2023)

Explainable Goal Recognition: A Framework Based on Weight of Evidence. - Abeer Alshehri; Tim Miller 001; Mor Vered (ICAPS, 2023)

Planning with Multi-Agent Belief Using Justified Perspectives. - Guang Hu; Tim Miller 001; Nir Lipovetzky (ICAPS, 2023)

Deceptive Reinforcement Learning in Model-Free Domains. - Alan Lewis; Tim Miller 001 (ICAPS, 2023)

Unicode Analogies: An Anti-Objectivist Visual Reasoning Challenge. - Steven Spratley; Krista A. Ehinger; Tim Miller 001 (CVPR, 2023)

Diverse, Top-k, and Top-Quality Planning Over Simulators. - Lyndon Benke; Tim Miller 001; Michael Papasimeon; Nir Lipovetzky (ECAI, 2023)

Explainable AI is Dead, Long Live Explainable AI!: Hypothesis-driven Decision Support using Evaluative AI. - Tim Miller 001 (FAccT, 2023)

Algorithmic Decisions, Desire for Control, and the Preference for Human Review over Algorithmic Review. - Henrietta Lyons; Tim Miller 001; Eduardo Velloso (FAccT, 2023)

Explainable AI is Dead, Long Live Explainable AI! Hypothesis-driven decision support. - Tim Miller 001 (CoRR, 2023)

Model tree methods for explaining deep reinforcement learning agents in real-time robotic applications. - Vilde B. Gjærum; Inga Strümke; Jakob Løver; Timothy Miller 001; Anastasios M. Lekkas (Neurocomputing, 2023)

The effects of explanations on automation bias. - Mor Vered; Tali Livni; Piers Douglas Lionel Howe; Tim Miller 001; Liz Sonenberg (Artif. Intell., 2023)

Increasing the Value of XAI for Users: A Psychological Perspective. - Robert R. Hoffman; Tim Miller 001; Gary Klein; Shane T. Mueller; William J. Clancey (Künstliche Intell., 2023)

Directive Explanations for Actionable Explainability in Machine Learning Applications. - Ronal Singh; Tim Miller 001; Henrietta Lyons; Liz Sonenberg; Eduardo Velloso; Frank Vetere; Piers Howe; Paul Dourish (ACM Trans. Interact. Intell. Syst., 2023)

Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence. - Thao Le 002; Tim Miller 001; Liz Sonenberg; Ronal Singh (ECAI, 2024)

Explainable agency: human preferences for simple or complex explanations. - Michelle L. Blom; Ronal Singh; Tim Miller 001; Liz Sonenberg; Kerry Trentelman; Adam Saulwick (CoRR, 2024)

Visual Evaluative AI: A Hypothesis-Driven Tool with Concept-Based Explanations and Weight of Evidence. - Thao Le 002; Tim Miller 001; Ruihan Zhang 002; Liz Sonenberg; Ronal Singh (CoRR, 2024)

An Actionability Assessment Tool for Explainable AI. - Ronal Singh; Tim Miller 001; Liz Sonenberg; Eduardo Velloso; Frank Vetere; Piers Howe; Paul Dourish (CoRR, 2024)

Evaluating Explanations Through LLMs: Beyond Traditional User Studies. - Francesco Bombassei De Bona; Gabriele Dominici; Tim Miller 001; Marc Langheinrich; Martin Gjoreski (CoRR, 2024)

Where Common Knowledge Cannot Be Formed, Common Belief Can - Planning with Multi-Agent Belief Using Group Justified Perspectives. - Guang Hu; Tim Miller 001; Nir Lipovetzky (CoRR, 2024)

A Hypothesis-Driven Approach to Explainable Goal Recognition. - Abeer Alshehri; Hissah Alotaibi; Tim Miller 001; Mor Vered (AAMAS, 2025)

Towards Explainable Goal Recognition Using Weight of Evidence (WoE): A Human-Centered Approach. - Abeer Alshehri; Amal Abdulrahman; Hajar Alamri; Tim Miller 001; Mor Vered (J. Artif. Intell. Res., 2025)

Exploring Explainable Multi-player MCTS-minimax Hybrids in Board Game Using Process Mining. - Yiyu Qian; Tim Miller 001; Zheng Qian; Liyuan Zhao (CoRR, 2025)

An Actionability Assessment Tool for Enhancing Algorithmic Recourse in Explainable AI. - Ronal Singh; Tim Miller 001; Liz Sonenberg; Eduardo Velloso; Frank Vetere; Piers Howe (IEEE Trans. Hum. Mach. Syst., 2025)