archives

EPrints submitted by Staff Account


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Click here to see user's record.

User has submitted 220 EPrints

Gurski, Marybeth (2001) The Class Validation System. Technical Report TR01-01, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2001) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06m, Department of Computer Science, Iowa State University.

Leavens, Gary T., Leino, K. Rustan M., Poll, Erik, Ruby, Clyde and Jacobs, Bart (2000) JML: notations and tools supporting detailed design in Java. Technical Report TR00-15, Department of Computer Science, Iowa State University.

Wahls, Tim and Leavens, Gary T. (2000) Formal Semantics and Soundness of an Algorithm for Translating Model-based Specifications to Concurrent Constraint Programs. Technical Report TR00-02a, Department of Computer Science, Iowa State University.

Wang, Dake, Wang, Xiangyun, Dobbs, Drena and Honavar, Vasant (2000) Data-Driven Generation of Decision Trees for Motif-based Assignment of Protein Sequences to Functional Families. Technical Report TR00-14a, Department of Computer Science, Iowa State University.

Wang, Dake, Wang, Xiangyun, Dobbs, Drena and Honavar, Vasant (2000) Data-driven Generation of Decision Trees for Motif-Based Assignment of Protein Sequences to Functional Families. Technical Report TR00-14, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2000) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06k, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2000) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06l, Department of Computer Science, Iowa State University.

Wahls, Tim, Leavens, Gary T. and Baker, Albert L. (2000) Executing Formal Specifications with Concurrent Constraint Programming. Technical Report TR97-12c, Department of Computer Science, Iowa State University.

Clifton, Curtis, Leavens, Gary T., Chambers, Craig and Millstein, Todd (2000) MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java. Technical Report TR00-06a, Department of Computer Science, Iowa State University.

Ruby, Clyde and Leavens, Gary T. (2000) Safely Creating Correct Subclasses without Seeing Superclass Code. Technical Report TR00-05d, Department of Computer Science, Iowa State University.

Raghavan, Arun D. and Leavens, Gary T. (2000) Desugaring JML Method Specifications. Technical Report TR00-03a, Department of Computer Science, Iowa State University.

Li, W. and Tavanapong, W. (2000) Content-based Web Site Characterization and Its Implications. Technical Report TR00-13, Department of Computer Science, Iowa State University.

Raghavan, Arun D. and Leavens, Gary T. (2000) Desugaring JML Method Specifications. Technical Report TR00-03b, Department of Computer Science, Iowa State University.

Ruby, Clyde and Leavens, Gary T. (2000) Safely Creating Correct Subclasses without Seeing Superclass Code. Technical Report TR00-05c, Department of Computer Science, Iowa State University.

Clifton, Curtis, Leavens, Gary T., Chambers, Craig and Millstein, Todd (2000) MultiJava: Modular Symmetric Multiple Dispatch and Extensible Classes for Java. Technical Report TR00-06, Department of Computer Science, Iowa State University.

Silvescu, Adrian and Honavar, Vasant (2000) MIgories: an abstract model for interaction. Technical Report TR00-09, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2000) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06j, Department of Computer Science, Iowa State University.

Leavens, Gary T., Wahls, Tim and Baker, Albert L. (2000) Executing Formal Specifications with Constraint Programming. Technical Report TR97-12b, Department of Computer Science, Iowa State University.

Bhorkar, Abhay (2000) A Run-time Assertion Checker for Java using JML. Technical Report TR00-08, Department of Computer Science, Iowa State University.

Ruby, Clyde and Leavens, Gary T. (2000) Safely Creating Correct Subclasses without Seeing Superclass Code. Technical Report TR00-05b, Department of Computer Science, Iowa State University.

Ruby, Clyde and Leavens, Gary T (2000) Safely Creating Correct Subclasses without Seeing Superclass Code. Technical Report TR00-05a, Department of Computer Science, Iowa State University.

Ruby, Clyde and Leavens, Gary T. (2000) Safely Creating Correct Subclasses without Seeing Superclass Code. Technical Report TR00-05, Department of Computer Science, Iowa State University.

Raghavan, Arun D. and Leavens, Gary T. (2000) Desugaring JML Method Specifications. Technical Report TR00-03, Department of Computer Science, Iowa State University.

Wahls, Tim and Leavens, Gary T. (2000) Formal Semantics and Soundness of an Algorithm. Technical Report TR00-02, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2000) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06i, Department of Computer Science, Iowa State University.

Eulenstein, Oliver and Fernandez-Baca, David (2000) Perfect phylogenies for incomplete characters. Technical Report TR00-01, Department of Computer Science, Iowa State University.

