## Journal of the Association for Computing Machinery

 Short Title: J. Assoc. Comput. Mach. Publisher: Association for Computing Machinery (ACM), New York, NY ISSN: 0004-5411 Online: http://dl.acm.org/citation.cfm?id=J401 Successor: Journal of the ACM Comments: No longer indexed
 Documents Indexed: 1,779 Publications (1955–1995) References Indexed: 4 Publications with 99 References.
all top 5

### Latest Issues

 42, No. 6 (1995) 42, No. 5 (1995) 42, No. 4 (1995) 42, No. 3 (1995) 42, No. 2 (1995) 42, No. 1 (1995) 41, No. 6 (1994) 41, No. 5 (1994) 41, No. 4 (1994) 41, No. 3 (1994) 41, No. 2 (1994) 41, No. 1 (1994) 40, No. 5 (1993) 40, No. 4 (1993) 40, No. 3 (1993) 40, No. 2 (1993) 40, No. 1 (1993) 39, No. 4 (1992) 39, No. 3 (1992) 39, No. 2 (1992) 39, No. 1 (1992) 38, No. 4 (1991) 38, No. 3 (1991) 38, No. 2 (1991) 38, No. 1 (1991) 37, No. 4 (1990) 37, No. 3 (1990) 37, No. 2 (1990) 37, No. 1 (1990) 36, No. 4 (1989) 36, No. 3 (1989) 36, No. 2 (1989) 36, No. 1 (1989) 35, No. 4 (1988) 35, No. 3 (1988) 35, No. 2 (1988) 35, No. 1 (1988) 34 (1987) 33 (1986) 32 (1985) 31 (1984) 30 (1983) 29 (1982) 28 (1981) 27 (1980) 26 (1979) 25 (1978) 24 (1977) 23 (1976) 22 (1975) 21 (1974) 20 (1973) 19 (1972) 18 (1971) 17 (1970) 16 (1969) 15 (1968) 14 (1967) 13 (1966) 12 (1965) 11 (1964) 10 (1963) 9 (1962) 8 (1961) 7 (1960) 6 (1959) 5 (1958) 2 (1955)
all top 5

### Authors

 21 Ginsburg, Seymour 18 Tarjan, Robert Endre 15 Papadimitriou, Christos Harilaos 15 Ullman, Jeffrey David 13 Sethi, Ravi 12 Coffman, Edward Grady jun. 12 Halpern, Joseph Yehuda 12 Lynch, Nancy Ann 12 Yannakakis, Mihalis 11 Galil, Zvi 11 Rosenberg, Arnold Leonard 11 Sahni, Sartaj K. 10 Fagin, Ronald 10 Slagle, James R. 9 Dolev, Danny 9 Harrison, Michael A. 9 Ibarra, Oscar H. 9 Kung, H. T. 9 Winograd, Shmuel 9 Yao, Andrew Chi-Chih 8 Fischer, Michael J. 8 Sagiv, Yehoshua 8 Traub, Joseph Frederick 7 Adiri, Igal 7 Aho, Alfred Vaino 7 Greibach, Sheila A. 7 Hopcroft, John Edward H. 7 Hunt, Harry Bowen III 7 Karp, Richard Manning 7 Konheim, Alan G. 7 Megiddo, Nimrod 7 Salton, Gerard 7 Stockmeyer, Larry J. 7 Towsley, Donald Fred 7 Valiant, Leslie Gabriel 6 Attiya, Hagit 6 Curtis, H. Allen 6 Garey, Michael Randolph 6 Hibbard, Thomas N. 6 Lipton, Richard Jay 6 Meyer, Albert Ronald 6 Mitra, Debasis 5 Brent, Richard Peirce 5 Bruno, John L. 5 Chaitin, Gregory John 5 Dwork, Cynthia 5 Even, Shimon 5 Frederickson, Greg N. 5 Gelenbe, Sami Erol 5 Gonzalez, Teofilo F. 5 Hartmanis, Juris 5 Iglehart, Donald Lee 5 Johnson, Donald B. 5 Kleinrock, Leonard 5 Lamport, Leslie 5 Loveland, Donald W. 5 Manna, Zohar 5 Muntz, Richard R. 5 Pease, Marshall C. III 5 Peleg, David 5 Pippenger, Nicholas J. 5 Preparata, Franco P. 5 Reif, John H. 5 Reischuk, Rüdiger 5 Shostak, Robert E. 5 Upfal, Eli 5 Vardi, Moshe Ya’akov 5 Wagner, Robert A. 5 Wigderson, Avi 4 Baccelli, François Louis 4 Baker, Brenda S. 4 Beeri, Catriel 4 Blum, Manuel 4 Book, Ronald Vernon 4 Brzozowski, Janusz Antoni 4 Chandy, Kanianthra Mani 4 Chazelle, Bernard 4 Ehrenfeucht, Andrzej 4 Fischer, Patrick Carl 4 Fredman, Michael L. 4 Gabow, Harold N. 4 Gill, Arthur 4 Gottlob, Georg 4 Gurari, Eitan M. 4 Hennessy, Matthew C. B. 4 Henschen, Lawrence J. 4 Hirschberg, Daniel S. 4 Hofri, Micha 4 Horowitz, Ellis 4 Ja’Ja’, Joseph F. 4 Johnson, David Stifler 4 Kannan, Ravindran 4 Kosaraju, S. Rao 4 Ladner, Richard E. 4 Lavenberg, Stephen S. 4 Maier, David 4 Mansour, Yishay 4 Mehlhorn, Kurt 4 Merritt, Michael J. 4 Perl, Yehoshua ...and 1,677 more Authors
