| 2024 | DIAGRAMS | A Way Diagrams Explain: Analysis Based on Consequence Matching. | Atsushi Shimojima, Dave Barker-Plummer |
| 2022 | DIAGRAMS | A Formal Model of Aspect Shifting: The Case of Dot Diagrams. | Atsushi Shimojima, Dave Barker-Plummer |
| 2020 | DIAGRAMS | Channel-Theoretic Account of the Semantic Potentials of False Diagrams. | Atsushi Shimojima, Dave Barker-Plummer |
| 2018 | DIAGRAMS | Operations on Single Feature Indicator Systems. | Atsushi Shimojima, Dave Barker-Plummer |
| 2016 | DIAGRAMS | Single Feature Indicator Systems in the Openbox. | Dave Barker-Plummer, Michael D. Murray |
| 2016 | DIAGRAMS | A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems. | Atsushi Shimojima, Dave Barker-Plummer |
| 2014 | DIAGRAMS | An Example HyperVenn Proof. | Dave Barker-Plummer, Nik Swoboda, Michael D. Murray |
| 2014 | DIAGRAMS | The Barwise-Seligman Model of Representation Systems: A Philosophical Explication. | Atsushi Shimojima, Dave Barker-Plummer |
| 2012 | DIAGRAMS | Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning. | Dave Barker-Plummer, John Etchemendy, Michael D. Murray, Emma Pease, Nik Swoboda |
| 2012 | EDM | Using Edit Distance to Mine for Errors in a Natural Language to Logic Translation Corpus. | Dave Barker-Plummer, Robert Dale, Richard Cox, Alex Romanczuk |
| 2011 | CogSci | Impedance Effects of Visual and Spatial Content upon Language-to-Logic Translation Accuracy. | Dave Barker-Plummer, Robert Dale, Richard Cox |
| 2011 | EDM | Student Translations of Natural Language into Logic: The Grade Grinder Translation Corpus Release 1.0. | Dave Barker-Plummer, Richard Cox, Robert Dale |
| 2010 | DIAGRAMS | Diagrams: A Perspective from Logic. | Dave Barker-Plummer |
| 2009 | EDM | Dimensions of Difficulty in Translating Natural Language into First-Order Logic. | Dave Barker-Plummer, Richard Cox, Robert Dale |
| 2008 | DIAGRAMS | Openproof - A Flexible Framework for Heterogeneous Reasoning. | Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael D. Murray, Nik Swoboda |
| 2008 | DIAGRAMS | Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. | Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer |
| 1992 | CADE | &: Automated Natural Deduction. | Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill |
| 1992 | CADE | The GAZER Theorem Prover. | Dave Barker-Plummer, Alex Rothenberg |
| 1992 | ECAI | Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams. | Dave Barker-Plummer, Sidney C. Bailin |