Karakoy, Sevtap Otles (2000) Evaluating the Expressiveness of a Multimethod Object-Oriented Programming Language. Technical Report TR98-12, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (1999) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06h, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Pigozzi, Don (1999) A Complete Algebraic Characterization of Behavioral Subtyping. Technical Report TR96-15a, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (1999) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06g, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1999) Introduction to the Literature On Programming Language Design. Technical Report TR93-01c, Department of Computer Science, Iowa State University.

Sekar, R. and Uppuluri, P. (1999) Synthesizing Fast Intrusion Prevention/Detection Systems from High-Level Specifications. Technical Report TR99-02, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (1999) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06f, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Baker, Albert L. (1999) Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. Technical Report TR97-19b, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (1999) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06e, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (1999) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06d, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Antropova, Olga (1999) ACL -- Eliminating Parameter Aliasing with Dynamic Dispatch. Technical Report TR98-08a, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Baker, Albert L. (1999) Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. Technical Report TR97-19a, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1999) An Overview of Larch/C++: Behavioral Specifications for C++ Modules. Technical Report TR96-01e, Department of Computer Science, Iowa State University.

Leavens, Gary, Baker, Albert and Ruby, Clyde (1998) Preliminary Design of JML: A Behavioral Interface Specification. Technical Report TR98-06b, Department of Computer Science, Iowa State University.

Antropova, Olga (1998) ACL--Eliminating Parameter Aliasing with Dynamic Dispatch. Technical Report TR98-07, Department of Computer Science, Iowa State University.

Antropova, Olga and Leavens, Gary T. (1998) ACL---Eliminating Parameter Aliasing with Dynamic Dispatch. Technical Report TR98-08, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Millstein, Todd D. (1998) Multiple Dispatch as Dispatch on Tuples. Technical Report TR98-03b, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (1998) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06a, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L., Honavar, Vasant, LaValle, Steven M. and Prabhu, Gurpur (1998) Programming is Writing: Why Student Programs must be Carefully Read. Technical Report TR97-23a, Department of Computer Science, Iowa State University.

Wahlts, Tim, Leavens, Gary T. and Baker, Albert L. (1998) Executing Formal Specifications with Constraint Programming. Technical Report TR97-12a, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (1998) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06, Department of Computer Science, Iowa State University.

Markland, Matthew W. (1998) Design and Implementation of the Larch/C++ Type System. Technical Report TR98-05, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Millstein, Todd D. (1998) Multiple Dispatch as Dispatch on Tuples. Technical Report TR98-03a, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Millstein, Todd D. (1998) Multiple Dispatch as Dispatch on Tuples. Technical Report TR98-03, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Pigozzi, Don (1998) Class-Based and Algebraic Models of Objects. Technical Report TR98-02, Department of Computer Science, Iowa State University.

Helmer, Guy (1998) Safety Checklist for Four-Variable Requirements Methods. Technical Report TR98-01, Department of Computer Science, Iowa State University.

Zhong, Hua (1997) LSL Traits for using Z with Larch. Technical Report TR97-22, Department of Computer Science, Iowa State University.

Gadia, Shashi K. and Nair, Sunil S. (1997) Algebraic Identities and Query Optimization In a Parametric Model For Relational Temporal Databases. Technical Report TR97-21, Department of Computer Science, Iowa State University.

Gadia, Shashi K. (1997) A Bibliography and Index of Our Works on Belief Data: Concept of Error and Multilevel Security. Technical Report TR97-13, Department of Computer Science, Iowa State University.

Cheng, Tsz Shing and Gadia, Shashi K. (1997) An Algebra for Belief Persistence in Multilevel Security Databases. Technical Report TR97-16, Department of Computer Science, Iowa State University.

Gadia, Shashi K. (1997) Applicability of Temporal Data Models to Query Multilevel Security Databases: A Case Study. Technical Report TR97-17, Department of Computer Science, Iowa State University.

Cheng, Tsz Shing and Gadia, Shashi K. (1997) An Algebra for Belief Persistence in Multilevel Security Databases. Technical Report TR97-18, Department of Computer Science, Iowa State University.

Bhargava, Gautam and Gadia, Shashi K. (1997) The Concept of Error in a Database: An Application of Temporal Databases. Technical Report TR97-15, Department of Computer Science, Iowa State University.

Gadia, Shashi K. and Bhargava, Gautam (1997) A formal treatment of updates and errors in a relational database. Technical Report TR97-14, Department of Computer Science, Iowa State University.

Balakrishnan, Karthik, Bousquet, Olivier and Honavar, Vasant (1997) Spatial Learning and Localization in Animals: A Computational Model and Its Implications for Mobile Robots. Technical Report TR97-20, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Baker, Albert L. (1997) Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. Technical Report TR97-19, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Wing, Jeannette M. (1997) Protective Interface Specifications. Technical Report TR96-04d, Department of Computer Science, Iowa State University.

