| 2026 | CiE | Nuclear Shifts for Conservation. | Giulio Fellin, Sara Negri, Peter Schuster |
| 2024 | CSL | A General Constructive Form of Higman's Lemma. | Stefano Berardi, Gabriele Buriola, Peter Schuster |
| 2023 | CiE | A Constructive Picture of Noetherian Conditions and Well Quasi-orders. | Gabriele Buriola, Peter Schuster, Ingo Blechschmidt |
| 2022 | CiE | Maximal Ideals in Countable Rings, Constructively. | Ingo Blechschmidt, Peter Schuster |
| 2020 | CiE | The Computational Significance of Hausdorff's Maximal Chain Principle. | Peter Schuster, Daniel Misselbeck-Wessel |
| 2020 | LICS | Resolving finite indeterminacy: A definitive constructive universal prime ideal theorem. | Peter Schuster, Daniel Misselbeck-Wessel |
| 2019 | WoLLIC | An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra. | Thomas Powell, Peter Schuster, Franziskus Wiesnet |
| 2015 | FIE | The role of collaborative inquiry in transforming faculty perspectives on use of reflection in engineering education. | Trevor S. Harding, Katherine C. Chen, Linda Vanasupa, Lawrence Domingo, Kurt Colvin, Anurag Pande, Troy Kawahara, Lynne A. Slivovsky, Steffen Peuker, James M. Widmann, Peter Schuster |
| 2012 | CiE | A Direct Proof of Wiener's Theorem. | Matthew Hendtlass, Peter Schuster |
| 2012 | LICS | Induction in Algebra: A First Case Study. | Peter Schuster |
| 2009 | CCA | Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis. | Hannes Diener, Peter Schuster |
| 2007 | CiE | Problems as Solutions. | Peter Schuster |
| 2006 | CiE | Do Noetherian Modules Have Noetherian Basis Functions?. | Peter Schuster, Jlia Zappe |
| 2005 | CCA | Ideals in Constructive Banach Algebra Theory. | Douglas S. Bridges, Robin Havea, Peter Schuster |
| 2002 | CSL | Compactness and Continuity, Constructively Revisited. | Douglas S. Bridges, Hajime Ishihara, Peter Schuster |