S. Kamal Abdali

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