Publications

1998

• An Algebraic Approach to Systolic Circuits
  B. Möller
  In Proc. Workshop on Formal Techniques for Hardware and Hardware-like Systems
  Marstrand, 19 June, 1998. Chalmers University of Technology, Göteborg, 1998 (26 pp.)
• Deductive Hardware Design: A Functional Approach
  B. Möller
  In B. Möller, J.V. Tucker (eds.): Prospects for hardware, LNCS 1546.
  pp. 420-468, 1998.
  Springer-Verlag.
• Prospects for hardware foundations
  B. Möller, J. V. Tucker (eds.)
  LNCS 2546, 1998.
• An Algebraic Approach to Systolic Circuits
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, January 1998
  1998-01

1997

• Deductive Hardware Design: A Functional Approach
  B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, December 1997
  1997-09