Computing Ground Reducability and Inductively Complete Positions. - Reinhard Bündgen; Wolfgang Küchlin (RTA, 1989)

Applying Term Rewriting Methods to Finite Groups. - Reinhard Bündgen (ALP, 1990)

Completion of Integral Polynomials by AC-Term Completion. - Reinhard Bündgen (ISSAC, 1991)

Simulation Buchberger's Algorithm by Knuth-Bendix Completion. - Reinhard Bündgen (RTA, 1991)

Term completion versus algebraic completion. - Reinhard Bündgen (1991)

A Fast Algorithm for Ground Normal Form Analysis. - Reinhard Bündgen; Hasko Eckhardt (ALP, 1992)

Buchberger's Algorithm: The Term Rewriter's Point of View (Extended Abstract). - Reinhard Bündgen (ICALP, 1992)

Reduce the Redex -> ReDuX. - Reinhard Bündgen (RTA, 1993)

Combining Computer Algebra and Rule Based Reasoning. - Reinhard Bündgen (AISMC, 1994)

On Pot, Pans and Pudding or How to Discover Generalised Critical Pairs. - Reinhard Bündgen (CADE, 1994)

Preserving Confluence for Rewrite Systems with Built-in Operations. - Reinhard Bündgen (CTRS, 1994)

A Fine-Grained Parallel Completion Procedure. - Reinhard Bündgen; Manfred Göbel; Wolfgang Küchlin (ISSAC, 1994)

Multi-Threaded AC Term Rewriting. - Reinhard Bündgen; Manfred Göbel; Wolfgang Küchlin (PASCO, 1994)

Experiments with Partial Evaluation Domains for Rewrite Specifications. - Reinhard Bündgen; Werner Lauterbach (COMPASS/ADT, 1995)

Parallel ReDuX -> PaReDuX. - Reinhard Bündgen; Manfred Göbel; Wolfgang Küchlin (RTA, 1995)

Proof Transformation for Non-Compatible Rewriting. - Reinhard Bündgen (AISMC, 1996)

Combining Reductions and Computations in ReDuX. - Reinhard Bündgen; Werner Lauterbach (AMAST, 1996)

A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor. - Reinhard Bündgen; Manfred Göbel; Wolfgang Küchlin (DISCO, 1996)

Verification of the Sparrow Processor. - Reinhard Bündgen; Wolfgang Küchlin; Werner Lauterbach (ECBS, 1996)

ReDuX 1.5: New Facets of Rewriting. - Reinhard Bündgen; Carsten Sinz; Jochen Walter (RTA, 1996)

Strategy Compliant Multi-Threaded Term Completion. - Reinhard Bündgen; Manfred Göbel; Wolfgang Küchlin (J. Symb. Comput., 1996)

Buchberger's Algorithm: The Term Rewriter's Point of View. - Reinhard Bündgen (Theor. Comput. Sci., 1996)

Termersetzungssysteme - Theorie, Implementierung, Anwendung. - Reinhard Bündgen (Vieweg, 1998)

Formale Hardware-Verifikation mit Termersetzung. - Reinhard Bündgen; Alfons Geser (Künstliche Intell., 1998)

Dependable High Performance Computing on a Parallel Sysplex Cluster. - Wolfgang Blochinger; Reinhard Bündgen; Andreas Heinemann (PDPTA, 2000)

Enabling pervasive encryption through IBM Z stack innovations. - Michael Jordan 003; Nicholas P. Sardino; Meghan McGrath; Christian G. Zoellin; Thomas E. Morris; Cecilia Carranza Lewis; Greg Vance; Bruce Naylor; Jim Pickel; M. Sueli Almeida; Dave Wierbowski; Chris Meyer; et al. (IBM J. Res. Dev., 2018)

Secure your cloud workloads with IBM Secure Execution for Linux on IBM z15 and LinuxONE III. - Christian Bornträger; Jonathan D. Bradbury; Reinhard Bündgen; Fadi Busaba; Lisa Cranton Heller; Viktor Mihajlovski (IBM J. Res. Dev., 2020)