Ashok K. Chandra

Publications

8.4K

Citations

H-Index

1972

Active since

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

IBM (United States)

IBM Research - Almaden

Ashok K. Chandra is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, computer science, and computational complexity.

ORCID

Top concepts

EngineeringComputer ScienceComputational ComplexityAutomated ReasoningFormal MethodsComputer EngineeringFormal VerificationDiscrete MathematicsComputer ArchitectureCombinatorial Optimization

Publications per year

1972–2015

Publications

Optimal implementation of conjunctive queries in relational data bases

Ashok K. Chandra, Philip M. Merlin · 1977 · 1.2K citations · Full text

Relational Database, Engineering, Computational Complexity +16

Alternation

Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer · Journal of the ACM · 1981 · 1.2K citations · Full text

Gregory J. Chaitin, Marc Auslander, Ashok K. Chandra et al. · Computer Languages · 1981 · 725 citations

Programming Language Theory, Engineering, Program Analysis +7

Structure and complexity of relational queries

Ashok K. Chandra, David Harel · Journal of Computer and System Sciences · 1982 · 536 citations

Relational Queries, Relational Database, Engineering +5

Computable queries for relational data bases

Ashok K. Chandra, David Harel · Journal of Computer and System Sciences · 1980 · 439 citations

Relational Queries, Relational Database, Engineering +10

Rows per page

1–5 of 54