2000 Technical Reports

Department of Computing and Information Sciences
Kansas State University

Note: not all reports are available in electronic form. (Sorry!)

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

Dave Schmidt schmidt@cis.ksu.edu