×

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,332 Publications (1957–2010)
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,316 more Authors

Publications by Year

Citations contained in zbMATH Open

830 Publications have been cited 14,584 times in 12,838 Documents Cited by Year
A method for obtaining digital signatures and public-key cryptosystems. Zbl 0368.94005
Rivest, R. L.; Shamir, A.; Adleman, L.
747
1978
How to share a secret. Zbl 0414.94021
Shamir, Adi
745
1979
A theory of the learnable. Zbl 0587.68077
Valiant, L. G.
567
1984
An axiomatic basis for computer programming. Zbl 0179.23105
Hoare, C. A. R.
492
1969
Algorithm 432: Solution of the matrix equation \(AX + XB = C\). Zbl 1372.65121
Bartels, R. H.; Stewart, G. W.
405
1972
A machine program for theorem-proving. Zbl 0217.54002
Davis, M.; Logemann, G.; Loveland, D.
358
1962
The automatic integration of ordinary differential equations. Zbl 0217.21701
Gear, C. W.
321
1971
Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027
Lamport, Leslie
316
1978
Maintaining knowledge about temporal intervals. Zbl 0519.68079
Allen, James F.
312
1983
Communicating sequential processes. Zbl 0383.68028
Hoare, C. A. R.
302
1978
A relational model of data for large shared data banks. Zbl 0207.18003
Codd, E. F.
297
1970
Self-stabilizing systems in spite of distributed control. Zbl 0305.68048
Dijkstra, Edsger W.
278
1974
Multidimensional binary search trees used for associative searching. Zbl 0306.68061
Bentley, Jon Louis
250
1975
Efficient string matching: an aid to bibliographic search. Zbl 0301.68048
Aho, Alfred V.; Corasick, Margaret J.
213
1975
A fast string searching algorithm. Zbl 1219.68165
Boyer, Robert S.; Moore, J. Strother
187
1977
New methods to color the vertices of a graph. Zbl 0394.05022
Brelaz, Daniel
185
1979
Finding all cliques of an undirected graph. Zbl 0261.68018
Bron, Coen; Kerbosch, Joep
166
1973
Guarded commands, nondeterminacy and formal derivation of programs. Zbl 0308.68017
Dijkstra, Edsger W.
148
1975
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
137
1979
Scheduling independent tasks to reduce mean finishing time. Zbl 0283.68039
Bruno, J.; Coffman, E. G. jun.; Sethi, R.
130
1974
An approximate method for generating asymmetric random variables. Zbl 0273.65004
Ramberg, John S.; Schmeiser, Bruce W.
127
1974
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Zbl 0383.68013
Backus, John
117
1978
Convex hulls of finite sets of points in two and three dimensions. Zbl 0342.68030
Preparata, F. P.; Hong, S. J.
107
1977
A linear space algorithm for computing maximal common subsequences. Zbl 0301.68042
Hirschberg, D. S.
106
1975
Formal verification of parallel programs. Zbl 0329.68016
Keller, Robert M.
106
1976
An efficient context-free parsing algorithm. Zbl 0185.43401
Earley, J.
100
1970
A fast algorithm for computing longest common subsequences. Zbl 0354.68078
Hunt, James W.; Szymanski, Thomas G.
100
1977
Using encryption for authentication in large networks of computers. Zbl 0387.68003
Needham, Roger M.; Schroeder, Michael D.
99
1978
Regular expression search algorithm. Zbl 0164.46205
Thompson, Ken
96
1968
Use of the Hough transformation to detect lines and curves in pictures. Zbl 1296.94027
Duda, Richard O.; Hart, Peter E.
93
1972
Multidimensional divide-and-conquer. Zbl 0434.68049
Bentley, Jon Louis
88
1980
A modified Newton method for polynomials. Zbl 0148.39004
Ehrlich, L. W.
88
1967
Space/time trade-offs in hash coding with allowable errors. Zbl 0195.47003
Bloom, Burton H.
79
1970
Computational algorithms for closed queueing networks with exponential servers. Zbl 0261.68031
Buzen, Jeffrey P.
79
1973
A new solution of Dijkstra’s concurrent programming problem. Zbl 0281.68004
Lamport, Leslie
65
1974
Symbolic execution and program testing. Zbl 0329.68018
King, James C.
65
1976
Recursive functions of symbolic expressions and their computation by machine. I. Zbl 0101.10413
McCarthy, John
63
1960
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.
62
1976
A vector space model for automatic indexing. Zbl 0313.68082
Salton, G.; Wong, A.; Yang, C. S.
60
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.
58
1987
Program development by stepwise refinement. Zbl 0214.43005
Wirth, N.
57
1971
Efficient generation of the binary reflected Gray code and its applications. Zbl 0333.94006
Bitner, James R.; Ehrlich, Gideon; Reingold, Edward M.
56
1976
A note on a method for generating points uniformly on \(N\)-dimensional spheres. Zbl 0086.11605
Muller, Mervin E.
56
1959
Topological sorting of large networks. Zbl 0106.32602
Kahn, A. B.
53
1962
An approximate method for generating symmetric random variables. Zbl 0244.65005
Ramberg, John S.; Schmeiser, Bruce W.
53
1972
A unifying look at data structures. Zbl 0434.68047
Vuillemin, Jean
52
1980
Monitors: An operating system structuring concept. Zbl 0308.68029
Hoare, C. A. R.
51
1974
Parallel methods for integrating ordinary differential equations. Zbl 0134.32804
Nievergelt, J.
51
1964
Synthesizing constraint expressions. Zbl 0386.68065
Freuder, Eugene C.
50
1978
Sorting on a mesh-connected parallel computer. Zbl 0349.68020
Thompson, C. D.; Kung, H. T.
49
1977
A data structure for manipulating priority queues. Zbl 0371.68011
Vuillemin, Jean
48
1978
Flow diagrams, Turing machines and languages with only two formation rules. Zbl 0145.24204
Böhm, C.; Jacopini, G.
48
1966
Implementing Clenshaw-Curtis quadrature. I: Methodology and experience. II: Computing the cosine transformation. Zbl 0234.65024
Gentleman, W. Morven
48
1972
The simplex method of linear programming using LU decomposition. Zbl 0181.19104
Bartels, R. H.; Golub, G. H.
47
1969
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.
44
1964
A correspondence between ALGOL 60 and Church’s Lambda-notation. I, II. Zbl 0134.33403
Landin, P. J.
44
1965
Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010
Owicki, Susan; Gries, David
43
1976
Reduction: A method of proving properties of parallel programs. Zbl 0316.68015
Lipton, Richard J.
42
1975
Simple LR(k) grammars. Zbl 0225.68038
DeRemer, Franklin L.
42
1971
A lattice model of secure information flow. Zbl 0322.68034
Denning, Dorothy E.
40
1976
The next 700 programming languages. Zbl 0149.12505
Landin, P. J.
40
1966
Certification of programs for secure information flow. Zbl 0361.68033
Denning, Dorothy E.; Denning, Peter J.
40
1977
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
The parallel execution of DO loops. Zbl 0273.68012
Lamport, Leslie
38
1974
A locally adaptive data compression scheme. Zbl 0648.94007
Bentley, Jon Louis; Sleator, Daniel D.; Tarjan, Robert E.; Wei, Victor K.
37
1986
Plane-sweep algorithms for intersecting geometric figures. Zbl 0491.68075
Nievergelt, J.; Preparata, F. P.
37
1982
The denotational semantics of programming languages. Zbl 0337.68010
Tennent, R. D.
37
1976
Legged robots. Zbl 0709.70504
Raibert, Marc H.
37
1986
Optimal paths in graphs with stochastic or multidimensional weights. Zbl 0526.90085
Loui, Ronald Prescott
37
1983
On the approximation of curves by line segments using dynamic programming. Zbl 0100.12901
Bellman, Richard
36
1961
Secure communications over insecure channels. Zbl 1342.94085
Merkle, Ralph C.
36
1978
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
Determiming the minimum-area encasing rectangle for an arbitrary closed curve. Zbl 0308.68084
Freeman, H.; Shapira, R.
34
1975
An exponential method of numerical integration of ordinary differential equations. Zbl 0117.11204
Pope, D. A.
34
1963
On the computer enumeration of finite topologies. Zbl 0166.01003
Evans, J. W.; Harary, Frank; Lynn, M. S.
34
1967
Efficient parallel algorithms for some graph problems. Zbl 0485.68056
Chin, Francis Y.; Lam, John; Chen, I-Ngo
33
1982
Anomalies in parallel branch-and-bound algorithms. Zbl 0587.68032
Lai, Ten-Hwang; Sahni, Sartaj
33
1984
Euler: A generalization of ALGOL, and its formal definition. I, II. Zbl 0141.14302
Wirth, N.; Weber, H.
32
1966
Reentrant polygon clipping. Zbl 0271.68065
Sutherland, Ivan E.; Hodgman, Gary W.
31
1974
Mechanical program analysis. Zbl 0306.68008
Wegbreit, Ben
31
1975
Computing connected components on parallel computers. Zbl 0429.68061
Hirschberg, D. S.; Chandra, A. K.; Sarwate, D. V.
31
1979
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
An optimal real-time algorithm for planar convex hulls. Zbl 0404.68069
Preparata, F. P.
28
1979
Decentralized extrema-finding in circular configurations of processors. Zbl 0444.68022
Hirschberg, D. S.; Sinclair, J. B.
28
1980
A syntax directed compiler for ALGOL 60. Zbl 0103.34904
Irons, Edgar T.
28
1961
SIMULA - an ALGOL-based simulation language. Zbl 0139.32903
Dahl, O. J.; Nygaard, K.
28
1966
The secant method for simultaneous nonlinear equations. Zbl 0093.13202
Wolfe, Philip
28
1959
Design of a separable transition-diagram compiler. Zbl 0116.09605
Conway, M.
27
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
Implementing quicksort programs. Zbl 0386.68058
Sedgewick, Robert
26
1978
Algorithm = logic + control. Zbl 0404.68010
Kowalski, Robert
26
1979
Inductive methods for proving properties of programs. Zbl 0278.68019
Manna, Zohar; Ness, Stephen; Vuillemin, Jean
26
1973
On the complexity of computing the measure of \(\cup [a_i,b_i]\). Zbl 0378.68032
Fredman, Michael L.; Weide, Bruce
25
1978
An improved algorithm for decentralized extrema-finding in circular configurations of processes. Zbl 0394.68023
Chang, Ernest; Roberts, Rosemary
25
1979
A linear algorithm for incremental digital display of circular arcs. Zbl 0342.68058
Bresenham, Jack
25
1977
Computing arbitrary functions of encrypted data. Zbl 1315.94074
Gentry, Craig
8
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.
58
1987
Generality in artificial intelligence. Zbl 0644.68004
McCarthy, John
22
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
A locally adaptive data compression scheme. Zbl 0648.94007
Bentley, Jon Louis; Sleator, Daniel D.; Tarjan, Robert E.; Wei, Victor K.
37
1986
Legged robots. Zbl 0709.70504
Raibert, Marc H.
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.
18
1985
A theory of the learnable. Zbl 0587.68077
Valiant, L. G.
567
1984
Anomalies in parallel branch-and-bound algorithms. Zbl 0587.68032
Lai, Ten-Hwang; Sahni, Sartaj
33
1984
Predicative programming. I. Zbl 0593.68010
Hehner, Eric C. R.
21
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.
312
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
A general-purpose algorithm for analyzing concurrent programs. Zbl 0516.68027
Taylor, Richard N.
5
1983
Antithetic variates revisited. Zbl 0535.65100
Fishman, George S.; Huang, Baosheng D.
5
1983
On the modeling of parallel access to shared data. Zbl 0511.68081
Chesnais, A.; Gelenbe, E.; Mitrani, I.
4
1983
Balancing binary trees by international path reduction. Zbl 0587.68060
Gonnet, Gaston H.
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
21
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
16
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
88
1980
A unifying look at data structures. Zbl 0434.68047
Vuillemin, Jean
52
1980
Decentralized extrema-finding in circular configurations of processors. Zbl 0444.68022
Hirschberg, D. S.; Sinclair, J. B.
28
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
Region representation: Boundary codes from quadtrees. Zbl 0429.68075
Dyer, Charles R.; Rosenfeld, Azriel; Samet, Hanan
6
1980
Specification and verification of the UCLA Unix security kernel. Zbl 0427.68032
Walker, Bruce J.; Kemmerer, Richard A.; Popek, Gerald J.
5
1980
Computational algorithms for product form queueing networks. Zbl 0443.68027
Chandy, K. Mani; Sauer, Charles H.
5
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
745
1979
New methods to color the vertices of a graph. Zbl 0394.05022
Brelaz, Daniel
185
1979
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
137
1979
Computing connected components on parallel computers. Zbl 0429.68061
Hirschberg, D. S.; Chandra, A. K.; Sarwate, D. V.
31
1979
An optimal real-time algorithm for planar convex hulls. Zbl 0404.68069
Preparata, F. P.
28
1979
Algorithm = logic + control. Zbl 0404.68010
Kowalski, Robert
26
1979
An improved algorithm for decentralized extrema-finding in circular configurations of processes. Zbl 0394.68023
Chang, Ernest; Roberts, Rosemary
25
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.
10
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
Thoth, a portable real-time operating system. Zbl 0394.68020
Cheriton, David R.; Malcolm, Michael A.; Melen, Lawrence S.; Sager, Gary R.
3
1979
Permutation of data blocks in a bubble memory. Zbl 0388.68019
Bongiovanni, Gian Carlo; Luccio, Fabrizio
2
1979
Recursive data structures in APL. Zbl 0393.68021
Gull, W. E.; Jenkins, M. A.
2
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
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.
747
1978
Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027
Lamport, Leslie
316
1978
...and 730 more Documents
all top 5