Wahls, Tim, Leavens, Gary T. and Baker, Albert L. (1997) Executing Formal Specifications with Constraint Satisfaction. Technical Report TR97-12, Department of Computer Science, Iowa State University.

Bousquet, Olivier, Balakrishnan, Karthik and Honavar, Vasant (1997) Is the Hippocampus a Kalman Filter?. Technical Report TR97-11, Department of Computer Science, Iowa State University.

Zhou, Guozhong, McCalley, James D. and Honavar, Vasant (1997) Power System Security Margin Prediction Using Radial Basis Function Networks. Technical Report TR97-10, Department of Computer Science, Iowa State University.

Chambers, Craig and Leavens, Gary T. (1997) BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing. Technical Report TR96-17a, Department of Computer Science, Iowa State University.

Dhara, Krishna Kishore (1997) Behavioral Subtyping in Object-Oriented Languages. Technical Report TR97-09, Department of Computer Science, Iowa State University.

Yang, Jihoon and Honavar, Vasant (1997) Feature Subset Selection Using a Genetic Algorithm. Technical Report TR97-02a, Department of Computer Science, Iowa State University.

Symanzik, Juergen and Baker, Albert L. (1997) Non-Atomic components of Data Flow Diagrams: Stores, Persistent Flows, and Tests for Empty Flows. Technical Report TR96-21, Department of Computer Science, Iowa State University.

Symanzik, Juergen and Baker, Albert L. (1997) Subclasses of Formalized Data Flow Diagrams: Monogeneous, Linear & Topologically Free Choice RDFD's. Technical Report TR96-22, Department of Computer Science, Iowa State University.

Symanzik, Juergen and Baker, Albert L. (1997) Timed Data Flow Diagrams. Technical Report TR96-23, Department of Computer Science, Iowa State University.

Symanzik, Juergen and Baker, Albert L. (1997) Formalized Data Flow Diagrams and Their Relation to Other Computational Models. Technical Report TR96-20, Department of Computer Science, Iowa State University.

Symanzik, Juergen (1997) Stochastic Analysis of Periodic Timed Data Flow Diagrams with Markovian Transition Times. Technical Report TR96-24, Department of Computer Science, Iowa State University.

Balakrishnan, Karthik and Honavar, Vasant (1997) Spatial Learning for Robot Locialization. Technical Report TR97-08, Department of Computer Science, Iowa State University.

Dhara, Krishna Kishore and Leavens, Gary T. (1997) Forcing Behavioral Subtyping Through Specification Inheritance. Technical Report TR95-20c, Department of Computer Science, Iowa State University.

Parekh, Rajesh G. and Honavar, Vasant G. (1997) Learning DFA for Simple Examples. Technical Report TR97-07, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Wing, Jeannette M. (1997) Protective Interface Specifications. Technical Report TR96-04c, Department of Computer Science, Iowa State University.

Parekh, Rajesh G., Yang, Jihoon and Honavar, Vasant G. (1997) Constructive Neural Network Learning Algorithms for Multi-Category Real-Valued Pattern Classification. Technical Report TR97-06, Department of Computer Science, Iowa State University.

Yang, Jihoon and Honavar, Vasant G. (1997) DistAl: An Inter-pattern Distance-based Constructive Learning Algorithm. Technical Report TR97-05, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1997) An Overview of Larch/C++: Behavioral Specifications for C++ Modules. Technical Report TR96-01c, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Ruby, Clyde (1997) Specification Facets for More Precise, Focused Documentation. Technical Report TR97-04, Department of Computer Science, Iowa State University.

Haverdink, Michael D., Baker, Albert L. and Mikler, Armin (1997) Modeling and Simulating Computer Networks Using Formalized Data Flow Diagrams. Technical Report TR96-13, Department of Computer Science, Iowa State University.

Yang, Jihoon and Honavar, Vasant (1997) Feature Subset Selection Using a Genetic Algorithm. Technical Report TR97-02, Department of Computer Science, Iowa State University.

Rarekh, Rajesh G., Nichitiu, Codrin and Honavar, Vasant G. (1997) A Polynomial Time Incremental Algorithm for Regular Grammar Inference. Technical Report TR97-03, Department of Computer Science, Iowa State University.

Balakrishnan, Karthik and Honavar, Vasant (1997) Spatial Memory Structures for Sensor-Guided Robot Navigation. Technical Report TR97-01, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Wing, Jeannette M. (1996) Protective Interface Specifications. Technical Report TR96-04b, Department of Computer Science, Iowa State University.

Chambers, Craig and Leavens, Gary T. (1996) BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing. Technical Report TR96-17, Department of Computer Science, Iowa State University.

Balakrishnan, Karthik and Honavar, Vasant (1996) Intelligent Diagnosis Systems. Technical Report TR95-22a, Department of Computer Science, Iowa State University.

Leavens, Gary T., Wahls, Tim and Baker, Albert L. (1996) Formal Semantics for Structured Analysis Style Data Flow Diagram Specification Languages. Technical Report TR96-16, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Pigozzi, Don (1996) An Exact Algebraic Characterization of Behavioral Subtyping. Technical Report TR96-15, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Wing, Jeannette M. (1996) Protective Interface Specifications. Technical Report TR96-04a, Department of Computer Science, Iowa State University.

Lutz, Jack H. (1996) The Quantitative Structure of Exponential Tim. Technical Report TR96-08, Department of Computer Science, Iowa State University.

Lutz, Jack H. (1996) One-Way Functions and Balanced NP. Technical Report TR96-09, Department of Computer Science, Iowa State University.

Lutz, Jack H. (1996) Feasible Reductions to Kolmogorov--Loveland Stochastic Sequences. Technical Report TR96-10, Department of Computer Science, Iowa State University.

Breutzmann, Josef M. and Lutz, Jack H. (1996) Equivalence of Measures of Complexity Classes. Technical Report TR96-11, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Pigozzi, Don (1996) The Behavior-Realization Adjunction and Generalized. Technical Report TR94-18b, Department of Computer Science, Iowa State University.

Leavens, Gary T., Wahls, Tim, Baker, Albert L. and Lyle, Kari (1996) An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams. Technical Report TR93-28d, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1996) An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams. Technical Report TR93-28c, Department of Computer Science, Iowa State University.

Jenkins, Steven and Leavens, Gary T. (1996) Polymorphic Type-Checking in Scheme. Technical Report TR95-21a, Department of Computer Science, Iowa State University.

Lathrop, James I. (1996) Compression Depth and the Behavior of Cellular Automata. Technical Report TR96-05, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1996) An Overview of Larch/C++: Behavioral Specifications for C++ Modules. Technical Report TR96-01b, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Wing, Jeannette M. (1996) Protection from the Underspecified. Technical Report TR96-04, Department of Computer Science, Iowa State University.

Ashlock, Dan and Lathrop, James I. (1996) An Arithmetic Test Suite for Genetic Programming. Technical Report TR96-02, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1996) An Overview of Larch/C++: Behavioral Specifications for C++ Modules. Technical Report TR96-01a, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1996) An Overview of Larch/C++: Behavioral Specifications for C++. Technical Report TR96-01, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1996) Introduction to the Literature on Programming Language Design. Technical Report TR93-01b, Department of Computer Science, Iowa State University.

Strauss, Martin (1996) Measure on P: Strength of the Notion. Technical Report TR95-26, Department of Computer Science, Iowa State University.

Dhara, Krishna Kishore and Leavens, Gary T. (1995) Forcing Behavioral Subtyping Through Specification Inheritance. Technical Report TR95-20b, Department of Computer Science, Iowa State University.

Bruce, Kim, Cardelli, Luca, Castagna, Giuseppe, The Hopkins Objects Group, , Leavens, Gary T. and Pierce, Benjamin (1995) On Binary Methods. Technical Report TR95-08a, Department of Computer Science, Iowa State University.

Sivaprasad, Gowri Sankar (1995) Larch/CORBA: Specifying the Behavior of CORBA-IDL Interfaces. Technical Report TR95-27a, Department of Computer Science, Iowa State University.

Parekh, Rajesh, Yang, Jihoon and Honavar, Vasant (1995) Constructive Neural Network Learning Algorithms for Multi-Category Pattern Classification. Technical Report TR95-15a, Department of Computer Science, Iowa State University.

Sivaprasad, Gowri Sankar (1995) Larch/CORBA: Specifying the Behavior of CORBA-IDL Interfaces. Technical Report TR95-27, Department of Computer Science, Iowa State University.

Parekh, Rajesh G., Yang, Jihoon and Honavar, Vasant G. (1995) Constructive Neural Network Learning Algorithms for Multi-Category Pattern Classification. Technical Report TR95-15, Department of Computer Science, Iowa State University.

Balakrishnan, Karthik and Honavar, Vasant (1995) Intelligent Diagnosis Systems. Technical Report TR95-22, Department of Computer Science, Iowa State University.

Dhara, Krishan K. and Leavens, Gary T. (1995) Forcing Behavioral Subtyping Through Specification Inheritance. Technical Report TR95-20a, Department of Computer Science, Iowa State University.

