1990

Mesh and Pyramid Algorithms for Iconic Indexing, Alok Choudhary and Sanjay Ranka

Mapping Finite Element Graphs on Hypercubes, Yeh-Ching Chung and Sanjay Ranka

Dynamic Range Partitioning in Multiprocessor Database Implementations, Ophir Frieder

A Space and Time Efficient Coding Algorithm for LattÍce Computations, Deb Dutta Ganguly and Sanjay Ranka

A Petri Net-Based Tool for Detecting Deadlocks and Race Conditions in Concurrent Programs, Amrit L. Goel and N. Mansouri

A Proof for a QuickHull Algorithm, Jonathan Scott Greenfield,

Balancing a Pipeline by Folding, Per Brinch Hansen

HOUSEHOLDER REDUCTION, Per Brinch Hansen

THE ALL-PAIRS PIPELINE, Per Brinch Hansen

Korean Character Recognition Using Neural Networks, Jinhwan Koh, G. S. Moon, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

Forecasting Sunspot Numbers Using Neural Networks, Ming Li, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

A Colored Petri Net-Based Approach for Automated Deadlock Detection in Parallel Programs, N. Mansouri and Amrit L. Goel

An Approach for Minimizing Spurious Errors in Testing ADA Tasking Programs, N. Mansouri and Amrit L. Goel

Simplifications to "A New Approach to the Covering Radius...”, H. F. Mattson Jr

On Choosing An Optimally Trimmed Mean, Kishan Mehrotra, Paul Jackson, and Anton Schick

Fitting Semantics for Conditional Term Rewriting, Chilukuri K. Mohan

A Lexical Extension of Montague Semantics, William C. Purdy

A Logic for Natural Language, William C. Purdy

Axiomatization of Some Natural Quantifiers, William C. Purdy

Surface Reasoning, William C. Purdy

Taxonomic Reasoning and Lexical Semantics, William C. Purdy

Load Redistribution on Hypercubes in the Presence of Faults, Sanjay Ranka and Jhy-Chun Wang

A Simpler Proof of PH C BP[ӨP], Kenneth W. Regan and James S. Royer

Parallel Vision Algorithms Using Sparse Array Representations, Ravi V. Shankar

Hypercube Algorithms for Operations on Quadtrees, Ravi V. Shankar and Sanjay Ranka

Optimal Parallel Solutions to the Neighbor Localization Problem and Integer Sorting: A Fine Grained Approach, Ramachandran Vaidyanathan, Carlos R.P. Hartmann, and Pramod K. Varshney

Unification in Modal Theorem Proving, Xiaolin Zhang and Chilukuri K. Mohan

1989

A Logic Programming Elucidation of ODA - Document Descriptions and Processes, Howard A. Blair and Allen Brown Jr.

Analysis of a Parallel Mergesort, Per Brinch Hansen

The Nature of Parallel Programming, Per Brinch Hansen

Term Rewriting with Conditionals and Priority Orderings, Chilukuri K. Mohan

Two-Dimensional Pattern Matching with k Mismatches, Sanjay Ranka and Todd Heywood

Computing Hough Transforms on Hypercube Multicomputers, Sanjay Ranka and Sartaj Sahni

Embedding Meshes on the Star Graph, Sanjay Ranka, Jhy-Chun Wang, and Nangkang Yeh

Generalization of the Norse Bounds to Codes, P. Sole and Kishan Mehrotra

A 15-Valued Algorithm for Test Pattern Generation, Akhtar Uz Zaman, M. Ali, and Carlos R.P. Hartmann

1988

MetaProlog Design and Implementation, Hamid Bacha

MetaProlog User Manual, Hamid Bacha

A Multiprocessor Implementation of Joyce, Per Brinch Hansen

Joyce Performance on a Multiprocessor, Per Brinch Hansen and Rangachari Anand

Priority Rewriting: Semantics, Confluence, and Conditionals, Chilukuri K. Mohan

A Lexical Extension of Montague Semantics, William C. Purdy

1987

Meta-level Programming: a Compiled Approach, Hamid Bacha

Domains for Logic Programming, I. Filippenko and F. L. Morris

A Theory of Lexical Semantics, William C. Purdy

1985

The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler, Kenneth A. Bowen, Kevin A. Buettner, Ilyas Cicekli, and Andrew Turk

