| 2025 | ECAI | RESPONSE: Benchmarking the Ability of Language Models to Undertake Commonsense Reasoning in Crisis Situation. | Assatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller |
| 2024 | EMNLP | PizzaCommonSense: A Dataset for Commonsense Reasoning about Intermediate Steps in Cooking Recipes. | Assatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller |
| 2021 | SmartComp | Reservoir Based Edge Training on RF Data To Deliver Intelligent and Efficient IoT Spectrum Sensors. | Silvija Kokalj-Filipovic, Paul Toliver, William Johnson, Rob Miller |
| 2017 | LPNMR | Foundations for a Probabilistic Event Calculus. | Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller |
| 2016 | ICAART | Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots. | Antonis Bikakis, Patrice Caire, Keith Clark, Gary Cornelius, Jiefei Ma, Rob Miller, Alessandra Russo, Holger Voos |
| 2014 | COMMA | Story Comprehension through Argumentation. | Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller |
| 2014 | HCOMP | Attendee-Sourcing: Exploring The Design Space of Community-Informed Conference Scheduling. | Anant P. Bhardwaj, Juho Kim, Steven Dow, David R. Karger, Sam Madden, Rob Miller, Haoqi Zhang |
| 2014 | KR | A Psychology-Inspired Approach to Automated Narrative Text Comprehension. | Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller |
| 2013 | LPAR | An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future. | Jiefei Ma, Rob Miller, Leora Morgenstern, Theodore Patkos |
| 2012 | CHI | CrowdCamp: rapidly iterating ideas related to collective intelligence & crowdsourcing. | Paul Andr, Michael S. Bernstein, Mira Dontcheva, Elizabeth Gerber, Aniket Kittur, Rob Miller |
| 2012 | CHI | Human computation tasks with global constraints. | Haoqi Zhang, Edith Law, Rob Miller, Krzysztof Gajos, David C. Parkes, Eric Horvitz |
| 2012 | CSCW | Tie strength in question & answer on social network sites. | Katrina Panovich, Rob Miller, David R. Karger |
| 2012 | UIST | Programming with everybody: tightening the copy-modify-publish feedback loop. | Thomas Lieber, Rob Miller |
| 2012 | UIST | Clui: a platform for handles to rich objects. | Hubert Pham, Justin Mazzola Paluska, Rob Miller, Steve Ward |
| 2011 | CHI | A spreadsheet-based user interface for managing plural relationships in structured data. | Eirik Bakke, David R. Karger, Rob Miller |
| 2011 | UIST | Associating the visual representation of user interfaces with their internal structures and metadata. | Tsung-Hsiang Chang, Tom Yeh, Rob Miller |
| 2008 | ECAI | Fred meets Tweety. | Antonis C. Kakas, Loizos Michael, Rob Miller |
| 2008 | OOPSLA | Understanding code architectures via interactive exploration and layout of layered diagrams. | Vineet Sinha, Elizabeth L. Murnane, Scott W. Kurth, Edy S. Liongosari, Rob Miller, David R. Karger |
| 2008 | OOPSLA | Understanding code architectures via interactive exploration and layout of layered diagrams. | Vineet Sinha, Elizabeth L. Murnane, Scott W. Kurth, Edy S. Liongosari, Rob Miller, David R. Karger |
| 2005 | LPNMR | Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. | Antonis C. Kakas, Loizos Michael, Rob Miller |
| 2005 | OOPSLA | Incremental exploratory visualization of relationships in large codebases for program comprehension. | Vineet Sinha, Rob Miller, David R. Karger |
| 2005 | OOPSLA | Incremental exploratory visualization of relationships in large codebases for program comprehension. | Vineet Sinha, Rob Miller, David R. Karger |
| 2002 | ICLP | An Abductive Approach for Analysing Event-Based Requirements Specifications. | Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer |
| 2002 | ICSE | Progressive open source. | Jamie Dinkelacker, Pankaj K. Garg, Rob Miller, Dean Nelson |
| 2001 | LPNMR | E-RES: Reasoning about Actions, Events and Observations. | Antonis C. Kakas, Rob Miller, Francesca Toni |
| 1999 | LPNMR | An Argumentation Framework of Reasoning about Actions and Change. | Antonis C. Kakas, Rob Miller, Francesca Toni |
| 1996 | ECAI | A Case Study in Reasoning about Actions and Continuous Change. | Rob Miller |
| 1996 | KR | Reasoning about Discontinuities in the Event Calculus. | Rob Miller, Murray Shanahan |
| 1995 | LPNMR | Situation Calculus Specifications for Event Calculus Logic Programs. | Rob Miller |