default search action
S. Kamal Abdali
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
1990 – 1999
- 1998
- [c8]S. Kamal Abdali:
Advanced Computing and Communications Research under NSF Support. Wide Area Networks and High Performance Computing 1998: 5-19 - 1992
- [j13]S. Kamal Abdali, Guy W. Cherry, Neil Soiffer:
Spreadsheet computations in computer algebra. SIGSAM Bull. 26(2): 10-18 (1992)
1980 – 1989
- 1989
- [c7]B. David Saunders, Hong R. Lee, S. Kamal Abdali:
A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm. ISSAC 1989: 298-307 - 1988
- [c6]S. Kamal Abdali, David S. Wise:
Experiments with Quadtree Representation of Matrices. ISSAC 1988: 96-108 - 1986
- [j12]S. Kamal Abdali:
Fifth RIMS Conference on Formula Manipulation and its Application to Mathematical Study. SIGSAM Bull. 20(1-2): 37-39 (1986) - [j11]S. Kamal Abdali:
EUROCAL '85 Abstracts. SIGSAM Bull. 20(1-2): 40-63 (1986) - [c5]S. Kamal Abdali, Guy W. Cherry, Neil Soiffer:
An object-oriented approach to algebra system design. SYMSAC 1986: 24-30 - [c4]S. Kamal Abdali, Guy W. Cherry, Neil Soiffer:
A Smalltalk System for Algebraic Manipulation. OOPSLA 1986: 277-283 - 1985
- [j10]S. Kamal Abdali, Ralph L. London:
Exploiting workstations and displays in verification systems. ACM SIGSOFT Softw. Eng. Notes 10(4): 35-36 (1985) - [j9]S. Kamal Abdali, B. David Saunders:
Transitive Closure and Related Semiring Properties via Eliminants. Theor. Comput. Sci. 40: 257-274 (1985) - [c3]S. Kamal Abdali, Guy W. Cherry:
Visual Environments for Symbolic Computation. European Conference on Computer Algebra (2) 1985: 166-167 - [c2]S. Kamal Abdali, David S. Wise:
Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. Mathematical Foundations of Programming Semantics 1985: 1-19 - 1984
- [j8]S. Kamal Abdali, Bruno Buchberger:
Abstracts. SIGSAM Bull. 18(1): 2-7 (1984) - [j7]S. Kamal Abdali:
Abstracts of computer algebra papers from 1984 national meeting of American Chemical Society. SIGSAM Bull. 18(3): 26-30 (1984) - [c1]S. Kamal Abdali, Jan Vytopil:
Generalization Heuristics for Theorems Related to Recursively Defined Functions. AAAI 1984: 1-5
1970 – 1979
- 1976
- [j6]S. Kamal Abdali:
A Lambda-Calculus Model of Programming Languages - I. Simple Constructs. Comput. Lang. 1(4): 287-301 (1976) - [j5]S. Kamal Abdali:
A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures. Comput. Lang. 1(4): 303-320 (1976) - [j4]S. Kamal Abdali:
An Abstraction Algorithm for Combinatory Logic. J. Symb. Log. 41(1): 222-224 (1976) - 1971
- [j3]S. Kamal Abdali:
Feature extraction algorithms. Pattern Recognit. 3(1): 3-21 (1971) - [j2]S. Kamal Abdali:
On Proving Sequential Machine Designs. IEEE Trans. Computers 20(12): 1563-1566 (1971) - 1970
- [j1]S. Kamal Abdali:
Algorithm 393: Special series summation with arbitrary precision. Commun. ACM 13(9): 570 (1970)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: