Reinhard Bündgen

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