| 2023 | FC | Stablecoins: Past, Present, and Future. | Ali Nejadmalayeri, Leon Molchanovsky, Bruno Woltzenlogel Paleo, Rodney W. Prescott |
| 2018 | COLING | Sensala: a Dynamic Semantics System for Natural Language Processing. | Daniyar Itegulov, Ekaterina Lebedeva, Bruno Woltzenlogel Paleo |
| 2017 | CADE | Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. | Daniyar Itegulov, John K. Slaney, Bruno Woltzenlogel Paleo |
| 2016 | IJCAI | The Inconsistency in Gdel's Ontological Argument: A Success Story for AI in Metaphysics. | Christoph Benzmller, Bruno Woltzenlogel Paleo |
| 2015 | CADE | Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses. | Jan Gorzny, Bruno Woltzenlogel Paleo |
| 2015 | CSR | Interacting with Modal Logics in the Coq Proof Assistant. | Christoph Benzmller, Bruno Woltzenlogel Paleo |
| 2014 | CADE | Skeptik: A Proof Compression System. | Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo |
| 2014 | ECAI | Automating Gdel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers. | Christoph Benzmller, Bruno Woltzenlogel Paleo |
| 2013 | LFCS | Contextual Natural Deduction. | Bruno Woltzenlogel Paleo |
| 2013 | TABLEAUX | Compression of Propositional Resolution Proofs by Lowering Subproofs. | Joseph Boudou, Bruno Woltzenlogel Paleo |
| 2012 | CSL | Towards CERes in intuitionistic logic. | Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo |
| 2011 | CADE | Exploiting Symmetry in SMT Problems. | David Dharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo |
| 2011 | CADE | Compression of Propositional Resolution Proofs via Partial Regularization. | Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo |
| 2010 | CADE | System Description: The Proof Transformation System CERES. | Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo |
| 2010 | LPAR | Atomic Cut Introduction by Resolution: Proof Structuring and Compression. | Bruno Woltzenlogel Paleo |
| 2009 | LFCS | A Clausal Approach to Proof Analysis in Second-Order Logic. | Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo |
| 2008 | AISC | Herbrand Sequent Extraction. | Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo |
| 2008 | LPAR | Transforming and Analyzing Proofs in the CERES-System. | Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo |