S. Kamal Abdali
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1984–1989
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1989 | ISSAC | A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm. | B. David Saunders, Hong R. Lee, S. Kamal Abdali |
| 1988 | ISSAC | Experiments with Quadtree Representation of Matrices. | S. Kamal Abdali, David S. Wise |
| 1986 | ISSAC | An object-oriented approach to algebra system design. | S. Kamal Abdali, Guy W. Cherry, Neil Soiffer |
| 1986 | OOPSLA | A Smalltalk System for Algebraic Manipulation. | S. Kamal Abdali, Guy W. Cherry, Neil Soiffer |
| 1985 | MFPS | Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. | S. Kamal Abdali, David S. Wise |
| 1984 | AAAI | Generalization Heuristics for Theorems Related to Recursively Defined Functions. | S. Kamal Abdali, Jan Vytopil |