| 2025 | EMNLP | Aspect-Oriented Summarization for Psychiatric Short-Term Readmission Prediction. | Wonjin Yoon, Boyu Ren, Spencer Thomas, Chanhwi Kim, Guergana Savova, Mei-Hua Hall, Tim Miller |
| 2024 | ECAI | Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence. | Thao Le, Tim Miller, Liz Sonenberg, Ronal Singh |
| 2024 | HIC | How to Validate XAI in Longitudinal Studies? | Martin Gjoreski, Matas Laporte, Marc Langheinrich, Tim Miller |
| 2023 | AAAI | Explaining Model Confidence Using Counterfactuals. | Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg |
| 2023 | CVPR | Unicode Analogies: An Anti-Objectivist Visual Reasoning Challenge. | Steven Spratley, Krista A. Ehinger, Tim Miller |
| 2023 | ECAI | Diverse, Top-k, and Top-Quality Planning Over Simulators. | Lyndon Benke, Tim Miller, Michael Papasimeon, Nir Lipovetzky |
| 2022 | CHI | What's the Appeal? Perceptions of Review Processes for Algorithmic Decisions. | Henrietta Lyons, Senuri Wijenayake, Tim Miller, Eduardo Velloso |
| 2021 | AAAI | Invertible Concept-based Explanations for CNN Models with Non-negative Concept Activation Vectors. | Ruihan Zhang, Prashan Madumal, Tim Miller, Krista A. Ehinger, Benjamin I. P. Rubinstein |
| 2020 | AAAI | Implicit Coordination Using FOND Planning. | Thorsten Engesser, Tim Miller |
| 2020 | AAAI | Explainable Reinforcement Learning through a Causal Lens. | Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere |
| 2020 | ECCV | A Closer Look at Generalisation in RAVEN. | Steven Spratley, Krista A. Ehinger, Tim Miller |
| 2019 | ECSCW | Evaluating Ask Izzy: A Mobile Web App for People Experiencing Homelessness. | Rachel Burrows, Antonette Mendoza, Leon Sterling, Tim Miller, Sonja Pedell |
| 2019 | RE | Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study. | Rachel Burrows, Antonio A. Lopez-Lorca, Leon Sterling, Tim Miller, Antonette Mendoza, Sonja Pedell |
| 2017 | CVPR | IARPA Janus Benchmark-B Face Dataset. | Cameron Whitelam, Emma Taborsky, Austin Blanton, Brianna Maze, Jocelyn C. Adams, Tim Miller, Nathan D. Kalka, Anil K. Jain, James A. Duncan, Kristen Allen, Jordan Cheney, Patrick Grother |
| 2017 | IJCAI | The Minds of Many: Opponent Modeling in a Stochastic Game. | Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller |
| 2017 | IJCAI | Real-Time UAV Maneuvering via Automated Planning in Simulations. | Miquel Ramrez, Michael Papasimeon, Lyndon Benke, Nir Lipovetzky, Tim Miller, Adrian R. Pearce |
| 2016 | AAAI | 'Knowing Whether' in Proper Epistemic Knowledge Bases. | Tim Miller, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg |
| 2016 | APSEC | Compositional Symbolic Execution: Incremental Solving Revisited. | Yude Lin, Tim Miller, Harald Sndergaard |
| 2016 | APSEC | Does it Fit Me Better? User Segmentation in Requirements Engineering. | Mohammadhossein Sherkat, Tim Miller, Antonette Mendoza |
| 2016 | CVPR | Grouper: Optimizing Crowdsourced Face Annotations. | Jocelyn C. Adams, Kristen C. Allen, Tim Miller, Nathan D. Kalka, Anil K. Jain |
| 2016 | CVPR | A Comparison of Human and Automated Face Verification Accuracy on Unconstrained Image Sets. | Austin Blanton, Kristen C. Allen, Tim Miller, Nathan D. Kalka, Anil K. Jain |
| 2016 | IJCAI | Belief Update for Proper Epistemic Knowledge Bases. | Tim Miller, Christian J. Muise |
| 2016 | IJCAI | Planning for a Single Agent in a Multi-Agent Environment Using FOND. | Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg |
| 2016 | ICSE | Generating source inputs for metamorphic testing using dynamic symbolic execution. | Eman Alatawi, Tim Miller, Harald Sndergaard |
| 2015 | AAAI | Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. | Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg |
| 2015 | IJCAI | Computing Social Behaviours Using Agent Models. | Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg |
| 2014 | ECAI | Checking The Correctness of Agent Designs Against Model-Based Requirements. | Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah |
| 2014 | GECCO | Anticipatory stigmergic collision avoidance under noise. | Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller |
| 2014 | OZCHI | Researchers as proxies for informal carers: photo sharing with older adults to mediate wellbeing. | Hilary Davis, Sonja Pedell, Antonio A. Lopez-Lorca, Tim Miller, Leon Sterling |
| 2014 | PRIMA | A Preliminary Analysis of Interdependence in Multiagent Systems. | Ronal Rajneshwar Singh, Tim Miller, Liz Sonenberg |
| 2013 | SIGGRAPH | Elder Scrolls. | Tim Miller |
| 2011 | ACL | A Pronoun Anaphora Resolution System based on Factorial Hidden Markov Models. | Dingcheng Li, Tim Miller, William Schuler |
| 2010 | EKAW | Ontology-based Validation of Agent Oriented Modelling. | Alex Lopez-Lorca, Ghassan Beydoun, Leon Sterling, Tim Miller |
| 2009 | ACL | Parsing Speech Repair without Specialized Grammar Symbols. | Tim Miller, Luan Nguyen, William Schuler |
| 2009 | EMNLP | Word Buffering Models for Improved Speech Repair Parsing. | Tim Miller |
| 2009 | NAACL | Improved Syntactic Models for Parsing Speech with Repairs. | Tim Miller |
| 2009 | OZCHI | Having fun at home: interleaving fieldwork and goal models. | Sonja Pedell, Tim Miller, Frank Vetere, Leon Sterling, Steve Howard, Jeni Paay |
| 2008 | ACL | A Unified Syntactic Model for Parsing Fluent and Disfluent Speech. | Tim Miller, William Schuler |
| 2008 | COLING | A Syntactic Time-Series Model for Parsing Fluent and Disfluent Speech. | Tim Miller, William Schuler |
| 2008 | COLING | Toward a Psycholinguistically-Motivated Model of Language Processing. | William Schuler, Samir AbdelRahman, Tim Miller, Lane Schwartz |
| 2007 | CLUSTER | Dolphin express: A transparent approach to enhancing PCI Express. | Venkata Krishnan, Tim Miller, Herman Paraison |
| 2007 | HRI | Elements of a spoken language programming interface for robots. | Tim Miller, Andrew Exley, William Schuler |
| 2007 | SIGGRAPH | A gentlemen's duel. | Tim Miller |
| 2007 | WETICE | First-Class Protocols for Agent-Based Coordination of Scientific Instruments. | Tim Miller, Peter McBurney, Jarred McGinnis, Kostas Stathis |
| 2006 | Interspeech | Dynamic evidence models in a DBN phone recognizer. | William Schuler, Tim Miller, Stephen T. Wu, Andrew Exley |
| 2005 | Interspeech | Integrating denotational meaning into a DBN language model. | William Schuler, Tim Miller |
| 2005 | IFM | CZT Support for Z Extensions. | Tim Miller, Leo Freitas, Petra Malik, Mark Utting |
| 2004 | APSEC | A Case Study in Specification and Implementation Testing. | Tim Miller, Paul A. Strooper |
| 2003 | IGARSS | The future global Earth observing system: system requirements and architecture. | Peter H. Hildebrand, Mark R. Schoeberl, Warren Wiscomb, Mariann Albjerg, Martin G. Mlynczak, Carol A. Raymond, Robert D. Ferraro, Tim Miller, Richard Miller, David Petersen |
| 2003 | SIGGRAPH | Aunt Luisa. | Tim Miller, Paul Taylor |
| 2003 | SEFM | Supporting the Software Testing Process through Specification Animation. | Tim Miller, Paul A. Strooper |
| 2002 | ICFEM | Model-Based Specification Animation Using Testgraphs. | Tim Miller, Paul A. Strooper |
| 2001 | SIGGRAPH | Microsoft Xbox "Two to Tango". | Tim Miller, Al Shier, Sherry Wallace |
| 2001 | SIGGRAPH | The Pit 2. | Al Shier, Tim Miller |