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 Latest Issues 64, No. 11 (2021) 63, No. 10 (2020) 53, No. 3 (2010) 30, No. 12 (1987) 30, No. 11 (1987) 30, No. 9 (1987) 30, No. 8 (1987) 29, No. 11 (1986) 29, No. 10 (1986) 29, No. 8 (1986) 29, No. 6 (1986) 29, No. 4 (1986) 29, No. 3 (1986) 29, No. 2 (1986) 28, No. 8 (1985) 27 (1984) 26 (1983) 25 (1982) 24 (1981) 23 (1980) 22 (1979) 21 (1978) 20 (1977) 19 (1976) 18 (1975) 17 (1974) 16 (1973) 15 (1972) 14 (1971) 13 (1970) 12 (1969) 11 (1968) 10 (1967) 9 (1966) 8 (1965) 7 (1964) 6 (1963) 5 (1962) 4 (1961) 3 (1960) 2, No. 12 (1959) 2, No. 11 (1959) 2, No. 10 (1959) 2, No. 9 (1959) 2, No. 8 (1959) 2, No. 7 (1959) 2, No. 6 (1959) 2, No. 5 (1959) 2, No. 4 (1959) 2, No. 3 (1959) 2, No. 2 (1959) 1, No. 12 (1958) 1, No. 11 (1958) 1, No. 10 (1958) 1, No. 9 (1958) 1, No. 8 (1958) 1, No. 7 (1958) 1, No. 6 (1958) 1, No. 5 (1958) 1, No. 4 (1958) 1, No. 3 (1958) 1, No. 2 (1958) 1, No. 1 (1958) 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,324 more Authors all top 5 Fields 552 Computer science (68-XX) 129 Numerical analysis (65-XX) 33 Information and communication theory, circuits (94-XX) 30 Combinatorics (05-XX) 22 Operations research, mathematical programming (90-XX) 13 Linear and multilinear algebra; matrix theory (15-XX) 11 Statistics (62-XX) 7 Probability theory and stochastic processes (60-XX) 5 History and biography (01-XX) 5 Mathematical logic and foundations (03-XX) 5 Number theory (11-XX) 5 Biology and other natural sciences (92-XX) 4 Approximations and expansions (41-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 3 Convex and discrete geometry (52-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Special functions (33-XX) 2 Quantum theory (81-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Sequences, series, summability (40-XX) 1 Functional analysis (46-XX) 1 Geometry (51-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 841 Publications have been cited 16,342 times in 13,912 Documents Cited by ▼ Year ▼ A method for obtaining digital signatures and public-key cryptosystems. Zbl 0368.94005Rivest, R. L.; Shamir, A.; Adleman, L. 919 1978 How to share a secret. Zbl 0414.94021Shamir, Adi 903 1979 A theory of the learnable. Zbl 0587.68077Valiant, L. G. 621 1984 An axiomatic basis for computer programming. Zbl 0179.23105Hoare, C. A. R. 546 1969 Algorithm 432: Solution of the matrix equation \(AX + XB = C\). Zbl 1372.65121Bartels, R. H.; Stewart, G. W. 448 1972 A machine program for theorem-proving. Zbl 0217.54002Davis, M.; Logemann, G.; Loveland, D. 419 1962 Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027Lamport, Leslie 357 1978 Maintaining knowledge about temporal intervals. Zbl 0519.68079Allen, James F. 345 1983 The automatic integration of ordinary differential equations. Zbl 0217.21701Gear, C. W. 331 1971 Communicating sequential processes. Zbl 0383.68028Hoare, C. A. R. 328 1978 A relational model of data for large shared data banks. Zbl 0207.18003Codd, E. F. 308 1970 Self-stabilizing systems in spite of distributed control. Zbl 0305.68048Dijkstra, Edsger W. 306 1974 Multidimensional binary search trees used for associative searching. Zbl 0306.68061Bentley, Jon Louis 277 1975 Efficient string matching: an aid to bibliographic search. Zbl 0301.68048Aho, Alfred V.; Corasick, Margaret J. 228 1975 A fast string searching algorithm. Zbl 1219.68165Boyer, Robert S.; Moore, J. Strother 202 1977 New methods to color the vertices of a graph. Zbl 0394.05022Brelaz, Daniel 194 1979 Finding all cliques of an undirected graph. Zbl 0261.68018Bron, Coen; Kerbosch, Joep 186 1973 Guarded commands, nondeterminacy and formal derivation of programs. Zbl 0308.68017Dijkstra, Edsger W. 165 1975 Proving termination with multiset orderings. Zbl 0431.68016Dershowitz, Nachum; Manna, Zohar 161 1979 Scheduling independent tasks to reduce mean finishing time. Zbl 0283.68039Bruno, J.; Coffman, E. G. jun.; Sethi, R. 138 1974 An approximate method for generating asymmetric random variables. Zbl 0273.65004Ramberg, John S.; Schmeiser, Bruce W. 134 1974 Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Zbl 0383.68013Backus, John 126 1978 Formal verification of parallel programs. Zbl 0329.68016Keller, Robert M. 123 1976 A linear space algorithm for computing maximal common subsequences. Zbl 0301.68042Hirschberg, D. S. 113 1975 Convex hulls of finite sets of points in two and three dimensions. Zbl 0342.68030Preparata, F. P.; Hong, S. J. 112 1977 Regular expression search algorithm. Zbl 0164.46205Thompson, Ken 109 1968 A fast algorithm for computing longest common subsequences. Zbl 0354.68078Hunt, James W.; Szymanski, Thomas G. 106 1977 Using encryption for authentication in large networks of computers. Zbl 0387.68003Needham, Roger M.; Schroeder, Michael D. 106 1978 An efficient context-free parsing algorithm. Zbl 0185.43401Earley, J. 102 1970 Space/time trade-offs in hash coding with allowable errors. Zbl 0195.47003Bloom, Burton H. 101 1970 Use of the Hough transformation to detect lines and curves in pictures. Zbl 1296.94027Duda, Richard O.; Hart, Peter E. 98 1972 A modified Newton method for polynomials. Zbl 0148.39004Ehrlich, L. W. 94 1967 Multidimensional divide-and-conquer. Zbl 0434.68049Bentley, Jon Louis 93 1980 Computational algorithms for closed queueing networks with exponential servers. Zbl 0261.68031Buzen, Jeffrey P. 83 1973 Symbolic execution and program testing. Zbl 0329.68018King, James C. 76 1976 A new solution of Dijkstra’s concurrent programming problem. Zbl 0281.68004Lamport, Leslie 74 1974 A vector space model for automatic indexing. Zbl 0313.68082Salton, G.; Wong, A.; Yang, C. S. 67 1975 A note on a method for generating points uniformly on \(N\)-dimensional spheres. Zbl 0086.11605Muller, Mervin E. 67 1959 Recursive functions of symbolic expressions and their computation by machine. I. Zbl 0101.10413McCarthy, John 67 1960 Laws of programming. Zbl 0629.68006Hoare, 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. 66 1987 Parallel methods for integrating ordinary differential equations. Zbl 0134.32804Nievergelt, J. 65 1964 Topological sorting of large networks. Zbl 0106.32602Kahn, A. B. 64 1962 The notions of consistency and predicate locks in a database system. Zbl 0341.68023Eswaran, K. P.; Gray, J. N.; Lorie, R. A.; Traiger, I. L. 63 1976 A unifying look at data structures. Zbl 0434.68047Vuillemin, Jean 61 1980 Efficient generation of the binary reflected Gray code and its applications. Zbl 0333.94006Bitner, James R.; Ehrlich, Gideon; Reingold, Edward M. 59 1976 Program development by stepwise refinement. Zbl 0214.43005Wirth, N. 59 1971 Implementing Clenshaw-Curtis quadrature. I: Methodology and experience. II: Computing the cosine transformation. Zbl 0234.65024Gentleman, W. Morven 58 1972 Monitors: An operating system structuring concept. Zbl 0308.68029Hoare, C. A. R. 55 1974 A data structure for manipulating priority queues. Zbl 0371.68011Vuillemin, Jean 55 1978 An approximate method for generating symmetric random variables. Zbl 0244.65005Ramberg, John S.; Schmeiser, Bruce W. 54 1972 Synthesizing constraint expressions. Zbl 0386.68065Freuder, Eugene C. 51 1978 Sorting on a mesh-connected parallel computer. Zbl 0349.68020Thompson, C. D.; Kung, H. T. 50 1977 A simple automatic derivative evaluation program. Zbl 0131.34602Wengert, R. E. 50 1964 Reduction: A method of proving properties of parallel programs. Zbl 0316.68015Lipton, Richard J. 49 1975 Covering edges by cliques with regard to keyword conflicts and intersection graphs. Zbl 0367.68035Kou, L. T.; Stockmeyer, L. J.; Wong, C. K. 49 1978 The simplex method of linear programming using LU decomposition. Zbl 0181.19104Bartels, R. H.; Golub, G. H. 49 1969 Flow diagrams, Turing machines and languages with only two formation rules. Zbl 0145.24204Böhm, C.; Jacopini, G. 49 1966 A lattice model of secure information flow. Zbl 0322.68034Denning, Dorothy E. 48 1976 Certification of programs for secure information flow. Zbl 0361.68033Denning, Dorothy E.; Denning, Peter J. 48 1977 A correspondence between ALGOL 60 and Church’s Lambda-notation. I, II. Zbl 0134.33403Landin, P. J. 47 1965 Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010Owicki, Susan; Gries, David 45 1976 Secure communications over insecure channels. Zbl 1342.94085Merkle, Ralph C. 45 1978 Legged robots. Zbl 0709.70504Raibert, Marc H. 42 1986 The next 700 programming languages. Zbl 0149.12505Landin, P. J. 42 1966 Simple LR(k) grammars. Zbl 0225.68038DeRemer, Franklin L. 42 1971 On self-organizing sequential search heuristics. Zbl 0317.68025Rivest, Ronald 41 1976 Abstract data types and software validation. Zbl 0387.68012Guttag, John V.; Horowitz, Ellis; Musser, David R. 41 1978 Reentrant polygon clipping. Zbl 0271.68065Sutherland, Ivan E.; Hodgman, Gary W. 41 1974 The parallel execution of DO loops. Zbl 0273.68012Lamport, Leslie 40 1974 Expected time bounds for selection. Zbl 0296.68049Floyd, Robert W.; Rivest, Ronald L. 39 1975 Optimal paths in graphs with stochastic or multidimensional weights. Zbl 0526.90085Loui, Ronald Prescott 38 1983 Determiming the minimum-area encasing rectangle for an arbitrary closed curve. Zbl 0308.68084Freeman, H.; Shapira, R. 38 1975 Plane-sweep algorithms for intersecting geometric figures. Zbl 0491.68075Nievergelt, J.; Preparata, F. P. 37 1982 Mechanical program analysis. Zbl 0306.68008Wegbreit, Ben 37 1975 The denotational semantics of programming languages. Zbl 0337.68010Tennent, R. D. 37 1976 Anomalies in parallel branch-and-bound algorithms. Zbl 0587.68032Lai, Ten-Hwang; Sahni, Sartaj 37 1984 A locally adaptive data compression scheme. Zbl 0648.94007Bentley, Jon Louis; Sleator, Daniel D.; Tarjan, Robert E.; Wei, Victor K. 37 1986 On the computer enumeration of finite topologies. Zbl 0166.01003Evans, J. W.; Harary, Frank; Lynn, M. S. 37 1967 On the approximation of curves by line segments using dynamic programming. Zbl 0100.12901Bellman, Richard 37 1961 A numbering system for binary trees. Zbl 0345.68025Knott, Gary D. 36 1977 An exponential method of numerical integration of ordinary differential equations. Zbl 0117.11204Pope, D. A. 35 1963 Efficient parallel algorithms for some graph problems. Zbl 0485.68056Chin, Francis Y.; Lam, John; Chen, I-Ngo 33 1982 Euler: A generalization of ALGOL, and its formal definition. I, II. Zbl 0141.14302Wirth, N.; Weber, H. 33 1966 Algorithm = logic + control. Zbl 0404.68010Kowalski, Robert 32 1979 Computing connected components on parallel computers. Zbl 0429.68061Hirschberg, D. S.; Chandra, A. K.; Sarwate, D. V. 31 1979 Decentralized extrema-finding in circular configurations of processors. Zbl 0444.68022Hirschberg, D. S.; Sinclair, J. B. 31 1980 Min-max heaps and generalized priority queues. Zbl 0642.68055Atkinson, M. D.; Sack, J.-R.; Santoro, N.; Strothotte, T. 31 1986 A man-machine approach toward solving the traveling salesman problem. Zbl 0217.27302Krolak, P.; Felts, W.; Marble, G. 30 1971 The secant method for simultaneous nonlinear equations. Zbl 0093.13202Wolfe, Philip 30 1959 Numerical solution of nonlinear two-point boundary problems by finite difference methods. Zbl 0123.11805Holt, James F. 30 1964 SIMULA - an ALGOL-based simulation language. Zbl 0139.32903Dahl, O. J.; Nygaard, K. 30 1966 An optimal real-time algorithm for planar convex hulls. Zbl 0404.68069Preparata, F. P. 29 1979 A syntax directed compiler for ALGOL 60. Zbl 0103.34904Irons, Edgar T. 29 1961 A linear algorithm for incremental digital display of circular arcs. Zbl 0342.68058Bresenham, Jack 28 1977 An improved algorithm for decentralized extrema-finding in circular configurations of processes. Zbl 0394.68023Chang, Ernest; Roberts, Rosemary 28 1979 Design of a separable transition-diagram compiler. Zbl 0116.09605Conway, M. 28 1963 An improved equivalence algorithm. Zbl 0129.10302Galler, B. A.; Fisher, M. J. 28 1964 Invariant imbedding and the numerical integration fo boundary-value problems for unstable linear systems of ordinary differential equation. Zbl 0148.39205Bellman, R. E.; Kagiwada, H. H.; Kalaba, R. E. 27 1967 Inductive methods for proving properties of programs. Zbl 0278.68019Manna, Zohar; Ness, Stephen; Vuillemin, Jean 27 1973 Multiple shooting method for two-point boundary value problems. Zbl 0106.31903Morrison, David D.; Riley, James D.; Zancanaro, J. F. 27 1962 \(\mathrm{MIP}^*=\mathrm{RE}\). Zbl 1503.68075Ji, Zhengfeng; Natarajan, Anand; Vidick, Thomas; Wright, John; Yuen, Henry 3 2021 Computing arbitrary functions of encrypted data. Zbl 1315.94074Gentry, Craig 14 2010 Laws of programming. Zbl 0629.68006Hoare, 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. 66 1987 Generality in artificial intelligence. Zbl 0644.68004McCarthy, John 24 1987 ARIADNE: Pattern-directed inference and hierarchical abstraction in protein structure recognition. Zbl 0642.92005Lathrop, Richard H.; Webster, Teresa A.; Smith, Temple F. 4 1987 Processing encrypted data. Zbl 0709.94530Ahituv, Niv; Lapid, Yeheskel; Neumann, Seev 4 1987 Walsh-spectral test for GFSR pseudorandom numbers. Zbl 0632.65003Tezuka, Shu 2 1987 Corrigendum to “Laws of programming”. Zbl 0653.68002Hoare, 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.70504Raibert, Marc H. 42 1986 A locally adaptive data compression scheme. Zbl 0648.94007Bentley, Jon Louis; Sleator, Daniel D.; Tarjan, Robert E.; Wei, Victor K. 37 1986 Min-max heaps and generalized priority queues. Zbl 0642.68055Atkinson, M. D.; Sack, J.-R.; Santoro, N.; Strothotte, T. 31 1986 Combinatorics, complexity, and randomness. Zbl 0642.68004Karp, Richard M. 5 1986 The orders of equidistribution of subsequences of some asymptotically random sequences. Zbl 0641.65007Koopman, Raymond F. 1 1986 Spreadsheet calculations of probabilities from the F, t, \(\chi^2\) and normal distribution. Zbl 0645.65100Landram, Frank G.; Cook, James R.; Johnston, Marvin 1 1986 Data-flow algorithms for parallel matrix computations. Zbl 0606.65029O’Leary, Dianne P.; Stewart, G. W. 19 1985 A theory of the learnable. Zbl 0587.68077Valiant, L. G. 621 1984 Anomalies in parallel branch-and-bound algorithms. Zbl 0587.68032Lai, Ten-Hwang; Sahni, Sartaj 37 1984 Predicative programming. I. Zbl 0593.68010Hehner, Eric C. R. 25 1984 Faster methods for random sampling. Zbl 0595.65008Vitter, Jeffrey Scott 10 1984 Optimal pagination of B-trees with variable-length items. Zbl 0587.68061Diehr, George; Faaland, Bruce 3 1984 Predicative programming. II. Zbl 0593.68011Hehner, Eric C. R. 3 1984 The complexity of songs. Zbl 0587.68046Knuth, Donald E. 2 1984 Some negative results concerning prime number generators. Zbl 0589.10001Pritchard, Paul 1 1984 Maintaining knowledge about temporal intervals. Zbl 0519.68079Allen, James F. 345 1983 Optimal paths in graphs with stochastic or multidimensional weights. Zbl 0526.90085Loui, Ronald Prescott 38 1983 Matings in matrices. Zbl 0519.68078Bibel, Wolfgang 19 1983 The k-distribution of generalized feedback shift register pseudorandom numbers. Zbl 0515.68047Fushimi, M.; Tezuka, S. 18 1983 Extended Boolean information retrieval. Zbl 0519.68089Salton, Gerard; Fox, Edward A.; Wu, Harry 13 1983 A generalized control structure and its formal definition. Zbl 0517.68024Parnas, David Lorge 11 1983 On-the-fly optimization of data structures. Zbl 0519.68025Kessels, J. L. W. 9 1983 An overview of computational complexity. Zbl 0622.68039Cook, Stephen A. 9 1983 A general-purpose algorithm for analyzing concurrent programs. Zbl 0516.68027Taylor, Richard N. 6 1983 Antithetic variates revisited. Zbl 0535.65100Fishman, George S.; Huang, Baosheng D. 5 1983 On the modeling of parallel access to shared data. Zbl 0511.68081Chesnais, A.; Gelenbe, E.; Mitrani, I. 4 1983 Vector Fortran for numerical problems on CRAY-1. Zbl 0519.68043Petersen, W. P. 4 1983 Estimating block accesses in database organizations: A closed noniterative formula. Zbl 0519.68080Whang, Kyu-Young; Wiederhold, Gio; Sagalowicz, Daniel 4 1983 Balancing binary trees by international path reduction. Zbl 0587.68060Gonnet, Gaston H. 4 1983 Estimation of the inverse function for random variate generation. Zbl 0524.65004Hora, Stephen C. 2 1983 Program design by informal English descriptions. Zbl 0519.68017Abbott, Russell J. 1 1983 Information derivability analysis in logical information systems. Zbl 0519.68088Olive i Ramon, Antoni 1 1983 Speeding up an overrelaxation method of division in radix-\(2^ n\) machine. Zbl 0522.68047Asai, Hitohisa; Cheng, C. K. 1 1983 Plane-sweep algorithms for intersecting geometric figures. Zbl 0491.68075Nievergelt, J.; Preparata, F. P. 37 1982 Efficient parallel algorithms for some graph problems. Zbl 0485.68056Chin, Francis Y.; Lam, John; Chen, I-Ngo 33 1982 An effective way to represent quadtrees. Zbl 0504.68057Gargantini, Irene 23 1982 Distributed computation on graphs: shortest path algorithms. Zbl 0491.68064Chandy, K. M.; Misra, J. 16 1982 Generating gamma variates by a modified rejection technique. Zbl 0472.65005Ahrens, Joachim H.; Dieter, Ulrich 14 1982 Approximation algorithms for convex hulls. Zbl 0466.68059Bentley, Jon Louis; Faust, Mark G.; Preparata, Franco P. 13 1982 The solution for the branching factor of the alpha-beta pruning algorithm and its optimality. Zbl 0486.68056Pearl, Judea 11 1982 Computer-aided complexity classification of combinatorial problems. Zbl 0491.68070Lageweg, B. J.; Lenstra, J. K.; Lawler, E. L.; Rinnooy Kan, A. H. G. 10 1982 Computer-assisted microanalysis of programs. Zbl 0491.68036Cohen, Jacques 5 1982 A critique of the foundations of Hoare style programming logics. Zbl 0495.68018O’Donnell, Michael J. 5 1982 On the emulation of flowcharts by decision tables. Zbl 0496.68015Lew, Art 4 1982 Three new combination algorithms with the minimal change property. Zbl 0486.68070Lam, Clement W. H.; Soicher, Leonard H. 3 1982 Combinatorially implosive algorithms. Zbl 0491.68061Kornfeld, William A. 3 1982 The distribution of granule accesses made by database transactions. Zbl 0491.68100Langer, A. M.; Shum, A. W. 2 1982 An on-line algorithm for fitting straight lines between data ranges. Zbl 0464.68074O’Rourke, Joseph 21 1981 Shuffle languages, Petri nets, and context-sensitive grammars. Zbl 0471.68063Gischer, Jay 18 1981 A sublinear additive sieve for finding prime numbers. Zbl 0454.68084Pritchard, Paul 11 1981 Reciprocal hashing: A method for generating minimal perfect hashing functions. Zbl 0466.68051Jaeschke, G. 10 1981 The emperor’s old clothes. Zbl 1507.68064Hoare, Charles Antony Richard 1 1981 Multidimensional divide-and-conquer. Zbl 0434.68049Bentley, Jon Louis 93 1980 A unifying look at data structures. Zbl 0434.68047Vuillemin, Jean 61 1980 Decentralized extrema-finding in circular configurations of processors. Zbl 0444.68022Hirschberg, D. S.; Sinclair, J. B. 31 1980 On folk theorems. Zbl 0432.68009Harel, David 17 1980 Region representation: Quadtrees from boundary codes. Zbl 0429.68074Samet, Hanan 8 1980 Information transfer and area-time tradeoffs for VLSI multiplication. Zbl 0423.68009Abelson, Harold; Andreae, Peter 8 1980 Region representation: Boundary codes from quadtrees. Zbl 0429.68075Dyer, Charles R.; Rosenfeld, Azriel; Samet, Hanan 6 1980 Computational algorithms for product form queueing networks. Zbl 0443.68027Chandy, K. Mani; Sauer, Charles H. 6 1980 Specification and verification of the UCLA Unix security kernel. Zbl 0427.68032Walker, Bruce J.; Kemmerer, Richard A.; Popek, Gerald J. 6 1980 Partial-match retrieval using indexed descriptor files. Zbl 0435.68078Pfaltz, John L.; Berman, William J.; Cagley, Edgar M. 2 1980 An overrelaxation for a numerical inverse of a constant. Zbl 0441.65001Asai, Hitohisa 1 1980 How to share a secret. Zbl 0414.94021Shamir, Adi 903 1979 New methods to color the vertices of a graph. Zbl 0394.05022Brelaz, Daniel 194 1979 Proving termination with multiset orderings. Zbl 0431.68016Dershowitz, Nachum; Manna, Zohar 161 1979 Algorithm = logic + control. Zbl 0404.68010Kowalski, Robert 32 1979 Computing connected components on parallel computers. Zbl 0429.68061Hirschberg, D. S.; Chandra, A. K.; Sarwate, D. V. 31 1979 An optimal real-time algorithm for planar convex hulls. Zbl 0404.68069Preparata, F. P. 29 1979 An improved algorithm for decentralized extrema-finding in circular configurations of processes. Zbl 0394.68023Chang, Ernest; Roberts, Rosemary 28 1979 Storing a sparse table. Zbl 0414.68038Tarjan, Robert Endre; Yao, Andrew Chi-Chih 26 1979 On improving the worst case running time of the Boyer-Moore string matching algorithm. Zbl 0413.68041Galil, Zvi 18 1979 Global optimization by suppression of partial redundancies. Zbl 0393.68010Morel, E.; Renvoise, C. 14 1979 Updating mean and variance estimates: An improved method. Zbl 0419.62003West, D. H. D. 11 1979 Reasoning about arrays. Zbl 0394.68009Reynolds, John C. 7 1979 Optimal storage allocation for serial files. Zbl 0393.68024Mendelson, Haim; Pliskin, Joseph S.; Yechiali, Uri 6 1979 High level programming for distributed computing. Zbl 0407.68017Feldman, Jerome A. 6 1979 Computing standard deviations: Accuracy. Zbl 0427.65097Chan, Tony F.; Lewis, John Gregg 5 1979 Logic and semantic networks. Zbl 0394.68063Deliyanni, Amaryllis; Kowalski, Robert A. 4 1979 Recursive data structures in APL. Zbl 0393.68021Gull, W. E.; Jenkins, M. A. 3 1979 Thoth, a portable real-time operating system. Zbl 0394.68020Cheriton, David R.; Malcolm, Michael A.; Melen, Lawrence S.; Sager, Gary R. 3 1979 Permutation of data blocks in a bubble memory. Zbl 0388.68019Bongiovanni, Gian Carlo; Luccio, Fabrizio 2 1979 A mathematical programming updating method using modified Givens transformations and applied to LP problems. Zbl 0401.90075Hanson, Richard J.; Wisniewski, John A. 2 1979 On the proof of correctness of a calendar program. Zbl 0412.68014Lamport, Leslie 2 1979 Breaking substitution ciphers using a relaxation algorithm. Zbl 0414.94020Peleg, Shmuel; Rosenfeld, Azriel 2 1979 Syntactic source to source transforms and program manipulation. Zbl 0388.68006Arsac, Jacques J. 1 1979 The impact of distributions and disciplines on multiple processor systems. Zbl 0388.68025Sauer, Charles H.; Chandy, K. Mani 1 1979 Synchronization with eventcounts and sequencers. Zbl 0393.68025Reed, David P.; Kanodia, Rajendra K. 1 1979 Comments on Perfect hashing functions: A single probe retrieving method for static sets. Zbl 0393.68069Anderson, M. R.; Anderson, M. G. 1 1979 Storage reorganization techniques for matrix computation in a paging environment. Zbl 0404.68038Fischer, Patrick C.; Probert, Robert L. 1 1979 Progressive acyclic digraphs - a tool for database integrity. Zbl 0413.68057Hansen, Wilfred J. 1 1979 An optimal insertion algorithm for one-sided height-balanced binary search trees. Zbl 0413.68064Räihä, Kari-Jouko; Zweben, Stuart H. 1 1979 ...and 741 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 20,146 Authors 35 Petković, Miodrag S. 33 Chang, Chin-Chen 30 Montanari, Angelo 27 Kalaba, Robert E. 26 Hoare, C. A. R. Tony 26 Ingólfsdóttir, Anna 26 Raynal, Michel 26 Wood, Derick 25 Aceto, Luca 25 Bergstra, Jan A. 25 Dolev, Shlomi 24 Sciavicco, Guido 23 Amir, Amihood 23 Datta, Ajoy Kumar 22 Devroye, Luc P. J. A. 21 Nitaj, Abderrahmane 20 Padró, Carles 20 Pardalos, Panos M. 19 Navarro, Gonzalo 19 Sala, Pietro 19 Tixeuil, Sébastien 19 Wang, Huaxiong 18 Beimel, Amos 18 Evans, David John 18 Jbilou, Khalide 18 Lee, Richard Chia-Tung 18 Shampine, Lawrence Fred 17 Crochemore, Maxime 17 De Santis, Alfredo 17 Dershowitz, Nachum 17 Elmasry, Amr 17 Landau, Gad M. 17 Munro, J. Ian 17 Porat, Ely 17 Servedio, Rocco A. 16 Bshouty, Nader H. 16 Demetrovics, János 16 Devismes, Stéphane 16 Grossi, Roberto 16 Hasegawa, Takemitsu 16 Link, Sebastian 16 Meseguer Guaita, José 16 Park, Kunsoo 16 Vardi, Moshe Ya’akov 15 Benner, Peter 15 Farràs, Oriol 15 Katajainen, Jyrki 15 Peled, Doron A. 15 Soisalon-Soininen, Eljas 15 Srimani, Pradip K. 15 Ullman, Jeffrey David 14 Anisimov, Anatoly V. 14 Francez, Nissim 14 Gawrychowski, Paweł 14 Gennaro, Rosario 14 Hesselink, Wim H. 14 Huang, Shingtsaan 14 Iliopoulos, Costas S. 14 Ishai, Yuval 14 Larmore, Lawrence L. 14 Masuzawa, Toshimitsu 14 Simoncini, Valeria 14 Yung, Moti 13 Albert, Elvira 13 Broy, Manfred 13 Della Monica, Dario 13 Faro, Simone 13 Hwang, Minshiang 13 Kapur, Deepak 13 Lecroq, Thierry 13 Li, Ming 13 Spirakis, Paul G. 12 Bille, Philip 12 Conte, Alessio 12 Desmedt, Yvo G. 12 Edelsbrunner, Herbert 12 Engelfriet, Joost 12 Han, Yo-Sub 12 Ibaraki, Toshihide 12 Kakugawa, Hirotsugu 12 Larsen, Kim Skak 12 Lewenstein, Moshe 12 Li, Sanjiang 12 Peron, Adriano 12 Pissis, Solon P. 12 Rytter, Wojciech 12 Sankaran, Paduthol Godan 12 Stinson, Douglas Robert 12 Susilo, Willy 12 Tini, Simone 12 Yang, Chang-Biau 12 Yang, Yixian 11 Aoe, Jun-ichi 11 Apt, Krzysztof Rafal 11 Blundo, Carlo 11 Cao, Zhenfu 11 Chen, Xiu-Bo 11 Eiter, Thomas 11 Goldreich, Oded 11 Guerraoui, Rachid ...and 20,046 more Authors all top 5 Cited in 804 Journals 1,040 Theoretical Computer Science 703 Information Processing Letters 278 Journal of Computer and System Sciences 265 Artificial Intelligence 252 Acta Informatica 236 Information and Computation 234 Information Sciences 213 Discrete Applied Mathematics 204 Applied Mathematics and Computation 198 International Journal of Computer Mathematics 191 Computers & Mathematics with Applications 178 Computing 177 European Journal of Operational Research 176 Journal of Computational and Applied Mathematics 170 Distributed Computing 164 Algorithmica 163 Journal of Computational Physics 130 Formal Aspects of Computing 126 Computers & Operations Research 124 BIT 120 Quantum Information Processing 117 BIT. Nordisk Tidskrift for Informationsbehandling 114 Linear Algebra and its Applications 111 International Journal of Foundations of Computer Science 104 Pattern Recognition 98 Journal of Automated Reasoning 91 Journal of Cryptology 89 International Journal of Computer & Information Sciences 89 Annals of Operations Research 86 Computer Methods in Applied Mechanics and Engineering 82 Mathematics of Computation 82 Software. Practice & Experience 82 Designs, Codes and Cryptography 82 Annals of Mathematics and Artificial Intelligence 70 Numerische Mathematik 70 Journal of Symbolic Computation 69 Journal of Logical and Algebraic Methods in Programming 61 Journal of Discrete Algorithms 58 Fuzzy Sets and Systems 56 Applied Numerical Mathematics 55 International Journal of Theoretical Physics 54 Cybernetics 54 Formal Methods in System Design 54 Journal of Discrete Mathematical Sciences & Cryptography 52 Journal of Computer Science and Technology 51 Machine Learning 50 Discrete Mathematics 49 The Journal of Logic and Algebraic Programming 48 Journal of Optimization Theory and Applications 47 Cybernetics and Systems Analysis 47 SIAM Journal on Scientific Computing 46 Calcolo 45 Journal of Mathematical Analysis and Applications 43 Journal of Parallel and Distributed Computing 43 Computational Statistics and Data Analysis 43 Journal of Functional Programming 42 Computational Geometry 41 Mathematical and Computer Modelling 40 Communications in Statistics. Simulation and Computation 39 New Generation Computing 39 Numerical Algorithms 39 Theory and Practice of Logic Programming 38 MSCS. Mathematical Structures in Computer Science 37 Automatica 37 Science of Computer Programming 37 Journal of Statistical Computation and Simulation 37 Parallel Algorithms and Applications 36 RAIRO, Informatique Théorique 36 International Journal of Parallel Programming 35 Mathematical Systems Theory 34 Operations Research Letters 34 Applied Mathematical Modelling 34 Logical Methods in Computer Science 33 International Journal of Production Research 33 Discrete & Computational Geometry 33 Mathematical Problems in Engineering 33 Journal of Combinatorial Optimization 32 Communications in Statistics. Theory and Methods 32 Constraints 32 Theory of Computing Systems 31 International Journal of Systems Science 31 SIAM Journal on Computing 30 Annals of Pure and Applied Logic 28 Applied Mathematics Letters 28 Mathematical Programming. Series A. Series B 28 Journal of Scheduling 28 Data Mining and Knowledge Discovery 27 Journal of Soviet Mathematics 26 Applicable Algebra in Engineering, Communication and Computing 25 Computer Aided Geometric Design 25 International Journal of Approximate Reasoning 25 Journal of Mathematical Imaging and Vision 25 Finite Fields and their Applications 24 International Journal of Control 24 Journal of the Franklin Institute 24 Neural Computation 23 Kybernetika 23 Mathematical Programming 23 RAIRO. Informatique Théorique et Applications 23 International Journal of Parallel, Emergent and Distributed Systems ...and 704 more Journals all top 5 Cited in 61 Fields 8,585 Computer science (68-XX) 2,027 Numerical analysis (65-XX) 1,846 Information and communication theory, circuits (94-XX) 1,278 Operations research, mathematical programming (90-XX) 907 Mathematical logic and foundations (03-XX) 770 Combinatorics (05-XX) 550 Statistics (62-XX) 347 Linear and multilinear algebra; matrix theory (15-XX) 333 Quantum theory (81-XX) 313 Number theory (11-XX) 295 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 285 Biology and other natural sciences (92-XX) 281 Systems theory; control (93-XX) 267 Probability theory and stochastic processes (60-XX) 229 Ordinary differential equations (34-XX) 192 Partial differential equations (35-XX) 177 Fluid mechanics (76-XX) 141 Approximations and expansions (41-XX) 134 Convex and discrete geometry (52-XX) 126 Order, lattices, ordered algebraic structures (06-XX) 120 Mechanics of deformable solids (74-XX) 77 Mechanics of particles and systems (70-XX) 75 Calculus of variations and optimal control; optimization (49-XX) 71 Functions of a complex variable (30-XX) 67 Dynamical systems and ergodic theory (37-XX) 66 Algebraic geometry (14-XX) 66 Category theory; homological algebra (18-XX) 60 Field theory and polynomials (12-XX) 59 Statistical mechanics, structure of matter (82-XX) 58 Group theory and generalizations (20-XX) 57 History and biography (01-XX) 54 Real functions (26-XX) 42 General topology (54-XX) 41 Classical thermodynamics, heat transfer (80-XX) 39 General algebraic systems (08-XX) 38 General and overarching topics; collections (00-XX) 38 Geometry (51-XX) 32 Geophysics (86-XX) 28 Special functions (33-XX) 27 Harmonic analysis on Euclidean spaces (42-XX) 25 Integral equations (45-XX) 24 Commutative algebra (13-XX) 23 Operator theory (47-XX) 22 Integral transforms, operational calculus (44-XX) 17 Optics, electromagnetic theory (78-XX) 16 Associative rings and algebras (16-XX) 16 Differential geometry (53-XX) 15 Difference and functional equations (39-XX) 13 Algebraic topology (55-XX) 13 Manifolds and cell complexes (57-XX) 11 Functional analysis (46-XX) 10 Relativity and gravitational theory (83-XX) 8 Measure and integration (28-XX) 8 Mathematics education (97-XX) 6 Sequences, series, summability (40-XX) 5 Topological groups, Lie groups (22-XX) 5 Potential theory (31-XX) 5 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) Citations by Year