×

zbMATH — the first resource for mathematics

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 J.
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

825 Publications have been cited 13,864 times in 12,177 Documents Cited by Year
A method for obtaining digital signatures and public-key cryptosystems. Zbl 0368.94005
Rivest, R. L.; Shamir, A.; Adleman, L.
669
1978
How to share a secret. Zbl 0414.94021
Shamir, Adi
657
1979
A theory of the learnable. Zbl 0587.68077
Valiant, L. G.
546
1984
An axiomatic basis for computer programming. Zbl 0179.23105
Hoare, C. A. R.
466
1969
Algorithm 432: Solution of the matrix equation \(AX + XB = C\). Zbl 1372.65121
Bartels, R. H.; Stewart, G. W.
376
1972
A machine program for theorem-proving. Zbl 0217.54002
Davis, M.; Logemann, G.; Loveland, D.
345
1962
The automatic integration of ordinary differential equations. Zbl 0217.21701
Gear, C. W.
320
1971
Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027
Lamport, Leslie
302
1978
Maintaining knowledge about temporal intervals. Zbl 0519.68079
Allen, James F.
298
1983
Communicating sequential processes. Zbl 0383.68028
Hoare, C. A. R.
293
1978
A relational model of data for large shared data banks. Zbl 0207.18003
Codd, E. F.
288
1970
Self-stabilizing systems in spite of distributed control. Zbl 0305.68048
Dijkstra, Edsger W.
263
1974
Multidimensional binary search trees used for associative searching. Zbl 0306.68061
Bentley, Jon Louis
229
1975
Efficient string matching: an aid to bibliographic search. Zbl 0301.68048
Aho, Alfred V.; Corasick, Margaret J.
197
1975
A fast string searching algorithm. Zbl 1219.68165
Boyer, Robert S.; Moore, J. Strother
182
1977
New methods to color the vertices of a graph. Zbl 0394.05022
Brelaz, Daniel
177
1979
Finding all cliques of an undirected graph. Zbl 0261.68018
Bron, Coen; Kerbosch, Joep
154
1973
Guarded commands, nondeterminacy and formal derivation of programs. Zbl 0308.68017
Dijkstra, Edsger W.
142
1975
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
134
1979
Scheduling independent tasks to reduce mean finishing time. Zbl 0283.68039
Bruno, J.; Coffman, E. G. jun.; Sethi, R.
124
1974
An approximate method for generating asymmetric random variables. Zbl 0273.65004
Ramberg, John S.; Schmeiser, Bruce W.
115
1974
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Zbl 0383.68013
Backus, John
113
1978
Convex hulls of finite sets of points in two and three dimensions. Zbl 0342.68030
Preparata, F. P.; Hong, S. J.
102
1977
Formal verification of parallel programs. Zbl 0329.68016
Keller, Robert M.
101
1976
A linear space algorithm for computing maximal common subsequences. Zbl 0301.68042
Hirschberg, D. S.
100
1975
An efficient context-free parsing algorithm. Zbl 0185.43401
Earley, J.
97
1970
A fast algorithm for computing longest common subsequences. Zbl 0354.68078
Hunt, James W.; Szymanski, Thomas G.
92
1977
Using encryption for authentication in large networks of computers. Zbl 0387.68003
Needham, Roger M.; Schroeder, Michael D.
90
1978
Use of the Hough transformation to detect lines and curves in pictures. Zbl 1296.94027
Duda, Richard O.; Hart, Peter E.
86
1972
Regular expression search algorithm. Zbl 0164.46205
Thompson, Ken
84
1968
Multidimensional divide-and-conquer. Zbl 0434.68049
Bentley, Jon Louis
83
1980
A modified Newton method for polynomials. Zbl 0148.39004
Ehrlich, L. W.
81
1967
Computational algorithms for closed queueing networks with exponential servers. Zbl 0261.68031
Buzen, Jeffrey P.
78
1973
Space/time trade-offs in hash coding with allowable errors. Zbl 0195.47003
Bloom, Burton H.
73
1970
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.
60
1976
A new solution of Dijkstra’s concurrent programming problem. Zbl 0281.68004
Lamport, Leslie
60
1974
Recursive functions of symbolic expressions and their computation by machine. I. Zbl 0101.10413
McCarthy, John
59
1960
Symbolic execution and program testing. Zbl 0329.68018
King, James C.
57
1976
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.
56
1987
A vector space model for automatic indexing. Zbl 0313.68082
Salton, G.; Wong, A.; Yang, C. S.
54
1975
Program development by stepwise refinement. Zbl 0214.43005
Wirth, N.
54
1971
Efficient generation of the binary reflected Gray code and its applications. Zbl 0333.94006
Bitner, James R.; Ehrlich, Gideon; Reingold, Edward M.
53
1976
A unifying look at data structures. Zbl 0434.68047
Vuillemin, Jean
51
1980
Monitors: An operating system structuring concept. Zbl 0308.68029
Hoare, C. A. R.
51
1974
A note on a method for generating points uniformly on \(N\)-dimensional spheres. Zbl 0086.11605
Muller, Mervin E.
51
1959
Synthesizing constraint expressions. Zbl 0386.68065
Freuder, Eugene C.
50
1978
An approximate method for generating symmetric random variables. Zbl 0244.65005
Ramberg, John S.; Schmeiser, Bruce W.
50
1972
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.
47
1966
A data structure for manipulating priority queues. Zbl 0371.68011
Vuillemin, Jean
47
1978
Implementing Clenshaw-Curtis quadrature. I: Methodology and experience. II: Computing the cosine transformation. Zbl 0234.65024
Gentleman, W. Morven
47
1972
The simplex method of linear programming using LU decomposition. Zbl 0181.19104
Bartels, R. H.; Golub, G. H.
46
1969
Topological sorting of large networks. Zbl 0106.32602
Kahn, A. B.
46
1962
Covering edges by cliques with regard to keyword conflicts and intersection graphs. Zbl 0367.68035
Kou, L. T.; Stockmeyer, L. J.; Wong, C. K.
43
1978
A simple automatic derivative evaluation program. Zbl 0131.34602
Wengert, R. E.
43
1964
A correspondence between ALGOL 60 and Church’s Lambda-notation. I, II. Zbl 0134.33403
Landin, P. J.
43
1965
Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010
Owicki, Susan; Gries, David
42
1976
Simple LR(k) grammars. Zbl 0225.68038
DeRemer, Franklin L.
42
1971
Parallel methods for integrating ordinary differential equations. Zbl 0134.32804
Nievergelt, J.
42
1964
On self-organizing sequential search heuristics. Zbl 0317.68025
Rivest, Ronald
39
1976
The parallel execution of DO loops. Zbl 0273.68012
Lamport, Leslie
39
1974
The next 700 programming languages. Zbl 0149.12505
Landin, P. J.
39
1966
Abstract data types and software validation. Zbl 0387.68012
Guttag, John V.; Horowitz, Ellis; Musser, David R.
38
1978
Plane-sweep algorithms for intersecting geometric figures. Zbl 0491.68075
Nievergelt, J.; Preparata, F. P.
37
1982
Optimal paths in graphs with stochastic or multidimensional weights. Zbl 0526.90085
Loui, Ronald Prescott
37
1983
Certification of programs for secure information flow. Zbl 0361.68033
Denning, Dorothy E.; Denning, Peter J.
37
1977
Legged robots. Zbl 0709.70504
Raibert, Marc H.
37
1986
The denotational semantics of programming languages. Zbl 0337.68010
Tennent, R. D.
36
1976
Reduction: A method of proving properties of parallel programs. Zbl 0316.68015
Lipton, Richard J.
35
1975
A numbering system for binary trees. Zbl 0345.68025
Knott, Gary D.
35
1977
A locally adaptive data compression scheme. Zbl 0648.94007
Bentley, Jon Louis; Sleator, Daniel D.; Tarjan, Robert E.; Wei, Victor K.
35
1986
A lattice model of secure information flow. Zbl 0322.68034
Denning, Dorothy E.
34
1976
Determiming the minimum-area encasing rectangle for an arbitrary closed curve. Zbl 0308.68084
Freeman, H.; Shapira, R.
34
1975
On the approximation of curves by line segments using dynamic programming. Zbl 0100.12901
Bellman, Richard
34
1961
Anomalies in parallel branch-and-bound algorithms. Zbl 0587.68032
Lai, Ten-Hwang; Sahni, Sartaj
33
1984
Expected time bounds for selection. Zbl 0296.68049
Floyd, Robert W.; Rivest, Ronald L.
33
1975
On the computer enumeration of finite topologies. Zbl 0166.01003
Evans, J. W.; Harary, Frank; Lynn, M. S.
33
1967
Euler: A generalization of ALGOL, and its formal definition. I, II. Zbl 0141.14302
Wirth, N.; Weber, H.
32
1966
Efficient parallel algorithms for some graph problems. Zbl 0485.68056
Chin, Francis Y.; Lam, John; Chen, I-Ngo
32
1982
Computing connected components on parallel computers. Zbl 0429.68061
Hirschberg, D. S.; Chandra, A. K.; Sarwate, D. V.
30
1979
An exponential method of numerical integration of ordinary differential equations. Zbl 0117.11204
Pope, D. A.
30
1963
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.
29
1971
An optimal real-time algorithm for planar convex hulls. Zbl 0404.68069
Preparata, F. P.
28
1979
Mechanical program analysis. Zbl 0306.68008
Wegbreit, Ben
28
1975
A syntax directed compiler for ALGOL 60. Zbl 0103.34904
Irons, Edgar T.
28
1961
Min-max heaps and generalized priority queues. Zbl 0642.68055
Atkinson, M. D.; Sack, J.-R.; Santoro, N.; Strothotte, T.
28
1986
Decentralized extrema-finding in circular configurations of processors. Zbl 0444.68022
Hirschberg, D. S.; Sinclair, J. B.
27
1980
The secant method for simultaneous nonlinear equations. Zbl 0093.13202
Wolfe, Philip
27
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
Secure communications over insecure channels. Zbl 1342.94085
Merkle, Ralph C.
27
1978
SIMULA - an ALGOL-based simulation language. Zbl 0139.32903
Dahl, O. J.; Nygaard, K.
26
1966
A linear algorithm for incremental digital display of circular arcs. Zbl 0342.68058
Bresenham, Jack
25
1977
On the complexity of computing the measure of \(\cup [a_i,b_i]\). Zbl 0378.68032
Fredman, Michael L.; Weide, Bruce
25
1978
Algorithm = logic + control. Zbl 0404.68010
Kowalski, Robert
25
1979
Reentrant polygon clipping. Zbl 0271.68065
Sutherland, Ivan E.; Hodgman, Gary W.
25
1974
Inductive methods for proving properties of programs. Zbl 0278.68019
Manna, Zohar; Ness, Stephen; Vuillemin, Jean
25
1973
A fast procedure for generating normal random variables. Zbl 0127.09005
Marsaglia, G.; MacLaren, M. D.; Bray, T. A.
25
1964
Implementing quicksort programs. Zbl 0386.68058
Sedgewick, Robert
24
1978
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.
56
1987
Generality in artificial intelligence. Zbl 0644.68004
McCarthy, John
21
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
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
Walsh-spectral test for GFSR pseudorandom numbers. Zbl 0632.65003
Tezuka, Shu
2
1987
Legged robots. Zbl 0709.70504
Raibert, Marc H.
37
1986
A locally adaptive data compression scheme. Zbl 0648.94007
Bentley, Jon Louis; Sleator, Daniel D.; Tarjan, Robert E.; Wei, Victor K.
35
1986
Min-max heaps and generalized priority queues. Zbl 0642.68055
Atkinson, M. D.; Sack, J.-R.; Santoro, N.; Strothotte, T.
28
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.
546
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.
20
1984
Faster methods for random sampling. Zbl 0595.65008
Vitter, Jeffrey Scott
8
1984
Optimal pagination of B-trees with variable-length items. Zbl 0587.68061
Diehr, George; Faaland, Bruce
3
1984
Predicative programming. II. Zbl 0593.68011
Hehner, Eric C. R.
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.
298
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
15
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.
7
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
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
Balancing binary trees by international path reduction. Zbl 0587.68060
Gonnet, Gaston H.
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
32
1982
An effective way to represent quadtrees. Zbl 0504.68057
Gargantini, Irene
17
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.
11
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
83
1980
A unifying look at data structures. Zbl 0434.68047
Vuillemin, Jean
51
1980
Decentralized extrema-finding in circular configurations of processors. Zbl 0444.68022
Hirschberg, D. S.; Sinclair, J. B.
27
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
657
1979
New methods to color the vertices of a graph. Zbl 0394.05022
Brelaz, Daniel
177
1979
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
134
1979
Computing connected components on parallel computers. Zbl 0429.68061
Hirschberg, D. S.; Chandra, A. K.; Sarwate, D. V.
30
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
25
1979
An improved algorithm for decentralized extrema-finding in circular configurations of processes. Zbl 0394.68023
Chang, Ernest; Roberts, Rosemary
24
1979
Storing a sparse table. Zbl 0414.68038
Tarjan, Robert Endre; Yao, Andrew Chi-Chih
23
1979
On improving the worst case running time of the Boyer-Moore string matching algorithm. Zbl 0413.68041
Galil, Zvi
17
1979
Global optimization by suppression of partial redundancies. Zbl 0393.68010
Morel, E.; Renvoise, C.
12
1979
Updating mean and variance estimates: An improved method. Zbl 0419.62003
West, D. H. D.
8
1979
Optimal storage allocation for serial files. Zbl 0393.68024
Mendelson, Haim; Pliskin, Joseph S.; Yechiali, Uri
6
1979
Reasoning about arrays. Zbl 0394.68009
Reynolds, John C.
6
1979
High level programming for distributed computing. Zbl 0407.68017
Feldman, Jerome A.
6
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
Computing standard deviations: Accuracy. Zbl 0427.65097
Chan, Tony F.; Lewis, John Gregg
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
Comments on Perfect hashing functions: A single probe retrieving method for static sets. Zbl 0393.68069
Anderson, M. R.; Anderson, M. G.
1
1979
Synchronization with eventcounts and sequencers. Zbl 0393.68025
Reed, David P.; Kanodia, Rajendra K.
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.
669
1978
Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027
Lamport, Leslie
302
1978
...and 725 more Documents
all top 5

