| 1998 | ISSAC | A Note on Nielsen Reduction and Coset Enumeration. | Birgit Reinert, Klaus Madlener, Teo Mora |
| 1993 | ISSAC | Computing Grbner Bases in Monoid and Group Rings. | Klaus Madlener, Birgit Reinert |
| 1992 | ISAAC | Generating Small Convergent Systems Can Be Extremely Hard. | Klaus Madlener, Friedrich Otto, Andrea Sattler-Klein |
| 1992 | ISSAC | Computing Presentations for Subgroups of Context-Free Groups. | Norbert Kuhn, Klaus Madlener, Friedrich Otto |
| 1991 | ICALP | A Specialized Completion Procedure for Monadic String-Rewriting Systems Presenting Groups. | Klaus Madlener, Paliath Narendran, Friedrich Otto |
| 1991 | STACS | Decidable Sentences for Context-Free Groups. | Klaus Madlener, Friedrich Otto |
| 1990 | ISSAC | A Test for lambda-Confluence for Certain Prefix Rewriting Systems with Applications to the Generalized Word Problem. | Norbert Kuhn, Klaus Madlener, Friedrich Otto |
| 1989 | ISSAC | A Method for Enumerating Cosets of a Group Presented by a Canonical System. | Norbert Kuhn, Klaus Madlener |
| 1986 | CADE | TRSPEC: A Term Rewriting Based System for Algebraic Specifications. | Jrgen Avenhaus, Benjamin Benninghofen, Rdiger Gbel, Klaus Madlener |