1995 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 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

Dave Schmidt (schmidt@cis.ksu.edu)