Searching for CITATIONS to document sorted by Number of Citations:
The Design and Analysis of Computer Algorithms
(1975)
by A V Aho, J E Hopcroft, J D Ullman
Add To MetaCart
-
Compositional Model Checking
- Cited by 1579 (59 self) – Show/Hide Context – Add To MetaCart
-
Dynamic Logic
- Cited by 644 (8 self) – Show/Hide Context – Add To MetaCart
-
Program Analysis and Specialization for the C Programming Language
- Cited by 410 (0 self) – Show/Hide Context – Add To MetaCart
-
Automatic Subspace Clustering of High Dimensional Data
- Cited by 397 (9 self) – Show/Hide Context – Add To MetaCart
-
FAST VOLUME RENDERING USING A SHEAR-WARP FACTORIZATION OF THE VIEWING TRANSFORMATION
- Cited by 381 (2 self) – Show/Hide Context – Add To MetaCart
-
Non-Deterministic Exponential Time has Two-Prover Interactive Protocols
- Cited by 305 (36 self) – Show/Hide Context – Add To MetaCart
-
How bad is selfish routing
- Cited by 295 (19 self) – Show/Hide Context – Add To MetaCart
-
Proofs that Yield Nothing but Their Validity or All Languages in NP Have Zero-Knowledge Proof Systems
- Cited by 258 (41 self) – Show/Hide Context – Add To MetaCart
-
Interprocedural DataflowAnalysis via Graph Reachability
- Cited by 256 (27 self) – Show/Hide Context – Add To MetaCart
-
Self-Testing/Correcting with Applications to Numerical Problems
- Cited by 256 (25 self) – Show/Hide Context – Add To MetaCart