Chambers, Craig and Leavens, Gary T. (1995) Type Checking and Modules for Multi-Methods. Technical Report TR95-19, Department of Computer Science, Iowa State University.

Jenkins, Steven L. and Leavens, Gary T. (1995) Polymorphic Type Inference in Scheme. Technical Report TR95-21, Department of Computer Science, Iowa State University.

Mikler, Armin, Honavar, Vasant and Wong, Johnny (1995) Utility-Theoretic Heuristics for Intelligent Adaptive Routing in Large Communcation Networks. Technical Report TR95-14, Department of Computer Science, Iowa State University.

Kirillov, Vadim and Honavar, Vasant (1995) Simple Stochastic Temporal Constraint Networks. Technical Report TR95-16, Department of Computer Science, Iowa State University.

Egle, David M. (1995) Evaluating Larch/C++ as a Specification Language = A Case Study Using the Microsoft Foundation Class Library. Technical Report TR95-17, Department of Computer Science, Iowa State University.

Chen, Chun-Hsien and Honavar, Vasant (1995) A Neural Network Architecture for Syntax Analysis. Technical Report TR95-18, Department of Computer Science, Iowa State University.

Chen, C-H. and Honavar, V. (1995) A Neural Network Architecture for High-Speed Database Query Processing. Technical Report TR95-11, Department of Computer Science, Iowa State University.

Chen, C-H., Parekh, R., Yang, J., Balakrishnan, K. and Honavar, V. (1995) Analysis of Decision Boundaries Generated by Constructive Neural Network Learning Algorithms. Technical Report TR95-12, Department of Computer Science, Iowa State University.

Balakrishnan, K. and Honavar, V. (1995) Properties of Genetic Representations of Neural Architectures. Technical Report TR95-13, Department of Computer Science, Iowa State University.

Mikler, Armin R., Wong, Johnny S. K. and Honavar, Vasant (1995) Quo Vadis - Adaptive Heuristics for Routing in Large Communication Networks. Technical Report TR95-10, Department of Computer Science, Iowa State University.

Mikler, Armin R., Wong, Johnny S.K. and Honavar, Vasant (1995) An Object Oriented Approach to Modeling and Simulation of Routing in Large Communication Networks. Technical Report TR95-09, Department of Computer Science, Iowa State University.

Tandiary, Fredy, Kothari, Suraj C. and Dixit, Ashish (1995) Design of BATRUN Distributed Processing System. Technical Report TR95-07, Department of Computer Science, Iowa State University.

Bruce, Kim, Cardelli, Luca, Castagna, Giuseppe, Hopkins Objects Group, The, Leavens, Gary T. and Pierce, Benjamin (1995) On Binary Methods. Technical Report TR95-08, Department of Computer Science, Iowa State University.

Leavens, Gary T (1995) A Physical Example for Teaching Curried Functions. Technical Report TR95-05, Department of Computer Science, Iowa State University.

Fernandez-Baca, David and Slutzki, Giora (1995) Linear-Time Algorithms for Parametric Minimum Spanning Tree Problems on Planar Graphs. Technical Report TR95-06, Department of Computer Science, Iowa State University.

Chen, Chun-Hsien and Honavar, Vasant (1995) A Neural Memory Architecture for Content As Well As Address-Based Storage & Recall: Theory and Applications. Technical Report TR95-03, Department of Computer Science, Iowa State University.

Parekh, Rajesh and Honavar, Vasant (1995) An Efficient Interactive Algorithm for Regular Language Learning. Technical Report TR95-02, Department of Computer Science, Iowa State University.

Balakrishnan, Karthik and Honavar, Vasant (1995) Evolutionary Design of Neural Architectures -- A Preliminary Taxonomy and Guide to Literature. Technical Report TR95-01, Department of Computer Science, Iowa State University.

Mikler, Armin, Wong, Johnny S.K. and Honavar, Vasant (1994) Quo Vadis-A Framework for Intelligent Routing in Large Communication Networks.. Technical Report TR94-24, Department of Computer Science, Iowa State University.

Kim, Youngtae, Fienup, Mark, Clary, Jeffrey C. and Kothari, Suresh C. (1994) Parametric Micro-level Performance Models for Parallel Computing. Technical Report TR94-23, Department of Computer Science, Iowa State University.

Castagna, Giuseppe and Leavens, Gary T. (1994) Foundations of Object-Oriented Languages. Technical Report TR94-22, Department of Computer Science, Iowa State University.

Wahls, Tim, Baker, Albert L. and Leavens, Gary T. (1994) The Direct Execution of SPECS-C++: A Model-Based Specification Language for C++ Classes. Technical Report TR94-02b, Department of Computer Science, Iowa State University.

Dhara, Kishore and Leavens, Gary T. (1994) Weak Behavioral Subtyping for Types with Mutable Objects. Technical Report TR94-21, Department of Computer Science, Iowa State University.

Guggilla, Satish K. (1994) Generational Garbage Collection of C++ Targeted to SPARC Architectures. Technical Report TR94-11, Department of Computer Science, Iowa State University.

Ganesan, Ravichandran (1994) Local Variable Allocation For Accurate Garbage Collection of C++. Technical Report TR94-12, Department of Computer Science, Iowa State University.

Fernandez-Baca, David and Slutzki, Giora (1994) Optimal Parametric Search on Graphs of Bounded Pre-Urdth. Technical Report TR94-20, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1994) Aiding Self-motivation with Readings in Introductory Computing. Technical Report TR94-08a, Department of Computer Science, Iowa State University.

Agarwala, Richa and Fernandez-Baca, David (1994) Weighted Search in the Plane. Technical Report TR94-19, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Pigozzi, Don (1994) The Behavior-Realization Adjunction and Generalized Homomorphic Relations. Technical Report TR94-18a, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Dhara, Kishore (1994) Blended Algebraic and Denotational Semantics for ADT Languages with Mutable Objects. Technical Report TR93-21b, Department of Computer Science, Iowa State University.

Juedes, David (1994) Weakly Complete Problems are Not Rare. Technical Report TR94-10, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Chambers, Craig (1994) Towards Safe Modular Extensible Objects. Technical Report TR94-17a, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Weihl, William E. (1994) Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs. Technical Report TR92-28d, Department of Computer Science, Iowa State University.

Honavar, Vasant (1994) Symbolic Artificial Intelligence and Numeric Artificial Neural Networks: Towards A Resolution of the Dichotomy. Technical Report TR94-14, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1994) Introduction to the Literature on Semantics. Technical Report TR94-15, Department of Computer Science, Iowa State University.

Honavar, Vasant and Uhr, Leonard (1994) Symbolic Artificial Intelligence, Connectionist Networks & Beyond.. Technical Report TR94-16, Department of Computer Science, Iowa State University.

Gao, Hong and Nilsen, Kelvin (1994) Reliable General Purpose Dynamic Memory Management for Real. Technical Report TR94-09, Department of Computer Science, Iowa State University.

Satishkumar, S. (1994) Register Allocation for Accurate Garbage Collection of C++. Technical Report TR94-13, Department of Computer Science, Iowa State University.

Cheon, Yoonsik and Leavens, Gary T. (1994) A Quick Overview of Larch/C++. Technical Report TR93-18a, Department of Computer Science, Iowa State University.

Cheon, Yoonsik and Leavens, Gary T. (1994) The Larch/Smalltalk Interface Specification Language. Technical Report TR93-24a, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1994) Fields in Physics are like Curried Functions or Physics for Functional Programmers. Technical Report TR94-06b, Department of Computer Science, Iowa State University.

Cheon, Yoonsik and Wong, Johnny (1994) Tree-based Algorithm to Find the k-th Value in Distributed Systems. Technical Report TR94-07, Department of Computer Science, Iowa State University.

Agarwala, Richa and Fernandez-Baca, David (1994) A Faster Algorithm for the Perfect Phylogeny Problem when the Number of Characters is Fixed. Technical Report TR94-05, Department of Computer Science, Iowa State University.

Coleman, David L. and Baker, Albert L. (1994) Synthesizing Structured Analysis and Object-Oriented Specifications. Technical Report TR94-04, Department of Computer Science, Iowa State University.

Chambers, Craig and Leavens, Gary T. (1994) Type Checking and Modules for Multi-Methods. Technical Report TR94-03, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Cheon, Yoonsik (1994) Overview and Specification of the Built-In Types in Little Smalltalk. Technical Report TR91-22a, Department of Computer Science, Iowa State University.

Cheon, Yoonsik and Leavens, Gary T. (1994) A Gentle Introduction to Larch / Smalltalk Specification Browsers. Technical Report TR94-01, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1994) Introduction to the Literature On Programming Language Design. Technical Report TR93-01a, Department of Computer Science, Iowa State University.

Aluru, Srinivas (1993) Greengard's N-body Algorithm is not order N. Technical Report TR93-29, Department of Computer Science, Iowa State University.

Lutz, Jack H. (1993) Weakly Hard Problems. Technical Report TR93-13, Department of Computer Science, Iowa State University.

Lutz, Jack H. (1993) The Quantitative Structure of Exponential Time. Technical Report TR93-14, Department of Computer Science, Iowa State University.

