×

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)
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 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.
3 Stein, Marvin L.
...and 1,316 more Authors

Publications by Year

Citations contained in zbMATH Open

824 Publications have been cited 13,716 times in 12,041 Documents Cited by Year
A method for obtaining digital signatures and public-key cryptosystems. Zbl 0368.94005
Rivest, R. L.; Shamir, A.; Adleman, L.
659
1978
How to share a secret. Zbl 0414.94021
Shamir, Adi
637
1979
A theory of the learnable. Zbl 0587.68077
Valiant, L. G.
538
1984
An axiomatic basis for computer programming. Zbl 0179.23105
Hoare, C. A. R.
461
1969
Algorithm 432: Solution of the matrix equation \(AX + XB = C\). Zbl 1372.65121
Bartels, R. H.; Stewart, G. W.
370
1972
A machine program for theorem-proving. Zbl 0217.54002
Davis, M.; Logemann, G.; Loveland, D.
343
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
296
1978
Maintaining knowledge about temporal intervals. Zbl 0519.68079
Allen, James F.
291
1983
Communicating sequential processes. Zbl 0383.68028
Hoare, C. A. R.
288
1978
A relational model of data for large shared data banks. Zbl 0207.18003
Codd, E. F.
287
1970
Self-stabilizing systems in spite of distributed control. Zbl 0305.68048
Dijkstra, Edsger W.
262
1974
Multidimensional binary search trees used for associative searching. Zbl 0306.68061
Bentley, Jon Louis
218
1975
Efficient string matching: an aid to bibliographic search. Zbl 0301.68048
Aho, Alfred V.; Corasick, Margaret J.
194
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
176
1979
Finding all cliques of an undirected graph. Zbl 0261.68018
Bron, Coen; Kerbosch, Joep
151
1973
Guarded commands, nondeterminacy and formal derivation of programs. Zbl 0308.68017
Dijkstra, Edsger W.
141
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.
123
1974
An approximate method for generating asymmetric random variables. Zbl 0273.65004
Ramberg, John S.; Schmeiser, Bruce W.
114
1974
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Zbl 0383.68013
Backus, John
112
1978
Convex hulls of finite sets of points in two and three dimensions. Zbl 0342.68030
Preparata, F. P.; Hong, S. J.
102
1977
A linear space algorithm for computing maximal common subsequences. Zbl 0301.68042
Hirschberg, D. S.
100
1975
Formal verification of parallel programs. Zbl 0329.68016
Keller, Robert M.
100
1976
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.
90
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.
85
1972
Regular expression search algorithm. Zbl 0164.46205
Thompson, Ken
82
1968
Multidimensional divide-and-conquer. Zbl 0434.68049
Bentley, Jon Louis
81
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
59
1974
Recursive functions of symbolic expressions and their computation by machine. I. Zbl 0101.10413
McCarthy, John
59
1960
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
Symbolic execution and program testing. Zbl 0329.68018
King, James C.
54
1976
A vector space model for automatic indexing. Zbl 0313.68082
Salton, G.; Wong, A.; Yang, C. S.
53
1975
Efficient generation of the binary reflected Gray code and its applications. Zbl 0333.94006
Bitner, James R.; Ehrlich, Gideon; Reingold, Edward M.
53
1976
Program development by stepwise refinement. Zbl 0214.43005
Wirth, N.
53
1971
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
An approximate method for generating symmetric random variables. Zbl 0244.65005
Ramberg, John S.; Schmeiser, Bruce W.
50
1972
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
47
1978
Flow diagrams, Turing machines and languages with only two formation rules. Zbl 0145.24204
Böhm, C.; Jacopini, G.
47
1966
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
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
Covering edges by cliques with regard to keyword conflicts and intersection graphs. Zbl 0367.68035
Kou, L. T.; Stockmeyer, L. J.; Wong, C. K.
42
1978
Parallel methods for integrating ordinary differential equations. Zbl 0134.32804
Nievergelt, J.
42
1964
Simple LR(k) grammars. Zbl 0225.68038
DeRemer, Franklin L.
42
1971
Topological sorting of large networks. Zbl 0106.32602
Kahn, A. B.
41
1962
The parallel execution of DO loops. Zbl 0273.68012
Lamport, Leslie
39
1974
On self-organizing sequential search heuristics. Zbl 0317.68025
Rivest, Ronald
39
1976
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
Optimal paths in graphs with stochastic or multidimensional weights. Zbl 0526.90085
Loui, Ronald Prescott
37
1983
Plane-sweep algorithms for intersecting geometric figures. Zbl 0491.68075
Nievergelt, J.; Preparata, F. P.
37
1982
Legged robots. Zbl 0709.70504
Raibert, Marc H.
37
1986
The denotational semantics of programming languages. Zbl 0337.68010
Tennent, R. D.
36
1976
Certification of programs for secure information flow. Zbl 0361.68033
Denning, Dorothy E.; Denning, Peter J.
36
1977
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
Expected time bounds for selection. Zbl 0296.68049
Floyd, Robert W.; Rivest, Ronald L.
33
1975
Determiming the minimum-area encasing rectangle for an arbitrary closed curve. Zbl 0308.68084
Freeman, H.; Shapira, R.
33
1975
Anomalies in parallel branch-and-bound algorithms. Zbl 0587.68032
Lai, Ten-Hwang; Sahni, Sartaj
33
1984
On the approximation of curves by line segments using dynamic programming. Zbl 0100.12901
Bellman, Richard
33
1961
Efficient parallel algorithms for some graph problems. Zbl 0485.68056
Chin, Francis Y.; Lam, John; Chen, I-Ngo
32
1982
Euler: A generalization of ALGOL, and its formal definition. I, II. Zbl 0141.14302
Wirth, N.; Weber, H.
32
1966
On the computer enumeration of finite topologies. Zbl 0166.01003
Evans, J. W.; Harary, Frank; Lynn, M. S.
32
1967
Reduction: A method of proving properties of parallel programs. Zbl 0316.68015
Lipton, Richard J.
31
1975
Computing connected components on parallel computers. Zbl 0429.68061
Hirschberg, D. S.; Chandra, A. K.; Sarwate, D. V.
30
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.
29
1971
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
An exponential method of numerical integration of ordinary differential equations. Zbl 0117.11204
Pope, D. A.
28
1963
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
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
Design of a separable transition-diagram compiler. Zbl 0116.09605
Conway, M.
26
1963
SIMULA - an ALGOL-based simulation language. Zbl 0139.32903
Dahl, O. J.; Nygaard, K.
26
1966
Secure communications over insecure channels. Zbl 1342.94085
Merkle, Ralph C.
26
1978
Inductive methods for proving properties of programs. Zbl 0278.68019
Manna, Zohar; Ness, Stephen; Vuillemin, Jean
25
1973
Mechanical program analysis. Zbl 0306.68008
Wegbreit, Ben
25
1975
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
A fast procedure for generating normal random variables. Zbl 0127.09005
Marsaglia, G.; MacLaren, M. D.; Bray, T. A.
25
1964
File organization: The consecutive retrieval property. Zbl 0246.68004
Ghosh, Sakti P.
24
1972
Algorithm = logic + control. Zbl 0404.68010
Kowalski, Robert
24
1979
Implementing quicksort programs. Zbl 0386.68058
Sedgewick, Robert
24
1978
Computing arbitrary functions of encrypted data. Zbl 1315.94074
Gentry, Craig
7
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
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.
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.
538
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.
291
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
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
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
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
Distributed computation on graphs: shortest path algorithms. Zbl 0491.68064
Chandy, K. M.; Misra, J.
16
1982
An effective way to represent quadtrees. Zbl 0504.68057
Gargantini, Irene
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
81
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
637
1979
New methods to color the vertices of a graph. Zbl 0394.05022
Brelaz, Daniel
176
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
24
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.
11
1979
Updating mean and variance estimates: An improved method. Zbl 0419.62003
West, D. H. D.
7
1979
High level programming for distributed computing. Zbl 0407.68017
Feldman, Jerome A.
6
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
Logic and semantic networks. Zbl 0394.68063
Deliyanni, Amaryllis; Kowalski, Robert A.
4
1979
Computing standard deviations: Accuracy. Zbl 0427.65097
Chan, Tony F.; Lewis, John Gregg
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
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
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
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
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
A method for obtaining digital signatures and public-key cryptosystems. Zbl 0368.94005
Rivest, R. L.; Shamir, A.; Adleman, L.
659
1978
Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027
Lamport, Leslie
296
1978
...and 724 more Documents
all top 5

