- CS-1998-01. Faramarz Famil Samavati and Nezam Mahdavi-Amiri. A Filtered B-spline model of Scanned Digital Images.
- CS-1998-02. X. Deng, E. Milios and A. Mirzaian. Robot Map Verification of a Graph World.
- CS-1998-03. Richard Paige. Using an Object-Oriented Predicative Style to Solve the Invoicing Problem.
- CS-1998-04. Jonathan Ostroff and Richard Paige. The Logic of Software Design.
- CS-1998-05. Richard F. Paige and Jonathan S. Ostroff. From Z to BON/Eiffel.
- CS-1998-06. Richard F. Paige. Formalizing and Integrating SA/SD with a Program Design Calculus.
- CS-1998-07. Richard Paige. Specification and Refinement using a Heterogeneous Notation for Real-Time, Concurrency, and Communication.
- CS-1998-08. George Tourlakis. On the Soundness and Completeness of Equational Predicate Logics.
- CS-1998-09. George Tourlakis. A Basic Formal Equational Predicate Logic.
- CS-1998-10. Jonathan S. Ostroff. Composition and Refinement of Discrete Real-Time Systems.
- CS-1998-11. Evangelos Milios and Euripides Petrakis. Efficient Shape Matching and Retrieval at Multiple Scales.
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.