1991
Parallel Genetic Algorithms with Application to Load Balancing for Parallel Computing, N. Mansouri and Geoffrey C. Fox
A Study of Approximating the Moments of the Job completion Time in PERT Networks, Kishan Mehrotra, John Chai, and Sharma Pillutla
Optimal Processor Assignment for Pipeline Computations, David Nicol, Rahul Simha, Alok N. Choudhury, and Bhagirath Narahari
Constructively Typed Timed Automata, J. F. Peters III
Constructing Real-Time Systems from Temporal I/O Automata, J. F. Peters III and S. Ramanna
A Variable-Free Logic for Mass Terms, William C. Purdy
Coordinating Conjuctions in Aristotelian Theories of English, William C. Purdy
On the Question ‘Do We Need Identity?’, William C. Purdy
Resolution without Unification, William C. Purdy
Explicit Clock Temporal Logic in Timing Constraints for Real-Time Systems, S. Ramanna and J. F. Peters III
A Sixteen-Valued Algorithm for Test Generation in Combinational Circuits, Akhtar Uz Zaman, M. Ali, and Carlos R.P. Hartmann
Optimal Parallel Lexicographic Sorting using a Fine-Grained Decomposition, Ramachandran Vaidyanathan, Carlos R.P. Hartmann, and Pramod Varshney
A Unified Framework For Three-Valued Semantical Treatments of Logic Programming, Feng Yang
Duality in Logic Programming, Feng Yang
1990
Analyzing Images Containing Multiple Sparse Patterns with Neural Networks, Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka
Arithmetic Classification of Perfect Models of Stratified Programs (Addendum), Krzysztof R. Apt and Howard A. Blair
A Parallel Free-Text Search System with Indexing, N. Asokan, G. Frieder, and Sanjay Ranka
A Neural Network Simulator for the Connnection Machine, N. Asokan, Ravi V. Shankar, Chilukuri K. Mohan, Kishan Mehrotra, and Sanjay Ranka
Arrays and the Lambda Calculus, Klaus Berkling
Monotone Logic Programming, Howard A. Blair, Allen Brown Jr., and V. S. Subrahmanian
Strong Completeness Results for Paraconsistent Logic Programming, Howard A. Blair and V. S. Subrahmanian
A Logic Grammar Foundation for Document Representation and Document Layout, Allen Brown Jr. and Howard A. Blair
Forecasting the Behavior of Multivariate Time Series using Neural Networks, Kanad Charkraborty, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka
Optical Switching and Routing Architectures for Fiber-optic Computer Communication Networks, Alok Choudhary, Salim Hariri, Wang Song, Partha Banerjee, and Sanjay Ranka
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
