Werner Lauterbach

According to our database¹, Werner Lauterbach authored at least 3 papers between 1995 and 1996.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1996

Verification of the Sparrow Processor.

[BibT_eX]

[DOI]

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

Combining Reductions and Computations in ReDuX.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Experiments with Partial Evaluation Domains for Rewrite Specifications.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1995