Reinhard Bndgen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1991–2000
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | PDPTA | Dependable High Performance Computing on a Parallel Sysplex Cluster. | Wolfgang Blochinger, Reinhard Bndgen, Andreas Heinemann |
| 1996 | AISC | Proof Transformation for Non-Compatible Rewriting. | Reinhard Bndgen |
| 1995 | COMPASS | Experiments with Partial Evaluation Domains for Rewrite Specifications. | Reinhard Bndgen, Werner Lauterbach |
| 1994 | AISC | Combining Computer Algebra and Rule Based Reasoning. | Reinhard Bndgen |
| 1994 | CADE | On Pot, Pans and Pudding or How to Discover Generalised Critical Pairs. | Reinhard Bndgen |
| 1994 | ISSAC | A Fine-Grained Parallel Completion Procedure. | Reinhard Bndgen, Manfred Gbel, Wolfgang Kchlin |
| 1992 | ICALP | Buchberger's Algorithm: The Term Rewriter's Point of View (Extended Abstract). | Reinhard Bndgen |
| 1991 | ISSAC | Completion of Integral Polynomials by AC-Term Completion. | Reinhard Bndgen |