Cited by 17,114 Authors

35 Petković, Miodrag S.
32 Chang, Chin-Chen
27 Kalaba, Robert E.
25 Hoare, C. A. R. Tony
25 Wood, Derick
24 Bergstra, Jan A.
23 Raynal, Michel
22 Montanari, Angelo
21 Amir, Amihood
21 Devroye, Luc P. J. A.
20 Datta, Ajoy Kumar
19 Dolev, Shlomi
19 Ingólfsdóttir, Anna
19 Pardalos, Panos M.
18 Aceto, Luca
18 Lee, Richard Chia-Tung
18 Padró, Carles
18 Sciavicco, Guido
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 Navarro, Gonzalo
15 Benner, Peter
15 Dershowitz, Nachum
15 Meseguer Guaita, José
15 Munro, J. Ian
15 Park, Kunsoo
15 Porat, Ely
15 Srimani, Pradip K.
15 Ullman, Jeffrey David
14 Bshouty, Nader H.
14 Elmasry, Amr
14 Farràs, Oriol
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
14 Wang, Huaxiong
13 Beimel, Amos
13 Devismes, Stéphane
13 Hwang, Min-Shiang
13 Link, Sebastian
13 Spirakis, Paul G.
13 Vardi, Moshe Y.
12 Anisimov, Anatoly V.
12 Edelsbrunner, Herbert
12 Engelfriet, Joost
12 Lecroq, Thierry
12 Simoncini, Valeria
12 Stinson, Douglas Robert
12 Tini, Simone
12 Yang, Chang-Biau
11 Aoe, Jun-ichi
11 Blundo, Carlo
11 Broy, Manfred
11 Cao, Zhenfu
11 Eiter, Thomas
11 Gennaro, Rosario
11 Haussler, David
11 Ibaraki, Toshihide
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 Albert, Elvira
10 de Werra, Dominique
10 Dunham, Charles B.
10 Faro, Simone
10 Feldman, Vitaly
10 Goldreich, Oded
10 Guerraoui, Rachid
10 Hertz, Alain
10 Ishai, Yuval
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
10 Rytter, Wojciech
...and 17,014 more Authors
all top 5

