COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "setup.bib[bib,csr]" source file
C00030 ENDMK
C⊗;
.require "setup.bib[bib,csr]" source file;
.once center
THESES

ADAMS,  D., STAN-CS-68-117,  "A  Computational Model  with  Data Flow
Sequencing"

AGIN,   Gerald,   STAN-CS-72-305   (AIM-173),   "Representation   and
Description of Curved Objects"

BAJCSY, Ruzena, STAN-CS-72-321 (AIM-180), "Computer Identification of
Textured Visual Scenes"

BANNING,  John  Phineas, STAN-CS-78-676  (SLACR-213),  "A  Method for
Determining the Side Effects of Procedure Calls"

BARSTOW, David, STAN-CS-77-641 (AIM-308), "Automatic  Construction of
Algorithms"

BAUER, Henry R., III, STAN-CS-72-324 (TR-48), "Subproblems of the m X
n Sequencing Problem"

BAUMGART,  Bruce, STAN-CS-74-463  (AIM-249), "Geometric  Modeling for
Computer Vision"

BOLLES,  Robert  C., STAN-CS-77-591  (AIM-295),  "Verification Vision
Within a Programmable Assembly System"

BORNING,  Alan,  STAN-CS-79-746, "ThingLab  --  A Constraint-Oriented
Simulation Laboratory"

BRENT, R., STAN-CS-71-198, "Algorithms for Finding Zeros  and Extrema
of Functions without Calculating Derivatives"

BROTZ,  Douglas  K.,  STAN-CS-74-443,  "Embedding  Heuristic  Problem
Solving Methods in a Mechanical Theorem Prover"

BROWN,  Mark R.,  STAN-CS-77-600, "The  Analysis of  a  Practical and
Nearly Optimal Priority Queue"

BUBE, Kenneth P.,  STAN-CS-78-691, "The Construction of  Initial Data
for Hyperbolic Systems from Nonstandard Data"

BUCHANAN,  J.,  STAN-CS-74-458  (AIM-245),  "A  Study   in  Automatic
Programming"

BULNES-ROZAS, Juan, STAN-CS-79-743 (AIM-328), "GOAL: A  Goal Oriented
Command Language for Interactive Proof Construction"

CADIOU,  Jean,  STAN-CS-72-266 (AIM-163),  "Recursive  Definitions of
Partial and Functions and Their Computation"

CARTWRIGHT,  Robert,  Jr.,  STAN-CS-77-592  (AIM-296),  "A  Practical
Formal Semantic Definition and Verification Systems for Typed LISP"

CAUSEY, R.L., STAN-CS-64-10, "On Closest Normal Matrices"

CHANDRA, Ashok K.,  STAN-CS-73-336 (AIM-188), "On the  Properties and
Applications of Program Schemas"

CHAN, Tony F.C., STAN-CS-78-672, "Comparison of Numerical Methods for
Initial Value Problems"

CLANCEY,  William  John,  STAN-CS-79-769,  "Transfer   of  Rule-Based
Expertise Through a Tutorial Dialogue"

CRANE, Clark A., STAN-CS-72-259, "Linear Lists and Priority Queues as
Balanced Binary Trees"

DAVIS, Randall, STAN-CS-76-564 (AIM-283), "Applications of Meta Level
Knowledge to the Construction, Maintenance and Use of Large Knowledge
Bases"

DRYSDALE,  Robert  Lewis  (Scot),  III,  STAN-CS-79-705, "Generalized
Voronoi Diagrams and Geometric Searching"

FALK,  G.,  STAN-CS-70-180  (AIM-132),  "Computer  Interpretation  of
Imperfect Line Data as a Three-Dimensional Scene"

FANG,  Isu,  STAN-CS-72-329, "Folds,  A  Declarative  Formal Language
Definition System"

FAUGHT,   William,   STAN-CS-77-633   (AIM-305),    "Motivation   and
Intensionality in a Computer Simulation Model"

