Reinhard Bündgen

Publication Activity (10 Years)

Years Active: 1989-2020
Publications (10 Years): 2

Top Venues

IBM J. Res. Dev.

University of Tübingen, Germany (PHD)

Education History

University of Tübingen, Germany

PHD

Publications

Christian Bornträger, Jonathan D. Bradbury, Reinhard Bündgen, Fadi Busaba, Lisa Cranton Heller, Viktor Mihajlovski
Secure your cloud workloads with IBM Secure Execution for Linux on IBM z15 and LinuxONE III. IBM J. Res. Dev. 64 (5/6) (2020)
Michael Jordan, 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, Reinhard Bündgen, ichael. Zagorski, Hans Schoone, Kathryn Voss
Enabling pervasive encryption through IBM Z stack innovations. IBM J. Res. Dev. 62 (2/3) (2018)
Wolfgang Blochinger, Reinhard Bündgen, Andreas Heinemann
Dependable High Performance Computing on a Parallel Sysplex Cluster. PDPTA (2000)
Reinhard Bündgen, Alfons Geser
Formale Hardware-Verifikation mit Termersetzung. Künstliche Intell. 12 (4) (1998)
Reinhard Bündgen, Carsten Sinz, Jochen Walter
ReDuX 1.5: New Facets of Rewriting. RTA (1996)
Reinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach
Verification of the Sparrow Processor. ECBS (1996)
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
Strategy Compliant Multi-Threaded Term Completion. J. Symb. Comput. 21 (4) (1996)
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor. DISCO (1996)
Reinhard Bündgen
Buchberger's Algorithm: The Term Rewriter's Point of View. Theor. Comput. Sci. 159 (2) (1996)
Reinhard Bündgen, Werner Lauterbach
Combining Reductions and Computations in ReDuX. AMAST (1996)
Reinhard Bündgen
Proof Transformation for Non-Compatible Rewriting. AISMC (1996)
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
Parallel ReDuX -> PaReDuX. RTA (1995)
Reinhard Bündgen, Werner Lauterbach
Experiments with Partial Evaluation Domains for Rewrite Specifications. COMPASS/ADT (1995)
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
Multi-Threaded AC Term Rewriting. PASCO (1994)
Reinhard Bündgen
On Pot, Pans and Pudding or How to Discover Generalised Critical Pairs. CADE (1994)
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
A Fine-Grained Parallel Completion Procedure. ISSAC (1994)
Reinhard Bündgen
Combining Computer Algebra and Rule Based Reasoning. AISMC (1994)
Reinhard Bündgen
Preserving Confluence for Rewrite Systems with Built-in Operations. CTRS (1994)
Reinhard Bündgen
ReDuX. RTA (1993)
Reinhard Bündgen, Hasko Eckhardt
A Fast Algorithm for Ground Normal Form Analysis. ALP (1992)
Reinhard Bündgen
Buchberger's Algorithm: The Term Rewriter's Point of View (Extended Abstract). ICALP (1992)
Reinhard Bündgen
Completion of Integral Polynomials by AC-Term Completion. ISSAC (1991)
Reinhard Bündgen
Simulation Buchberger's Algorithm by Knuth-Bendix Completion. RTA (1991)
Reinhard Bündgen
Applying Term Rewriting Methods to Finite Groups. ALP (1990)
Reinhard Bündgen, Wolfgang Küchlin
Computing Ground Reducability and Inductively Complete Positions. RTA (1989)

Reinhard Bündgen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Reinhard Bündgen