×

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: Journal; No longer indexed
Documents Indexed: 1,336 Publications (1957–2021)
References Indexed: 3 Publications with 90 References.
all top 5

Authors

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

Publications by Year

Citations contained in zbMATH Open

861 Publications have been cited 16,991 times in 14,474 Documents Cited by Year
How to share a secret. Zbl 0414.94021
Shamir, Adi
1979
A method for obtaining digital signatures and public-key cryptosystems. Zbl 0368.94005
Rivest, R. L.; Shamir, A.; Adleman, L.
996
1978
A theory of the learnable. Zbl 0587.68077
Valiant, L. G.
652
1984
An axiomatic basis for computer programming. Zbl 0179.23105
Hoare, C. A. R.
583
1969
Algorithm 432: Solution of the matrix equation \(AX + XB = C\). Zbl 1372.65121
Bartels, R. H.; Stewart, G. W.
479
1972
A machine program for theorem-proving. Zbl 0217.54002
Davis, M.; Logemann, G.; Loveland, D.
444
1962
Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027
Lamport, Leslie
390
1978
Maintaining knowledge about temporal intervals. Zbl 0519.68079
Allen, James F.
367
1983
The automatic integration of ordinary differential equations. Zbl 0217.21701
Gear, C. W.
342
1971
Self-stabilizing systems in spite of distributed control. Zbl 0305.68048
Dijkstra, Edsger W.
336
1974
Communicating sequential processes. Zbl 0383.68028
Hoare, C. A. R.
336
1978
A relational model of data for large shared data banks. Zbl 0207.18003
Codd, E. F.
331
1970
Multidimensional binary search trees used for associative searching. Zbl 0306.68061
Bentley, Jon Louis
309
1975
Efficient string matching: an aid to bibliographic search. Zbl 0301.68048
Aho, Alfred V.; Corasick, Margaret J.
237
1975
A fast string searching algorithm. Zbl 1219.68165
Boyer, Robert S.; Moore, J. Strother
209
1977
New methods to color the vertices of a graph. Zbl 0394.05022
Brelaz, Daniel
204
1979
Finding all cliques of an undirected graph. Zbl 0261.68018
Bron, Coen; Kerbosch, Joep
195
1973
Guarded commands, nondeterminacy and formal derivation of programs. Zbl 0308.68017
Dijkstra, Edsger W.
177
1975
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
170
1979
Scheduling independent tasks to reduce mean finishing time. Zbl 0283.68039
Bruno, J.; Coffman, E. G. jun.; Sethi, R.
141
1974
An approximate method for generating asymmetric random variables. Zbl 0273.65004
Ramberg, John S.; Schmeiser, Bruce W.
138
1974
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Zbl 0383.68013
Backus, John
135
1978
Formal verification of parallel programs. Zbl 0329.68016
Keller, Robert M.
128
1976
A linear space algorithm for computing maximal common subsequences. Zbl 0301.68042
Hirschberg, D. S.
118
1975
Convex hulls of finite sets of points in two and three dimensions. Zbl 0342.68030
Preparata, F. P.; Hong, S. J.
116
1977
Space/time trade-offs in hash coding with allowable errors. Zbl 0195.47003
Bloom, Burton H.
115
1970
Using encryption for authentication in large networks of computers. Zbl 0387.68003
Needham, Roger M.; Schroeder, Michael D.
113
1978
A fast algorithm for computing longest common subsequences. Zbl 0354.68078
Hunt, James W.; Szymanski, Thomas G.
112
1977
Regular expression search algorithm. Zbl 0164.46205
Thompson, Ken
111
1968
An efficient context-free parsing algorithm. Zbl 0185.43401
Earley, J.
105
1970
Use of the Hough transformation to detect lines and curves in pictures. Zbl 1296.94027
Duda, Richard O.; Hart, Peter E.
101
1972
Multidimensional divide-and-conquer. Zbl 0434.68049
Bentley, Jon Louis
98
1980
A modified Newton method for polynomials. Zbl 0148.39004
Ehrlich, L. W.
95
1967
Computational algorithms for closed queueing networks with exponential servers. Zbl 0261.68031
Buzen, Jeffrey P.
84
1973
Symbolic execution and program testing. Zbl 0329.68018
King, James C.
82
1976
A new solution of Dijkstra’s concurrent programming problem. Zbl 0281.68004
Lamport, Leslie
79
1974
Topological sorting of large networks. Zbl 0106.32602
Kahn, A. B.
77
1962
A note on a method for generating points uniformly on \(N\)-dimensional spheres. Zbl 0086.11605
Muller, Mervin E.
75
1959
Parallel methods for integrating ordinary differential equations. Zbl 0134.32804
Nievergelt, J.
74
1964
Recursive functions of symbolic expressions and their computation by machine. I. Zbl 0101.10413
McCarthy, John
72
1960
A vector space model for automatic indexing. Zbl 0313.68082
Salton, G.; Wong, A.; Yang, C. S.
71
1975
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.
71
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.
68
1987
Implementing Clenshaw-Curtis quadrature. I: Methodology and experience. II: Computing the cosine transformation. Zbl 0234.65024
Gentleman, W. Morven
63
1972
A unifying look at data structures. Zbl 0434.68047
Vuillemin, Jean
63
1980
Efficient generation of the binary reflected Gray code and its applications. Zbl 0333.94006
Bitner, James R.; Ehrlich, Gideon; Reingold, Edward M.
61
1976
Program development by stepwise refinement. Zbl 0214.43005
Wirth, N.
61
1971
A data structure for manipulating priority queues. Zbl 0371.68011
Vuillemin, Jean
60
1978
Monitors: An operating system structuring concept. Zbl 0308.68029
Hoare, C. A. R.
56
1974
An approximate method for generating symmetric random variables. Zbl 0244.65005
Ramberg, John S.; Schmeiser, Bruce W.
55
1972
A simple automatic derivative evaluation program. Zbl 0131.34602
Wengert, R. E.
55
1964
A lattice model of secure information flow. Zbl 0322.68034
Denning, Dorothy E.
52
1976
Secure communications over insecure channels. Zbl 1342.94085
Merkle, Ralph C.
52
1978
Synthesizing constraint expressions. Zbl 0386.68065
Freuder, Eugene C.
52
1978
Certification of programs for secure information flow. Zbl 0361.68033
Denning, Dorothy E.; Denning, Peter J.
51
1977
Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010
Owicki, Susan; Gries, David
51
1976
Flow diagrams, Turing machines and languages with only two formation rules. Zbl 0145.24204
Böhm, C.; Jacopini, G.
51
1966
Reduction: A method of proving properties of parallel programs. Zbl 0316.68015
Lipton, Richard J.
50
1975
Sorting on a mesh-connected parallel computer. Zbl 0349.68020
Thompson, C. D.; Kung, H. T.
50
1977
Reentrant polygon clipping. Zbl 0271.68065
Sutherland, Ivan E.; Hodgman, Gary W.
49
1974
Covering edges by cliques with regard to keyword conflicts and intersection graphs. Zbl 0367.68035
Kou, L. T.; Stockmeyer, L. J.; Wong, C. K.
49
1978
The simplex method of linear programming using LU decomposition. Zbl 0181.19104
Bartels, R. H.; Golub, G. H.
49
1969
A correspondence between ALGOL 60 and Church’s Lambda-notation. I, II. Zbl 0134.33403
Landin, P. J.
48
1965
The next 700 programming languages. Zbl 0149.12505
Landin, P. J.
47
1966
Abstract data types and software validation. Zbl 0387.68012
Guttag, John V.; Horowitz, Ellis; Musser, David R.
46
1978
Simple LR(k) grammars. Zbl 0225.68038
DeRemer, Franklin L.
43
1971
Legged robots. Zbl 0709.70504
Raibert, Marc H.
42
1986
On self-organizing sequential search heuristics. Zbl 0317.68025
Rivest, Ronald
41
1976
On the approximation of curves by line segments using dynamic programming. Zbl 0100.12901
Bellman, Richard
41
1961
The parallel execution of DO loops. Zbl 0273.68012
Lamport, Leslie
40
1974
Expected time bounds for selection. Zbl 0296.68049
Floyd, Robert W.; Rivest, Ronald L.
39
1975
Determiming the minimum-area encasing rectangle for an arbitrary closed curve. Zbl 0308.68084
Freeman, H.; Shapira, R.
39
1975
Algorithm = logic + control. Zbl 0404.68010
Kowalski, Robert
39
1979
On the computer enumeration of finite topologies. Zbl 0166.01003
Evans, J. W.; Harary, Frank; Lynn, M. S.
38
1967
Anomalies in parallel branch-and-bound algorithms. Zbl 0587.68032
Lai, Ten-Hwang; Sahni, Sartaj
38
1984
Optimal paths in graphs with stochastic or multidimensional weights. Zbl 0526.90085
Loui, Ronald Prescott
38
1983
Plane-sweep algorithms for intersecting geometric figures. Zbl 0491.68075
Nievergelt, J.; Preparata, F. P.
38
1982
The denotational semantics of programming languages. Zbl 0337.68010
Tennent, R. D.
37
1976
Mechanical program analysis. Zbl 0306.68008
Wegbreit, Ben
37
1975
A locally adaptive data compression scheme. Zbl 0648.94007
Bentley, Jon Louis; Sleator, Daniel D.; Tarjan, Robert E.; Wei, Victor K.
37
1986
A numbering system for binary trees. Zbl 0345.68025
Knott, Gary D.
36
1977
An exponential method of numerical integration of ordinary differential equations. Zbl 0117.11204
Pope, D. A.
36
1963
Min-max heaps and generalized priority queues. Zbl 0642.68055
Atkinson, M. D.; Sack, J.-R.; Santoro, N.; Strothotte, T.
35
1986
Efficient parallel algorithms for some graph problems. Zbl 0485.68056
Chin, Francis Y.; Lam, John; Chen, I-Ngo
33
1982
Euler: A generalization of ALGOL, and its formal definition. I, II. Zbl 0141.14302
Wirth, N.; Weber, H.
33
1966
Computing connected components on parallel computers. Zbl 0429.68061
Hirschberg, D. S.; Chandra, A. K.; Sarwate, D. V.
33
1979
The secant method for simultaneous nonlinear equations. Zbl 0093.13202
Wolfe, Philip
32
1959
Multiple shooting method for two-point boundary value problems. Zbl 0106.31903
Morrison, David D.; Riley, James D.; Zancanaro, J. F.
32
1962
Numerical solution of nonlinear two-point boundary problems by finite difference methods. Zbl 0123.11805
Holt, James F.
32
1964
An improved algorithm for decentralized extrema-finding in circular configurations of processes. Zbl 0394.68023
Chang, Ernest; Roberts, Rosemary
32
1979
A man-machine approach toward solving the traveling salesman problem. Zbl 0217.27302
Krolak, P.; Felts, W.; Marble, G.
31
1971
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.
31
1967
An improved equivalence algorithm. Zbl 0129.10302
Galler, B. A.; Fisher, M. J.
31
1964
SIMULA - an ALGOL-based simulation language. Zbl 0139.32903
Dahl, O. J.; Nygaard, K.
31
1966
An optimal real-time algorithm for planar convex hulls. Zbl 0404.68069
Preparata, F. P.
31
1979
Decentralized extrema-finding in circular configurations of processors. Zbl 0444.68022
Hirschberg, D. S.; Sinclair, J. B.
31
1980
A syntax directed compiler for ALGOL 60. Zbl 0103.34904
Irons, Edgar T.
30
1961
Inductive methods for proving properties of programs. Zbl 0278.68019
Manna, Zohar; Ness, Stephen; Vuillemin, Jean
28
1973
A linear algorithm for incremental digital display of circular arcs. Zbl 0342.68058
Bresenham, Jack
28
1977
Design of a separable transition-diagram compiler. Zbl 0116.09605
Conway, M.
28
1963
\(\mathrm{MIP}^*=\mathrm{RE}\). Zbl 1503.68075
Ji, Zhengfeng; Natarajan, Anand; Vidick, Thomas; Wright, John; Yuen, Henry
13
2021
Computing arbitrary functions of encrypted data. Zbl 1315.94074
Gentry, Craig
17
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.
68
1987
Generality in artificial intelligence. Zbl 0644.68004
McCarthy, John
24
1987
ARIADNE: Pattern-directed inference and hierarchical abstraction in protein structure recognition. Zbl 0642.92005
Lathrop, Richard H.; Webster, Teresa A.; Smith, Temple F.
4
1987
Processing encrypted data. Zbl 0709.94530
Ahituv, Niv; Lapid, Yeheskel; Neumann, Seev
4
1987
Walsh-spectral test for GFSR pseudorandom numbers. Zbl 0632.65003
Tezuka, Shu
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
Legged robots. Zbl 0709.70504
Raibert, Marc H.
42
1986
A locally adaptive data compression scheme. Zbl 0648.94007
Bentley, Jon Louis; Sleator, Daniel D.; Tarjan, Robert E.; Wei, Victor K.
37
1986
Min-max heaps and generalized priority queues. Zbl 0642.68055
Atkinson, M. D.; Sack, J.-R.; Santoro, N.; Strothotte, T.
35
1986
Combinatorics, complexity, and randomness. Zbl 0642.68004
Karp, Richard M.
5
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
The orders of equidistribution of subsequences of some asymptotically random sequences. Zbl 0641.65007
Koopman, Raymond F.
1
1986
Data-flow algorithms for parallel matrix computations. Zbl 0606.65029
O’Leary, Dianne P.; Stewart, G. W.
20
1985
A theory of the learnable. Zbl 0587.68077
Valiant, L. G.
652
1984
Anomalies in parallel branch-and-bound algorithms. Zbl 0587.68032
Lai, Ten-Hwang; Sahni, Sartaj
38
1984
Predicative programming. I. Zbl 0593.68010
Hehner, Eric C. R.
25
1984
Faster methods for random sampling. Zbl 0595.65008
Vitter, Jeffrey Scott
10
1984
Predicative programming. II. Zbl 0593.68011
Hehner, Eric C. R.
6
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.
367
1983
Optimal paths in graphs with stochastic or multidimensional weights. Zbl 0526.90085
Loui, Ronald Prescott
38
1983
The k-distribution of generalized feedback shift register pseudorandom numbers. Zbl 0515.68047
Fushimi, M.; Tezuka, S.
21
1983
Matings in matrices. Zbl 0519.68078
Bibel, Wolfgang
20
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
11
1983
An overview of computational complexity. Zbl 0622.68039
Cook, Stephen A.
10
1983
On-the-fly optimization of data structures. Zbl 0519.68025
Kessels, J. L. W.
9
1983
A general-purpose algorithm for analyzing concurrent programs. Zbl 0516.68027
Taylor, Richard N.
6
1983
Antithetic variates revisited. Zbl 0535.65100
Fishman, George S.; Huang, Baosheng D.
6
1983
Vector Fortran for numerical problems on CRAY-1. Zbl 0519.68043
Petersen, W. P.
5
1983
Estimating block accesses in database organizations: A closed noniterative formula. Zbl 0519.68080
Whang, Kyu-Young; Wiederhold, Gio; Sagalowicz, Daniel
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
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.
38
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
23
1982
Distributed computation on graphs: shortest path algorithms. Zbl 0491.68064
Chandy, K. M.; Misra, J.
16
1982
Approximation algorithms for convex hulls. Zbl 0466.68059
Bentley, Jon Louis; Faust, Mark G.; Preparata, Franco P.
15
1982
Generating gamma variates by a modified rejection technique. Zbl 0472.65005
Ahrens, Joachim H.; Dieter, Ulrich
14
1982
The solution for the branching factor of the alpha-beta pruning algorithm and its optimality. Zbl 0486.68056
Pearl, Judea
11
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
A critique of the foundations of Hoare style programming logics. Zbl 0495.68018
O’Donnell, Michael J.
6
1982
Computer-assisted microanalysis of programs. Zbl 0491.68036
Cohen, Jacques
6
1982
On the emulation of flowcharts by decision tables. Zbl 0496.68015
Lew, Art
4
1982
Three new combination algorithms with the minimal change property. Zbl 0486.68070
Lam, Clement W. H.; Soicher, Leonard H.
3
1982
Combinatorially implosive algorithms. Zbl 0491.68061
Kornfeld, William A.
3
1982
The distribution of granule accesses made by database transactions. Zbl 0491.68100
Langer, A. M.; Shum, A. W.
2
1982
On the asymptotic behavior of time-sharing systems. Zbl 0493.68008
Lipsky, Lester; Lieu, Chee-Min Henry; Tehranipour, Abolfazl; Van de Liefvoort, Appie
1
1982
An on-line algorithm for fitting straight lines between data ranges. Zbl 0464.68074
O’Rourke, Joseph
21
1981
Shuffle languages, Petri nets, and context-sensitive grammars. Zbl 0471.68063
Gischer, Jay
18
1981
Reciprocal hashing: A method for generating minimal perfect hashing functions. Zbl 0466.68051
Jaeschke, G.
15
1981
A sublinear additive sieve for finding prime numbers. Zbl 0454.68084
Pritchard, Paul
11
1981
The emperor’s old clothes. Zbl 1507.68064
Hoare, Charles Antony Richard
1
1981
Multidimensional divide-and-conquer. Zbl 0434.68049
Bentley, Jon Louis
98
1980
A unifying look at data structures. Zbl 0434.68047
Vuillemin, Jean
63
1980
Decentralized extrema-finding in circular configurations of processors. Zbl 0444.68022
Hirschberg, D. S.; Sinclair, J. B.
31
1980
On folk theorems. Zbl 0432.68009
Harel, David
20
1980
Information transfer and area-time tradeoffs for VLSI multiplication. Zbl 0423.68009
Abelson, Harold; Andreae, Peter
9
1980
Region representation: Quadtrees from boundary codes. Zbl 0429.68074
Samet, Hanan
8
1980
Specification and verification of the UCLA Unix security kernel. Zbl 0427.68032
Walker, Bruce J.; Kemmerer, Richard A.; Popek, Gerald J.
6
1980
Region representation: Boundary codes from quadtrees. Zbl 0429.68075
Dyer, Charles R.; Rosenfeld, Azriel; Samet, Hanan
6
1980
Computational algorithms for product form queueing networks. Zbl 0443.68027
Chandy, K. Mani; Sauer, Charles H.
6
1980
Partial-match retrieval using indexed descriptor files. Zbl 0435.68078
Pfaltz, John L.; Berman, William J.; Cagley, Edgar M.
2
1980
An overrelaxation for a numerical inverse of a constant. Zbl 0441.65001
Asai, Hitohisa
1
1980
Conversion of decision tables to efficient sequential testing procedures. Zbl 0454.68085
Sethi, I. K.; Chatterjee, B.
1
1980
How to share a secret. Zbl 0414.94021
Shamir, Adi
1979
New methods to color the vertices of a graph. Zbl 0394.05022
Brelaz, Daniel
204
1979
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
170
1979
Algorithm = logic + control. Zbl 0404.68010
Kowalski, Robert
39
1979
Computing connected components on parallel computers. Zbl 0429.68061
Hirschberg, D. S.; Chandra, A. K.; Sarwate, D. V.
33
1979
An improved algorithm for decentralized extrema-finding in circular configurations of processes. Zbl 0394.68023
Chang, Ernest; Roberts, Rosemary
32
1979
An optimal real-time algorithm for planar convex hulls. Zbl 0404.68069
Preparata, F. P.
31
1979
Storing a sparse table. Zbl 0414.68038
Tarjan, Robert Endre; Yao, Andrew Chi-Chih
28
1979
On improving the worst case running time of the Boyer-Moore string matching algorithm. Zbl 0413.68041
Galil, Zvi
19
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.
12
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
Logic and semantic networks. Zbl 0394.68063
Deliyanni, Amaryllis; Kowalski, Robert A.
5
1979
Computing standard deviations: Accuracy. Zbl 0427.65097
Chan, Tony F.; Lewis, John Gregg
5
1979
Recursive data structures in APL. Zbl 0393.68021
Gull, W. E.; Jenkins, M. A.
3
1979
Thoth, a portable real-time operating system. Zbl 0394.68020
Cheriton, David R.; Malcolm, Michael A.; Melen, Lawrence S.; Sager, Gary R.
3
1979
Permutation of data blocks in a bubble memory. Zbl 0388.68019
Bongiovanni, Gian Carlo; Luccio, Fabrizio
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
Comments on Perfect hashing functions: A single probe retrieving method for static sets. Zbl 0393.68069
Anderson, M. R.; Anderson, M. G.
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
Storage reorganization techniques for matrix computation in a paging environment. Zbl 0404.68038
Fischer, Patrick C.; Probert, Robert L.
1
1979
...and 761 more Documents
all top 5

