×

Communications of the ACM

Short Title: Commun. ACM
Publisher: Association for Computing Machinery (ACM), New York, NY
ISSN: 0001-0782
Online: http://cacm.acm.org/magazines
Comments: No longer indexed
Documents Indexed: 1,334 Publications (1957–2021)
References Indexed: 3 Publications with 90 References.
all top 5

Authors

10 Knuth, Donald Ervin
9 Barnett, Michael P.
9 Bellman, Richard Ernest
8 Hoare, C. A. R. Tony
8 Lamport, Leslie
7 Floyd, Robert W.
7 Galler, Bernard A.
7 Kalaba, Robert E.
7 Manna, Zohar
7 Wirth, Niklaus
6 Chandy, Kanianthra Mani
6 Coffman, Edward Grady jun.
6 Denning, Peter James
6 Gries, David
6 Hirschberg, Daniel S.
6 Irons, Edgar T.
6 Slagle, James R.
5 Dijkstra, Edsger Wybe
5 Gorn, Saul
5 Kagiwada, Harriet H.
5 Perlis, Alan Jay
5 Rabinowitz, Philip
5 Wegbreit, Ben
5 Wegstein, J. H.
4 Arden, Bruce W.
4 Bauer, Friedrich Ludwig
4 Bemer, R. W.
4 Bentley, Jon Louis
4 Bobrow, Daniel G.
4 Feldman, Jerome A.
4 Gelenbe, Sami Erol
4 Gotlieb, Calvin C.
4 Graham, Robert M.
4 Greenspan, Donald
4 Huskey, Harry D.
4 Ingerman, Peter Z.
4 Kanner, H.
4 Kessels, Joep L. W.
4 Marsaglia, George
4 Montanari, Ugo G.
4 Morgan, Howard Lee
4 Morris, James H. jun.
4 Moses, Joel
4 Parnas, David Lorge
4 Preparata, Franco P.
4 Rajaraman, V.
4 Rosenfeld, Azriel
4 Ross, Douglas T.
4 Salton, Gerard
4 Salzer, Herbert E.
4 Sammet, Jean E.
4 Stewart, Gilbert Wright
4 Szymanski, Thomas G.
4 Thacher, Henry C. jun.
4 Ullman, Jeffrey David
4 Vuillemin, Jean E.
4 Waite, William M.
4 Weizenbaum, Joseph
3 Bartels, Richard Harold
3 Bitner, James R.
3 Bray, T. A.
3 Carr, John W. III
3 Clark, Douglas W.
3 Codd, Edgar Frank
3 Cody, William J. jun.
3 Cohen, Jacques
3 Conway, Melvin E.
3 Earley, Jay
3 Ehrlich, Louis W.
3 Ferguson, David E.
3 Fishman, George Samuel
3 Gargantini, Irene
3 Garwick, Jan V.
3 Golub, Gene Howard
3 Grau, A. A.
3 Green, Julien
3 Habermann, A. Nico
3 Hanson, Richard J.
3 Hassitt, A.
3 Iverson, Kenneth E.
3 Katz, Jesse H.
3 King, Peter J. H.
3 Levitt, Karl N.
3 Luther, H. A.
3 Malcolm, Michael A.
3 Muller, Mervin E.
3 Nievergelt, Jurg
3 Peterson, James L.
3 Popek, Gerald J.
3 Raphael, Bertram
3 Reingold, Edward Martin
3 Richman, Paul L.
3 Rivest, Ronald Linn
3 Rokne, Jon G.
3 Samet, Hanan
3 Shamir, Adi
3 Shedler, Gerald S.
3 Shneiderman, Ben
3 Shwayder, Keith
3 Simmons, Robert F.
...and 1,321 more Authors

Publications by Year

Citations contained in zbMATH Open