Cited by 18,456 Authors

35 Petković, Miodrag S.
32 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 Padró, Carles
19 Pardalos, Panos M.
18 Lee, Richard Chia-Tung
18 Navarro, Gonzalo
18 Shampine, Lawrence Fred
17 Crochemore, Maxime
17 Evans, David John
17 Jbilou, Khalide
17 Servedio, Rocco A.
17 Tixeuil, Sébastien
16 De Santis, Alfredo
16 Demetrovics, János
16 Grossi, Roberto
16 Hasegawa, Takemitsu
16 Landau, Gad M.
16 Munro, J. Ian
16 Park, Kunsoo
16 Porat, Ely
16 Sala, Pietro
16 Wang, Huaxiong
15 Benner, Peter
15 Dershowitz, Nachum
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 Devismes, Stéphane
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 Hwang, Minshiang
13 Ishai, Yuval
13 Larmore, Lawrence L.
13 Lecroq, Thierry
13 Link, Sebastian
13 Spirakis, Paul G.
12 Albert, Elvira
12 Conte, Alessio
12 Edelsbrunner, Herbert
12 Engelfriet, Joost
12 Faro, Simone
12 Gennaro, Rosario
12 Katajainen, Jyrki
12 Masuzawa, Toshimitsu
12 Montanari, Ugo G.
12 Nitaj, Abderrahmane
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 Nielson, Flemming
11 Ottmann, Thomas A.
11 Pissis, Solon P.
11 Pnueli, Amir
11 Rahman, Mohammad Sohel
11 Rytter, Wojciech
11 Sugiura, Hiroshi
10 Apt, Krzysztof Rafal
10 Cao, Zhenfu
10 de Boer, Frank S.
10 de Werra, Dominique
10 Dunham, Charles B.
...and 18,356 more Authors
all top 5