FILMAN, Robert Elliot, STAN-CS-79-727 (AIM-327), "The  Interaction of
Observation and Inference"

FINKEL, Rafael, STAN-CS-76-567 (AIM-284), "Constructing and Debugging
Manipulator Programs"

FREDMAN, Michael L., STAN-CS-72-296, "Growth Properties of a Class of
Recursively Defined Functions"

FRIEDLAND,  Peter  E.,  STAN-CS-79-771,  "Knowledge-Based  Experiment
Design in Molecular Genetics"

GANAPATHY,  S., STAN-CS-75-525  (AIM-272), "Reconstruction  of Secnes
Containing Polyhedra from Stereo Pair of Views"

GARCIA-MOLINA, Hector,  STAN-CS-79-744 (CSL TR-172),  "Performance of
Update Algorithms for Replicated Data in a Distributed Database"

GEORGE, J.A., STAN-CS-71-208, "Computer Implementation of  the Finite
Element Method"

GEORGE,  J.E.,  STAN-CS-71-227   (SLAC-134),  "GEMS  -   A  Graphical
Experimental Meta System"

GINSPARG,  Jerrold,   STAN-CS-78-671  (AIM-316),   "Natural  Language
Processing in an Automatic Programming Domain"

GIPS,  James,  STAN-CS-74-413 (AIM-231),  "Shape  Grammars  and Their
Uses"

GOLDMAN,  N.M.,  STAN-CS-74-461  (AIM-247),  "Computer  Generation of
Natural Language from a Deep Conceptual Base"

GRACE,  D.W.,  STAN-CS-65-15,  "Computer  Search  for  Non-Isomorphic
Convex Polyhedra"

GRAHAM,  Susan,  STAN-CS-71-223,  "Precedence  Languages  and Bounded
Right Context Languages"

GRAPE,   Gunnar  Rutger,   STAN-CS-73-366  (AIM-201),   "Model  Bases
(Intermediate-Level) Computer Vision"

GREEN,  C.C., STAN-CS-69-138  (AIM-96), "The  Application  of Theorem
Proving to Question-Answering Systems"

GUIBAS, L.J., STAN-CS-76-556, "The Analysis of Hashing Algorithms"

HANNA,  Marsha Jo,  STAN-CS-74-438 (AIM-239),  "Computer  Matching of
Areas in Stereo Images"

HEMPHILL, Linda G., STAN-CS-76-534 (AIM-273), "A  Conceptual Approach
to  Automatic  Language  Understanding  and  Belief  Structures: With
Disambiguation of the Word 'For' "

HOFFMAN, L.J., STAN-CS-70-161  (SLACR-117), "The Formulary  Model for
Access Control and Privacy in Computer Systems"

HORNING,  J.J.,  STAN-CS-69-139  (AIM-98),  "A  Study  of Grammatical
Inference"

HUBERMAN, B., STAN-CS-68-106 (AIM-65),  "A Program to Play  Chess End
Games"

JENKINS,  M.A., STAN-CS-69-143,  "Three-Stage Variable-Shift  for the
Solution of Polynomial Equations  with a Posteriori Error  Bounds for
the Zeros"

KANT, Elaine, STAN-CS-79-755 (AIM-331), "Efficiency Considerations in
Program Synthesis: A Knowledge-Based Approach"

KAPLAN, D.M., STAN-CS-68-101 (AIM-60), "The Formal Theoretic Analysis
of Stront Equivalence for Elemental Programs"

KARP,  Richard  Alan,  STAN-CS-79-783  (PVG-14),  "Proving Concurrent
Systems Correct"

KAUFMAN, Linda, STAN-CS-72-276, "A Generalized LR Method to  Solve Ax
= Bx"

KAUFMAN, Linda  C., STAN-CS-73-363,  "The LZ  Algorithm to  Solve the
Generalized Eigenvalue Problem"

KELLY, M., STAN-CS-70-168 (AIM-130), "Visual Identification of People
by Computer"

