| 2015 | CADE | Automating Leibniz's Theory of Concepts. | Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta |
| 2014 | CADE | Dialogues for proof search. | Jesse Alama |
| 2012 | AISC | Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar. | Jesse Alama, Lionel Mamane, Josef Urban |
| 2012 | AISC | New Developments in Parsing Mizar. | Czeslaw Bylinski, Jesse Alama |
| 2012 | CADE | Escape to Mizar from ATPs. | Jesse Alama |
| 2012 | LPAR | Automated and Human Proofs in General Mathematics: An Initial Comparison. | Jesse Alama, Daniel Khlwein, Josef Urban |
| 2011 | ITP | Metadata for a wiki of formalized mathematics. | Jesse Alama |
| 2011 | TABLEAUX | Dialogue Games for Classical Logic. | Jesse Alama, Aleks Knoks, Sara L. Uckelman |
| 2010 | AISC | A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. | Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers |
| 2010 | LPAR | Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools. | Jesse Alama |
| 2010 | LPAR | Proof rules for the dialogical logic N. | Jesse Alama, Sara L. Uckelman |
| 2010 | LPAR | Playing Lorenzen Dialogue Games on the Web. | Jesse Alama, Sara L. Uckelman |