Cited in 768 Journals

1,013 Theoretical Computer Science
698 Information Processing Letters
275 Journal of Computer and System Sciences
247 Acta Informatica
240 Artificial Intelligence
230 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
173 European Journal of Operational Research
171 Journal of Computational and Applied Mathematics
168 Distributed Computing
163 Algorithmica
151 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
90 Journal of Automated Reasoning
89 International Journal of Computer & Information Sciences
89 Annals of Operations Research
86 Journal of Cryptology
82 Software. Practice & Experience
81 Mathematics of Computation
80 Annals of Mathematics and Artificial Intelligence
79 Designs, Codes and Cryptography
78 Computer Methods in Applied Mechanics and Engineering
70 Numerische Mathematik
69 Journal of Symbolic Computation
62 Journal of Logical and Algebraic Methods in Programming
61 Journal of Discrete Algorithms
56 Applied Numerical Mathematics
54 International Journal of Theoretical Physics
54 Fuzzy Sets and Systems
54 Cybernetics
53 Quantum Information Processing
52 Journal of Computer Science and Technology
52 Formal Methods in System Design
50 Journal of Discrete Mathematical Sciences & Cryptography
49 Machine Learning
49 The Journal of Logic and Algebraic Programming
48 Journal of Optimization Theory and Applications
47 Discrete Mathematics
44 Journal of Mathematical Analysis and Applications
44 Calcolo
44 Cybernetics and Systems Analysis
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
38 Theory and Practice of Logic Programming
37 Science of Computer Programming
37 Numerical Algorithms
37 Communications in Statistics. Simulation and Computation
37 Journal of Statistical Computation and Simulation
37 Parallel Algorithms and Applications
36 RAIRO, Informatique Théorique
36 International Journal of Parallel Programming
36 MSCS. Mathematical Structures in Computer Science
35 Automatica
35 Mathematical Systems Theory
33 Operations Research Letters
33 International Journal of Production Research
32 Mathematical Problems in Engineering
32 Theory of Computing Systems
31 International Journal of Systems Science
31 Applied Mathematical Modelling
31 Communications in Statistics. Theory and Methods
31 Journal of Combinatorial Optimization
30 SIAM Journal on Computing
30 Discrete & Computational Geometry
30 Constraints
29 Mathematical Programming. Series A. Series B
28 Annals of Pure and Applied Logic
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 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
22 Wuhan University Journal of Natural Sciences (WUJNS)
...and 668 more Journals
all top 5

