Theses & Reports

Instructions for submitting a technical report or thesis.

  • Ph.D. Thesis 1988 Parallel algorithms for band SPD systems of linear equations Bar-On, Ilan Abstract | PDF
  • Ph.D. Thesis 1988 ZLISP--a portable parallel LISP environment Dimitrovsky, Isaac Aaron Abstract | PDF
  • Ph.D. Thesis 1988 Reasoning about shape and kinematic function in mechanical devices Joskowicz, Leo Abstract | PDF
  • Ph.D. Thesis 1988 Use of three-dimensional curves in computer vision Kishon, Eyal Abstract | PDF
  • Ph.D. Thesis 1988 Simulation-based understanding of texts about equipment Ksiezyk, Tomasz Bartlomiej Abstract | PDF
  • Ph.D. Thesis 1988 Extensions to SETL to support problem specification and transformation of imperative programs Lewis, Henry Merriman Abstract | PDF
  • Ph.D. Thesis 1988 Foundations of a logic of knowledge, action, and communication Morgenstern, Leora Abstract | PDF
  • Ph.D. Thesis 1988 Taliere: An interactive system for data structuring SETL programs Straub, Robert Michael Abstract | PDF
  • Ph.D. Thesis 1988 Operating system data structures for shared memory MIMD machines with fetch-and-add Wilson, James M. Abstract | PDF