Acta Informatica

Quad trees a data structure for retrieval on composite keys

Raphael A. Finkel, Jon Bentley · 1974 · 2K citations

Computing, Computer Science, Computer Systems +13

Organization and maintenance of large ordered indexes

Raymond Bayer, Edward M. McCreight · 1972 · 1.3K citations

Computing, Computer Science, Information Systems +8

The log-structured merge-tree (LSM-tree)

Patrick E. O׳Neil, E.T. Cheng, Dieter Gawlick et al. · 1996 · 1.3K citations

Computing, Computer Engineering, Computer Science +4

A fast algorithm for Steiner trees

Lawrence T. Kou, George Markowsky, L. Berman · 1981 · 1.2K citations

Computing, Computer Science, Algorithms +8

An axiomatic proof technique for parallel programs I

Susan Owicki, David Gries · 1976 · 1K citations

Computing, Computer Science, Formal Methods +12