Leavens, Gary T., Wahls, Tim, Baker, Albert L. and Lyle, Kari (1993) An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams. Technical Report TR93-28a, Department of Computer Science, Iowa State University.

Rawat, Jai (1993) Static Analysis of Cache Performance for Real-Time Programming. Technical Report TR93-19, Department of Computer Science, Iowa State University.

Wahls, Tim, Baker, Albert L. and Leavens, Gary T. (1993) An Executable Semantics for a Formalized Data Flow Diagram Specification Language. Technical Report TR93-27, Department of Computer Science, Iowa State University.

Withdrawn, Document (1993) Almost - IP = IP. Technical Report TR93-26, Department of Computer Science, Iowa State University.

Honavar, Vasant (1993) Toward Learning Systems That Integrate Different Strategies and Representations. Technical Report TR93-22, Department of Computer Science, Iowa State University.

Parekh, Rajesh and Honavar, Vasant (1993) Efficient Learning of Regular Languages Using Teacher-Supplied Positive Samples and Learner-Generated Queries. Technical Report TR93-25, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1993) Inheritance of Interface Specifications. Technical Report TR93-23, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Cheon, Yoonsik (1993) Extending CORBA IDL to Specify Behavior with Larch. Technical Report TR93-20, Department of Computer Science, Iowa State University.

Slutzki, Giora and Vagvolgyi, Sandor (1993) Deterministic Top-down Tree Transducers with Iterated Look-ahead. Technical Report TR93-12, Department of Computer Science, Iowa State University.

Reynolds, Joseph (1993) A literate, executable, denotational semantics of simple C++ declarations. Technical Report TR93-15, Department of Computer Science, Iowa State University.

Slutzki, Giora and Vagvolgyi, Sandor (1993) A Hierarchy of Deterministic Top-down Tree Transformations. Technical Report TR93-10a, Department of Computer Science, Iowa State University.

Agarwala, Richa and Fernandez-Baca, David (1993) A Polynomial-Time Algorithm for the Phylogeny Problem when the Number of Caracter States is Fixed. Technical Report TR93-07a, Department of Computer Science, Iowa State University.

Lutz, Jack H. and Martin, David M. Jr. (1993) The Global Power of Additional Queries to Random Oracles. Technical Report TR92-37, Department of Computer Science, Iowa State University.

Clary, Jeffrey S. and Kothari, S.C. (1993) Memory Access Optimizations for High-Performance Computing. Technical Report TR93-02, Department of Computer Science, Iowa State University.

Bischoff, Kurt M. (1992) GPPL: A Small Block-Structured Imperative Programming Language Implemented Using Ox. Technical Report TR92-32, Department of Computer Science, Iowa State University.

Wei, Dong (1992) Icon: A Interpreter-Based Approach. Technical Report TR92-38, Department of Computer Science, Iowa State University.

Bischoff, Kurt M. (1992) User Manual for Ox: An Attribute-Grammar Compiling System based on Yacc, Lex, and C. Technical Report TR92-30, Department of Computer Science, Iowa State University.

Bischoff, Kurt M. (1992) Design, Implementation, Use, and Evaluation of Ox: An Attribute- Grammar Compiling System based on Yacc, Lex, and C. Technical Report TR92-31, Department of Computer Science, Iowa State University.

Chinta, Ramakrishna (1992) Hardware-Assisted Garbage Collection for the Icon Programming Language. Technical Report TR92-39, Department of Computer Science, Iowa State University.

Nilsen, Kelvin D. and Schmidt, William J. (1992) Preferred Embodiment of a Hardware-Assisted Garbage-Collection System. Technical Report TR92-17a, Department of Computer Science, Iowa State University.

Juedes, David W., Lathrop, James I. and Lutz, Jack H. (1992) Computational Depth and Reducibility. Technical Report TR92-33, Department of Computer Science, Iowa State University.

Agarwala, Richa and Fernandez-Baca, David (1992) Weighted Multidimensional Search and its Application to Convex Optimization. Technical Report TR92-34, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Dhara, Krishna K. (1992) A Foundation for the Model Theory of Abstract Data Types with Mutation and Aliasing (preliminary version). Technical Report TR92-35, Department of Computer Science, Iowa State University.

Dhara, Krishna K. and Leavens, Gary T. (1992) Subtyping for mutable types in object-oriented programming languages. Technical Report TR92-36, Department of Computer Science, Iowa State University.

Nilsen, Kelvin D. and Schmidt, William J. (1992) Hardware-Assisted General-Purpose Garbage Collection for Hard Real-Time Systems. Technical Report TR92-15, Department of Computer Science, Iowa State University.

