| 2017 | SYNASC | Grbner Bases Computation and Macaulay Matrices. | Bruno Buchberger |
| 2015 | CASC | Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. | Markus Rosenkranz, Jane Liu, Alexander Maletzky, Bruno Buchberger |
| 2009 | CASC | A Symbolic Framework for Operations on Linear Boundary Problems. | Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger |
| 2007 | SYNASC | Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher. | Bruno Buchberger |
| 2006 | CADE | Mathematical Theory Exploration. | Bruno Buchberger |
| 2006 | SYNASC | Mathematical Theory Exploration. | Bruno Buchberger |
| 2005 | ISSAC | A view on the future of symbolic computation. | Bruno Buchberger |
| 2004 | AISC | Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. | Bruno Buchberger |
| 2004 | AISC | Proving and Constraint Solving in Computational Origami. | Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu |
| 2003 | CSL | Computational Mathematics, Computational Logic, and Symbolic Computation (Invited Lecture). | Bruno Buchberger |
| 2002 | AISC | Focus Windows: A New Technique for Proof Presentation. | Florina Piroi, Bruno Buchberger |
| 1997 | ISSAC | A Survey of the Theorema Project. | Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru |
| 1997 | LPNMR | Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). | Bruno Buchberger |
| 1995 | CP | What Is Symbolic Computation? | Bruno Buchberger |
| 1992 | ICALP | Grbner Bases: An Introduction. | Bruno Buchberger |
| 1982 | KI | Computer-untersttzter Algorithmenentwurf. | Bruno Buchberger |