KNOTT, G.D., STAN-CS-75-491, "Deletion in Binary Storage Trees"

KOGGE, Peter M., STAN-CS-72-314 (TR-43), "Parallel Algorithms for the
Efficient Solution of Recurrence Problems (Part 1)"

KOGGE, Peter M., STAN-CS-72-315 (TR-44), "The Numerical  Stability of
Parallel Algorithms for Solving Recurrence Problems (Part 2)"

KOGGE, Peter M., STAN-CS-72-316 (TR-45), "Minimal Paralellism  in the
Solution of Recurrence Problems (Part 3)"

LENAT,   Douglas,  STAN-CS-76-570   (AIM-286),  "AM:   An  Artificial
Intelligence  Approach  to  Discovery  in  Mathematics  as  Heuristic
Search"

LENGAUER, Thomas,  STAN-CS-79-745, "Upper and  Lower Bounds  on Time-
Space Tradeoffs in a Pebble Game"

LESSER, V., STAN-CS-72-309 (TR-157), "Dynamic Control  Structures and
Their Use in Emulation"

LEVINE,  David R.,  STAN-CS-73-343, "Computer-Based  Analytic Grading
for German Grammar Instruction"

LEWIS,  John  Gregg, STAN-CS-77-595,  "Algorithms  for  Sparse Matrix
Eigenvalue Problems"

LOW, J.R.,  STAN-CS-74-452 (AIM-242),  "Automatic Coding:   Choice of
Data Structures"

LUK, Franklin Tai-cheung, STAN-CS-78-685, "Sparse and Parallel Matrix
Computations"

LUKES,  J.A.,  STAN-CS-72-293  (TN-32),  "Combinatorial  Solutions to
Partitioning Problems"

MALCOLM,  Michael  A.,  STAN-CS-73-372,  "Nonlinear  Spline Functions
(Part 2)"

McCUNE, Brian P., STAN-CS-79-772 (AIM-333), "Building  Program Models
Incrementaly from Informal Descriptions"

McKEEMAN,  W.M.,  STAN-CS-66-48, "An  Approach  to  Computer Language
Design"

MEYRS, W.J., STAN-CS-71-222, "Linear Representation of Tree Structure
(a Mathematical Theory of Parenthesis-Free Notations)"

MITCHELL, Tom Michael, STAN-CS-78-711, "Version Spaces:   An Approach
to Concept Learning"

MODEL,  Mitch L,  STAN-CS-79-701,  "Monitoring System  Behavior  in a
Complex Computational Environment"

MOLER,  C.B.,  STAN-CS-65-22,  "Finite  Difference  Methods  for  the
Eigenbales of Laplace's Operator"

MONT-REYNAUD,  Bernard, STAN-CS-77-644,  "Hierarchical  Properties of
Flows and the Determination of Inner Loops"

MORRIS,  F.  Lockwood,  STAN-CS-72-303  (AIM-174),   "Correctness  of
Translations of Programming Languages - an Algebraic Approach"

NEVATIA, Ramakant, STAN-CS-74-464 (AIM-250), "Structured Descriptions
of Complex Curved Objects for Recognition and Visual Memory"

NEWEY, M.C., STAN-CS-75-475 (AIM-257), "Formal Semantics of LISP with
Applications to Program Correctness"

O'LEARY,  D.   Prost,  STAN-CS-76-548,  "Hybrid   Conjugate  Gradient
Algorithms"

OVERTON,  Michael  Lockhart,  STAN-CS-79-753,  "Projected  Lagrangian
Algorithms for Nonlinear Minimax and l↓1 Optimization"

PARDO,  Louis  Trabb,  STAN-CS-78-681,  "Set  Representation  and Set
Intersection"

PAUL,  Richard,  STAN-CS-72-311  (AIM-177),   "Modelling,  Trajectory
Calculation and Servoing of a Computer Controlled Arm"

PERSSON,  S.,  STAN-CS-66-50 (AIM-46),  "Some  Sequence Extrapulating
Programs:   A  Study  of Representation  and  Modelling  in Inquiring
Systems"