Cited by 17,352 Authors

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

Cited in 736 Journals

998 Theoretical Computer Science
695 Information Processing Letters
274 Journal of Computer and System Sciences
246 Acta Informatica
236 Artificial Intelligence
220 Information and Computation
215 Information Sciences
209 Discrete Applied Mathematics
198 Applied Mathematics and Computation
197 International Journal of Computer Mathematics
187 Computers & Mathematics with Applications
173 Computing
170 European Journal of Operational Research
165 Journal of Computational and Applied Mathematics
163 Distributed Computing
153 Algorithmica
137 Journal of Computational Physics
130 Formal Aspects of Computing
124 BIT
117 BIT. Nordisk Tidskrift for Informationsbehandling
114 Computers & Operations Research
111 Linear Algebra and its Applications
107 International Journal of Foundations of Computer Science
103 Pattern Recognition
89 International Journal of Computer & Information Sciences
89 Journal of Automated Reasoning
88 Annals of Operations Research
82 Software. Practice & Experience
82 Journal of Cryptology
80 Mathematics of Computation
79 Annals of Mathematics and Artificial Intelligence
77 Designs, Codes and Cryptography
74 Computer Methods in Applied Mechanics and Engineering
70 Numerische Mathematik
69 Journal of Symbolic Computation
61 Journal of Discrete Algorithms
57 Journal of Logical and Algebraic Methods in Programming
54 Fuzzy Sets and Systems
54 Cybernetics
54 Applied Numerical Mathematics
53 Quantum Information Processing
52 Journal of Computer Science and Technology
49 Formal Methods in System Design
49 The Journal of Logic and Algebraic Programming
48 Journal of Optimization Theory and Applications
46 Discrete Mathematics
46 Machine Learning
44 Journal of Mathematical Analysis and Applications
44 Calcolo
43 Journal of Parallel and Distributed Computing
43 Cybernetics and Systems Analysis
42 Computational Geometry
42 Computational Statistics and Data Analysis
41 International Journal of Theoretical Physics
41 Mathematical and Computer Modelling
39 New Generation Computing
38 Theory and Practice of Logic Programming
37 Science of Computer Programming
37 Journal of Functional Programming
37 Parallel Algorithms and Applications
36 RAIRO, Informatique Théorique
36 International Journal of Parallel Programming
36 Numerical Algorithms
35 Mathematical Systems Theory
35 MSCS. Mathematical Structures in Computer Science
34 Automatica
34 Journal of Statistical Computation and Simulation
33 Operations Research Letters
33 International Journal of Production Research
33 SIAM Journal on Scientific Computing
32 Communications in Statistics. Simulation and Computation
32 Mathematical Problems in Engineering
32 Theory of Computing Systems
31 International Journal of Systems Science
31 Applied Mathematical Modelling
29 Discrete & Computational Geometry
29 Journal of Combinatorial Optimization
27 Journal of Soviet Mathematics
27 Annals of Pure and Applied Logic
27 Mathematical Programming. Series A. Series B
27 Data Mining and Knowledge Discovery
26 Applied Mathematics Letters
26 Constraints
26 Journal of Scheduling
25 Communications in Statistics. Theory and Methods
25 Applicable Algebra in Engineering, Communication and Computing
25 Journal of Discrete Mathematical Sciences & Cryptography
24 Computer Aided Geometric Design
23 International Journal of Control
23 Kybernetika
23 Mathematical Programming
23 Neural Computation
23 RAIRO. Informatique Théorique et Applications
23 International Journal of Parallel, Emergent and Distributed Systems
22 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
22 Finite Fields and their Applications
22 Wuhan University Journal of Natural Sciences (WUJNS)
21 Journal of the Franklin Institute
21 Mathematical Biosciences
21 SIAM Journal on Computing
...and 636 more Journals
all top 5