Fernandez-Baca, David and Medepalli, Anand (1992) Exact and approximate Algorithms for Assignment Problems in Distributed Systems. Technical Report TR92-29, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Cheon, Yoonsik (1992) Preliminary Design of Larch/C + +. Technical Report TR92-16a, Department of Computer Science, Iowa State University.

Schmidt, William J. (1992) Issues in the design and implementation of a real-time garbage collection architecture. Technical Report TR92-25, Department of Computer Science, Iowa State University.

Juedes, David W. and Lutz, Jack H. (1992) The Complexity and Distribution of Hard Problems. Technical Report TR92-23, Department of Computer Science, Iowa State University.

Lutz, Jack H. and Mayordomo, Elvira (1992) Cook versus Karp-Levin: Separating Completeness Notions If NP Is Not Small. Technical Report TR92-24, Department of Computer Science, Iowa State University.

Schmidt, William J. and Nilsen, Kelvin (1992) Experimental Measurements of a Real-Time Garbage Collection Architecture. Technical Report TR92-26, Department of Computer Science, Iowa State University.

Kim, Youngtae (1992) rtScript: A Scripting Language for Writing Real-Time Programs in C. Technical Report TR92-22, Department of Computer Science, Iowa State University.

Agarwala, Richa, Fernandez-Baca, David and Slutzki, Giora (1992) Fast Algorithms for Inferring Evolutionary Trees. Technical Report TR92-19, Department of Computer Science, Iowa State University.

Nilsen, Kelvin (1992) Memory Cycle Accountings for Hardware-Assisted Real-Time Garbage Collection. Technical Report TR91-21c, Department of Computer Science, Iowa State University.

Book, Ronald V. and Lutz, Jack H. (1992) On Languages with Very High Information Content. Technical Report TR92-10, Department of Computer Science, Iowa State University.

Lutz, Jack H. (1992) One-Way Functions and Balanced NP. Technical Report TR92-11, Department of Computer Science, Iowa State University.

Lutz, Jack H. and Mayordomo, Elvira (1992) Measure, Stochasticity, and the Density of Hard Languages. Technical Report TR92-13, Department of Computer Science, Iowa State University.

Book, Ronald V., Lutz, Jack H. and Wagner, Klaus W. (1992) An Observation on Probability Randomness with Application to Complexity Classes. Technical Report TR92-14, Department of Computer Science, Iowa State University.

Fernandez-Baca, David and Slutzki, Giora (1992) Parametric Problems on Graphs of Bounded Tree-width. Technical Report TR92-08, Department of Computer Science, Iowa State University.

Juedes, David W. and Lutz, Jack H. (1992) Kolmagorav Complexity, Complexity Cores, and the Distribution of Hardness. Technical Report TR92-12, Department of Computer Science, Iowa State University.

Baker, Albert L., Fernandez-Baca, David and Leavens, Gary T. (1992) Course Specifications for New Introductory Courses: Computer Science 227X and 228X. Technical Report TR92-09, Department of Computer Science, Iowa State University.

Oldehoeft, Arthur E. (1992) Foundations of a Security Policy for Use of the National Research and Educational Network. Technical Report TR92-07, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Vermeulen, Mike (1992) 3x + 1 Search Programs. Technical Report TR92-01, Department of Computer Science, Iowa State University.

Juedes, David (1991) A Taxonomy of Automatic Differential Tools. Technical Report TR91-20, Department of Computer Science, Iowa State University.

Leavens, Gary T. and Pigozzi, Don (1991) Typed Homomorphic Relations Extended with Subtypes. Technical Report TR91-14, Department of Computer Science, Iowa State University.

Cheon, Yoonsik (1991) Larch/Smalltalk: A Specification Language for Smalltalk. Technical Report TR91-15, Department of Computer Science, Iowa State University.

Juedes, David W. and Lutz, Jack H. (1991) Kolmogorv Complexity, Complexity Cores, and the Distribution of Hardness. Technical Report TR91-09a, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1991) Specifying and Verifying Object-Oriented Programs: An Overview of the Problems and a Solution. Technical Report TR91-06, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1990) Modular Verification of Object-Oriented Programs with Subtypes. Technical Report TR90-09, Department of Computer Science, Iowa State University.

Lutz, Jack H. (1990) A Pseudorandum Oracle Characterization of BBP. Technical Report TR90-04, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1990) Reasoning About Object-Oriented Programs That Use Subtypes. Technical Report TR90-03, Department of Computer Science, Iowa State University.

Leavens, Gary T. (1989) A Distributed Search Program for the 3x + 1 Problem. Technical Report TR89-22, Department of Computer Science, Iowa State University.



Contact site administrator at: ssg@cs.iastate.edu