Cited in 727 Journals

993 Theoretical Computer Science
694 Information Processing Letters
274 Journal of Computer and System Sciences
246 Acta Informatica
231 Artificial Intelligence
212 Information and Computation
209 Discrete Applied Mathematics
209 Information Sciences
198 Applied Mathematics and Computation
197 International Journal of Computer Mathematics
187 Computers & Mathematics with Applications
173 Computing
169 European Journal of Operational Research
165 Journal of Computational and Applied Mathematics
161 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
81 Journal of Cryptology
80 Mathematics of Computation
79 Annals of Mathematics and Artificial Intelligence
77 Designs, Codes and Cryptography
71 Computer Methods in Applied Mechanics and Engineering
70 Numerische Mathematik
69 Journal of Symbolic Computation
61 Journal of Discrete Algorithms
55 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
45 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
41 Mathematical and Computer Modelling
40 Computational Statistics and Data Analysis
39 New Generation Computing
38 Theory and Practice of Logic Programming
37 International Journal of Theoretical Physics
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 Journal of Statistical Computation and Simulation
33 Automatica
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
29 Discrete & Computational Geometry
29 Journal of Combinatorial Optimization
28 Applied Mathematical Modelling
27 Journal of Soviet Mathematics
27 Annals of Pure and Applied Logic
27 Mathematical Programming. Series A. Series B
26 Applied Mathematics Letters
26 Constraints
26 Journal of Scheduling
25 Applicable Algebra in Engineering, Communication and Computing
25 Data Mining and Knowledge Discovery
25 Journal of Discrete Mathematical Sciences & Cryptography
24 Computer Aided Geometric Design
24 Communications in Statistics. Theory and Methods
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 International Journal of Intelligent Systems
...and 627 more Journals
all top 5

Cited in 61 Fields

7,530 Computer science (68-XX)
1,849 Numerical analysis (65-XX)
1,354 Information and communication theory, circuits (94-XX)
1,174 Operations research, mathematical programming (90-XX)
766 Mathematical logic and foundations (03-XX)
688 Combinatorics (05-XX)
445 Statistics (62-XX)
309 Linear and multilinear algebra; matrix theory (15-XX)
264 Number theory (11-XX)
254 Systems theory; control (93-XX)
251 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
242 Biology and other natural sciences (92-XX)
235 Probability theory and stochastic processes (60-XX)
217 Ordinary differential equations (34-XX)
197 Quantum theory (81-XX)
162 Partial differential equations (35-XX)
146 Fluid mechanics (76-XX)
134 Approximations and expansions (41-XX)
117 Convex and discrete geometry (52-XX)
113 Order, lattices, ordered algebraic structures (06-XX)
100 Mechanics of deformable solids (74-XX)
68 Functions of a complex variable (30-XX)
64 Mechanics of particles and systems (70-XX)
62 Calculus of variations and optimal control; optimization (49-XX)
58 Field theory and polynomials (12-XX)
58 Category theory; homological algebra (18-XX)
56 Dynamical systems and ergodic theory (37-XX)
50 History and biography (01-XX)
50 Group theory and generalizations (20-XX)
49 Real functions (26-XX)
44 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)
35 Geometry (51-XX)
35 General topology (54-XX)
32 General algebraic systems (08-XX)
25 Special functions (33-XX)
25 Harmonic analysis on Euclidean spaces (42-XX)
25 Geophysics (86-XX)
23 Integral equations (45-XX)
20 Commutative algebra (13-XX)
20 Integral transforms, operational calculus (44-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 Algebraic topology (55-XX)
11 Mathematics education (97-XX)
10 Associative rings and algebras (16-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