Important: The links on this page connect to the department's ftp directory. For whatever strange reason, some WWW browsers cannot access the directory. If you try one of the links on this page and receive an error message in response, please use ordinary ftp to obtain the reports: (i) ftp ftp.cis.ksu.edu (anonymous login) (ii) cd pub/CIS (iii) get README
Here is a listing of the abstracts for the reports.
Report 2000-1. Classifying holes of arbitrary dimensions in partially ordered cubes by Stefan Sokolowski
Report 2000-2. A Language Framework For Expressing Checkable Properties of Dynamic Software by James C. Corbett, Matthew B. Dwyer, John Hatcliff, and Robby
Report 2000-3. Binary relations for abstraction and refinement by David Schmidt