Cited by 20,621 Authors

36 Chang, Chin-Chen
35 Petković, Miodrag S.
32 Montanari, Angelo
28 Dolev, Shlomi
28 Kalaba, Robert E.
28 Raynal, Michel
27 Hoare, C. A. R. Tony
26 Ingólfsdóttir, Anna
26 Sciavicco, Guido
26 Wood, Derick
25 Aceto, Luca
25 Bergstra, Jan A.
24 Datta, Ajoy Kumar
24 Nitaj, Abderrahmane
23 Amir, Amihood
22 Devroye, Luc P. J. A.
22 Wang, Huaxiong
21 Padró, Carles
20 Jbilou, Khalide
20 Pardalos, Panos M.
19 Beimel, Amos
19 Devismes, Stéphane
19 Navarro, Gonzalo
19 Park, Kunsoo
19 Sala, Pietro
19 Tixeuil, Sébastien
18 Dershowitz, Nachum
18 Evans, David John
18 Ishai, Yuval
18 Lee, Richard Chia-Tung
18 Porat, Ely
18 Shampine, Lawrence Fred
18 Srimani, Pradip K.
17 Crochemore, Maxime
17 De Santis, Alfredo
17 Demetrovics, János
17 Elmasry, Amr
17 Landau, Gad M.
17 Masuzawa, Toshimitsu
17 Munro, J. Ian
17 Servedio, Rocco A.
16 Benner, Peter
16 Bshouty, Nader H.
16 Grossi, Roberto
16 Hasegawa, Takemitsu
16 Link, Sebastian
16 Meseguer Guaita, José
16 Peled, Doron A.
16 Vardi, Moshe Ya’akov
16 Yung, Moti
15 Farràs, Oriol
15 Huang, Shingtsaan
15 Iliopoulos, Costas S.
15 Katajainen, Jyrki
15 Larsen, Kim Skak
15 Simoncini, Valeria
15 Soisalon-Soininen, Eljas
15 Ullman, Jeffrey David
14 Broy, Manfred
14 Della Monica, Dario
14 Francez, Nissim
14 Gawrychowski, Paweł
14 Gennaro, Rosario
14 Hesselink, Wim H.
14 Larmore, Lawrence L.
14 Li, Ming
14 Peron, Adriano
13 Albert, Elvira
13 Desmedt, Yvo G.
13 Faro, Simone
13 Han, Yo-Sub
13 Hwang, Minshiang
13 Ibaraki, Toshihide
13 Kakugawa, Hirotsugu
13 Kapur, Deepak
13 Lecroq, Thierry
13 Li, Fulin
13 Stinson, Douglas Robert
13 Tini, Simone
13 Yang, Chang-Biau
13 Yuan, Pingzhi
13 Zhu, Shixin
12 Bille, Philip
12 Bozzelli, Laura
12 Cao, Zhenfu
12 Chen, Xiu-Bo
12 Conte, Alessio
12 Edelsbrunner, Herbert
12 Engelfriet, Joost
12 Guerraoui, Rachid
12 Klein, Shmuel Tomi
12 Lewenstein, Moshe
12 Li, Sanjiang
12 Mili, Ali
12 Ottmann, Thomas A.
12 Pissis, Solon P.
12 Sankaran, Paduthol Godan
12 Schiller, Elad Michael
12 Susilo, Willy
12 Yang, Yixian
...and 20,521 more Authors
all top 5