PETERSON, James  L., STAN-CS-74-410  (TR-46), "Modelling  of Parallel
Systems"

PIEPER, D., STAN-CS-68-116 (AIM-72), "The Kinematics  of Manipulators
Under Computer Control"

POHL, I.,  STAN-CS-69-136 (SLACR-104), "Bi-Directional  and Heuristic
Search in Path Problems"

PRATT, Vaughan R., STAN-CS-72-260, "Shellsort and Sorting Networks"

QUAM,  Lynn,   STAN-CS-71-219  (AIM-144),  "Computer   Comparison  of
Pictures"

RAMOS,  G.O., STAN-CS-70-146,  "Roundoff Error  Analysis of  the Fast
Fourier Transform"

RAMSHAW, Lyle  Harold, STAN-CS-79-741,  "Formalizing the  Analysis of
Algorithms"

REDDY, D.R., STAN-CS-66-49 (AIM-43), "An Approach to  Computer Speech
Recognition by Direct Analysis of Speech Wave"

REISER, John F., STAN-CS-77-601, "Analysis of Additive  Random Number
Generators"

RICHMAN, P., STAN-CS-68-105, "Epsiolon-Calculus"

RIDDLE,  William E.,  STAN-CS-72-271, "The  Modeling and  Analysis of
Supervisory Systems"

RIEGER, Charles,  III, STAN-CS-74-419 (AIM-233),  "Conceptual Memory:
A Theory and Computer  Program for Processing the Meaning  Content of
Natural Language Utterances"

RIESBECK,    C.K.,    STAN-CS-74-437     (AIM-238),    "Computational
Understanding: Analysis of Sentences and Context"

RIVEST, Ronald L., STAN-CS-74-415, "Analysis of Associative Retrieval
Algorithms"

RODERICK, Michael, STAN-CS-76-571  (AIM-287), "Discrete Control  of a
Robot Arm"

RUDIN, B.D., STAN-CS-65-23, "Convex Polynomial Approximation"

RUSSELL, D.L., STAN-CS-76-563, "State Restoration Among Communicating
Processes"

RYDER, John, STAN-CS-71-245  (AIM-155), "Heuristic Analysis  of Large
Trees as Generated in the Game of Go"

SAMET,  H.,  STAN-CS-75-498  (AIM-259),  "Automatically  Proving  the
Correctness of Translations Involving Optimized Code"

SATTERTHWAITE, E.H., Jr., STAN-CS-75-494, "Source  Language Debugging
Tools"

SCHANK,  R.C.,  STAN-CS-69-130  (AIM-83),  "A  Conceptual  Dependency
Representation for a Computer-Oriented Semantics"

SCHLUMBERGER,    Maurice,   STAN-CS-74-424    (TR-80),   "Logorithmic
Communications Networks (Chapter 1)"

SCHLUMBERGER,  Maurice,  STAN-CS-74-425  (TR-81),  "Vulnerability  of
deBruijn Communications Networks (Chapter 2)"

SCHLUMBERGER, Maurice, STAN-CS-74-426 (TR-82), "Queueing Equal Length
Messages in a Logorithmic Network (Chapter 3)"

SCHMIDT,  Rod, STAN-CS-71-231  (AIM-149), "A  Study of  the Real-Time
Control of a Computer Driven Vehicle"

SEDGEWICK, R., STAN-CS-75-492, "Quicksort"

SHAW, A.C.  , STAN-CS-68-94, "The  Formal Description and  Parsing of
Pictures"

SHIMANO, Bruce  E., STAN-CS-78-660  (AIM-313), "The  Kinematic Design
and Force Control of Computer Controlled Manipulators"

SHORTLIFFE,  E.H.,  STAN-CS-74-465 (AIM-251),  "MYCIN:   A Rule-Based
Computer  Program  for  Advising  Physicians  Regarding Antimicrobial
Therapy Selection"

