Tim Miller - RankMe

173 papers A* 17A 18B 5C 6Misc 3Journal 85Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A segmentation algorithm for online intention recognition of mobile agents. Knowl. Based Syst. Tanzima Hashem, Matt Duckham, Yaguang Tao, Nenad Radosevic, Tim Miller
2025	A	`conf`	A Hypothesis-Driven Approach to Explainable Goal Recognition. AAMAS Abeer Alshehri, Hissah Alotaibi, Tim Miller, Mor Vered
2025	J	`jnl`	An Actionability Assessment Tool for Enhancing Algorithmic Recourse in Explainable AI. IEEE Trans. Hum. Mach. Syst. Ronal Singh, Tim Miller, Liz Sonenberg, Eduardo Velloso, Frank Vetere, Piers Howe
2025	J	`jnl`	Diametrically Opposed Attributes? Review Process Preferences and Priorities When Contesting Algorithmic Decisions. Proc. ACM Hum. Comput. Interact. Henrietta Lyons, Tim Miller, Eduardo Velloso
2025	J	`jnl`	Explainable AI, energy and critical infrastructure systems. AI Mag. Francesco Leofante, André Artelt, Demetrios G. Eliades, Anna Korre, Francesca Toni, Tim Miller
2025	J	`jnl`	Explainable AI: definition and attributes of a good explanation for health AI. AI Ethics Evangelia Kyrimi, Scott McLachlan, Jared M. Wohlgemut, Zane B. Perkins, David A. Lagnado, William Marsh, Alexander Gimson, Ali Shafti, Ari Ercole, Amitava Banerjee, Ben Glocker, Burkhard Schafer, Constantine Gatsonis, Crina Grosan, Danielle Sent, David S. Berman, David Glass, Declan P. O'Regan, Dimitrios Letsios, Dylan Morrissey, Erhan Pisirir, Francesco Leofante, Hamit Soyel, Jon Williamson, Keri Grieman, Kudakwashe Dube, Max Marsden, Myura Nagendran, Nigel Tai, Olga Kostopoulou, Owain Jones, Paul Curzon, Rebecca S. Stoner, Sankalp Tandle, Shalmali Joshi, Somayyeh Mossadegh, Stefan Buijsman, Tim Miller, Vince Istvan Madai
2025	J	`jnl`	Exploring Explainable Multi-player MCTS-minimax Hybrids in Board Game Using Process Mining. CoRR Yiyu Qian, Tim Miller, Zheng Qian, Liyuan Zhao
2025	J	`jnl`	Improving Tactical Decision-Making Through Multiobjective Contrastive Explanations. IEEE Trans. Hum. Mach. Syst. Michelle L. Blom, Ronal Singh, Tim Miller, Liz Sonenberg, Kerry Trentelman, Adam Saulwick, Steven Wark
2025	J	`jnl`	Towards Explainable Goal Recognition Using Weight of Evidence (WoE): A Human-Centered Approach. J. Artif. Intell. Res. Abeer Alshehri, Amal Abdulrahman, Hajar Alamri, Tim Miller, Mor Vered
2024	J	`jnl`	An Actionability Assessment Tool for Explainable AI. CoRR Ronal Singh, Tim Miller, Liz Sonenberg, Eduardo Velloso, Frank Vetere, Piers Howe, Paul Dourish
2024	J	`jnl`	Evaluating Explanations Through LLMs: Beyond Traditional User Studies. CoRR Francesco Bombassei De Bona, Gabriele Dominici, Tim Miller, Marc Langheinrich, Martin Gjoreski
2024	J	`jnl`	Explainable agency: human preferences for simple or complex explanations. CoRR Michelle L. Blom, Ronal Singh, Tim Miller, Liz Sonenberg, Kerry Trentelman, Adam Saulwick
2024	—	`conf`	How to Validate XAI in Longitudinal Studies? UbiComp Companion Martin Gjoreski, Matías Laporte, Marc Langheinrich, Tim Miller
2024	—	`ed.`	Proceedings of the First Multimodal, Affective and Interactive eXplainable AI Workshop (MAI-XAI24 2024) co-located with 27th European Conference On Artificial Intelligence 19-24 October 2024 (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024. MAI-XAI@ECAI Jose Maria Alonso-Moral, Zach Anthis, Rafael Berlanga, Alejandro Catalá, Philipp Cimiano, Peter Flach, Eyke Hüllermeier, Tim Miller, Oana Mitrut, Dimitry Mindlin, Gabriela Moise, Alin Moldoveanu, Florica Moldoveanu, Kacper Sokol, Aitor Soroa
2024	J	`jnl`	Towards Explainable Goal Recognition Using Weight of Evidence (WoE): A Human-Centered Approach. CoRR Abeer Alshehri, Amal Abdulrahman, Hajar Alamri, Tim Miller, Mor Vered
2024	A	`conf`	Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence. ECAI Thao Le, Tim Miller, Liz Sonenberg, Ronal Singh
2024	J	`jnl`	Towards the new XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence. CoRR Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg
2024	J	`jnl`	Visual Evaluative AI: A Hypothesis-Driven Tool with Concept-Based Explanations and Weight of Evidence. CoRR Thao Le, Tim Miller, Ruihan Zhang, Liz Sonenberg, Ronal Singh
2024	J	`jnl`	Where Common Knowledge Cannot Be Formed, Common Belief Can - Planning with Multi-Agent Belief Using Group Justified Perspectives. CoRR Guang Hu, Tim Miller, Nir Lipovetzky
2023	—	`conf`	Algorithmic Decisions, Desire for Control, and the Preference for Human Review over Algorithmic Review. FAccT Henrietta Lyons, Tim Miller, Eduardo Velloso
2023	A*	`conf`	Deceptive Reinforcement Learning in Model-Free Domains. ICAPS Alan Lewis, Tim Miller
2023	J	`jnl`	Deceptive Reinforcement Learning in Model-Free Domains. CoRR Alan Lewis, Tim Miller
2023	J	`jnl`	Directive Explanations for Actionable Explainability in Machine Learning Applications. ACM Trans. Interact. Intell. Syst. Ronal Singh, Tim Miller, Henrietta Lyons, Liz Sonenberg, Eduardo Velloso, Frank Vetere, Piers Howe, Paul Dourish
2023	A	`conf`	Diverse, Top-k, and Top-Quality Planning Over Simulators. ECAI Lyndon Benke, Tim Miller, Michael Papasimeon, Nir Lipovetzky
2023	J	`jnl`	Diverse, Top-k, and Top-Quality Planning Over Simulators. CoRR Lyndon Benke, Tim Miller, Michael Papasimeon, Nir Lipovetzky
2023	J	`jnl`	Explainable AI is Dead, Long Live Explainable AI! Hypothesis-driven decision support. CoRR Tim Miller
2023	—	`conf`	Explainable AI is Dead, Long Live Explainable AI!: Hypothesis-driven Decision Support using Evaluative AI. FAccT Tim Miller
2023	A*	`conf`	Explainable Goal Recognition: A Framework Based on Weight of Evidence. ICAPS Abeer Alshehri, Tim Miller, Mor Vered
2023	J	`jnl`	Explainable Goal Recognition: A Framework Based on Weight of Evidence. CoRR Abeer Alshehri, Tim Miller, Mor Vered
2023	A*	`conf`	Explaining Model Confidence Using Counterfactuals. AAAI Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg
2023	J	`jnl`	Explaining Model Confidence Using Counterfactuals. CoRR Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg
2023	J	`jnl`	Increasing the Value of XAI for Users: A Psychological Perspective. Künstliche Intell. Robert R. Hoffman, Tim Miller, Gary Klein, Shane T. Mueller, William J. Clancey
2023	A*	`conf`	Planning with Multi-Agent Belief Using Justified Perspectives. ICAPS Guang Hu, Tim Miller, Nir Lipovetzky
2023	J	`jnl`	The effects of explanations on automation bias. Artif. Intell. Mor Vered, Tali Livni, Piers Douglas Lionel Howe, Tim Miller, Liz Sonenberg
2023	A*	`conf`	Unicode Analogies: An Anti-Objectivist Visual Reasoning Challenge. CVPR Steven Spratley, Krista A. Ehinger, Tim Miller
2022	J	`jnl`	Are we measuring trust correctly in explainability, interpretability, and transparency research? CoRR Tim Miller
2022	J	`jnl`	Concept-based Explanations using Non-negative Concept Activation Vectors and Decision Tree for CNN Models. CoRR Gayda Mutahar, Tim Miller
2022	J	`jnl`	Efficient multi-agent epistemic planning: Teaching planners about nested belief. Artif. Intell. Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
2022	J	`jnl`	Improving Model Understanding and Trust with Counterfactual Explanations of Model Confidence. CoRR Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg
2022	J	`jnl`	Planning with Perspectives - Decomposing Epistemic Planning using Functional STRIPS. J. Artif. Intell. Res. Guang Hu, Tim Miller, Nir Lipovetzky
2022	J	`jnl`	Real-Time Counterfactual Explanations For Robotic Systems With Multiple Continuous Outputs. CoRR Vilde B. Gjærum, Inga Strümke, Anastasios M. Lekkas, Tim Miller
2022	J	`jnl`	Special issue on Explainable Artificial Intelligence (XAI). Artif. Intell. Tim Miller, Robert R. Hoffman, Ofra Amir, Andreas Holzinger
2022	J	`jnl`	Technology for societal change: Evaluating a mobile app addressing the emotional needs of people experiencing homelessness. Health Informatics J. Rachel Burrows, Antonette Mendoza, Sonja Pedell, Leon Sterling, Tim Miller, Antonio A. Lopez-Lorca
2022	A*	`conf`	What's the Appeal? Perceptions of Review Processes for Algorithmic Decisions. CHI Henrietta Lyons, Senuri Wijenayake, Tim Miller, Eduardo Velloso
2021	C	`conf`	Collaborative Human-Agent Planning for Resilience. COINE Ronal Singh, Tim Miller, Darryn Reid
2021	J	`jnl`	Collaborative Human-Agent Planning for Resilience. CoRR Ronal Singh, Tim Miller, Darryn Reid
2021	J	`jnl`	Conceptualising Contestability: Perspectives on Contesting Algorithmic Decisions. CoRR Henrietta Lyons, Eduardo Velloso, Tim Miller
2021	J	`jnl`	Conceptualising Contestability: Perspectives on Contesting Algorithmic Decisions. Proc. ACM Hum. Comput. Interact. Henrietta Lyons, Eduardo Velloso, Tim Miller
2021	J	`jnl`	Contrastive explanation: a structural-model approach. Knowl. Eng. Rev. Tim Miller
2021	A	`conf`	Deceptive Reinforcement Learning for Privacy-Preserving Planning. AAMAS Zhengshang Liu, Yue Yang, Tim Miller, Peta Masters
2021	J	`jnl`	Deceptive Reinforcement Learning for Privacy-Preserving Planning. CoRR Zhengshang Liu, Yue Yang, Tim Miller, Peta Masters
2021	J	`jnl`	Designing for Contestation: Insights from Administrative Law. CoRR Henrietta Lyons, Eduardo Velloso, Tim Miller
2021	J	`jnl`	Directive Explanations for Actionable Explainability in Machine Learning Applications. CoRR Ronal Rajneshwar Singh, Paul Dourish, Piers Howe, Tim Miller, Liz Sonenberg, Eduardo Velloso, Frank Vetere
2021	J	`jnl`	Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief. CoRR Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
2021	J	`jnl`	Emotionalism Within People-Oriented Software Design. Frontiers Comput. Sci. Mohammadhossein Sherkat, Tim Miller, Antonette Mendoza, Rachel Burrows
2021	J	`jnl`	Fair and Responsible AI: A Focus on the Ability to Contest. CoRR Henrietta Lyons, Eduardo Velloso, Tim Miller
2021	—	`conf`	Formalizing Trust in Artificial Intelligence: Prerequisites, Causes and Goals of Human Trust in AI. FAccT Alon Jacovi, Ana Marasovic, Tim Miller, Yoav Goldberg
2021	J	`jnl`	Goal Recognition for Deceptive Human Agents through Planning and Gaze. J. Artif. Intell. Res. Thao Le, Ronal Singh, Tim Miller
2021	A*	`conf`	Invertible Concept-based Explanations for CNN Models with Non-negative Concept Activation Vectors. AAAI Ruihan Zhang, Prashan Madumal, Tim Miller, Krista A. Ehinger, Benjamin I. P. Rubinstein
2021	J	`jnl`	LEx: A Framework for Operationalising Layers of Machine Learning Explanations. CoRR Ronal Singh, Upol Ehsan, Marc Cheong, Mark O. Riedl, Tim Miller
2021	J	`jnl`	Modeling communication of collaborative multiagent system under epistemic planning. Int. J. Intell. Syst. Abeer Alshehri, Tim Miller, Liz Sonenberg
2021	J	`jnl`	Modelling Strategic Deceptive Planning in Adversarial Multi-Agent Systems. CoRR Lyndon Benke, Michael Papasimeon, Tim Miller
2021	Misc	`conf`	Observing Multiplayer Boardgame Play at a Distance. CHI PLAY Melissa J. Rogerson, Joshua Newn, Ronal Singh, Emma Baillie, Michael Papasimeon, Lyndon Benke, Tim Miller
2020	—	`conf`	A Closer Look at Generalisation in RAVEN. ECCV (27) Steven Spratley, Krista A. Ehinger, Tim Miller
2020	J	`jnl`	Combining gaze and AI planning for online human intention recognition. Artif. Intell. Ronal Rajneshwar Singh, Tim Miller, Joshua Newn, Eduardo Velloso, Frank Vetere, Liz Sonenberg
2020	J	`jnl`	Demand-Driven Transparency for Monitoring Intelligent Agents. IEEE Trans. Hum. Mach. Syst. Mor Vered, Piers Howe, Tim Miller, Liz Sonenberg, Eduardo Velloso
2020	J	`jnl`	Distal Explanations for Explainable Reinforcement Learning Agents. CoRR Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere
2020	A*	`conf`	Explainable Reinforcement Learning through a Causal Lens. AAAI Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere
2020	J	`jnl`	Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping review. J. Am. Medical Informatics Assoc. Seyedeh Neelufar Payrovnaziri, Zhaoyi Chen, Pablo Rengifo-Moreno, Tim Miller, Jiang Bian, Jonathan H. Chen, Xiuwen Liu, Zhe He
2020	J	`jnl`	Formalizing Trust in Artificial Intelligence: Prerequisites, Causes and Goals of Human Trust in AI. CoRR Alon Jacovi, Ana Marasovic, Tim Miller, Yoav Goldberg
2020	J	`jnl`	Good proctor or "Big Brother"? AI Ethics and Online Exam Supervision Technologies. CoRR Simon Coghlan, Tim Miller, Jeannie Paterson
2020	A*	`conf`	Implicit Coordination Using FOND Planning. AAAI Thorsten Engesser, Tim Miller
2020	J	`jnl`	Improving Interpretability of CNN Models Using Non-Negative Concept Activation Vectors. CoRR Ruihan Zhang, Prashan Madumal, Tim Miller, Krista A. Ehinger, Benjamin I. P. Rubinstein
2020	J	`jnl`	Report on the 2019 IJCAI Explainable Artificial Intelligence Workshop. AI Mag. Tim Miller, Rosina Weber, Daniele Magazzeni
2019	J	`jnl`	"But why?" Understanding explainable artificial intelligence. XRDS Tim Miller
2019	A	`conf`	A Grounded Interaction Protocol for Explainable Artificial Intelligence. AAMAS Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere
2019	J	`jnl`	A Grounded Interaction Protocol for Explainable Artificial Intelligence. CoRR Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere
2019	—	`conf`	Evaluating Ask Izzy: A Mobile Web App for People Experiencing Homelessness. ECSCW Exploratory Papers, Demos and Posters Rachel Burrows, Antonette Mendoza, Leon Sterling, Tim Miller, Sonja Pedell
2019	J	`jnl`	Explainable Reinforcement Learning Through a Causal Lens. CoRR Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere
2019	J	`jnl`	Explanation in artificial intelligence: Insights from the social sciences. Artif. Intell. Tim Miller
2019	J	`jnl`	Improving Performance of Multiagent Cooperation Using Epistemic Planning. CoRR Abeer Alshehri, Tim Miller, Liz Sonenberg
2019	J	`jnl`	Let's Make It Personal, A Challenge in Personalizing Medical Inter-Human Communication. CoRR Mor Vered, Frank Dignum, Tim Miller
2019	A	`conf`	Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study. RE Rachel Burrows, Antonio A. Lopez-Lorca, Leon Sterling, Tim Miller, Antonette Mendoza, Sonja Pedell
2019	J	`jnl`	What you get is what you see: Decomposing Epistemic Planning using Functional STRIPS. CoRR Guang Hu, Tim Miller, Nir Lipovetzky
2018	A	`conf`	Combining Planning with Gaze for Online Human Intention Recognition. AAMAS Ronal Rajneshwar Singh, Tim Miller, Joshua Newn, Liz Sonenberg, Eduardo Velloso, Frank Vetere
2018	J	`jnl`	Contrastive Explanation: A Structural-Model Approach. CoRR Tim Miller
2018	J	`jnl`	Emotional Attachment Framework for People-Oriented Software. CoRR Mohammadhossein Sherkat, Antonette Mendoza, Tim Miller, Rachel Burrows
2018	J	`jnl`	Emotionalism within People-Oriented Software Design. CoRR Mohammadhossein Sherkat, Tim Miller, Antonette Mendoza, Rachel Burrows
2018	J	`jnl`	Explaining Explanation, Part 4: A Deep Dive on Deep Nets. IEEE Intell. Syst. Robert R. Hoffman, Tim Miller, Shane T. Mueller, Gary Klein, William J. Clancey
2018	A	`conf`	Integrated Hybrid Planning and Programmed Control for Real Time UAV Maneuvering. AAMAS Miquel Ramírez, Michael Papasimeon, Nir Lipovetzky, Lyndon Benke, Tim Miller, Adrian R. Pearce, Enrico Scala, Mohammad Zamani
2018	B	`ed.`	PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29 - November 2, 2018, Proceedings PRIMA Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son
2018	—	`conf`	Psychologically-Driven Requirements Engineering: A Case Study in Depression Care. ASWEC Eman Alatawi, Antonette Mendoza, Tim Miller
2018	—	`conf`	Symbolic Execution with Invariant Inlay: Evaluating the Potential. ASWEC Eman Alatawi, Tim Miller, Harald Søndergaard
2018	J	`jnl`	Towards a Grounded Dialog Model for Explainable Artificial Intelligence. CoRR Prashan Madumal, Tim Miller, Frank Vetere, Liz Sonenberg
2017	J	`jnl`	A framework for automatically ensuring the conformance of agent designs. J. Syst. Softw. Yoosef B. Abushark, John Thangarajah, James Harland, Tim Miller
2017	J	`jnl`	Explainable AI: Beware of Inmates Running the Asylum Or: How I Learnt to Stop Worrying and Love the Social and Behavioural Sciences. CoRR Tim Miller, Piers Howe, Liz Sonenberg
2017	J	`jnl`	Explanation in Artificial Intelligence: Insights from the Social Sciences. CoRR Tim Miller
2017	A*	`conf`	Leveraging abstract interpretation for efficient dynamic symbolic execution. ASE Eman Alatawi, Harald Søndergaard, Tim Miller
2017	J	`jnl`	Logics of Common Ground. J. Artif. Intell. Res. Tim Miller, Jens Pfau, Liz Sonenberg, Yoshihisa Kashima
2017	A*	`conf`	Real-Time UAV Maneuvering via Automated Planning in Simulations. IJCAI Miquel Ramírez, Michael Papasimeon, Lyndon Benke, Nir Lipovetzky, Tim Miller, Adrian R. Pearce
2017	J	`jnl`	Requirements specification via activity diagrams for agent-based systems. Auton. Agents Multi Agent Syst. Yoosef B. Abushark, Tim Miller, John Thangarajah, Michael Winikoff, James Harland
2017	A*	`conf`	The Minds of Many: Opponent Modeling in a Stochastic Game. IJCAI Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller
2016	A*	`conf`	'Knowing Whether' in Proper Epistemic Knowledge Bases. AAAI Tim Miller, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg
2016	A*	`conf`	Belief Update for Proper Epistemic Knowledge Bases. IJCAI Tim Miller, Christian J. Muise
2016	—	`conf`	Communication and Shared Mental Models for Teams Performing Interdependent Tasks. COIN@AAMAS/ECAI Ronal Rajneshwar Singh, Liz Sonenberg, Tim Miller
2016	C	`conf`	Compositional Symbolic Execution: Incremental Solving Revisited. APSEC Yude Lin, Tim Miller, Harald Søndergaard
2016	C	`conf`	Does it Fit Me Better? User Segmentation in Requirements Engineering. APSEC Mohammadhossein Sherkat, Tim Miller, Antonette Mendoza
2016	—	`conf`	Generating source inputs for metamorphic testing using dynamic symbolic execution. MET@ICSE Eman Alatawi, Tim Miller, Harald Søndergaard
2016	A*	`conf`	Planning for a Single Agent in a Multi-Agent Environment Using FOND. IJCAI Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg
2016	A	`conf`	Requirements Specification in The Prometheus Methodology via Activity Diagrams. AAMAS Yoosef B. Abushark, John Thangarajah, Tim Miller, Michael Winikoff, James Harland
2016	—	`conf`	Rev at SemEval-2016 Task 2: Aligning Chunks by Lexical, Part of Speech and Semantic Equivalence. SemEval@NAACL-HLT Ping Tan, Karin Verspoor, Tim Miller
2016	J	`jnl`	Social planning for social HRI. CoRR Liz Sonenberg, Tim Miller, Adrian R. Pearce, Paolo Felli, Christian J. Muise, Frank Dignum
2015	—	`conf`	Communication in Human-Agent Teams for Tasks with Joint Action. COIN@AAMAS/IJCAI Sirui Li, Weixing Sun, Tim Miller
2015	—	`conf`	Compositional Symbolic Execution Using Fine-Grained Summaries. ASWEC Yude Lin, Tim Miller, Harald Søndergaard
2015	A*	`conf`	Computing Social Behaviours Using Agent Models. IJCAI Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg
2015	A	`conf`	Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. AAMAS Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff
2015	A	`conf`	Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. AAMAS Christian J. Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg
2015	J	`jnl`	Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems. J. Syst. Softw. Tim Miller, Sonja Pedell, Antonio A. Lopez-Lorca, Antonette Mendoza, Leon Sterling, Alen Keirnan
2015	—	`conf`	Looking Closer at Compositional Symbolic Execution. ASWEC (2) Yude Lin, Tim Miller
2015	A*	`conf`	Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. AAAI Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
2015	—	`conf`	Towards Team Formation via Automated Planning. COIN@AAMAS/IJCAI Christian J. Muise, Frank Dignum, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg
2015	—	`conf`	Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct. ASWEC (2) David A. W. Clarke, Tim Miller, Antonette Mendoza
2015	—	`conf`	Using Metamorphic Testing to Improve Dynamic Symbolic Execution. ASWEC Eman Alatawi, Tim Miller, Harald Søndergaard
2015	J	`jnl`	Viewpoint Modelling with Emotions: A Case Study. Int. J. People Oriented Program. Maheswaree Kissoon Curumsing, Antonio A. Lopez-Lorca, Tim Miller, Leon Sterling, Rajesh Vasa
2014	B	`conf`	A Preliminary Analysis of Interdependence in Multiagent Systems. PRIMA Ronal Rajneshwar Singh, Tim Miller, Liz Sonenberg
2014	A	`conf`	Anticipatory stigmergic collision avoidance under noise. GECCO Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller
2014	B	`conf`	Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. ICSR Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg
2014	A	`conf`	Checking The Correctness of Agent Designs Against Model-Based Requirements. ECAI Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah
2014	A	`conf`	Checking consistency of agent designs against interaction protocols for early-phase defect location. AAMAS Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland
2014	—	`conf`	Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing. AAAI Fall Symposia Tim Miller, Adrian R. Pearce, Liz Sonenberg, Frank Dignum, Paolo Felli, Christian J. Muise
2014	—	`conf`	One size doesn't fit all: diversifying "the user" using personas and emotional scenarios. SSE@SIGSOFT FSE Antonio A. Lopez-Lorca, Tim Miller, Sonja Pedell, Antonette Mendoza, Alen Keirnan, Leon Sterling
2014	J	`jnl`	Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator. IEEE Trans. Software Eng. Tim Miller, Bin Lu, Leon Sterling, Ghassan Beydoun, Kuldar Taveter
2014	Misc	`conf`	Researchers as proxies for informal carers: photo sharing with older adults to mediate wellbeing. OZCHI Hilary Davis, Sonja Pedell, Antonio A. Lopez-Lorca, Tim Miller, Leon Sterling
2014	A	`conf`	Robust anticipatory stigmergic collision avoidance in multi-agent systems. AAMAS Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller
2014	—	`ch.`	Socially-Oriented Requirements Engineering: Software Engineering Meets Ethnography. Perspectives on Culture and Agent-based Simulations Sonja Pedell, Tim Miller, Frank Vetere, Leon Sterling, Steve Howard
2013	J	`jnl`	Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies. Multiagent Grid Syst. Tim Miller, Peter McBurney
2013	J	`jnl`	Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems. IEEE Trans. Software Eng. Lin Padgham, Zhiyong Zhang, John Thangarajah, Tim Miller
2013	—	`conf`	The role of users' emotions and associated quality goals on appropriation of systems: two case studies. ACIS Antonette Mendoza, Tim Miller, Sonja Pedell, Leon Sterling
2013	J	`jnl`	Using Dependency Structures for Prioritization of Functional Test Suites. IEEE Trans. Software Eng. Shifa-e-Zehra Haidry, Tim Miller
2012	J	`jnl`	A case study in model-based testing of specifications and implementations. Softw. Test. Verification Reliab. Tim Miller, Paul A. Strooper
2012	J	`jnl`	Understanding socially oriented roles and goals through motivational modelling. J. Syst. Softw. Tim Miller, Sonja Pedell, Leon Sterling, Frank Vetere, Steve Howard
2011	J	`jnl`	Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols. Comput. Intell. Tim Miller, Peter McBurney
2011	—	`conf`	Substantiating Agent-Based Quality Goals for Understanding Socio-Technical Systems. AAMAS Workshops Sonja Pedell, Tim Miller, Leon Sterling, Frank Vetere, Steve Howard
2011	A	`conf`	Substantiating quality goals with field data for socially-oriented requirements engineering. AAMAS Sonja Pedell, Tim Miller, Leon Sterling, Frank Vetere, Steve Howard, Jeni Paay
2011	—	`conf`	TATM: A Trust Mechanism for Social Traders in Double Auctions. Australasian Conference on Artificial Intelligence Jacob Dumesny, Tim Miller, Michael Kirley, Liz Sonenberg
2010	A	`conf`	Characterising and matching iterative and recursive agent interaction protocols. AAMAS Tim Miller, Peter McBurney
2010	—	`conf`	Engaging Stakeholders with Agent-Oriented Requirements Modelling. AOSE Tim Miller, Sonja Pedell, Leon Sterling, Bin Lu
2010	—	`conf`	Ontology-based Validation of Agent Oriented Modelling. EKAW (Posters and Demos) Alex Lopez-Lorca, Ghassan Beydoun, Leon Sterling, Tim Miller
2010	—	`conf`	Ontology-mediated Validation of Software Models. ISD Antonio A. Lopez-Lorca, Ghassan Beydoun, Leon Sterling, Tim Miller
2010	—	`conf`	Shared artefacts as participatory Babel fish. PDC Sonja Pedell, Frank Vetere, Steve Howard, Tim Miller, Leon Sterling
2010	—	`conf`	Test Coverage Criteria for Agent Interaction Testing. AOSE Tim Miller, Lin Padgham, John Thangarajah
2009	Misc	`conf`	Having fun at home: interleaving fieldwork and goal models. OZCHI Sonja Pedell, Tim Miller, Frank Vetere, Leon Sterling, Steve Howard, Jeni Paay
2008	—	`conf`	Annotation and Matching of First-Class Agent Interaction Protocols. ArgMAS Tim Miller, Peter McBurney
2008	—	`conf`	Annotation and matching of first-class agent interaction protocols. AAMAS (2) Tim Miller, Peter McBurney
2008	—	`conf`	On illegal composition of first-class agent interaction protocols. ACSC Tim Miller, Peter McBurney
2007	J	`jnl`	A formal semantics for Gaia liveness rules and expressions. Int. J. Agent Oriented Softw. Eng. Tim Miller, Peter McBurney
2007	—	`conf`	Amongst First-Class Protocols. ESAW Tim Miller, Jarred McGinnis
2007	C	`conf`	First-Class Protocols for Agent-Based Coordination of Scientific Instruments. WETICE Tim Miller, Peter McBurney, Jarred McGinnis, Kostas Stathis
2006	A	`conf`	Commercial applications of agents: lessons, experiences and challenges. AAMAS Roxana Belecheanu, Steve Munroe, Michael Luck, Terry R. Payne, Tim Miller, Peter McBurney, Michal Pechoucek
2006	J	`jnl`	Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents. Knowl. Eng. Rev. Steve Munroe, Tim Miller, Roxana Belecheanu, Michal Pechoucek, Peter McBurney, Michael Luck
2006	J	`jnl`	Reflections on: When Internet companies morph. First Monday Robert J. Kauffman, Tim Miller, Bin Wang
2006	—	`conf`	Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols. ESAW Tim Miller, Peter McBurney
2005	B	`conf`	CZT Support for Z Extensions. IFM Tim Miller, Leo Freitas, Petra Malik, Mark Utting
2005	—	`conf`	Multi-agent System Specification Using TCOZ. MATES Tim Miller, Peter McBurney
2004	C	`conf`	A Case Study in Specification and Implementation Testing. APSEC Tim Miller, Paul A. Strooper
2004	—	`conf`	Integrating Formal Specification and Software Verification and Validation. TFM Roger Duke, Tim Miller, Paul A. Strooper
2003	J	`jnl`	A framework and tool support for the systematic testing of model-based specifications. ACM Trans. Softw. Eng. Methodol. Tim Miller, Paul A. Strooper
2003	B	`conf`	Supporting the Software Testing Process through Specification Animation. SEFM Tim Miller, Paul A. Strooper
2002	C	`conf`	Model-Based Specification Animation Using Testgraphs. ICFEM Tim Miller, Paul A. Strooper
2002	—	`conf`	Strategic 'Morphing' and the Survivability of E-commerce Firms. HICSS Robert J. Kauffman, Bin Wang, Tim Miller
2002	J	`jnl`	When Internet Companies Morph: Understanding Organizational Strategy Changes in the 'New' New Economy. First Monday Robert J. Kauffman, Tim Miller, Bin Wang
2001	—	`conf`	Animation Can Show Only the Presence of Errors, Never Their Absence. Australian Software Engineering Conference Tim Miller, Paul A. Strooper
2001	—	`conf`	Combining the Animation and Testing of Abstract Data Types. APAQS Tim Miller, Paul A. Strooper