Reinhard Bündgen

According to our database1, Reinhard Bündgen authored at least 27 papers between 1989 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Secure your cloud workloads with IBM Secure Execution for Linux on IBM z15 and LinuxONE III.
IBM J. Res. Dev., 2020

2018
Enabling pervasive encryption through IBM Z stack innovations.
IBM J. Res. Dev., 2018

2000
Dependable High Performance Computing on a Parallel Sysplex Cluster.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1998
Formale Hardware-Verifikation mit Termersetzung.
Künstliche Intell., 1998

Termersetzungssysteme - Theorie, Implementierung, Anwendung.
Vieweg, ISBN: 978-3-528-05652-0, 1998

1996
Buchberger's Algorithm: The Term Rewriter's Point of View.
Theor. Comput. Sci., 1996

Strategy Compliant Multi-Threaded Term Completion.
J. Symb. Comput., 1996

ReDuX 1.5: New Facets of Rewriting.
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Verification of the Sparrow Processor.
Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

Combining Reductions and Computations in ReDuX.
Proceedings of the Algebraic Methodology and Software Technology, 1996

Proof Transformation for Non-Compatible Rewriting.
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1995
Parallel ReDuX -> PaReDuX.
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Experiments with Partial Evaluation Domains for Rewrite Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1995

1994
Multi-Threaded AC Term Rewriting.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

A Fine-Grained Parallel Completion Procedure.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

Preserving Confluence for Rewrite Systems with Built-in Operations.
Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994

On Pot, Pans and Pudding or How to Discover Generalised Critical Pairs.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Combining Computer Algebra and Rule Based Reasoning.
Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

1993
Reduce the Redex -> ReDuX.
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

1992
Buchberger's Algorithm: The Term Rewriter's Point of View (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

A Fast Algorithm for Ground Normal Form Analysis.
Proceedings of the Algebraic and Logic Programming, 1992

1991
Term completion versus algebraic completion.
PhD thesis, 1991

Simulation Buchberger's Algorithm by Knuth-Bendix Completion.
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

Completion of Integral Polynomials by AC-Term Completion.
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

1990
Applying Term Rewriting Methods to Finite Groups.
Proceedings of the Algebraic and Logic Programming, 1990

1989
Computing Ground Reducability and Inductively Complete Positions.
Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989


  Loading...