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,334 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 Luther, H. A. 3 Malcolm, Michael A. 3 Muller, Mervin E. 3 Nievergelt, Jurg 3 Peterson, James L. 3 Popek, Gerald J. 3 Raphael, Bertram 3 Reingold, Edward Martin 3 Richman, Paul L. 3 Rivest, Ronald Linn 3 Rokne, Jon G. 3 Samet, Hanan 3 Shamir, Adi 3 Shedler, Gerald S. 3 Shneiderman, Ben 3 Shwayder, Keith 3 Simmons, Robert F. ...and 1,321 more Authors all top 5 Fields 551 Computer science (68-XX) 125 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 830 Publications have been cited 15,421 times in 13,045 Documents Cited by ▼ Year ▼ A method for obtaining digital signatures and public-key cryptosystems. Zbl 0368.94005Rivest, R. L.; Shamir, A.; Adleman, L. 797 1978 How to share a secret. Zbl 0414.94021Shamir, Adi 787 1979 A theory of the learnable. Zbl 0587.68077Valiant, L. G. 580 1984 An axiomatic basis for computer programming. Zbl 0179.23105Hoare, C. A. R. 513 1969 Algorithm 432: Solution of the matrix equation \(AX + XB = C\). Zbl 1372.65121Bartels, R. H.; Stewart, G. W. 416 1972 A machine program for theorem-proving. Zbl 0217.54002Davis, M.; Logemann, G.; Loveland, D. 385 1962 Maintaining knowledge about temporal intervals. Zbl 0519.68079Allen, James F. 329 1983 The automatic integration of ordinary differential equations. Zbl 0217.21701Gear, C. W. 329 1971 Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027Lamport, Leslie 327 1978 Communicating sequential processes. Zbl 0383.68028Hoare, C. A. R. 318 1978 A relational model of data for large shared data banks. Zbl 0207.18003Codd, E. F. 299 1970 Self-stabilizing systems in spite of distributed control. Zbl 0305.68048Dijkstra, Edsger W. 290 1974 Multidimensional binary search trees used for associative searching. Zbl 0306.68061Bentley, Jon Louis 254 1975 Efficient string matching: an aid to bibliographic search. Zbl 0301.68048Aho, Alfred V.; Corasick, Margaret J. 215 1975 New methods to color the vertices of a graph. Zbl 0394.05022Brelaz, Daniel 190 1979 A fast string searching algorithm. Zbl 1219.68165Boyer, Robert S.; Moore, J. Strother 190 1977 Finding all cliques of an undirected graph. Zbl 0261.68018Bron, Coen; Kerbosch, Joep 176 1973 Guarded commands, nondeterminacy and formal derivation of programs. Zbl 0308.68017Dijkstra, Edsger W. 158 1975 Proving termination with multiset orderings. Zbl 0431.68016Dershowitz, Nachum; Manna, Zohar 145 1979 Scheduling independent tasks to reduce mean finishing time. Zbl 0283.68039Bruno, J.; Coffman, E. G. jun.; Sethi, R. 132 1974 An approximate method for generating asymmetric random variables. Zbl 0273.65004Ramberg, John S.; Schmeiser, Bruce W. 129 1974 Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Zbl 0383.68013Backus, John 121 1978 Formal verification of parallel programs. Zbl 0329.68016Keller, Robert M. 112 1976 Convex hulls of finite sets of points in two and three dimensions. Zbl 0342.68030Preparata, F. P.; Hong, S. J. 108 1977 A linear space algorithm for computing maximal common subsequences. Zbl 0301.68042Hirschberg, D. S. 107 1975 Using encryption for authentication in large networks of computers. Zbl 0387.68003Needham, Roger M.; Schroeder, Michael D. 103 1978 A fast algorithm for computing longest common subsequences. Zbl 0354.68078Hunt, James W.; Szymanski, Thomas G. 101 1977 An efficient context-free parsing algorithm. Zbl 0185.43401Earley, J. 100 1970 Use of the Hough transformation to detect lines and curves in pictures. Zbl 1296.94027Duda, Richard O.; Hart, Peter E. 97 1972 Regular expression search algorithm. Zbl 0164.46205Thompson, Ken 97 1968 Multidimensional divide-and-conquer. Zbl 0434.68049Bentley, Jon Louis 89 1980 A modified Newton method for polynomials. Zbl 0148.39004Ehrlich, L. W. 88 1967 Computational algorithms for closed queueing networks with exponential servers. Zbl 0261.68031Buzen, Jeffrey P. 81 1973 Space/time trade-offs in hash coding with allowable errors. Zbl 0195.47003Bloom, Burton H. 80 1970 Symbolic execution and program testing. Zbl 0329.68018King, James C. 74 1976 A new solution of Dijkstra’s concurrent programming problem. Zbl 0281.68004Lamport, Leslie 70 1974 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. 64 1976 Recursive functions of symbolic expressions and their computation by machine. I. Zbl 0101.10413McCarthy, John 64 1960 A vector space model for automatic indexing. Zbl 0313.68082Salton, G.; Wong, A.; Yang, C. S. 61 1975 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. 60 1987 A note on a method for generating points uniformly on \(N\)-dimensional spheres. Zbl 0086.11605Muller, Mervin E. 59 1959 Program development by stepwise refinement. Zbl 0214.43005Wirth, N. 58 1971 Implementing Clenshaw-Curtis quadrature. I: Methodology and experience. II: Computing the cosine transformation. Zbl 0234.65024Gentleman, W. Morven 56 1972 Efficient generation of the binary reflected Gray code and its applications. Zbl 0333.94006Bitner, James R.; Ehrlich, Gideon; Reingold, Edward M. 56 1976 Monitors: An operating system structuring concept. Zbl 0308.68029Hoare, C. A. R. 55 1974 A unifying look at data structures. Zbl 0434.68047Vuillemin, Jean 55 1980 Topological sorting of large networks. Zbl 0106.32602Kahn, A. B. 54 1962 Parallel methods for integrating ordinary differential equations. Zbl 0134.32804Nievergelt, J. 54 1964 An approximate method for generating symmetric random variables. Zbl 0244.65005Ramberg, John S.; Schmeiser, Bruce W. 53 1972 Synthesizing constraint expressions. Zbl 0386.68065Freuder, Eugene C. 50 1978 A data structure for manipulating priority queues. Zbl 0371.68011Vuillemin, Jean 49 1978 The simplex method of linear programming using LU decomposition. Zbl 0181.19104Bartels, R. H.; Golub, G. H. 49 1969 Sorting on a mesh-connected parallel computer. Zbl 0349.68020Thompson, C. D.; Kung, H. T. 49 1977 Flow diagrams, Turing machines and languages with only two formation rules. Zbl 0145.24204Böhm, C.; Jacopini, G. 48 1966 Covering edges by cliques with regard to keyword conflicts and intersection graphs. Zbl 0367.68035Kou, L. T.; Stockmeyer, L. J.; Wong, C. K. 46 1978 A simple automatic derivative evaluation program. Zbl 0131.34602Wengert, R. E. 46 1964 A correspondence between ALGOL 60 and Church’s Lambda-notation. I, II. Zbl 0134.33403Landin, P. J. 46 1965 Reduction: A method of proving properties of parallel programs. Zbl 0316.68015Lipton, Richard J. 46 1975 A lattice model of secure information flow. Zbl 0322.68034Denning, Dorothy E. 46 1976 Certification of programs for secure information flow. Zbl 0361.68033Denning, Dorothy E.; Denning, Peter J. 43 1977 Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010Owicki, Susan; Gries, David 43 1976 The next 700 programming languages. Zbl 0149.12505Landin, P. J. 42 1966 Simple LR(k) grammars. Zbl 0225.68038DeRemer, Franklin L. 42 1971 The parallel execution of DO loops. Zbl 0273.68012Lamport, Leslie 40 1974 Legged robots. Zbl 0709.70504Raibert, Marc H. 39 1986 Secure communications over insecure channels. Zbl 1342.94085Merkle, Ralph C. 39 1978 Abstract data types and software validation. Zbl 0387.68012Guttag, John V.; Horowitz, Ellis; Musser, David R. 39 1978 On self-organizing sequential search heuristics. Zbl 0317.68025Rivest, Ronald 39 1976 Plane-sweep algorithms for intersecting geometric figures. Zbl 0491.68075Nievergelt, J.; Preparata, F. P. 37 1982 A locally adaptive data compression scheme. Zbl 0648.94007Bentley, Jon Louis; Sleator, Daniel D.; Tarjan, Robert E.; Wei, Victor K. 37 1986 Optimal paths in graphs with stochastic or multidimensional weights. Zbl 0526.90085Loui, Ronald Prescott 37 1983 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 36 1984 Determiming the minimum-area encasing rectangle for an arbitrary closed curve. Zbl 0308.68084Freeman, H.; Shapira, R. 36 1975 On the approximation of curves by line segments using dynamic programming. Zbl 0100.12901Bellman, Richard 36 1961 On the computer enumeration of finite topologies. Zbl 0166.01003Evans, J. W.; Harary, Frank; Lynn, M. S. 35 1967 Expected time bounds for selection. Zbl 0296.68049Floyd, Robert W.; Rivest, Ronald L. 35 1975 A numbering system for binary trees. Zbl 0345.68025Knott, Gary D. 35 1977 An exponential method of numerical integration of ordinary differential equations. Zbl 0117.11204Pope, D. A. 34 1963 Reentrant polygon clipping. Zbl 0271.68065Sutherland, Ivan E.; Hodgman, Gary W. 34 1974 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 Mechanical program analysis. Zbl 0306.68008Wegbreit, Ben 32 1975 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. 30 1980 Numerical solution of nonlinear two-point boundary problems by finite difference methods. Zbl 0123.11805Holt, James F. 30 1964 A man-machine approach toward solving the traveling salesman problem. Zbl 0217.27302Krolak, P.; Felts, W.; Marble, G. 30 1971 Min-max heaps and generalized priority queues. Zbl 0642.68055Atkinson, M. D.; Sack, J.-R.; Santoro, N.; Strothotte, T. 29 1986 SIMULA - an ALGOL-based simulation language. Zbl 0139.32903Dahl, O. J.; Nygaard, K. 29 1966 The secant method for simultaneous nonlinear equations. Zbl 0093.13202Wolfe, Philip 28 1959 Algorithm = logic + control. Zbl 0404.68010Kowalski, Robert 28 1979 An optimal real-time algorithm for planar convex hulls. Zbl 0404.68069Preparata, F. P. 28 1979 A syntax directed compiler for ALGOL 60. Zbl 0103.34904Irons, Edgar T. 28 1961 Design of a separable transition-diagram compiler. Zbl 0116.09605Conway, M. 28 1963 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 Implementing quicksort programs. Zbl 0386.68058Sedgewick, Robert 26 1978 An improved algorithm for decentralized extrema-finding in circular configurations of processes. Zbl 0394.68023Chang, Ernest; Roberts, Rosemary 26 1979 The structure of the ‘THE’-multiprogramming system. Zbl 0164.18704Dijkstra, E. W. 26 1968 A linear algorithm for incremental digital display of circular arcs. Zbl 0342.68058Bresenham, Jack 26 1977 Computing arbitrary functions of encrypted data. Zbl 1315.94074Gentry, Craig 10 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. 60 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 3 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. 39 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. 29 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. 580 1984 Anomalies in parallel branch-and-bound algorithms. Zbl 0587.68032Lai, Ten-Hwang; Sahni, Sartaj 36 1984 Predicative programming. I. Zbl 0593.68010Hehner, Eric C. R. 22 1984 Faster methods for random sampling. Zbl 0595.65008Vitter, Jeffrey Scott 9 1984 Predicative programming. II. Zbl 0593.68011Hehner, Eric C. R. 3 1984 Optimal pagination of B-trees with variable-length items. Zbl 0587.68061Diehr, George; Faaland, Bruce 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. 329 1983 Optimal paths in graphs with stochastic or multidimensional weights. Zbl 0526.90085Loui, Ronald Prescott 37 1983 The k-distribution of generalized feedback shift register pseudorandom numbers. Zbl 0515.68047Fushimi, M.; Tezuka, S. 17 1983 Matings in matrices. Zbl 0519.68078Bibel, Wolfgang 17 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 10 1983 An overview of computational complexity. Zbl 0622.68039Cook, Stephen A. 8 1983 On-the-fly optimization of data structures. Zbl 0519.68025Kessels, J. L. W. 8 1983 Antithetic variates revisited. Zbl 0535.65100Fishman, George S.; Huang, Baosheng D. 5 1983 A general-purpose algorithm for analyzing concurrent programs. Zbl 0516.68027Taylor, Richard N. 5 1983 Balancing binary trees by international path reduction. Zbl 0587.68060Gonnet, Gaston H. 4 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 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 22 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 13 1982 Approximation algorithms for convex hulls. Zbl 0466.68059Bentley, Jon Louis; Faust, Mark G.; Preparata, Franco P. 12 1982 The solution for the branching factor of the alpha-beta pruning algorithm and its optimality. Zbl 0486.68056Pearl, Judea 10 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 Combinatorially implosive algorithms. Zbl 0491.68061Kornfeld, William A. 3 1982 Three new combination algorithms with the minimal change property. Zbl 0486.68070Lam, Clement W. H.; Soicher, Leonard H. 2 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 18 1981 Shuffle languages, Petri nets, and context-sensitive grammars. Zbl 0471.68063Gischer, Jay 17 1981 A sublinear additive sieve for finding prime numbers. Zbl 0454.68084Pritchard, Paul 10 1981 Reciprocal hashing: A method for generating minimal perfect hashing functions. Zbl 0466.68051Jaeschke, G. 9 1981 Multidimensional divide-and-conquer. Zbl 0434.68049Bentley, Jon Louis 89 1980 A unifying look at data structures. Zbl 0434.68047Vuillemin, Jean 55 1980 Decentralized extrema-finding in circular configurations of processors. Zbl 0444.68022Hirschberg, D. S.; Sinclair, J. B. 30 1980 On folk theorems. Zbl 0432.68009Harel, David 17 1980 Information transfer and area-time tradeoffs for VLSI multiplication. Zbl 0423.68009Abelson, Harold; Andreae, Peter 8 1980 Region representation: Quadtrees from boundary codes. Zbl 0429.68074Samet, Hanan 8 1980 Specification and verification of the UCLA Unix security kernel. Zbl 0427.68032Walker, Bruce J.; Kemmerer, Richard A.; Popek, Gerald J. 6 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 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 787 1979 New methods to color the vertices of a graph. Zbl 0394.05022Brelaz, Daniel 190 1979 Proving termination with multiset orderings. Zbl 0431.68016Dershowitz, Nachum; Manna, Zohar 145 1979 Computing connected components on parallel computers. Zbl 0429.68061Hirschberg, D. S.; Chandra, A. K.; Sarwate, D. V. 31 1979 Algorithm = logic + control. Zbl 0404.68010Kowalski, Robert 28 1979 An optimal real-time algorithm for planar convex hulls. Zbl 0404.68069Preparata, F. P. 28 1979 An improved algorithm for decentralized extrema-finding in circular configurations of processes. Zbl 0394.68023Chang, Ernest; Roberts, Rosemary 26 1979 Storing a sparse table. Zbl 0414.68038Tarjan, Robert Endre; Yao, Andrew Chi-Chih 24 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 A mathematical programming updating method using modified Givens transformations and applied to LP problems. Zbl 0401.90075Hanson, Richard J.; Wisniewski, John A. 2 1979 Permutation of data blocks in a bubble memory. Zbl 0388.68019Bongiovanni, Gian Carlo; Luccio, Fabrizio 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 A method for obtaining digital signatures and public-key cryptosystems. Zbl 0368.94005Rivest, R. L.; Shamir, A.; Adleman, L. 797 1978 Time, clocks, and the ordering of events in a distributed system. Zbl 0378.68027Lamport, Leslie 327 1978 ...and 730 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 18,902 Authors 35 Petković, Miodrag S. 33 Chang, Chin-Chen 27 Kalaba, Robert E. 26 Montanari, Angelo 26 Wood, Derick 25 Bergstra, Jan A. 25 Hoare, C. A. R. Tony 24 Raynal, Michel 23 Amir, Amihood 22 Datta, Ajoy Kumar 22 Devroye, Luc P. J. A. 22 Ingólfsdóttir, Anna 21 Aceto, Luca 21 Sciavicco, Guido 20 Dolev, Shlomi 19 Navarro, Gonzalo 19 Padró, Carles 19 Pardalos, Panos M. 18 Lee, Richard Chia-Tung 18 Shampine, Lawrence Fred 18 Tixeuil, Sébastien 17 Crochemore, Maxime 17 Evans, David John 17 Jbilou, Khalide 17 Munro, J. Ian 17 Servedio, Rocco A. 16 De Santis, Alfredo 16 Demetrovics, János 16 Dershowitz, Nachum 16 Grossi, Roberto 16 Hasegawa, Takemitsu 16 Landau, Gad M. 16 Park, Kunsoo 16 Porat, Ely 16 Sala, Pietro 16 Wang, Huaxiong 15 Benner, Peter 15 Devismes, Stéphane 15 Elmasry, Amr 15 Farràs, Oriol 15 Meseguer Guaita, José 15 Soisalon-Soininen, Eljas 15 Srimani, Pradip K. 15 Ullman, Jeffrey David 15 Vardi, Moshe Ya’akov 14 Beimel, Amos 14 Bshouty, Nader H. 14 Francez, Nissim 14 Gawrychowski, Paweł 14 Hesselink, Wim H. 14 Huang, Shingtsaan 14 Iliopoulos, Costas S. 14 Peled, Doron A. 14 Simoncini, Valeria 13 Anisimov, Anatoly V. 13 Faro, Simone 13 Hwang, Minshiang 13 Ishai, Yuval 13 Larmore, Lawrence L. 13 Lecroq, Thierry 13 Li, Ming 13 Link, Sebastian 13 Masuzawa, Toshimitsu 13 Nitaj, Abderrahmane 13 Spirakis, Paul G. 12 Albert, Elvira 12 Conte, Alessio 12 Edelsbrunner, Herbert 12 Engelfriet, Joost 12 Gennaro, Rosario 12 Kapur, Deepak 12 Katajainen, Jyrki 12 Montanari, Ugo G. 12 Nielson, Flemming 12 Sankaran, Paduthol Godan 12 Stinson, Douglas Robert 12 Tini, Simone 12 Yang, Chang-Biau 12 Yung, Moti 11 Aoe, Jun-ichi 11 Blundo, Carlo 11 Broy, Manfred 11 Eiter, Thomas 11 Goldreich, Oded 11 Guerraoui, Rachid 11 Han, Yo-Sub 11 Haussler, David 11 Ibaraki, Toshihide 11 Kakugawa, Hirotsugu 11 Larsen, Kim Skak 11 Li, Sanjiang 11 Ottmann, Thomas A. 11 Pissis, Solon P. 11 Pnueli, Amir 11 Rahman, Mohammad Sohel 11 Riis Nielson, Hanne 11 Rytter, Wojciech 11 Sugiura, Hiroshi 11 Yang, Yuguang 10 Apt, Krzysztof Rafal ...and 18,802 more Authors all top 5 Cited in 777 Journals 1,018 Theoretical Computer Science 699 Information Processing Letters 276 Journal of Computer and System Sciences 250 Acta Informatica 244 Artificial Intelligence 232 Information and Computation 221 Information Sciences 211 Discrete Applied Mathematics 201 Applied Mathematics and Computation 198 International Journal of Computer Mathematics 190 Computers & Mathematics with Applications 175 Computing 174 Journal of Computational and Applied Mathematics 174 European Journal of Operational Research 169 Distributed Computing 163 Algorithmica 155 Journal of Computational Physics 132 Formal Aspects of Computing 124 BIT 121 Computers & Operations Research 117 BIT. Nordisk Tidskrift for Informationsbehandling 113 Linear Algebra and its Applications 107 International Journal of Foundations of Computer Science 103 Pattern Recognition 95 Journal of Automated Reasoning 89 International Journal of Computer & Information Sciences 89 Annals of Operations Research 87 Journal of Cryptology 82 Software. Practice & Experience 81 Mathematics of Computation 81 Quantum Information Processing 80 Computer Methods in Applied Mechanics and Engineering 80 Annals of Mathematics and Artificial Intelligence 79 Designs, Codes and Cryptography 70 Numerische Mathematik 69 Journal of Symbolic Computation 66 Journal of Logical and Algebraic Methods in Programming 61 Journal of Discrete Algorithms 56 Applied Numerical Mathematics 55 International Journal of Theoretical Physics 54 Fuzzy Sets and Systems 54 Cybernetics 54 Journal of Discrete Mathematical Sciences & Cryptography 52 Journal of Computer Science and Technology 52 Formal Methods in System Design 49 Machine Learning 49 The Journal of Logic and Algebraic Programming 48 Journal of Optimization Theory and Applications 47 Discrete Mathematics 45 Cybernetics and Systems Analysis 44 Journal of Mathematical Analysis and Applications 44 Calcolo 43 Journal of Parallel and Distributed Computing 43 Journal of Functional Programming 42 Computational Geometry 42 Computational Statistics and Data Analysis 41 Mathematical and Computer Modelling 39 New Generation Computing 39 SIAM Journal on Scientific Computing 39 Theory and Practice of Logic Programming 38 MSCS. Mathematical Structures in Computer Science 38 Numerical Algorithms 38 Communications in Statistics. Simulation and Computation 37 Science of Computer Programming 37 Journal of Statistical Computation and Simulation 37 Parallel Algorithms and Applications 36 Automatica 36 RAIRO, Informatique Théorique 36 International Journal of Parallel Programming 35 Mathematical Systems Theory 33 Operations Research Letters 33 International Journal of Production Research 33 Applied Mathematical Modelling 33 Journal of Combinatorial Optimization 32 Mathematical Problems in Engineering 32 Theory of Computing Systems 31 International Journal of Systems Science 31 Communications in Statistics. Theory and Methods 31 Constraints 30 SIAM Journal on Computing 30 Annals of Pure and Applied Logic 30 Discrete & Computational Geometry 29 Mathematical Programming. Series A. Series B 28 Data Mining and Knowledge Discovery 27 Journal of Soviet Mathematics 27 Applied Mathematics Letters 26 Applicable Algebra in Engineering, Communication and Computing 26 Journal of Scheduling 25 Computer Aided Geometric Design 25 Logical Methods in Computer Science 24 Neural Computation 23 International Journal of Control 23 Kybernetika 23 Mathematical Programming 23 RAIRO. Informatique Théorique et Applications 23 Journal of Mathematical Imaging and Vision 23 Finite Fields and their Applications 23 International Journal of Parallel, Emergent and Distributed Systems 22 Journal of the Franklin Institute 22 JETAI. Journal of Experimental & Theoretical Artificial Intelligence ...and 677 more Journals all top 5 Cited in 61 Fields 8,076 Computer science (68-XX) 1,962 Numerical analysis (65-XX) 1,600 Information and communication theory, circuits (94-XX) 1,235 Operations research, mathematical programming (90-XX) 841 Mathematical logic and foundations (03-XX) 742 Combinatorics (05-XX) 501 Statistics (62-XX) 336 Linear and multilinear algebra; matrix theory (15-XX) 289 Number theory (11-XX) 275 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 269 Quantum theory (81-XX) 268 Systems theory; control (93-XX) 267 Biology and other natural sciences (92-XX) 253 Probability theory and stochastic processes (60-XX) 222 Ordinary differential equations (34-XX) 180 Partial differential equations (35-XX) 173 Fluid mechanics (76-XX) 140 Approximations and expansions (41-XX) 128 Convex and discrete geometry (52-XX) 121 Order, lattices, ordered algebraic structures (06-XX) 108 Mechanics of deformable solids (74-XX) 73 Mechanics of particles and systems (70-XX) 70 Functions of a complex variable (30-XX) 70 Calculus of variations and optimal control; optimization (49-XX) 63 Category theory; homological algebra (18-XX) 62 Dynamical systems and ergodic theory (37-XX) 59 Field theory and polynomials (12-XX) 54 Group theory and generalizations (20-XX) 53 History and biography (01-XX) 53 Statistical mechanics, structure of matter (82-XX) 52 Algebraic geometry (14-XX) 52 Real functions (26-XX) 40 General topology (54-XX) 40 Classical thermodynamics, heat transfer (80-XX) 38 General and overarching topics; collections (00-XX) 36 General algebraic systems (08-XX) 36 Geometry (51-XX) 30 Geophysics (86-XX) 27 Special functions (33-XX) 25 Harmonic analysis on Euclidean spaces (42-XX) 24 Integral equations (45-XX) 21 Commutative algebra (13-XX) 21 Integral transforms, operational calculus (44-XX) 19 Operator theory (47-XX) 18 Optics, electromagnetic theory (78-XX) 16 Differential geometry (53-XX) 15 Associative rings and algebras (16-XX) 15 Difference and functional equations (39-XX) 13 Manifolds and cell complexes (57-XX) 12 Algebraic topology (55-XX) 11 Mathematics education (97-XX) 9 Functional analysis (46-XX) 9 Relativity and gravitational theory (83-XX) 8 Measure and integration (28-XX) 7 Sequences, series, summability (40-XX) 5 Potential theory (31-XX) 4 Nonassociative rings and algebras (17-XX) 4 Topological groups, Lie groups (22-XX) 4 Global analysis, analysis on manifolds (58-XX) 2 Astronomy and astrophysics (85-XX) 1 Several complex variables and analytic spaces (32-XX) Citations by Year