A Meta-Level Extension of Prolog, Kenneth A. Bowen and Tobias Weinberg

1983

The QUALOG User’s Manual (Preliminary Version), Anne Shelly and Ernest Sibert

1982

A finitary retract model for the polymorphic lambda-calculus, Nancy McCracken

1981

On APP Decoding, Carlos R.P. Hartmann, Luther D. Rudolph, Kishan Mehrotra, and Guy J. Snedeker

APPLICATION OF INFORMATION THEORY TO THE CONSTRUCTION OF EFFICIENT DECISION TREES, Carlos R.P. Hartmann, Pramod Varshney, Kishan Mehrotra, and Carl L. Gerberich

SOME RESULTS ON OPTIMUM PREMIUM PAYMENT PLANS, Jeyaraj Vadiveloo, Kishan Mehrotra, and Kenneth Kaminsky

1980

AN INFORMATION THEORETIC APPROACH TO THE CONSTRUCTION OF EFFICIENT DECISION TREES, Jaime M. De Faria, Carlos R.P. Hartmann, Carl L. Gerberich, and Pramod Varshney

Bounds on the Number of Samples Needed for Neural Learning, Kishan G. Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

Computing Cyclic List Structures, F. Lockwood Morris and Jennifer Schwarz

1979

A PROOF PROCEDURE FOR QUANTIFIER-FREE NON-CLAUSAL FIRST ORDER LOGIC, Neil V. Murray

1978

ON LIST STRUCTURES AND THEIR USE IN THE PROGRAMMING OF UNIFICATION, F. Lockwood Morris

1977

DUAL-MODE COMBINATIONAL LOGIC FOR FUNCTION-INDEPENDENT FAULT TESTING, Sumit DasGupta

DUAL-MODE SEQUENTIAL LOGIC FOR FUNCTION INDEPENDENT FAULT-TESTING, Sumit DasGupta, Carlos R.P. Hartmann, and Luther D. Rudolph

A Time- and Space-Efficient Garbage Compaction Algorithm, F. Lockwood Morris

1976

Some results on arithmetic codes of composite length, Tai-Yang Hwang and Carlos R.P. Hartmann

The Definition of Programming Languages, J. A. Robinson

Data types as lattices: retractions, closures, and projections, Luis E. Sanchis

1975

Some Results on the Weight Structure of Cyclic Codes of Composite Length, Carlos R.P. Hartmann and T. Y. Hwang

An Optimum Symbol-by Symbol decoding rule for linear codes, Carlos R.P. Hartmann and Luther D. Rudolph

Two models for combinatory logic, Luis E. Sanchis

1974

ON THE BENEFACTIVE FEATURE IN TRANSITIVITY, Dale Ellen Gaucas

Statistical Modelling of Computer Systems: A Review, Amrit L. Goel and Anand M. Joglekar

STATISTICAL MODELLING OF COMPUTER SYSTEMS: A SURVEY, Amrit L. Goel and Anand M. Joglekar

Statistical Modelling of Computer Systems: A Survey, Amrit L. Goel and Anand M. Joglekar

WEIGHT DISTRIBUTIONS OF SOME CLASSES OF BINARY CYCLIC CODES, Carlos R.P. Hartmann, J. R. Riek Jr., and Ralph J. Longobardi

1972

Generalized Finite-Geometry Codes, Carlos R.P. Hartmann and Luther D. Rudolph

Decoding by Sequential Code Reduction, Luther D. Rudolph and Carlos R.P. Hartmann

SOME RESULTS ON THE BEST MATCH PROBLEM, Luther D. Rudolph, Kishan Mehrotra, and Ralph J. Longobardi

1970

SOME RESULTS ON THE DISTANCE PROPERTIES OF CONVOLUTIONAL CODES, Luther D. Rudolph and Alexander Miczo

Studies in Computational Linguistics No. 1, The Recognition of Alphabets, Edward F. Storm

1969

A Note on the Free Distance of a Convolutional Code, Alexander Miczo

A Note on the Free Distance of a Convolutional Code, Alexander Miczo and Luther D. Rudolph

Generalized Threshold Decoding of Convolutional Codes, Luther D. Rudolph

1964

The Negro in Syracuse: His Education, Employment, Income and Housing, Alan K. Campbell