830 Publications have been cited 15,421 times in 13,045 Documents Cited by Year
A method for obtaining digital signatures and public-key cryptosystems. Zbl 0368.94005
Rivest, R. L.; Shamir, A.; Adleman, L.
797
1978
How to share a secret. Zbl 0414.94021
Shamir, Adi
787
1979
A theory of the learnable. Zbl 0587.68077
Valiant, L. G.
580
1984
An axiomatic basis for computer programming. Zbl 0179.23105
Hoare, C. A. R.
513
1969
Algorithm 432: Solution of the matrix equation \(AX + XB = C\). Zbl 1372.65121
Bartels, R. H.; Stewart, G. W.
416
1972
A machine program for theorem-proving. Zbl 0217.54002
Davis, M.; Logemann, G.; Loveland, D.
385
1962
Maintaining knowledge about temporal intervals. Zbl 0519.68079
Allen, James F.
329
1983
The automatic integration of ordinary differential equations. Zbl 0217.21701
Gear, C. W.
329
1971
Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027
Lamport, Leslie
327
1978
Communicating sequential processes. Zbl 0383.68028
Hoare, C. A. R.
318
1978
A relational model of data for large shared data banks. Zbl 0207.18003
Codd, E. F.
299
1970
Self-stabilizing systems in spite of distributed control. Zbl 0305.68048
Dijkstra, Edsger W.
290
1974
Multidimensional binary search trees used for associative searching. Zbl 0306.68061
Bentley, Jon Louis
254
1975
Efficient string matching: an aid to bibliographic search. Zbl 0301.68048
Aho, Alfred V.; Corasick, Margaret J.
215
1975
New methods to color the vertices of a graph. Zbl 0394.05022
Brelaz, Daniel
190
1979
A fast string searching algorithm. Zbl 1219.68165
Boyer, Robert S.; Moore, J. Strother
190
1977
Finding all cliques of an undirected graph. Zbl 0261.68018
Bron, Coen; Kerbosch, Joep
176
1973
Guarded commands, nondeterminacy and formal derivation of programs. Zbl 0308.68017
Dijkstra, Edsger W.
158
1975
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
145
1979
Scheduling independent tasks to reduce mean finishing time. Zbl 0283.68039
Bruno, J.; Coffman, E. G. jun.; Sethi, R.
132
1974
An approximate method for generating asymmetric random variables. Zbl 0273.65004
Ramberg, John S.; Schmeiser, Bruce W.
129
1974
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Zbl 0383.68013
Backus, John
121
1978
Formal verification of parallel programs. Zbl 0329.68016
Keller, Robert M.
112
1976
Convex hulls of finite sets of points in two and three dimensions. Zbl 0342.68030
Preparata, F. P.; Hong, S. J.
108
1977
A linear space algorithm for computing maximal common subsequences. Zbl 0301.68042
Hirschberg, D. S.
107
1975
Using encryption for authentication in large networks of computers. Zbl 0387.68003
Needham, Roger M.; Schroeder, Michael D.
103
1978
A fast algorithm for computing longest common subsequences. Zbl 0354.68078
Hunt, James W.; Szymanski, Thomas G.
101
1977
An efficient context-free parsing algorithm. Zbl 0185.43401
Earley, J.
100
1970
Use of the Hough transformation to detect lines and curves in pictures. Zbl 1296.94027
Duda, Richard O.; Hart, Peter E.
97
1972
Regular expression search algorithm. Zbl 0164.46205
Thompson, Ken
97
1968
Multidimensional divide-and-conquer. Zbl 0434.68049
Bentley, Jon Louis
89
1980
A modified Newton method for polynomials. Zbl 0148.39004
Ehrlich, L. W.
88
1967
Computational algorithms for closed queueing networks with exponential servers. Zbl 0261.68031
Buzen, Jeffrey P.
81
1973
Space/time trade-offs in hash coding with allowable errors. Zbl 0195.47003
Bloom, Burton H.
80
1970
Symbolic execution and program testing. Zbl 0329.68018
King, James C.
74
1976
A new solution of Dijkstra’s concurrent programming problem. Zbl 0281.68004
Lamport, Leslie
70
1974
The notions of consistency and predicate locks in a database system. Zbl 0341.68023
Eswaran, K. P.; Gray, J. N.; Lorie, R. A.; Traiger, I. L.
64
1976
Recursive functions of symbolic expressions and their computation by machine. I. Zbl 0101.10413
McCarthy, John
64
1960
A vector space model for automatic indexing. Zbl 0313.68082
Salton, G.; Wong, A.; Yang, C. S.
61
1975
Laws of programming. Zbl 0629.68006
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
60
1987
A note on a method for generating points uniformly on \(N\)-dimensional spheres. Zbl 0086.11605
Muller, Mervin E.
59
1959
Program development by stepwise refinement. Zbl 0214.43005
Wirth, N.
58
1971
Implementing Clenshaw-Curtis quadrature. I: Methodology and experience. II: Computing the cosine transformation. Zbl 0234.65024
Gentleman, W. Morven
56
1972
Efficient generation of the binary reflected Gray code and its applications. Zbl 0333.94006
Bitner, James R.; Ehrlich, Gideon; Reingold, Edward M.
56
1976
Monitors: An operating system structuring concept. Zbl 0308.68029
Hoare, C. A. R.
55
1974
A unifying look at data structures. Zbl 0434.68047
Vuillemin, Jean
55
1980
Topological sorting of large networks. Zbl 0106.32602
Kahn, A. B.
54
1962
Parallel methods for integrating ordinary differential equations. Zbl 0134.32804
Nievergelt, J.
54
1964
An approximate method for generating symmetric random variables. Zbl 0244.65005
Ramberg, John S.; Schmeiser, Bruce W.
53
1972
Synthesizing constraint expressions. Zbl 0386.68065
Freuder, Eugene C.
50
1978
A data structure for manipulating priority queues. Zbl 0371.68011
Vuillemin, Jean
49
1978
The simplex method of linear programming using LU decomposition. Zbl 0181.19104
Bartels, R. H.; Golub, G. H.
49
1969
Sorting on a mesh-connected parallel computer. Zbl 0349.68020
Thompson, C. D.; Kung, H. T.
49
1977
Flow diagrams, Turing machines and languages with only two formation rules. Zbl 0145.24204
Böhm, C.; Jacopini, G.
48
1966
Covering edges by cliques with regard to keyword conflicts and intersection graphs. Zbl 0367.68035
Kou, L. T.; Stockmeyer, L. J.; Wong, C. K.
46
1978
A simple automatic derivative evaluation program. Zbl 0131.34602
Wengert, R. E.
46
1964
A correspondence between ALGOL 60 and Church’s Lambda-notation. I, II. Zbl 0134.33403
Landin, P. J.
46
1965
Reduction: A method of proving properties of parallel programs. Zbl 0316.68015
Lipton, Richard J.
46
1975
A lattice model of secure information flow. Zbl 0322.68034
Denning, Dorothy E.
46
1976
Certification of programs for secure information flow. Zbl 0361.68033
Denning, Dorothy E.; Denning, Peter J.
43
1977
Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010
Owicki, Susan; Gries, David
43
1976
The next 700 programming languages. Zbl 0149.12505
Landin, P. J.
42
1966
Simple LR(k) grammars. Zbl 0225.68038
DeRemer, Franklin L.
42
1971
The parallel execution of DO loops. Zbl 0273.68012
Lamport, Leslie
40
1974
Legged robots. Zbl 0709.70504
Raibert, Marc H.
39
1986
Secure communications over insecure channels. Zbl 1342.94085
Merkle, Ralph C.
39
1978
Abstract data types and software validation. Zbl 0387.68012
Guttag, John V.; Horowitz, Ellis; Musser, David R.
39
1978
On self-organizing sequential search heuristics. Zbl 0317.68025
Rivest, Ronald
39
1976
Plane-sweep algorithms for intersecting geometric figures. Zbl 0491.68075
Nievergelt, J.; Preparata, F. P.
37
1982
A locally adaptive data compression scheme. Zbl 0648.94007
Bentley, Jon Louis; Sleator, Daniel D.; Tarjan, Robert E.; Wei, Victor K.
37
1986
Optimal paths in graphs with stochastic or multidimensional weights. Zbl 0526.90085
Loui, Ronald Prescott
37
1983
The denotational semantics of programming languages. Zbl 0337.68010
Tennent, R. D.
37
1976
Anomalies in parallel branch-and-bound algorithms. Zbl 0587.68032
Lai, Ten-Hwang; Sahni, Sartaj
36
1984
Determiming the minimum-area encasing rectangle for an arbitrary closed curve. Zbl 0308.68084
Freeman, H.; Shapira, R.
36
1975
On the approximation of curves by line segments using dynamic programming. Zbl 0100.12901
Bellman, Richard
36
1961
On the computer enumeration of finite topologies. Zbl 0166.01003
Evans, J. W.; Harary, Frank; Lynn, M. S.
35
1967
Expected time bounds for selection. Zbl 0296.68049
Floyd, Robert W.; Rivest, Ronald L.
35
1975
A numbering system for binary trees. Zbl 0345.68025
Knott, Gary D.
35
1977
An exponential method of numerical integration of ordinary differential equations. Zbl 0117.11204
Pope, D. A.
34
1963
Reentrant polygon clipping. Zbl 0271.68065
Sutherland, Ivan E.; Hodgman, Gary W.
34
1974
Efficient parallel algorithms for some graph problems. Zbl 0485.68056
Chin, Francis Y.; Lam, John; Chen, I-Ngo
33
1982
Euler: A generalization of ALGOL, and its formal definition. I, II. Zbl 0141.14302
Wirth, N.; Weber, H.
33
1966
Mechanical program analysis. Zbl 0306.68008
Wegbreit, Ben
32
1975
Computing connected components on parallel computers. Zbl 0429.68061
Hirschberg, D. S.; Chandra, A. K.; Sarwate, D. V.
31
1979
Decentralized extrema-finding in circular configurations of processors. Zbl 0444.68022
Hirschberg, D. S.; Sinclair, J. B.
30
1980
Numerical solution of nonlinear two-point boundary problems by finite difference methods. Zbl 0123.11805
Holt, James F.
30
1964
A man-machine approach toward solving the traveling salesman problem. Zbl 0217.27302
Krolak, P.; Felts, W.; Marble, G.
30
1971
Min-max heaps and generalized priority queues. Zbl 0642.68055
Atkinson, M. D.; Sack, J.-R.; Santoro, N.; Strothotte, T.
29
1986
SIMULA - an ALGOL-based simulation language. Zbl 0139.32903
Dahl, O. J.; Nygaard, K.
29
1966
The secant method for simultaneous nonlinear equations. Zbl 0093.13202
Wolfe, Philip
28
1959
Algorithm = logic + control. Zbl 0404.68010
Kowalski, Robert
28
1979
An optimal real-time algorithm for planar convex hulls. Zbl 0404.68069
Preparata, F. P.
28
1979
A syntax directed compiler for ALGOL 60. Zbl 0103.34904
Irons, Edgar T.
28
1961
Design of a separable transition-diagram compiler. Zbl 0116.09605
Conway, M.
28
1963
Invariant imbedding and the numerical integration fo boundary-value problems for unstable linear systems of ordinary differential equation. Zbl 0148.39205
Bellman, R. E.; Kagiwada, H. H.; Kalaba, R. E.
27
1967
Inductive methods for proving properties of programs. Zbl 0278.68019
Manna, Zohar; Ness, Stephen; Vuillemin, Jean
27
1973
Implementing quicksort programs. Zbl 0386.68058
Sedgewick, Robert
26
1978
An improved algorithm for decentralized extrema-finding in circular configurations of processes. Zbl 0394.68023
Chang, Ernest; Roberts, Rosemary
26
1979
The structure of the ‘THE’-multiprogramming system. Zbl 0164.18704
Dijkstra, E. W.
26
1968
A linear algorithm for incremental digital display of circular arcs. Zbl 0342.68058
Bresenham, Jack
26
1977
Computing arbitrary functions of encrypted data. Zbl 1315.94074
Gentry, Craig
10
2010
Laws of programming. Zbl 0629.68006
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
60
1987
Generality in artificial intelligence. Zbl 0644.68004
McCarthy, John
24
1987
ARIADNE: Pattern-directed inference and hierarchical abstraction in protein structure recognition. Zbl 0642.92005
Lathrop, Richard H.; Webster, Teresa A.; Smith, Temple F.
4
1987
Processing encrypted data. Zbl 0709.94530
Ahituv, Niv; Lapid, Yeheskel; Neumann, Seev
3
1987
Walsh-spectral test for GFSR pseudorandom numbers. Zbl 0632.65003
Tezuka, Shu
2
1987
Corrigendum to “Laws of programming”. Zbl 0653.68002
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
2
1987
Legged robots. Zbl 0709.70504
Raibert, Marc H.
39
1986
A locally adaptive data compression scheme. Zbl 0648.94007
Bentley, Jon Louis; Sleator, Daniel D.; Tarjan, Robert E.; Wei, Victor K.
37
1986
Min-max heaps and generalized priority queues. Zbl 0642.68055
Atkinson, M. D.; Sack, J.-R.; Santoro, N.; Strothotte, T.
29
1986
Combinatorics, complexity, and randomness. Zbl 0642.68004
Karp, Richard M.
5
1986
The orders of equidistribution of subsequences of some asymptotically random sequences. Zbl 0641.65007
Koopman, Raymond F.
1
1986
Spreadsheet calculations of probabilities from the F, t, \(\chi^2\) and normal distribution. Zbl 0645.65100
Landram, Frank G.; Cook, James R.; Johnston, Marvin
1
1986
Data-flow algorithms for parallel matrix computations. Zbl 0606.65029
O’Leary, Dianne P.; Stewart, G. W.
19
1985
A theory of the learnable. Zbl 0587.68077
Valiant, L. G.
580
1984
Anomalies in parallel branch-and-bound algorithms. Zbl 0587.68032
Lai, Ten-Hwang; Sahni, Sartaj
36
1984
Predicative programming. I. Zbl 0593.68010
Hehner, Eric C. R.
22
1984
Faster methods for random sampling. Zbl 0595.65008
Vitter, Jeffrey Scott
9
1984
Predicative programming. II. Zbl 0593.68011
Hehner, Eric C. R.
3
1984
Optimal pagination of B-trees with variable-length items. Zbl 0587.68061
Diehr, George; Faaland, Bruce
3
1984
The complexity of songs. Zbl 0587.68046
Knuth, Donald E.
2
1984
Some negative results concerning prime number generators. Zbl 0589.10001
Pritchard, Paul
1
1984
Maintaining knowledge about temporal intervals. Zbl 0519.68079
Allen, James F.
329
1983
Optimal paths in graphs with stochastic or multidimensional weights. Zbl 0526.90085
Loui, Ronald Prescott
37
1983
The k-distribution of generalized feedback shift register pseudorandom numbers. Zbl 0515.68047
Fushimi, M.; Tezuka, S.
17
1983
Matings in matrices. Zbl 0519.68078
Bibel, Wolfgang
17
1983
Extended Boolean information retrieval. Zbl 0519.68089
Salton, Gerard; Fox, Edward A.; Wu, Harry
13
1983
A generalized control structure and its formal definition. Zbl 0517.68024
Parnas, David Lorge
10
1983
An overview of computational complexity. Zbl 0622.68039
Cook, Stephen A.
8
1983
On-the-fly optimization of data structures. Zbl 0519.68025
Kessels, J. L. W.
8
1983
Antithetic variates revisited. Zbl 0535.65100
Fishman, George S.; Huang, Baosheng D.
5
1983
A general-purpose algorithm for analyzing concurrent programs. Zbl 0516.68027
Taylor, Richard N.
5
1983
Balancing binary trees by international path reduction. Zbl 0587.68060
Gonnet, Gaston H.
4
1983
On the modeling of parallel access to shared data. Zbl 0511.68081
Chesnais, A.; Gelenbe, E.; Mitrani, I.
4
1983
Vector Fortran for numerical problems on CRAY-1. Zbl 0519.68043
Petersen, W. P.
4
1983
Estimating block accesses in database organizations: A closed noniterative formula. Zbl 0519.68080
Whang, Kyu-Young; Wiederhold, Gio; Sagalowicz, Daniel
4
1983
Estimation of the inverse function for random variate generation. Zbl 0524.65004
Hora, Stephen C.
2
1983
Program design by informal English descriptions. Zbl 0519.68017
Abbott, Russell J.
1
1983
Information derivability analysis in logical information systems. Zbl 0519.68088
Olive i Ramon, Antoni
1
1983
Speeding up an overrelaxation method of division in radix-\(2^ n\) machine. Zbl 0522.68047
Asai, Hitohisa; Cheng, C. K.
1
1983
Plane-sweep algorithms for intersecting geometric figures. Zbl 0491.68075
Nievergelt, J.; Preparata, F. P.
37
1982
Efficient parallel algorithms for some graph problems. Zbl 0485.68056
Chin, Francis Y.; Lam, John; Chen, I-Ngo
33
1982
An effective way to represent quadtrees. Zbl 0504.68057
Gargantini, Irene
22
1982
Distributed computation on graphs: shortest path algorithms. Zbl 0491.68064
Chandy, K. M.; Misra, J.
16
1982
Generating gamma variates by a modified rejection technique. Zbl 0472.65005
Ahrens, Joachim H.; Dieter, Ulrich
13
1982
Approximation algorithms for convex hulls. Zbl 0466.68059
Bentley, Jon Louis; Faust, Mark G.; Preparata, Franco P.
12
1982
The solution for the branching factor of the alpha-beta pruning algorithm and its optimality. Zbl 0486.68056
Pearl, Judea
10
1982
Computer-aided complexity classification of combinatorial problems. Zbl 0491.68070
Lageweg, B. J.; Lenstra, J. K.; Lawler, E. L.; Rinnooy Kan, A. H. G.
10
1982
Computer-assisted microanalysis of programs. Zbl 0491.68036
Cohen, Jacques
5
1982
A critique of the foundations of Hoare style programming logics. Zbl 0495.68018
O’Donnell, Michael J.
5
1982
On the emulation of flowcharts by decision tables. Zbl 0496.68015
Lew, Art
4
1982
Combinatorially implosive algorithms. Zbl 0491.68061
Kornfeld, William A.
3
1982
Three new combination algorithms with the minimal change property. Zbl 0486.68070
Lam, Clement W. H.; Soicher, Leonard H.
2
1982
The distribution of granule accesses made by database transactions. Zbl 0491.68100
Langer, A. M.; Shum, A. W.
2
1982
An on-line algorithm for fitting straight lines between data ranges. Zbl 0464.68074
O’Rourke, Joseph
18
1981
Shuffle languages, Petri nets, and context-sensitive grammars. Zbl 0471.68063
Gischer, Jay
17
1981
A sublinear additive sieve for finding prime numbers. Zbl 0454.68084
Pritchard, Paul
10
1981
Reciprocal hashing: A method for generating minimal perfect hashing functions. Zbl 0466.68051
Jaeschke, G.
9
1981
Multidimensional divide-and-conquer. Zbl 0434.68049
Bentley, Jon Louis
89
1980
A unifying look at data structures. Zbl 0434.68047
Vuillemin, Jean
55
1980
Decentralized extrema-finding in circular configurations of processors. Zbl 0444.68022
Hirschberg, D. S.; Sinclair, J. B.
30
1980
On folk theorems. Zbl 0432.68009
Harel, David
17
1980
Information transfer and area-time tradeoffs for VLSI multiplication. Zbl 0423.68009
Abelson, Harold; Andreae, Peter
8
1980
Region representation: Quadtrees from boundary codes. Zbl 0429.68074
Samet, Hanan
8
1980
Specification and verification of the UCLA Unix security kernel. Zbl 0427.68032
Walker, Bruce J.; Kemmerer, Richard A.; Popek, Gerald J.
6
1980
Region representation: Boundary codes from quadtrees. Zbl 0429.68075
Dyer, Charles R.; Rosenfeld, Azriel; Samet, Hanan
6
1980
Computational algorithms for product form queueing networks. Zbl 0443.68027
Chandy, K. Mani; Sauer, Charles H.
6
1980
Partial-match retrieval using indexed descriptor files. Zbl 0435.68078
Pfaltz, John L.; Berman, William J.; Cagley, Edgar M.
2
1980
An overrelaxation for a numerical inverse of a constant. Zbl 0441.65001
Asai, Hitohisa
1
1980
How to share a secret. Zbl 0414.94021
Shamir, Adi
787
1979
New methods to color the vertices of a graph. Zbl 0394.05022
Brelaz, Daniel
190
1979
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
145
1979
Computing connected components on parallel computers. Zbl 0429.68061
Hirschberg, D. S.; Chandra, A. K.; Sarwate, D. V.
31
1979
Algorithm = logic + control. Zbl 0404.68010
Kowalski, Robert
28
1979
An optimal real-time algorithm for planar convex hulls. Zbl 0404.68069
Preparata, F. P.
28
1979
An improved algorithm for decentralized extrema-finding in circular configurations of processes. Zbl 0394.68023
Chang, Ernest; Roberts, Rosemary
26
1979
Storing a sparse table. Zbl 0414.68038
Tarjan, Robert Endre; Yao, Andrew Chi-Chih
24
1979
On improving the worst case running time of the Boyer-Moore string matching algorithm. Zbl 0413.68041
Galil, Zvi
18
1979
Global optimization by suppression of partial redundancies. Zbl 0393.68010
Morel, E.; Renvoise, C.
14
1979
Updating mean and variance estimates: An improved method. Zbl 0419.62003
West, D. H. D.
11
1979
Reasoning about arrays. Zbl 0394.68009
Reynolds, John C.
7
1979
Optimal storage allocation for serial files. Zbl 0393.68024
Mendelson, Haim; Pliskin, Joseph S.; Yechiali, Uri
6
1979
High level programming for distributed computing. Zbl 0407.68017
Feldman, Jerome A.
6
1979
Computing standard deviations: Accuracy. Zbl 0427.65097
Chan, Tony F.; Lewis, John Gregg
5
1979
Logic and semantic networks. Zbl 0394.68063
Deliyanni, Amaryllis; Kowalski, Robert A.
4
1979
Recursive data structures in APL. Zbl 0393.68021
Gull, W. E.; Jenkins, M. A.
3
1979
Thoth, a portable real-time operating system. Zbl 0394.68020
Cheriton, David R.; Malcolm, Michael A.; Melen, Lawrence S.; Sager, Gary R.
3
1979
A mathematical programming updating method using modified Givens transformations and applied to LP problems. Zbl 0401.90075
Hanson, Richard J.; Wisniewski, John A.
2
1979
Permutation of data blocks in a bubble memory. Zbl 0388.68019
Bongiovanni, Gian Carlo; Luccio, Fabrizio
2
1979
On the proof of correctness of a calendar program. Zbl 0412.68014
Lamport, Leslie
2
1979
Breaking substitution ciphers using a relaxation algorithm. Zbl 0414.94020
Peleg, Shmuel; Rosenfeld, Azriel
2
1979
Syntactic source to source transforms and program manipulation. Zbl 0388.68006
Arsac, Jacques J.
1
1979
The impact of distributions and disciplines on multiple processor systems. Zbl 0388.68025
Sauer, Charles H.; Chandy, K. Mani
1
1979
Synchronization with eventcounts and sequencers. Zbl 0393.68025
Reed, David P.; Kanodia, Rajendra K.
1
1979
Comments on Perfect hashing functions: A single probe retrieving method for static sets. Zbl 0393.68069
Anderson, M. R.; Anderson, M. G.
1
1979
Storage reorganization techniques for matrix computation in a paging environment. Zbl 0404.68038
Fischer, Patrick C.; Probert, Robert L.
1
1979
Progressive acyclic digraphs - a tool for database integrity. Zbl 0413.68057
Hansen, Wilfred J.
1
1979
An optimal insertion algorithm for one-sided height-balanced binary search trees. Zbl 0413.68064
Räihä, Kari-Jouko; Zweben, Stuart H.
1
1979
A method for obtaining digital signatures and public-key cryptosystems. Zbl 0368.94005
Rivest, R. L.; Shamir, A.; Adleman, L.
797
1978
Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027
Lamport, Leslie
327
1978
...and 730 more Documents
all top 5