Cited in 61 Fields

7,603 Computer science (68-XX)
1,859 Numerical analysis (65-XX)
1,385 Information and communication theory, circuits (94-XX)
1,183 Operations research, mathematical programming (90-XX)
772 Mathematical logic and foundations (03-XX)
694 Combinatorics (05-XX)
457 Statistics (62-XX)
311 Linear and multilinear algebra; matrix theory (15-XX)
265 Number theory (11-XX)
257 Systems theory; control (93-XX)
254 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
248 Biology and other natural sciences (92-XX)
239 Probability theory and stochastic processes (60-XX)
218 Ordinary differential equations (34-XX)
202 Quantum theory (81-XX)
163 Partial differential equations (35-XX)
151 Fluid mechanics (76-XX)
136 Approximations and expansions (41-XX)
117 Convex and discrete geometry (52-XX)
114 Order, lattices, ordered algebraic structures (06-XX)
102 Mechanics of deformable solids (74-XX)
68 Functions of a complex variable (30-XX)
65 Mechanics of particles and systems (70-XX)
63 Calculus of variations and optimal control; optimization (49-XX)
59 Field theory and polynomials (12-XX)
58 Category theory; homological algebra (18-XX)
57 Dynamical systems and ergodic theory (37-XX)
51 History and biography (01-XX)
50 Group theory and generalizations (20-XX)
50 Real functions (26-XX)
46 Algebraic geometry (14-XX)
40 Statistical mechanics, structure of matter (82-XX)
39 General and overarching topics; collections (00-XX)
37 Classical thermodynamics, heat transfer (80-XX)
36 General topology (54-XX)
35 Geometry (51-XX)
33 General algebraic systems (08-XX)
27 Geophysics (86-XX)
26 Harmonic analysis on Euclidean spaces (42-XX)
25 Special functions (33-XX)
23 Integral equations (45-XX)
21 Integral transforms, operational calculus (44-XX)
20 Commutative algebra (13-XX)
19 Operator theory (47-XX)
18 Optics, electromagnetic theory (78-XX)
14 Difference and functional equations (39-XX)
14 Differential geometry (53-XX)
12 Manifolds and cell complexes (57-XX)
11 Associative rings and algebras (16-XX)
11 Algebraic topology (55-XX)
11 Mathematics education (97-XX)
8 Relativity and gravitational theory (83-XX)
7 Sequences, series, summability (40-XX)
6 Measure and integration (28-XX)
6 Functional analysis (46-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