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 95-1. Fixpoint Computations and Coiteration, by Brian Howard
Report 95-2. A New Class of Private Key Encryption Algorithms with Infinitely Many Distinct Keys, by David S. Rogers and Elizabeth A. Unger
Report 95-3. On logical relations for properties at higher types, by Sergey Kotov
Report 95-4 . An Implementation of Intuitionistic Type Theory and Realizability Theory by Yuki Komagata and David Schmidt
Report 95-5. Natural-Semantics-Based Abstract Interpretation by David Schmidt
Report 95-6. Time Passive Property in Linear Past Temporal Logic by Robert J. Zhang and Elizabeth Unger
Report 95-7. A Flexible Architecture for Building Data Flow Analyzers by Matthew B. Dwyer and Lori A. Clarke
Report 95-8. Data Flow Analysis Frameworks for Concurrent Programs by Matthew B. Dwyer
Report 95-9. A Compact Petri Net Representation and Its Implications for Analysis by Matthew B. Dwyer and Lori A. Clarke
Report 95-10. Performance Engineering of End-Systems for High Bandwidth Multimedia Communications by K. Ravindran and K. Bhat
Report 95-11. Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms by Masaaki Mizuno, Mikhail Nesterenko, and Hirotsugu Kakugawa
Report 95-12. A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments by Masaaki Mizuno and Hirotsugu Kakugawa
Report 95-13. String Constraints in Logic Programming by Robert J. Zhang and Elizabeth A. Unger
Report 95-14. Introduction to Database Integrity by Robert J. Zhang and Elizabeth A. Unger
Report 95-15. Point-based vs. Interval-based Temporal Query Languages by David Toman