Cited by 18,902 Authors

35 Petković, Miodrag S.
33 Chang, Chin-Chen
27 Kalaba, Robert E.
26 Montanari, Angelo
26 Wood, Derick
25 Bergstra, Jan A.
25 Hoare, C. A. R. Tony
24 Raynal, Michel
23 Amir, Amihood
22 Datta, Ajoy Kumar
22 Devroye, Luc P. J. A.
22 Ingólfsdóttir, Anna
21 Aceto, Luca
21 Sciavicco, Guido
20 Dolev, Shlomi
19 Navarro, Gonzalo
19 Padró, Carles
19 Pardalos, Panos M.
18 Lee, Richard Chia-Tung
18 Shampine, Lawrence Fred
18 Tixeuil, Sébastien
17 Crochemore, Maxime
17 Evans, David John
17 Jbilou, Khalide
17 Munro, J. Ian
17 Servedio, Rocco A.
16 De Santis, Alfredo
16 Demetrovics, János
16 Dershowitz, Nachum
16 Grossi, Roberto
16 Hasegawa, Takemitsu
16 Landau, Gad M.
16 Park, Kunsoo
16 Porat, Ely
16 Sala, Pietro
16 Wang, Huaxiong
15 Benner, Peter
15 Devismes, Stéphane
15 Elmasry, Amr
15 Farràs, Oriol
15 Meseguer Guaita, José
15 Soisalon-Soininen, Eljas
15 Srimani, Pradip K.
15 Ullman, Jeffrey David
15 Vardi, Moshe Ya’akov
14 Beimel, Amos
14 Bshouty, Nader H.
14 Francez, Nissim
14 Gawrychowski, Paweł
14 Hesselink, Wim H.
14 Huang, Shingtsaan
14 Iliopoulos, Costas S.
14 Peled, Doron A.
14 Simoncini, Valeria
13 Anisimov, Anatoly V.
13 Faro, Simone
13 Hwang, Minshiang
13 Ishai, Yuval
13 Larmore, Lawrence L.
13 Lecroq, Thierry
13 Li, Ming
13 Link, Sebastian
13 Masuzawa, Toshimitsu
13 Nitaj, Abderrahmane
13 Spirakis, Paul G.
12 Albert, Elvira
12 Conte, Alessio
12 Edelsbrunner, Herbert
12 Engelfriet, Joost
12 Gennaro, Rosario
12 Kapur, Deepak
12 Katajainen, Jyrki
12 Montanari, Ugo G.
12 Nielson, Flemming
12 Sankaran, Paduthol Godan
12 Stinson, Douglas Robert
12 Tini, Simone
12 Yang, Chang-Biau
12 Yung, Moti
11 Aoe, Jun-ichi
11 Blundo, Carlo
11 Broy, Manfred
11 Eiter, Thomas
11 Goldreich, Oded
11 Guerraoui, Rachid
11 Han, Yo-Sub
11 Haussler, David
11 Ibaraki, Toshihide
11 Kakugawa, Hirotsugu
11 Larsen, Kim Skak
11 Li, Sanjiang
11 Ottmann, Thomas A.
11 Pissis, Solon P.
11 Pnueli, Amir
11 Rahman, Mohammad Sohel
11 Riis Nielson, Hanne
11 Rytter, Wojciech
11 Sugiura, Hiroshi
11 Yang, Yuguang
10 Apt, Krzysztof Rafal
...and 18,802 more Authors
all top 5

Cited in 777 Journals

1,018 Theoretical Computer Science
699 Information Processing Letters
276 Journal of Computer and System Sciences
250 Acta Informatica
244 Artificial Intelligence
232 Information and Computation
221 Information Sciences
211 Discrete Applied Mathematics
201 Applied Mathematics and Computation
198 International Journal of Computer Mathematics
190 Computers & Mathematics with Applications
175 Computing
174 Journal of Computational and Applied Mathematics
174 European Journal of Operational Research
169 Distributed Computing
163 Algorithmica
155 Journal of Computational Physics
132 Formal Aspects of Computing
124 BIT
121 Computers & Operations Research
117 BIT. Nordisk Tidskrift for Informationsbehandling
113 Linear Algebra and its Applications
107 International Journal of Foundations of Computer Science
103 Pattern Recognition
95 Journal of Automated Reasoning
89 International Journal of Computer & Information Sciences
89 Annals of Operations Research
87 Journal of Cryptology
82 Software. Practice & Experience
81 Mathematics of Computation
81 Quantum Information Processing
80 Computer Methods in Applied Mechanics and Engineering
80 Annals of Mathematics and Artificial Intelligence
79 Designs, Codes and Cryptography
70 Numerische Mathematik
69 Journal of Symbolic Computation
66 Journal of Logical and Algebraic Methods in Programming
61 Journal of Discrete Algorithms
56 Applied Numerical Mathematics
55 International Journal of Theoretical Physics
54 Fuzzy Sets and Systems
54 Cybernetics
54 Journal of Discrete Mathematical Sciences & Cryptography
52 Journal of Computer Science and Technology
52 Formal Methods in System Design
49 Machine Learning
49 The Journal of Logic and Algebraic Programming
48 Journal of Optimization Theory and Applications
47 Discrete Mathematics
45 Cybernetics and Systems Analysis
44 Journal of Mathematical Analysis and Applications
44 Calcolo
43 Journal of Parallel and Distributed Computing
43 Journal of Functional Programming
42 Computational Geometry
42 Computational Statistics and Data Analysis
41 Mathematical and Computer Modelling
39 New Generation Computing
39 SIAM Journal on Scientific Computing
39 Theory and Practice of Logic Programming
38 MSCS. Mathematical Structures in Computer Science
38 Numerical Algorithms
38 Communications in Statistics. Simulation and Computation
37 Science of Computer Programming
37 Journal of Statistical Computation and Simulation
37 Parallel Algorithms and Applications
36 Automatica
36 RAIRO, Informatique Théorique
36 International Journal of Parallel Programming
35 Mathematical Systems Theory
33 Operations Research Letters
33 International Journal of Production Research
33 Applied Mathematical Modelling
33 Journal of Combinatorial Optimization
32 Mathematical Problems in Engineering
32 Theory of Computing Systems
31 International Journal of Systems Science
31 Communications in Statistics. Theory and Methods
31 Constraints
30 SIAM Journal on Computing
30 Annals of Pure and Applied Logic
30 Discrete & Computational Geometry
29 Mathematical Programming. Series A. Series B
28 Data Mining and Knowledge Discovery
27 Journal of Soviet Mathematics
27 Applied Mathematics Letters
26 Applicable Algebra in Engineering, Communication and Computing
26 Journal of Scheduling
25 Computer Aided Geometric Design
25 Logical Methods in Computer Science
24 Neural Computation
23 International Journal of Control
23 Kybernetika
23 Mathematical Programming
23 RAIRO. Informatique Théorique et Applications
23 Journal of Mathematical Imaging and Vision
23 Finite Fields and their Applications
23 International Journal of Parallel, Emergent and Distributed Systems
22 Journal of the Franklin Institute
22 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
...and 677 more Journals
all top 5

Cited in 61 Fields

8,076 Computer science (68-XX)
1,962 Numerical analysis (65-XX)
1,600 Information and communication theory, circuits (94-XX)
1,235 Operations research, mathematical programming (90-XX)
841 Mathematical logic and foundations (03-XX)
742 Combinatorics (05-XX)
501 Statistics (62-XX)
336 Linear and multilinear algebra; matrix theory (15-XX)
289 Number theory (11-XX)
275 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
269 Quantum theory (81-XX)
268 Systems theory; control (93-XX)
267 Biology and other natural sciences (92-XX)
253 Probability theory and stochastic processes (60-XX)
222 Ordinary differential equations (34-XX)
180 Partial differential equations (35-XX)
173 Fluid mechanics (76-XX)
140 Approximations and expansions (41-XX)
128 Convex and discrete geometry (52-XX)
121 Order, lattices, ordered algebraic structures (06-XX)
108 Mechanics of deformable solids (74-XX)
73 Mechanics of particles and systems (70-XX)
70 Functions of a complex variable (30-XX)
70 Calculus of variations and optimal control; optimization (49-XX)
63 Category theory; homological algebra (18-XX)
62 Dynamical systems and ergodic theory (37-XX)
59 Field theory and polynomials (12-XX)
54 Group theory and generalizations (20-XX)
53 History and biography (01-XX)
53 Statistical mechanics, structure of matter (82-XX)
52 Algebraic geometry (14-XX)
52 Real functions (26-XX)
40 General topology (54-XX)
40 Classical thermodynamics, heat transfer (80-XX)
38 General and overarching topics; collections (00-XX)
36 General algebraic systems (08-XX)
36 Geometry (51-XX)
30 Geophysics (86-XX)
27 Special functions (33-XX)
25 Harmonic analysis on Euclidean spaces (42-XX)
24 Integral equations (45-XX)
21 Commutative algebra (13-XX)
21 Integral transforms, operational calculus (44-XX)
19 Operator theory (47-XX)
18 Optics, electromagnetic theory (78-XX)
16 Differential geometry (53-XX)
15 Associative rings and algebras (16-XX)
15 Difference and functional equations (39-XX)
13 Manifolds and cell complexes (57-XX)
12 Algebraic topology (55-XX)
11 Mathematics education (97-XX)
9 Functional analysis (46-XX)
9 Relativity and gravitational theory (83-XX)
8 Measure and integration (28-XX)
7 Sequences, series, summability (40-XX)
5 Potential theory (31-XX)
4 Nonassociative rings and algebras (17-XX)
4 Topological groups, Lie groups (22-XX)
4 Global analysis, analysis on manifolds (58-XX)
2 Astronomy and astrophysics (85-XX)
1 Several complex variables and analytic spaces (32-XX)

Citations by Year