Cited in 61 Fields

7,974 Computer science (68-XX)
1,949 Numerical analysis (65-XX)
1,555 Information and communication theory, circuits (94-XX)
1,227 Operations research, mathematical programming (90-XX)
832 Mathematical logic and foundations (03-XX)
736 Combinatorics (05-XX)
494 Statistics (62-XX)
333 Linear and multilinear algebra; matrix theory (15-XX)
282 Number theory (11-XX)
272 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
265 Systems theory; control (93-XX)
264 Biology and other natural sciences (92-XX)
253 Probability theory and stochastic processes (60-XX)
229 Quantum theory (81-XX)
219 Ordinary differential equations (34-XX)
176 Partial differential equations (35-XX)
169 Fluid mechanics (76-XX)
138 Approximations and expansions (41-XX)
125 Convex and discrete geometry (52-XX)
119 Order, lattices, ordered algebraic structures (06-XX)
107 Mechanics of deformable solids (74-XX)
71 Calculus of variations and optimal control; optimization (49-XX)
70 Functions of a complex variable (30-XX)
68 Mechanics of particles and systems (70-XX)
62 Category theory; homological algebra (18-XX)
60 Field theory and polynomials (12-XX)
60 Dynamical systems and ergodic theory (37-XX)
53 History and biography (01-XX)
52 Group theory and generalizations (20-XX)
51 Real functions (26-XX)
49 Algebraic geometry (14-XX)
44 Statistical mechanics, structure of matter (82-XX)
40 Classical thermodynamics, heat transfer (80-XX)
39 General and overarching topics; collections (00-XX)
38 General topology (54-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)
23 Integral equations (45-XX)
21 Commutative algebra (13-XX)
21 Integral transforms, operational calculus (44-XX)
20 Operator theory (47-XX)
18 Optics, electromagnetic theory (78-XX)
15 Difference and functional equations (39-XX)
15 Differential geometry (53-XX)
13 Associative rings and algebras (16-XX)
12 Algebraic topology (55-XX)
12 Manifolds and cell complexes (57-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