all top 5

### Fields

 1,084 Computer science (68-XX) 153 Numerical analysis (65-XX) 119 Mathematical logic and foundations (03-XX) 119 Operations research, mathematical programming (90-XX) 91 Information and communication theory, circuits (94-XX) 82 Combinatorics (05-XX) 58 Probability theory and stochastic processes (60-XX) 20 Linear and multilinear algebra; matrix theory (15-XX) 19 Number theory (11-XX) 11 Group theory and generalizations (20-XX) 10 Field theory and polynomials (12-XX) 9 Statistics (62-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Convex and discrete geometry (52-XX) 6 Systems theory; control (93-XX) 5 General algebraic systems (08-XX) 5 Approximations and expansions (41-XX) 4 Biology and other natural sciences (92-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Real functions (26-XX) 3 Harmonic analysis on Euclidean spaces (42-XX) 3 Integral equations (45-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 2 History and biography (01-XX) 2 Associative rings and algebras (16-XX) 2 Functions of a complex variable (30-XX) 2 Ordinary differential equations (34-XX) 2 Partial differential equations (35-XX) 2 Operator theory (47-XX) 1 Commutative algebra (13-XX) 1 Nonassociative rings and algebras (17-XX) 1 Integral transforms, operational calculus (44-XX) 1 Geometry (51-XX) 1 General topology (54-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mechanics of particles and systems (70-XX)

### Citations contained in zbMATH Open

1,539 Publications have been cited 38,325 times in 28,381 Documents Cited by Year
Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. Zbl 0885.68088
Goemans, Michel X.; Williamson, David P.
1995
A machine-oriented logic based on the resolution principle. Zbl 0139.12303
Robinson, J. A.
1965
Alternation. Zbl 0473.68043
Chandra, Ashok K.; Kozen, Dexter C.; Stockmeyer, Larry J.
1981
A computing procedure for quantification theory. Zbl 0212.34203
Davis, M.; Putnam, H.
1960
Theoretical improvements in algorithmic efficiency for network flow problems. Zbl 0318.90024
Edmonds, Jack; Karp, Richard M.
1972
Optimal order of one-point and multipoint iteration. Zbl 0289.65023
Kung, H. T.; Traub, J. F.
1974
Algebraic laws for nondeterminism and concurrency. Zbl 0629.68021
Hennessy, Matthew; Milner, Robin
1985
Fast probabilistic algorithms for verification of polynomial identities. Zbl 0452.68050
Schwartz, J. T.
1980
Scheduling algorithms for multiprogramming in a hard-real-time environment. Zbl 0265.68013
Liu, C. L.; Layland, James W.
1973
Integer programming formulation of traveling salesman problems. Zbl 0100.15101
Miller, C. E.; Tucker, A. W.; Zemlin, R. A.
1960
Impossibility of distributed consensus with one faulty process. Zbl 0629.68027
Fischer, Michael J.; Lynch, Nancy A.; Paterson, Michael S.
1985
P-complete approximation problems. Zbl 0348.90152
Sahni, Sartaj; Gonzalez, Teofilo
1976
Confluent reductions: Abstract properties and applications to term rewriting systems. Zbl 0458.68007
Huet, Gerard
1980
Learnability and the Vapnik-Chervonenkis dimension. Zbl 0697.68079
Blumer, Anselm; Ehrenfeucht, Andrzej; Haussler, David; Warmuth, Manfred K.
1989
Efficient planarity testing. Zbl 0307.68025
Hopcroft, John; Tarjan, Robert
1974
’Direct search’ solution of numerical and statistical problems. Zbl 0111.12501
Hooke, R.; Jeeves, T. A.
1961
The well-founded semantics for general logic programs. Zbl 0799.68045
van Gelder, Allen; Ross, Kenneth A.; Schlipf, John S.
1991
A new approach to the maximum-flow problem. Zbl 0661.90031
Goldberg, Andrew V.; Tarjan, Robert E.
1988
Color-coding. Zbl 0885.68116
Alon, Noga; Yuster, Raphael; Zwick, Uri
1995
Fast approximation algorithms for the knapsack and sum of subset problems. Zbl 0345.90049
Ibarra, Oscar H.; Kim, Chul E.
1975
A machine-independent theory of the complexity of recursive functions. Zbl 0155.01503
Blum, Manuel
1967
Open, closed, and mixed networks of queues with different classes of customers. Zbl 0313.68055
Baskett, Forest; Chandy, K. Mani; Muntz, Richard R.; Palacios, Fernando G.
1975
The semantics of predicate logic as a programming language. Zbl 0339.68004
van Emden, M. H.; Kowalski, R. A.
1976
The string-to-string correction problem. Zbl 0278.68032
Wagner, Robert A.; Fischer, Michael J.
1974
A theory of communicating sequential processes. Zbl 0628.68025
Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W.
1984
Reaching agreement in the presence of faults. Zbl 0434.68031
Pease, M.; Shostak, R.; Lamport, L.
1980
On context-free languages. Zbl 0154.25801
Parikh, R. J.
1966
“Strong” NP-completeness results: Motivation, examples, and implications. Zbl 0379.68035
Garey, M. R.; Johnson, D. S.
1978
A technique for the numerical solution of certain integral equations of the first kind. Zbl 0108.29902
Phillips, D. L.
1962
Institutions: Abstract model theory for specification and programming. Zbl 0799.68134
Goguen, Joseph A.; Burstall, Rod M.
1992
Approximation algorithms for NP-complete problems on planar graphs. Zbl 0807.68067
Baker, Brenda S.
1994
Open shop scheduling to minimize finish time. Zbl 0343.68031
Gonzalez, Teofilo; Sahni, Sartaj
1976
Efficiency of a good but not linear set union algorithm. Zbl 0307.68029
Tarjan, Robert Endre
1975
Fibonacci heaps and their uses in improved network optimization algorithms. Zbl 1412.68048
Fredman, Michael L.; Tarjan, Robert Endre
1987
Initial algebra semantics and continuous algebras. Zbl 0359.68018
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B.
1977
The complexity of propositional linear temporal logics. Zbl 0632.68034
Sistla, A. P.; Clarke, E. M.
1985
A theory of program size formally identical to information theory. Zbl 0309.68045
Chaitin, Gregory J.
1975
A theorem on Boolean matrices. Zbl 0118.33104
Warshall, S.
1962
On the structure of polynomial time reducibility. Zbl 0322.68028
1975
A space-economical suffix tree construction algorithm. Zbl 0329.68042
McCreight, Edward M.
1976
A framework for defining logics. Zbl 0778.03004
Harper, Robert; Honsell, Furio; Plotkin, Gordon
1993
Applying parallel computation algorithms in the design of serial algorithms. Zbl 0627.68034
Megiddo, Nimrod
1983
On the desirability of acyclic database schemes. Zbl 0624.68087
Beeri, Catriel; Fagin, Ronald; Maier, David; Yannakakis, Mihalis
1983
“Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Zbl 0629.68020
Emerson, E. Allen; Halpern, Joseph Y.
1986
Derivatives of regular expressions. Zbl 0225.94044
Brzozowski, Janusz A.
1964
Approximation schemes for covering and packing problems in image processing and VLSI. Zbl 0633.68027
Hochbaum, Dorit S.; Maass, Wolfgang
1985
Knowledge and common knowledge in a distributed environment. Zbl 0699.68115
Halpern, Joseph Y.; Moses, Yoram
1990
On the hardness of approximating minimization problems. Zbl 0814.68064
Lund, Carsten; Yannakakis, Mihalis
1994
Reversal-bounded multicounter machines and their decision problems. Zbl 0365.68059
Ibarra, Oscar H.
1978
Algorithms for scheduling independent tasks. Zbl 0326.68024
Sahni, Sartaj K.
1976
Self-adjusting binary search trees. Zbl 0631.68060
Sleator, Daniel Dominic; Tarjan, Robert Endre
1985
Linear programming in linear time when the dimension is fixed. Zbl 0637.90064
Megiddo, Nimrod
1984
A fast direct solution of Poisson’s equation using Fourier analysis. Zbl 0139.10902
Hockney, R. W.
1965
Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. Zbl 0799.68101
Goldreich, Oded; Micali, Silvio; Wigderson, Avi
1991
Parallel prefix computation. Zbl 0445.68066
Ladner, Richard E.; Fischer, Michael J.
1980
A transformation system for developing recursive programs. Zbl 0343.68014
Burstall, R. M.; Darlington, John
1977
Bisimulation can’t be traced. Zbl 0886.68027
Bloom, Bard; Istrail, Sorin; Meyer, Albert R.
1995
On the length of programs for computing finite binary sequences. Zbl 0158.25301
Chaitin, Gregory J.
1966
The parallel evaluation of general arithmetic expressions. Zbl 0276.68010
Brent, Richard P.
1974
Indexed grammars - an extension of context-free grammars. Zbl 0175.27801
Aho, A. V.
1968
Iterative procedures for nonlinear integral equations. Zbl 0149.11503
Anderson, D. G.
1965
On communicating finite-state machines. Zbl 0512.68039
Brand, Daniel; Zafiropulo, Pitro
1983
Storing a sparse table with O(1) worst case access time. Zbl 0629.68068
Fredman, Michael L.; Komlós, János; Szemerédi, Endre
1984
A random polynomial-time algorithm for approximating the volume of convex bodies. Zbl 0799.68107
Dyer, Martin; Frieze, Alan; Kannan, Ravi
1991
Characterizations of pushdown machines in terms of time-bounded computers. Zbl 0222.02035
Cook, Stephen A.
1971
Dynamic programming treatment of the travelling salesman problem. Zbl 0106.14102
Bellman, Richard
1962
The complexity of searching a graph. Zbl 0637.68081
Megiddo, N.; Hakimi, S. L.; Garey, M. R.; Johnson, D. S.; Papadimitriou, C. H.
1988
Tree-manipulating systems and Church-Rosser theorems. Zbl 0267.68013
Rosen, Barry K.
1973
A simple on-line bin-packing algorithm. Zbl 0629.68045
Lee, C. C.; Lee, D. T.
1985
The complexity of some problems on subsequences and supersequences. Zbl 0371.68018
Maier, David
1978
Asynchronous iterative methods for multiprocessors. Zbl 0372.68015
Baudet, Gerard M.
1978
Efficient algorithms for shortest paths in sparse networks. Zbl 0343.68028
Johnson, Donald B.
1977
Constant depth circuits, Fourier transform, and learnability. Zbl 0781.94006
Linial, Nathan; Mansour, Yishay; Nisan, Noam
1993
Computing partitions with applications to the knapsack problem. Zbl 0329.90046
Horowitz, Ellis; Sahni, Sartaj
1974
Hard examples for resolution. Zbl 0639.68093
Urquhart, Alasdair
1987
Exact and approximate algorithms for scheduling nonidentical processors. Zbl 0329.68041
Horowitz, Ellis; Sahni, Sartaj
1976
Slowing down sorting networks to obtain faster sorting algorithms. Zbl 1378.68037
Cole, Richard
1987
Complete sets of reductions for some equational theories. Zbl 0479.68092
Peterson, Gerald E.; Stickel, Mark E.
1981
Algebraic methods for interactive proof systems. Zbl 0799.68097
Lund, Carsten; Fortnow, Lance; Karloff, Howard; Nisan, Noam
1992
Complexity of network synchronization. Zbl 0628.68045
Awerbuch, Baruch
1985
Contributions to the theory of logic programming. Zbl 0483.68004
Apt, Krzysztof R.; van Emden, M. H.
1982
Error analysis of direct methods of matrix inversion. Zbl 0109.09005
Wilkinson, J. H.
1961
Degrees of acyclicity for hypergraphs and relational database schemes. Zbl 0624.68088
Fagin, Ronald
1983
A sufficient condition for backtrack-free search. Zbl 0477.68063
Freuder, Eugene C.
1982
A really temporal logic. Zbl 0807.68065
Alur, Rajeev; Henzinger, Thomas A.
1994
A new method of interpolation and smooth curve fitting based on local procedures. Zbl 0209.46805
Akima, Hiroshi
1970
The complexity of probabilistic verification. Zbl 0885.68109
Courcoubetis, Costas; Yannakakis, Mihalis
1995
Inference of reversible languages. Zbl 0485.68066
Angluin, Dana
1982
Computability of recursive functions. Zbl 0118.25401
Shepherdson, J. C.; Sturgis, H. E.
1963
Reasoning about knowledge and probability. Zbl 0806.68098
Fagin, Ronald; Halpern, Joseph Y.
1994
Numerical inversion of Laplace transforms using a Fourier series approximation. Zbl 0315.65074
Crump, Kenny S.
1976
Confluent and other types of Thue systems. Zbl 0478.68032
Book, Ronald V.
1982
Computational limitations on learning from examples. Zbl 0662.68086
Pitt, Leonard; Valiant, Leslie G.
1988
On finding the maxima of a set of vectors. Zbl 0316.68030
Kung, H. T.; Luccio, F.; Preparata, F. P.
1975
Algorithms for the longest common subsequence problem. Zbl 0402.68041
Hirschberg, Daniel S.
1977
An algorithm for subgraph isomorphism. Zbl 0323.05138
Ullman, J. R.
1976
Autoepistemic logic. Zbl 0799.68176
Marek, Wiktor; Truszczynski, Miroslaw
1991
A decomposition of multidimensional point sets with applications to $$k$$-nearest-neighbors and $$n$$-body potential fields. Zbl 0886.68078
Callahan, Paul B.; Kosaraju, S. Rao
1995
Numerical inversion of Laplace transforms by relating them to the finite Fourier cosine transform. Zbl 0165.51403
Dubner, H.; Abate, J.
1968
Subresultants and reduced polynomial remainder sequences. Zbl 0152.35403
Collins, G. E.
1967
Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. Zbl 0885.68088
Goemans, Michel X.; Williamson, David P.
1995
Color-coding. Zbl 0885.68116
Alon, Noga; Yuster, Raphael; Zwick, Uri
1995
Bisimulation can’t be traced. Zbl 0886.68027
Bloom, Bard; Istrail, Sorin; Meyer, Albert R.
1995
The complexity of probabilistic verification. Zbl 0885.68109
Courcoubetis, Costas; Yannakakis, Mihalis
1995
A decomposition of multidimensional point sets with applications to $$k$$-nearest-neighbors and $$n$$-body potential fields. Zbl 0886.68078
Callahan, Paul B.; Kosaraju, S. Rao
1995
Three logics for branching bisimulation. Zbl 0886.68064
de Nicola, Rocco; Vaandrager, Frits
1995
Reasoning about temporal relations: A maximal tractable subclass of Allen’s interval algebra. Zbl 0886.68077
Nebel, Bernhard; Bürckert, Hans-Jürgen
1995
Designing programs that check their work. Zbl 0886.68046
Blum, Manuel; Kannan, Sampath
1995
The complexity of logic-based abduction. Zbl 0886.68121
Eiter, Thomas; Gottlob, Georg
1995
On the $$k$$-server conjecture. Zbl 0885.68075
1995
Las Vegas algorithms for linear and integer programming when the dimension is small. Zbl 0885.65063
Clarkson, Kenneth L.
1995
A randomized linear-time algorithm to find minimum spanning trees. Zbl 0886.68079
Karger, David R.; Klein, Philip N.; Tarjan, Robert E.
1995
Sharing memory robustly in message-passing systems. Zbl 0886.68018
Attiya, Hagit; Bar-Noy, Amotz; Dolev, Danny
1995
Logical foundations of object-oriented and frame-based languages. Zbl 0885.68054
Kifer, Michael; Lausen, Georg; Wu, James
1995
Parametricity and local variables. Zbl 0885.68039
O&rsquo;Hearn, P. W.; Tennent, R. D.
1995
Termination for direct sums of left-linear complete term rewriting systems. Zbl 0885.68093
Toyama, Y.; Klop, J. W.; Barendregt, H. P.
1995
The isomorphism conjecture fails relative to a random oracle. Zbl 0886.68068
Kurtz, Stuart A.; Mahaney, Stephen R.; Royer, James S.
1995
On the existence of equilibria in noncooperative optimal flow control. Zbl 0885.68015
Korilis, Yannis A.; Lazar, Aurel A.
1995
On the minimality and global consistency of row-convex constraint networks. Zbl 0885.68087
van Beek, Peter; Dechter, Rina
1995
Eigenvalues and expansion of regular graphs. Zbl 0885.68117
Kahale, Nabil
1995
On the impact of forgetting on learning machines. Zbl 0891.68088
Freivalds, Rūsiņš; Kinber, Efim; Smith, Carl H.
1995
NP trees and Carnap’s modal logic. Zbl 0886.68069
Gottlob, Georg
1995
A class of logic problems solvable by linear programming. Zbl 0900.03025
Conforti, Michele; Cornuéjols, Gérard
1995
Online tracking of mobile users. Zbl 0885.68017
Awerbuch, Baruch; Peleg, David
1995
Equational specifications, complete term rewriting systems, and computable and semicomputable algebras. Zbl 0885.68092
Bergstra, J. A.; Tucker, J. V.
1995
Translating default logic into standard autoepistemic logic. Zbl 0884.03025
Gottlob, Georg
1995
Computing with faulty shared objects. Zbl 0890.68019
Afek, Yehuda; Greenberg, David S.; Merritt, Michael; Taubenfeld, Gadi
1995
Dynamic fault-tolerant clock synchronization. Zbl 0886.68008
Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, Ray
1995
Provably correct theories of action. Zbl 0886.68122
Lin, Fangzhen; Shoham, Yoav
1995
Deterministic on-line routing on area-universal networks. Zbl 0885.68029
Bay, Paul; Bilardi, Gianfranco
1995
Boyar, Joan; Brassard, Gilles; Peralta, René
1995
Chien, Andrew A.; Kim, Jae H.
1995
Constructing 1-writer multireader multivalued atomic variables from regular variables. Zbl 0886.68019
Haldar, S.; Vidyasankar, K.
1995
Nearly optimal algorithms and bounds for multilayer channel routing. Zbl 0886.68021
Berger, Bonnie; Brady, Martin; Brown, Donna; Leighton, Tom
1995
Expected deadlock time in a multiprocessing system. Zbl 0885.68040
Compton, Kevin J.; Ravishankar, Chinya
1995
On the average communication complexity of asynchronous distributed algorithms. Zbl 0886.68070
Tsitsiklis, John N.; Stamoulis, George D.
1995
An optimal service policy for buffer systems. Zbl 0885.68016
Birman, Alexander; Gail, H. Richard; Hantler, Sidney L.; Rosberg, Zvi; Sidi, Moshe
1995
A constant-time optimal parallel string-matching algorithm. Zbl 0885.68082
Galil, Zvi
1995
Calculating normalization constants of closed queuing networks by numerically inverting their generating functions. Zbl 0885.68026
Choudhury, Gagan L.; Leung, Kin K.; Whitt, Ward
1995
Bounds on the speedup and efficiency of partial synchronization in parallel processing systems. Zbl 0886.68020
Chang, C. S.; Nelson, R.
1995
A theory of using history for equational systems with applications. Zbl 0885.68128
Verma, Rakesh M.
1995
Recoverable sequence transmission protocols. Zbl 0885.68018
Tempero, Ewan D.; Ladner, Richard E.
1995
Approximation algorithms for NP-complete problems on planar graphs. Zbl 0807.68067
Baker, Brenda S.
1994
On the hardness of approximating minimization problems. Zbl 0814.68064
Lund, Carsten; Yannakakis, Mihalis
1994
A really temporal logic. Zbl 0807.68065
Alur, Rajeev; Henzinger, Thomas A.
1994
Reasoning about knowledge and probability. Zbl 0806.68098
Fagin, Ronald; Halpern, Joseph Y.
1994
Cryptographic limitations on learning Boolean formulae and finite automata. Zbl 0807.68073
Kearns, Michael; Valiant, Leslie
1994
Biconnectivity approximations and graph carvings. Zbl 0822.68082
Khuller, Samir; Vishkin, Uzi
1994
On binary constraint problems. Zbl 0813.03045
1994
Linear approximation of shortest superstrings. Zbl 0812.68075
Blum, Avrim; Jiang, Tao; Li, Ming; Tromp, John; Yannakakis, Mihalis
1994
Counting networks. Zbl 0813.68050
Aspnes, James; Herlihy, Maurice; Shavit, Nir
1994
New approximation algorithms for graph coloring. Zbl 0821.68092
Blum, Avrim
1994
On the power of bounded concurrency. I: Finite automata. Zbl 0813.68138
Drusinsky, Doron; Harel, David
1994
Instance complexity. Zbl 0807.68035
Orponen, Pekka; Ko, Ker-I; Schöning, Uwe; Watanabe, Osamu
1994
Learning Boolean formulas. Zbl 0830.68108
Kearns, Michael; Li, Ming; Valiant, Leslie
1994
Modular stratification and magic sets for datalog programs with negation. Zbl 0830.68028
Ross, Kenneth A.
1994
Are wait-free algorithms fast? Zbl 0812.68077
Attiya, Hagit; Lynch, Nancy; Shavit, Nir
1994
Equational inference, canonical proofs, and proof orderings. Zbl 0806.68095
Bachmair, Leo; Dershowitz, Nachum
1994
Motion planning in the presence of moving obstacles. Zbl 0812.68115
Reif, John; Sharir, Micha
1994
Mixed integer programming methods for computing nonmonotonic deductive databases. Zbl 0830.68039
Bell, Colin; Nerode, Anil; Ng, Raymond T.; Subrahmanian, V. S.
1994
Shortest paths in the plane with polygonal obstacles. Zbl 0814.68129
Storer, James A.; Reif, John H.
1994
Faster tree pattern matching. Zbl 0806.68055
Dubiner, Moshe; Galil, Zvi; Magen, Edith
1994
The elusive atomic register. Zbl 0806.68025
Singh, Ambuj K.; Anderson, James H.; Gouda, Mohamed G.
1994
An analysis of ML typability. Zbl 0806.68016
Kfoury, A. J.; Tiuryn, J.; Urzyczyn, P.
1994
Bounds on the time to reach agreement in the presence of timing uncertainty. Zbl 0807.68042
Attiya, Hagit; Dwork, Cynthia; Lynch, Nancy; Stockmeyer, Larry
1994
Average-case analysis of algorithms for matchings and related problems. Zbl 0829.68070
Motwani, Rajeev
1994
Probabilistic recurrence relations. Zbl 0830.68046
Karp, Richard M.
1994
Channel routing of multiterminal nets. Zbl 0812.68083
Gao, Shaodi; Kaufmann, Michael
1994
On solving equations and disequations. Zbl 0812.68064
Buntine, Wray L.; Bürckert, Hans-Jürgen
1994
Computing bounds on steady state availability of repairable computer systems. Zbl 0812.68059
Lui, John C. S.; Muntz, Richard R.
1994
On the power of bounded concurrency. II: Pushdown automata. Zbl 0822.68067
Hirst, Tirza; Harel, David
1994
Diversity-based inference of finite automata. Zbl 0821.68085
Rivest, Ronald L.; Schapire, Robert E.
1994
Monte Carlo summation and integration applied to multiclass queuing networks. Zbl 0829.68010
Ross, Keith W.; Tsang, Danny H. K.; Wang, Jie
1994
Fishspear: A priority queue algorithm. Zbl 0807.68020
Fischer, Michael J.; Paterson, Michael S.
1994
The relationship between greedy parsing and symbolwise text compression. Zbl 0812.68071
Bell, Timothy C.; Witten, Ian H.
1994
Tight lower bounds for probabilistic solitude verification on anonymous rings. Zbl 0806.68038
Abrahamson, Karl; Adler, Andrew; Higham, Lisa; Kirkpatrick, David
1994
Efficient computation of Fourier inversion for finite groups. Zbl 0832.20027
Rockmore, Daniel N.
1994
Circumscription with homomorphisms: Solving the equality and counterexample problems. Zbl 0815.68089
Rathmann, Peter K.; Winslett, Marianne; Manasse, Mark
1994
Optimal algorithms for parallel Givens factorization on a coarse-grained PRAM. Zbl 0802.65024
Cosnard, Michel; Daoudi, El Mostafa
1994
Parallel linear programming in fixed dimension almost surely in constant time. Zbl 0807.90080
Alon, Noga; Megiddo, Nimrod
1994
Efficient decomposition methods for the analysis of multi-facility blocking models. Zbl 0812.68060
Conway, Adrian E.; Pinsky, Eugene; Tridandapani, Srinivasan
1994
A single-exponential upper bound for finding shortest paths in three dimensions. Zbl 0814.68079
Reif, John H.; Storer, James A.
1994
Parallel algorithms for evaluating sequences of set-manipulation operations. Zbl 0830.68056
Atallah, Mikhail J.; Goodrich, Michael T.; Kosaraju, S. Rao
1994
A framework for defining logics. Zbl 0778.03004
Harper, Robert; Honsell, Furio; Plotkin, Gordon
1993
Constant depth circuits, Fourier transform, and learnability. Zbl 0781.94006
Linial, Nathan; Mansour, Yishay; Nisan, Noam
1993
Recontamination does not help to search a graph. Zbl 0768.68048
Lapaugh, Andrea S.
1993
Atomic snapshots of shared memory. Zbl 0783.68029
Afek, Yehuda; Attiya, Hagit; Dolev, Danny; Gafni, Eli; Merritt, Michael; Shavit, Nir
1993
Perfectly secure message transmission. Zbl 0774.68017
Dolev, Danny; Dwork, Cynthia; Waarts, Orli; Yung, Moti
1993
Learning read-once formulas with queries. Zbl 0764.68139
Angluin, Dana; Hellerstein, Lisa; Karpinski, Marek
1993
Complexity and algorithms for reasoning about time: A graph-theoretic approach. Zbl 0795.68095
Golumbic, Martin Charles; Shamir, Ron
1993
Decidability of bisimulation equivalence for processes generating context-free languages. Zbl 0801.68102
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
1993
An algebraic theory of graph reduction. Zbl 0795.68156
Arnborg, Stefan; Courcelle, Bruno; Proskurowski, Andrzej; Seese, Detlef
1993
Random walks on weighted graphs and applications to on-line algorithms. Zbl 0785.68071
Coppersmith, Don; Doyle, Peter; Raghavan, Prabhakar; Snir, Marc
1993
Knowledge, probability, and adversaries. Zbl 0783.68120
Halpern, Joseph Y.; Tuttle, Mark R.
1993
Automatic recognition of tractability in inference relations. Zbl 0770.68106
McAllester, David A.
1993
Undecidable optimization problems for database logic programs. Zbl 0785.68021
Gaifman, Haim; Mairson, Harry; Sagiv, Yehoshua; Vardi, Moshe Y.
1993
The minimum consistent DFA problem cannot be approximated within any polynomial. Zbl 0774.68084
Pitt, Leonard; Warmuth, Manfred K.
1993
Randomized parallel algorithms for backtrack search and branch-and-bound computation. Zbl 0789.68066
Karp, Richard M.; Zhang, Yanjun
1993
Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0783.68121
Marek, V. Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław
1993
Randomized algorithms and pseudorandom numbers. Zbl 0782.68059
Karloff, Howard J.; Raghavan, Prabhakar
1993
...and 1439 more Documents
all top 5

### Cited by 28,916 Authors

 107 Ibarra, Oscar H. 77 Jain, Sanjay 72 Kutrib, Martin 68 Epstein, Leah 63 Otto, Friedrich 50 Saurabh, Saket 49 Cordero, Alicia 49 Fomin, Fedor V. 49 Raynal, Michel 49 Stephan, Frank 49 Torregrosa Sanchez, Juan Ramón 48 Sharir, Micha 47 Woeginger, Gerhard Johannes 46 Aceto, Luca 46 Vardi, Moshe Ya’akov 43 Rajsbaum, Sergio 43 Wood, Derick 41 Malcher, Andreas 41 Tarjan, Robert Endre 40 Case, John 40 Evans, David John 40 Ingólfsdóttir, Anna 39 Book, Ronald Vernon 39 Halpern, Joseph Yehuda 39 Ibaraki, Toshihide 38 Bergstra, Jan A. 38 Gottlob, Georg 37 Engelfriet, Joost 37 Strusevich, Vitaly A. 36 Eiter, Thomas 36 Holzer, Markus 36 Levin, Asaf 36 Pan, Victor Yakovlevich 36 Zehavi, Meirav 35 Argyros, Ioannis Konstantinos 35 Bodlaender, Hans L. 35 Fernau, Henning 35 Goldreich, Oded 35 Iliopoulos, Costas S. 35 Okhotin, Alexander 34 Amir, Amihood 34 Chen, Danny Ziyi 34 Soleymani, Fazlollah 33 Peleg, David 32 Galil, Zvi 32 Golovach, Petr A. 32 Inenaga, Shunsuke 32 Lohrey, Markus 32 Lokshtanov, Daniel 32 Meseguer Guaita, José 32 Rozenberg, Grzegorz 31 Guerraoui, Rachid 31 Inoue, Katsushi 31 Montanari, Angelo 31 Reichel, Lothar 30 Diaconescu, Răzvan 30 Narendran, Paliath 30 Pelc, Andrzej 29 Behl, Ramandeep 29 Chan, Timothy Moon-Yew 29 Chen, Jian-er 29 Culik, Karel II 29 Lynch, Nancy Ann 29 Mehlhorn, Kurt 29 Papadimitriou, Christos Harilaos 29 Smid, Michiel H. M. 29 Tamir, Arie 28 Calude, Cristian S. 28 Crochemore, Maxime 28 Ésik, Zoltán 28 Greibach, Sheila A. 28 Hemaspaandra, Lane A. 28 Jansen, Klaus 28 Laporte, Gilbert 28 Salomaa, Arto Kustaa 28 Thilikos, Dimitrios M. 27 Alon, Noga M. 27 Downey, Rodney Graham 27 Kim, Young Ik 27 Spirakis, Paul G. 26 Baruah, Sanjoy K. 26 Chatterjee, Krishnendu 26 Courcelle, Bruno 26 Demaine, Erik D. 26 Dósa, György 26 Kinber, Efim B. 26 Landau, Gad M. 26 Leung, Joseph Y.-T. 26 Makino, Kazuhisa 26 Reif, John H. 26 Rytter, Wojciech 26 Subramani, Krishnan 26 Takeda, Masayuki 26 Ullman, Jeffrey David 25 Fokkink, Willem Jan 25 Hromkovič, Juraj 25 Navarro, Gonzalo 25 Rosenberg, Arnold Leonard 25 Schneider, Carsten 25 Taubenfeld, Gadi ...and 28,816 more Authors
all top 5

### Cited in 889 Journals

 3,170 Theoretical Computer Science 1,271 Information Processing Letters 1,009 Journal of Computer and System Sciences 916 Discrete Applied Mathematics 736 European Journal of Operational Research 710 Information and Computation 644 Algorithmica 509 Artificial Intelligence 377 Computers & Operations Research 349 Acta Informatica 282 International Journal of Computer Mathematics 277 Distributed Computing 272 Information Sciences 269 International Journal of Foundations of Computer Science 263 Operations Research Letters 261 Applied Mathematics and Computation 258 Journal of Symbolic Computation 256 Journal of Computational and Applied Mathematics 248 Mathematical Programming. Series A. Series B 244 Discrete Mathematics 236 Computers & Mathematics with Applications 233 Theory of Computing Systems 228 Linear Algebra and its Applications 225 Journal of Automated Reasoning 222 Mathematical Systems Theory 220 Annals of Operations Research 215 Computing 211 Annals of Mathematics and Artificial Intelligence 201 Computational Geometry 190 Journal of Combinatorial Optimization 169 Mathematics of Computation 169 SIAM Journal on Computing 163 Numerische Mathematik 161 Journal of Discrete Algorithms 148 BIT 145 Discrete & Computational Geometry 137 Real-Time Systems 129 Networks 128 Queueing Systems 116 Formal Aspects of Computing 115 Computational Complexity 114 Annals of Pure and Applied Logic 112 Journal of Scheduling 109 The Journal of Symbolic Logic 108 Numerical Algorithms 107 Pattern Recognition 105 MSCS. Mathematical Structures in Computer Science 103 Discrete Optimization 99 Journal of Complexity 93 BIT. Nordisk Tidskrift for Informationsbehandling 93 Logical Methods in Computer Science 91 Theory and Practice of Logic Programming 90 Journal of Computational Physics 88 International Journal of Computational Geometry & Applications 86 Calcolo 82 Fuzzy Sets and Systems 82 Combinatorica 80 International Journal of Computer & Information Sciences 79 Journal of Global Optimization 79 Formal Methods in System Design 78 Journal of Optimization Theory and Applications 76 International Journal of Approximate Reasoning 76 The Journal of Logic and Algebraic Programming 75 Journal of Logical and Algebraic Methods in Programming 74 RAIRO. Informatique Théorique et Applications 72 Journal of Combinatorial Theory. Series B 70 Journal of Soviet Mathematics 68 Mathematical and Computer Modelling 64 Mathematical Programming 64 Computational Optimization and Applications 62 Journal of Computer Science and Technology 61 RAIRO, Informatique Théorique 61 Applied Numerical Mathematics 61 Journal of Cryptology 61 Journal of Applied Non-Classical Logics 60 Machine Learning 59 Journal of Mathematical Analysis and Applications 59 Automatica 59 SIAM Journal on Discrete Mathematics 59 Journal of Applied Logic 58 Random Structures & Algorithms 57 Studia Logica 57 Cybernetics 55 Kybernetika 54 Cybernetics and Systems Analysis 53 Computer Methods in Applied Mechanics and Engineering 53 International Journal of Production Research 53 INFORMS Journal on Computing 52 Journal of Parallel and Distributed Computing 52 SIAM Journal on Scientific Computing 51 European Journal of Combinatorics 51 Optimization Letters 50 Applied Mathematical Modelling 50 Journal of Functional Programming 48 SIAM Journal on Algebraic and Discrete Methods 48 Algorithms 47 Mathematics and Computers in Simulation 47 RAIRO. Theoretical Informatics and Applications 47 Probability in the Engineering and Informational Sciences 46 Parallel Algorithms and Applications ...and 789 more Journals
all top 5

### Cited in 62 Fields

 18,092 Computer science (68-XX) 5,543 Operations research, mathematical programming (90-XX) 3,421 Combinatorics (05-XX) 3,250 Numerical analysis (65-XX) 3,028 Mathematical logic and foundations (03-XX) 1,084 Information and communication theory, circuits (94-XX) 816 Probability theory and stochastic processes (60-XX) 788 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 453 Linear and multilinear algebra; matrix theory (15-XX) 436 Statistics (62-XX) 400 Number theory (11-XX) 385 Biology and other natural sciences (92-XX) 369 Convex and discrete geometry (52-XX) 358 Systems theory; control (93-XX) 290 Group theory and generalizations (20-XX) 267 Order, lattices, ordered algebraic structures (06-XX) 230 Ordinary differential equations (34-XX) 226 Partial differential equations (35-XX) 208 Approximations and expansions (41-XX) 198 Field theory and polynomials (12-XX) 178 Fluid mechanics (76-XX) 154 Quantum theory (81-XX) 153 Mechanics of deformable solids (74-XX) 151 Category theory; homological algebra (18-XX) 150 Calculus of variations and optimal control; optimization (49-XX) 147 General algebraic systems (08-XX) 142 Commutative algebra (13-XX) 120 Algebraic geometry (14-XX) 111 Integral equations (45-XX) 103 Dynamical systems and ergodic theory (37-XX) 97 Operator theory (47-XX) 94 Statistical mechanics, structure of matter (82-XX) 93 Special functions (33-XX) 84 Functions of a complex variable (30-XX) 83 Real functions (26-XX) 80 Integral transforms, operational calculus (44-XX) 73 History and biography (01-XX) 71 Geometry (51-XX) 63 Associative rings and algebras (16-XX) 63 Harmonic analysis on Euclidean spaces (42-XX) 53 General topology (54-XX) 46 General and overarching topics; collections (00-XX) 42 Mechanics of particles and systems (70-XX) 40 Difference and functional equations (39-XX) 40 Manifolds and cell complexes (57-XX) 37 Geophysics (86-XX) 35 Functional analysis (46-XX) 34 Optics, electromagnetic theory (78-XX) 32 Classical thermodynamics, heat transfer (80-XX) 29 Algebraic topology (55-XX) 22 Differential geometry (53-XX) 21 Measure and integration (28-XX) 20 Nonassociative rings and algebras (17-XX) 13 Global analysis, analysis on manifolds (58-XX) 9 Topological groups, Lie groups (22-XX) 9 Sequences, series, summability (40-XX) 7 Potential theory (31-XX) 7 Relativity and gravitational theory (83-XX) 6 Several complex variables and analytic spaces (32-XX) 6 Mathematics education (97-XX) 5 Abstract harmonic analysis (43-XX) 1 Astronomy and astrophysics (85-XX)