Cited in 822 Journals

1,080 Theoretical Computer Science
738 Information Processing Letters
299 Information Sciences
289 Journal of Computer and System Sciences
280 Artificial Intelligence
255 Acta Informatica
240 Information and Computation
217 Discrete Applied Mathematics
210 Applied Mathematics and Computation
206 Computers & Mathematics with Applications
196 Journal of Computational Physics
196 International Journal of Computer Mathematics
184 European Journal of Operational Research
180 Journal of Computational and Applied Mathematics
175 Computing
170 Distributed Computing
166 Algorithmica
129 Computers & Operations Research
129 Quantum Information Processing
127 Formal Aspects of Computing
124 BIT
117 BIT. Nordisk Tidskrift for Informationsbehandling
115 Linear Algebra and its Applications
108 International Journal of Foundations of Computer Science
106 Pattern Recognition
101 Journal of Automated Reasoning
99 Journal of Cryptology
92 Designs, Codes and Cryptography
90 Computer Methods in Applied Mechanics and Engineering
89 International Journal of Computer & Information Sciences
84 Annals of Operations Research
83 Annals of Mathematics and Artificial Intelligence
82 Mathematics of Computation
79 Software. Practice & Experience
76 Journal of Logical and Algebraic Methods in Programming
73 Journal of Symbolic Computation
70 Numerische Mathematik
62 International Journal of Theoretical Physics
61 Journal of Discrete Algorithms
60 Fuzzy Sets and Systems
56 Discrete Mathematics
56 Applied Numerical Mathematics
54 Cybernetics
54 Journal of Discrete Mathematical Sciences & Cryptography
52 Formal Methods in System Design
51 Machine Learning
49 SIAM Journal on Scientific Computing
49 The Journal of Logic and Algebraic Programming
48 Journal of Mathematical Analysis and Applications
48 Journal of Optimization Theory and Applications
47 Computer Physics Communications
46 Calcolo
46 Cybernetics and Systems Analysis
45 Mathematical and Computer Modelling
44 Journal of Computer Science and Technology
43 Journal of Parallel and Distributed Computing
43 Computational Geometry
43 Numerical Algorithms
43 Computational Statistics and Data Analysis
43 Theory and Practice of Logic Programming
41 Journal of Functional Programming
40 Communications in Statistics. Simulation and Computation
39 MSCS. Mathematical Structures in Computer Science
39 Logical Methods in Computer Science
38 Automatica
38 Applied Mathematical Modelling
37 Science of Computer Programming
37 Journal of Statistical Computation and Simulation
36 RAIRO, Informatique Théorique
35 Mathematical Systems Theory
35 International Journal of Parallel Programming
35 Parallel Algorithms and Applications
34 Operations Research Letters
34 New Generation Computing
34 Journal of Combinatorial Optimization
33 Discrete & Computational Geometry
32 Communications in Statistics. Theory and Methods
31 SIAM Journal on Computing
31 Annals of Pure and Applied Logic
31 Constraints
31 Mathematical Problems in Engineering
31 Theory of Computing Systems
30 International Journal of Approximate Reasoning
29 International Journal of Systems Science
29 Applied Mathematics Letters
29 Mathematical Programming. Series A. Series B
29 Numerical Linear Algebra with Applications
28 Journal of the Franklin Institute
28 Finite Fields and their Applications
27 Journal of Soviet Mathematics
27 Journal of Scheduling
27 Data Mining and Knowledge Discovery
26 International Journal of Production Research
26 Computer Aided Geometric Design
26 Applicable Algebra in Engineering, Communication and Computing
25 International Journal of Control
25 Mathematics and Computers in Simulation
25 Journal of Mathematical Imaging and Vision
24 Journal of Machine Learning Research (JMLR)
23 Physica A
...and 722 more Journals
all top 5

