| 2026 | ICAART | Belief Revision with Two Kinds of Trust. | Aaron Hunter, Deanna Lepke |
| 2025 | ICAART | Formal Reasoning About Trusted Third Party Protocols. | Aaron Hunter |
| 2025 | PRICAI | Belief Change with Full Memory and Trust. | Aaron Hunter |
| 2025 | PST | Using Counterfactuals for Explainable Android Malware Detection. | Maryam Tanha, Winston Zhao, Aaron Hunter, Ashkan Jangodaz |
| 2024 | ICAART | A Description Language for Similarity, Belief Change and Trust. | Aaron Hunter |
| 2024 | ICISSP | Interpretable Android Malware Detection Based on Dynamic Analysis. | Arunab Singh, Maryam Tanha, Yashsvi Girdhar, Aaron Hunter |
| 2024 | LPAR | A Tool for Reasoning about Trust and Belief. | Aaron Hunter, Alberto Iglesias |
| 2023 | AI | Joint Trust for Belief Revision. | Aaron Hunter, Richard Booth |
| 2023 | ICAART | Ethical Considerations for the Deployment of Logic-Based Models of Reasoning. | Aaron Hunter |
| 2023 | ICAART | A System for Updating Trust and Performing Belief Revision. | Aaron Hunter, Sam Tadey |
| 2022 | ICAART | BRL: A Toolkit for Learning How an Agent Performs Belief Revision. | Aaron Hunter, Konstantin Boyarinov |
| 2021 | AI | On the Use of Causal Rules to Specify How Trust Impacts Change in Knowledge and Belief. | Aaron Hunter |
| 2021 | ICAART | Using Game AI to Control a Simulated Economy. | Paul McCarlie, Aaron Hunter |
| 2021 | IJCAI | How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. | Thomas Eiter, Aaron Hunter, Franois Schwarzentruber |
| 2021 | PRICAI | Building Trust for Belief Revision. | Aaron Hunter |
| 2020 | ICAART | Knowledge-based Analysis of Residential Air Quality. | Aaron Hunter, Rodrigo Mora |
| 2020 | IJCAI | GenC: A Fast Tool for Applications Involving Belief Revision. | Aaron Hunter, John Agapeyev |
| 2018 | AI | Learning Belief Revision Operators. | Aaron Hunter |
| 2018 | AI | A Tool for Defining and Simulating Storage Strategies on the Smart Grid. | Dan Russell, Aaron Hunter |
| 2018 | ICISSP | Decoy Systems with Low Energy Bluetooth Communication. | Aaron Hunter, Ken Wong |
| 2018 | ICISSP | Managing Cybersecurity Break-ins Using Bluetooth Low Energy Devices to Verify Attackers: A Practical Study. | Kenneth C. K. Wong, Aaron Hunter |
| 2017 | ICAART | On the Replaceability of Computational Agents in an Ethical Theory. | Aaron Hunter |
| 2017 | ICAART | Power Storage on the Smart Grid: Experimentation and Education. | Aaron Hunter, Ray Young |
| 2017 | IJCAI | Belief Manipulation Through Propositional Announcements. | Aaron Hunter, Franois Schwarzentruber, Eric Tsang |
| 2017 | ISPEC | Reasoning About Trust and Belief Change on a Social Network: A Formal Approach. | Aaron Hunter |
| 2016 | AI | Nearly Counterfactual Revision. | Aaron Hunter |
| 2016 | ICAART | Information Hiding: Ethics and Safeguards for Beneficial Intelligence. | Aaron Hunter |
| 2016 | JELIA | GenB: A General Solver for AGM Revision. | Aaron Hunter, Eric Tsang |
| 2016 | PST | Mobile forensics for cloud data: Practical and legal considerations. | John Bjornson, Aaron Hunter |
| 2016 | PST | A logical approach to promoting trust over knowledge to trust over action. | Aaron Hunter |
| 2016 | PST | Exploiting known vulnerabilities of a smart thermostat. | Mike Moody, Aaron Hunter |
| 2015 | AAAI | On Keeping Secrets: Intelligent Agents and the Ethics of Information Hiding. | Aaron Hunter |
| 2015 | AAAI | Exploring Power Storage Profiles for Vehicle to Grid Systems. | Aaron Hunter, Ray Young |
| 2015 | ICAART | A Declarative Model for Reasoning about Form Security. | Aaron Hunter |
| 2015 | IJCAI | Trust-Sensitive Belief Revision. | Aaron Hunter, Richard Booth |
| 2015 | IJCAI | Arbitrary Announcements in Propositional Belief Revision. | Aaron Hunter, Franois Schwarzentruber |
| 2014 | AI | Belief Change and Non-deterministic Actions. | Aaron Hunter |
| 2014 | ICAART | Ranking Functions for Belief Change - A Uniform Approach to Belief Revision and Belief Progression. | Aaron Hunter |
| 2014 | ICAART | Belief Revision on Modal Accessibility Relations. | Aaron Hunter |
| 2013 | AI | Revisiting the Epistemics of Protocol Correctness. | Aaron Hunter |
| 2013 | AI | Protocol Verification in a Theory of Action. | Aaron Hunter, James P. Delgrande, Ryan McBride |
| 2012 | AI | Actions, Preferences, and Logic Programs. | Aaron Hunter |
| 2010 | PST | On the representation and verification of cryptographic protocols in a theory of action. | James P. Delgrande, Aaron Hunter, Torsten Grote |
| 2009 | FUSION | Belief modeling for maritime surveillance. | Aaron Hunter |
| 2009 | LPNMR | A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. | James P. Delgrande, Torsten Grote, Aaron Hunter |
| 2007 | AAAI | Belief Change and Cryptographic Protocol Verification. | Aaron Hunter, James P. Delgrande |
| 2007 | IJCAI | An Action Description Language for Iterated Belief Change. | Aaron Hunter, James P. Delgrande |
| 2007 | LPNMR | Using Answer Sets to Solve Belief Change Problems. | Aaron Hunter, James P. Delgrande, Joel Faber |
| 2006 | AAAI | Belief Change in the Context of Fallible Actions and Observations. | Aaron Hunter, James P. Delgrande |
| 2005 | IJCAI | Iterated Belief Change: A Transition System Approach. | Aaron Hunter, James P. Delgrande |
| 2004 | AI | A Unified Action Language Framework. | Aaron Hunter |
| 2003 | LICS | Spectrum Hierarchies and Subdiagonal Functions. | Aaron Hunter |
| 2002 | JELIA | COBA: A Consistency-Based Belief Revision System. | James P. Delgrande, Aaron Hunter, Torsten Schaub |