SHUSTEK,  Leonard   J.,  STAN-CS-78-658  (SLAC-205),   "Analysis  and
Performance of Computer Instruction Sets"

SIMON, Istvan, STAN-CS-77-608, "On Some Subrecursive Reducibilities"

SITES, Richard  L., STAN-CS-74-418,  "Proving That  Computer Programs
Terminate Cleanly"

SMITH, A., STAN-CS-74-449 (TR-89), "Performance Analysis  of Computer
Systems Components"

SMITH,  D.C.,  STAN-CS-75-499  (AIM-260),  "PYGMALION:    A  Creative
Programming Environment"

SMITH,  L.B.,  STAN-CS-69-131  (SLAC-96),  "The  Use  of  Man-Machine
Interaction in Data-Fitting Problems"

SMITH, Reid  Garfield, STAN-CS-78-700  (HPP-78-28), "A  Framework for
Problem Solving in a Distributed Processing Environment"

STEFIK,  Mark  Jeffrey,  STAN-CS-80-784  (HPP-80-2),  "Planning  with
Constraints"

STRIKWERDA,  J.C., STAN-CS-76-565,  "Initial Boundary  Value Problems
for Incompletely Parabolic Systems"

STRITTER, Edwin P., STAN-CS-77-594 (SLAC-200), "File Migration"

SUZUKI, Norihsa, STAN-CS-76-552 (AIM-279), "Automatic Verification of
Programs with Complex Data Structures"

SWEET, Richard  E., STAN-CS-78-698,  "Empirical Estimates  of Program
Entropy"

SWINEHART, Daniel C., STAN-CS-74-412 (AIM-230), "COPILOT:  A Multiple
Process Approach to Interactive Programming Systems"

TARJAN, R., STAN-CS-71-244, "An Efficient Planarity Algorithm"

TAYLOR, Russell, STAN-CS-76-560 (AIM-282), "Synthesis  of Manipulator
Control Programs from Task-level Specifications"

TENENBAUM,  J., STAN-CS-70-182  (AIM-134), "Accomodation  in Computer
Vision"

TIXIER,   V.,   STAN-CS-67-58,   "Recursive   Functions   of  Regular
Expressions in Language Analysis"

UNDERWOOD, R., STAN-CS-75-496, "An Iterative Block Lanczos Method for
the Solution of Large Sparse Symmetric Eigenproblems"

VALDES,  Jacobo,  STAN-CS-78-682,  "Parsing  Flowcharts  and  Series-
Parallel Graphs"

VARAH,  J.M.,  STAN-CS-67-66,  "The  Computation  of  Bounds  for the
Invariant Subspaces of a General Matrix Operator"

VICENS, P., STAN-CS-69-127  (AIM-85), "Aspects of  Speech Recognition
by Computer"

VUILLEMIN, Jean Etienne, STAN-CS-73-393 (AIM-218),  "Proof Techniques
for Recursive Programs"

WAGNER,   Todd    Jeffery,   STAN-CS-77-632    (AIM-304),   "Hardware
Verification"

WAKERLY,  John,  STAN-CS-74-421  (TR-51),  "Low-Cost  Error Detection
Techniques for Small Computers"

WATERMAN,   D.,   STAN-CS-68-118  (AIM-74),   "Machine   Learning  of
Heuristics"

WILKINS,  David  E., STAN-CS-79-747  (AIM-329),  "Using  Patterns and
Plans to Solve Problems and Control Search"

WRIGHT, Margaret, STAN-CS-76-566, "Numerical Methods  for Nonlinearly
Constrained Optimization"

YAKIMOVSKY, Yoram, STAN-CS-73-380 (AIM-209), "Scene Analysis  Using a
Semantic Base for Region Growing"

YU, F.S.,  STAN-CS-76-554, "Modeling the  Write Behavior  of Computer
Programs"

ZOLNOWSKY,   John   E.,   STAN-CS-78-659   (SLAC-206),   "Topics   in
Computational Geometry"