Cited in 62 Fields

8,871 Computer science (68-XX)
2,147 Numerical analysis (65-XX)
1,992 Information and communication theory, circuits (94-XX)
1,269 Operations research, mathematical programming (90-XX)
950 Mathematical logic and foundations (03-XX)
828 Combinatorics (05-XX)
575 Statistics (62-XX)
403 Quantum theory (81-XX)
372 Linear and multilinear algebra; matrix theory (15-XX)
342 Number theory (11-XX)
284 Biology and other natural sciences (92-XX)
283 Probability theory and stochastic processes (60-XX)
280 Systems theory; control (93-XX)
275 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
241 Ordinary differential equations (34-XX)
208 Partial differential equations (35-XX)
193 Fluid mechanics (76-XX)
146 Approximations and expansions (41-XX)
139 Convex and discrete geometry (52-XX)
133 Mechanics of deformable solids (74-XX)
128 Order, lattices, ordered algebraic structures (06-XX)
84 Calculus of variations and optimal control; optimization (49-XX)
79 Mechanics of particles and systems (70-XX)
76 Statistical mechanics, structure of matter (82-XX)
75 Algebraic geometry (14-XX)
73 Functions of a complex variable (30-XX)
72 Dynamical systems and ergodic theory (37-XX)
70 Category theory; homological algebra (18-XX)
66 Field theory and polynomials (12-XX)
62 History and biography (01-XX)
61 Group theory and generalizations (20-XX)
56 Real functions (26-XX)
48 Classical thermodynamics, heat transfer (80-XX)
43 General topology (54-XX)
40 General and overarching topics; collections (00-XX)
39 Geometry (51-XX)
38 General algebraic systems (08-XX)
35 Geophysics (86-XX)
31 Commutative algebra (13-XX)
30 Special functions (33-XX)
29 Harmonic analysis on Euclidean spaces (42-XX)
28 Integral equations (45-XX)
28 Operator theory (47-XX)
26 Integral transforms, operational calculus (44-XX)
19 Differential geometry (53-XX)
19 Optics, electromagnetic theory (78-XX)
17 Associative rings and algebras (16-XX)
17 Functional analysis (46-XX)
16 Difference and functional equations (39-XX)
15 Manifolds and cell complexes (57-XX)
13 Algebraic topology (55-XX)
12 Relativity and gravitational theory (83-XX)
9 Measure and integration (28-XX)
7 Topological groups, Lie groups (22-XX)
7 Sequences, series, summability (40-XX)
7 Mathematics education (97-XX)
6 Potential theory (31-XX)
6 Global analysis, analysis on manifolds (58-XX)
4 Nonassociative rings and algebras (17-XX)
2 Astronomy and astrophysics (85-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Abstract harmonic analysis (43-XX)

Citations by Year