S. Kamal Abdali

Publication Activity (10 Years)

Years Active: 1970-1998
Publications (10 Years): 0

Publications

S. Kamal Abdali
Advanced Computing and Communications Research under NSF Support. Wide Area Networks and High Performance Computing (1998)
S. Kamal Abdali, Guy W. Cherry, Neil Soiffer
Spreadsheet computations in computer algebra. SIGSAM Bull. 26 (2) (1992)
B. David Saunders, Hong R. Lee, S. Kamal Abdali
A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm. ISSAC (1989)
S. Kamal Abdali, David S. Wise
Experiments with Quadtree Representation of Matrices. ISSAC (1988)
S. Kamal Abdali
EUROCAL '85 Abstracts. SIGSAM Bull. 20 (1-2) (1986)
S. Kamal Abdali
Fifth RIMS Conference on Formula Manipulation and its Application to Mathematical Study. SIGSAM Bull. 20 (1-2) (1986)
S. Kamal Abdali, Guy W. Cherry, Neil Soiffer
A Smalltalk System for Algebraic Manipulation. OOPSLA (1986)
S. Kamal Abdali, Guy W. Cherry, Neil Soiffer
An object-oriented approach to algebra system design. SYMSAC (1986)
S. Kamal Abdali, Guy W. Cherry
Visual Environments for Symbolic Computation. European Conference on Computer Algebra (2) (1985)
S. Kamal Abdali, Ralph L. London
Exploiting workstations and displays in verification systems. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
S. Kamal Abdali, David S. Wise
Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. Mathematical Foundations of Programming Semantics (1985)
S. Kamal Abdali, B. David Saunders
Transitive Closure and Related Semiring Properties via Eliminants. Theor. Comput. Sci. 40 (1985)
S. Kamal Abdali, Jan Vytopil
Generalization Heuristics for Theorems Related to Recursively Defined Functions. AAAI (1984)
S. Kamal Abdali
Abstracts of computer algebra papers from 1984 national meeting of American Chemical Society. SIGSAM Bull. 18 (3) (1984)
S. Kamal Abdali, Bruno Buchberger
Abstracts. SIGSAM Bull. 18 (1) (1984)
S. Kamal Abdali
An Abstraction Algorithm for Combinatory Logic. J. Symb. Log. 41 (1) (1976)
S. Kamal Abdali
A Lambda-Calculus Model of Programming Languages - I. Simple Constructs. Comput. Lang. 1 (4) (1976)
S. Kamal Abdali
A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures. Comput. Lang. 1 (4) (1976)
S. Kamal Abdali
Feature extraction algorithms. Pattern Recognit. 3 (1) (1971)
S. Kamal Abdali
On Proving Sequential Machine Designs. IEEE Trans. Computers 20 (12) (1971)
S. Kamal Abdali
Algorithm 393: Special series summation with arbitrary precision. Commun. ACM 13 (9) (1970)