The Computer Journal. Section A / Section B Short Title: Comput. J. Publisher: Oxford University Press, Oxford ISSN: 0010-4620; 1460-2067/e Online: http://comjnl.oxfordjournals.org/ Comments: No longer indexed Documents Indexed: 1,479 Publications (1958–2009) all top 5 Latest Issues 52, No. 3(A) (2009) 47, No. 2 (2004) 47, No. 1 (2004) 46, No. 6 (2003) 46, No. 5 (2003) 46, No. 4 (2003) 46, No. 3 (2003) 46, No. 2 (2003) 46, No. 1 (2003) 45, No. 6 (2002) 45, No. 5 (2002) 45, No. 4 (2002) 45, No. 3 (2002) 45, No. 2 (2002) 45, No. 1 (2002) 44, No. 6 (2001) 44, No. 5 (2001) 44, No. 4 (2001) 44, No. 3 (2001) 44, No. 2 (2001) 44, No. 1 (2001) 43, No. 6 (2000) 43, No. 4 (2000) 43, No. 3 (2000) 43, No. 1 (2000) 42, No. 8 (1999) 42, No. 7 (1999) 42, No. 5 (1999) 42, No. 4 (1999) 42, No. 2 (1999) 42, No. 1 (1999) 41, No. 8 (1998) 41, No. 7 (1998) 41, No. 6 (1998) 41, No. 5 (1998) 41, No. 4 (1998) 41, No. 3 (1998) 41, No. 2 (1998) 41, No. 1 (1998) 40, No. 6 (1997) 40, No. 5 (1997) 39, No. 2 (1996) 37, No. 3 (1994) 36, No. 7 (1993) 36, No. 6 (1993) 36, No. 5 (1993) 36, No. 3 (1993) 36, No. 2 (1993) 35, No. 4 (1992) 35, No. 3 (1992) 35, No. 2 (1992) 34, No. 5 (1991) 33, No. 4 (1990) 32, No. 5 (1989) 32, No. 3 (1989) 32, No. 1 (1989) 31, No. 6 (1988) 31, No. 4 (1988) 31, No. 3 (1988) 31, No. 2 (1988) 31, No. 1 (1988) 30 (1987) 29 (1986) 28 (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/1968) 9 (1966/1967) 8 (1965/1966) 7 (1964/1965) 6 (1963/1964) 5 (1962/1963) 4 (1961/1962) 3 (1960/1961) 2 (1959/1960) 1 (1958/1959) all top 5 Authors 17 Evans, David John 16 Er, Mingcheng 12 Wilkinson, James Hardy 12 Wood, Derick 11 Osborne, Michael Robert 10 Brooker, R. A. 10 Wallace, Chris S. 9 Powell, Michael James David 9 Strachey, Christopher 8 Jarratt, P. 8 Reeves, C. M. 7 Chang, Chin-Chen 7 Fletcher, Roger 7 Hoare, C. A. R. Tony 7 Mitchell, Andrew Ronald 6 Barron, D. W. 6 Duncan, F. G. 6 Scraton, R. E. 6 Tewarson, Reginald P. 5 Curtis, A. Robert 5 Goodwin, D. T. 5 Harrison, Peter G. 5 Kollias, John G. 5 Papakonstantinou, George K. 5 Rohl, Jeffrey S. 5 Simpson, H. R. 5 Wilkes, Maurice Vincent 5 Williams, P. W. 4 Allison, Lloyd 4 Boulton, D. M. 4 Burton, F. Warren 4 Chen, Chien-Yuan 4 Clint, Maurice 4 Cole, A. J. 4 DiManzo, M. 4 Fitch, J. Patrick 4 Fraenkel, Aviezri Siegmund 4 Gibbons, Alan M. 4 Grant, James A. 4 Griswold, Ralph E. 4 Hurst, S. L. 4 Lam, Kam-Yiu 4 Lance, G. N. 4 Lewin, Douglas W. 4 Lyness, James N. 4 Mäkinen, Erkki 4 Miller, Jeffrey Charles Percy 4 Mottl, J. 4 Pagan, Frank G. 4 Page, E. S. 4 Smith, Francis J. 4 Tee, Garry J. 4 Van Leeuwen, Jan 4 Varol, Yaakov L. 4 Watson, G. Alistair 4 Watt, J. M. 4 Wichmann, Brian A. 4 Williams, W. T. 3 Anastasi, Giuseppe 3 Atkinson, Laurence V. 3 Barringer, Howard 3 Bell, Alan G. 3 Bell, David A. 3 Bennett, Keith H. 3 Boccalatte, Antonio 3 Bourne, Stephen R. 3 Box, Michael J. 3 Buxton, J. N. 3 Cash, Jeff R. 3 Chao, Daniel Yuh 3 Chawla, Man M. 3 Day, J. T. 3 De Francesco, Nicoletta 3 Delves, L. M. 3 Deogun, Jitender S. 3 Dowe, David L. 3 Ďurian, Branislav 3 Forrington, C. V. D. 3 Gammerman, Alexander 3 Gourlay, A. R. 3 Gower, John C. 3 Greenspan, Donald 3 Hartley, D. F. 3 Hunter, David B. 3 Hyslop, J. M. 3 Jackson, David M. 3 Jia, Xiaohua 3 King, Peter J. H. 3 Klein, Shmuel Tomi 3 Kuo, Tei-Wei 3 Llewellyn, John A. 3 Manolopoulos, Yannis 3 Martin, David W. 3 Napper, R. B. E. 3 Nevalainen, Olli S. 3 Nudds, D. 3 Oliveira-Pinto, F. 3 Ord-Smith, R. J. 3 Pooch, Udo W. 3 Reid, John ...and 1,492 more Authors all top 5 Fields 832 Computer science (68-XX) 159 Numerical analysis (65-XX) 52 Information and communication theory, circuits (94-XX) 45 Combinatorics (05-XX) 31 Operations research, mathematical programming (90-XX) 29 Mathematical logic and foundations (03-XX) 13 Approximations and expansions (41-XX) 9 Number theory (11-XX) 9 Partial differential equations (35-XX) 8 Statistics (62-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 3 Field theory and polynomials (12-XX) 3 Algebraic geometry (14-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Ordinary differential equations (34-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 2 Integral transforms, operational calculus (44-XX) 2 Integral equations (45-XX) 2 Convex and discrete geometry (52-XX) 2 Fluid mechanics (76-XX) 2 Systems theory; control (93-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Difference and functional equations (39-XX) 1 Geometry (51-XX) 1 Probability theory and stochastic processes (60-XX) 1 Classical thermodynamics, heat transfer (80-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 768 Publications have been cited 8,416 times in 7,237 Documents Cited by ▼ Year ▼ A simplex method for function minimization. Zbl 0229.65053Nelder, J. A.; Mead, R. 1,067 1965 Function minimization by conjugate gradients. Zbl 0132.11701Fletcher, R.; Reeves, C. M. 675 1964 A rapidly convergent descent method for minimization. Zbl 0132.11603Fletcher, R.; Powell, M. J. D. 429 1963 A new approach to variable metric algorithm. Zbl 0207.17402Fletcher, R. 314 1970 An efficient method for finding the minimum of a function of several variables without calculating derivatives. Zbl 0132.11702Powell, M. J. D. 227 1964 How many clusters? Which clustering method? Answers via model-based cluster analysis. Zbl 0920.68038Fraley, Chris; Raftery, Adrian E. 183 1998 Numerical inversion of Laplace transforms: an efficient improvement to Dubner and Abate’s method. Zbl 0288.65072Durbin, F. 177 1974 Some general implicit processes for the numerical solution of differential equations. Zbl 0112.07805Rosenbrock, H. H. 133 1963 The QR transformation. A unitary analogue to the LR transformation. I, II. Zbl 0104.34304Francis, J. G. F. 110 1961 A tree-search algorithm for mixed integer programming problems. Zbl 0154.42004Dakin, R. J. 97 1965 The mechanical evaluation of expressions. Zbl 0122.36106Landin, P. J. 95 1964 An upper bound for the chromatic number of a graph and its application to timetabling problems. Zbl 0147.15206Welsh, D. J. A.; Powell, M. B. 85 1967 The use of cubic splines in the solution of two-point boundary value problems. Zbl 0185.41404Fyfe, D. J. 85 1969 Computing Dirichlet tessellations in the plane. Zbl 0377.52001Green, P. J.; Sibson, R. 84 1978 Quicksort. Zbl 0108.13601Hoare, C. A. R. 84 1962 An algorithm for information structuring and retrieval. Zbl 0227.68052van Rijsbergen, C. J. 76 1971 Piecewise cubic interpolation and two-point boundary problems. Zbl 0155.48004Bickley, W. G. 71 1968 The least squares problem and pseudoinverses. Zbl 0195.44804Peters, G.; Wilkinson, J. H. 65 1970 Chebyshev solution of differential integral and integro-differential equations. Zbl 0198.50201El-Gendi, S. E. 65 1969 A comparison of several current optimization methods, and the use of transformations in constrained problems. Zbl 0146.13304Box, M. J. 61 1966 Cubic spline solutions to two-point boundary value problems. Zbl 0185.41403Albasiny, E. L.; Hoskins, W. D. 61 1969 Variable metric methods of minimisation. Zbl 0207.17301Pearson, J. D. 56 1969 A new method of constrained optimization and a comparison with other methods. Zbl 0142.11305Box, M. J. 53 1965 Labelling and implicit routing in networks. Zbl 0555.94026Santoro, Nicola; Khatib, Ramez 51 1985 An algorithm with guaranteed convergence for finding a zero of a function. Zbl 0231.65046Brent, R. P. 51 1971 Enumerating, ranking and unranking binary trees. Zbl 0585.68066Pallo, J. M. 49 1986 Interactive interpolation and approximation by Bezier polynomials. Zbl 0243.68015Forrest, A. R. 49 1972 Applying linear quantifier elimination. Zbl 0787.03021Loos, Rüdiger; Weispfenning, Volker 48 1993 Lagrangian interpolation at the Chebyshev points \(x_{n,\nu}=\cos(\nu \pi/n), \nu=0(1)n\); some unnoted advantages. Zbl 0242.65007Salzer, H. E. 45 1972 Approximations for \(\lambda\)-colorings of graphs. Zbl 1039.68090Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan 44 2004 An information measure for classification. Zbl 0164.46208Wallace, C. S.; Boulton, D. M. 43 1968 An iterative method for finding stationary values of a function of several variables. Zbl 0104.34303Powell, M. J. D. 40 1962 A note on the Towers of Hanoi problem. Zbl 0362.68057Hayes, P. J. 38 1977 An efficient algorithm for a complete link method. Zbl 0364.68038Defays, D. 37 1977 Proving properties of programs by structural induction. Zbl 0164.46202Burstall, R. M. 37 1969 A new method for the optimization of a nonlinear function subject to nonlinear constraints. Zbl 0195.17403Haarhoff, P. C.; Buys, J. D. 35 1970 Variance algorithm for minimization. Zbl 0155.19804Davidon, W. C. 34 1968 Minimizing a function without calculating derivatives. Zbl 0189.48004Zangwill, W. I. 34 1967 A survey of recent advances in hierarchical clustering algorithms. Zbl 0523.68030Murtagh, F. 32 1983 On the maximum errors of polynomial approximations defined by interpolation and by least squares criteria. Zbl 0147.14305Powell, M. J. D. 32 1967 Interval routing. Zbl 0652.68051van Leeuwen, J.; Tan, R. B. 31 1987 An algorithm for solving non-linear equations based on the secant method. Zbl 0254.65036Barnes, J. G. P. 30 1965 Two dimensional interpolation from random data. Zbl 0321.65009McLain, D. H. 29 1976 A method for minimizing a sum of squares of non-linear functions without calculating derivatives. Zbl 0142.11601Powell, M. J. D. 29 1965 A new method of solving nonlinear simultaneous equations. Zbl 0164.45101Broyden, C. G. 29 1969 A Chebyshev series method for the numerical solution of Fredholm integral equation. Zbl 0114.32502Elliott, David 29 1963 Error estimates for Runge-Kutta type solutions to systems of ordinary differential equations. Zbl 0182.21903England, R. 28 1969 Chebyshev methods for ordinary differential equations. Zbl 0103.34203Fox, L. 28 1962 A controlled random search procedure for global optimisation. Zbl 0364.68036Price, W. L. 27 1977 Error estimation in the Clenshaw-Curtis quadrature formula. Zbl 0165.17901O’Hara, H.; Smith, Francis J. 27 1968 Concurrent machines. Zbl 0573.68026Shields, M. W. 26 1985 A stable explicit method for the finite-difference solution of a fourth- order parabolic partial differential equation. Zbl 0134.33006Evans, D. J. 26 1966 An algorithm for minimax approximation in the nonlinear case. Zbl 0164.45802Osborne, M. R.; Watson, G. A. 25 1969 The solution of nonlinear ordinary differential equations in Chebyshev series. Zbl 0113.11002Clenshaw, C. W.; Norton, H. J. 25 1963 Alternating direction methods for parabolic equations in two space dimensions with a mixed derivative. Zbl 0193.13001McKee, S.; Mitchell, A. R. 24 1970 Numerical methods for Volterra integral equations of the first kind. Zbl 0193.13701Linz, P. 24 1969 A constructive geometry for computer graphics. Zbl 0251.68053Ricci, A. 23 1973 Convergence properties of Gaussian quadrature formulae. Zbl 0098.31703Barrett, W. 23 1961 Function minimization without evaluating derivatives. A review. Zbl 0139.10401Fletcher, R. 22 1965 Finding the shortest route between two points in a network. Zbl 0156.18107Nicholson, T. A. J. 22 1966 Romberg integration for a class of singular integrands. Zbl 0158.16001Fox, L. 22 1967 The construction of hierarchic and non-hierarchic classifications. Zbl 0164.46207Jardine, N.; Sibson, R. 22 1968 Computational experience with quadratically convergent minimisation methods. Zbl 0202.16303Murtagh, B. A.; Sargent, R. W. H. 22 1970 The automatic solution of systems of ordinary differential equations by the method of Taylor series. Zbl 0221.65132Barton, D.; Willers, I. M.; Zahar, R. V. M. 22 1971 Chebyshev collocation methods for ordinary differential equations. Zbl 0117.11203Wright, K. 22 1964 Multipoint iterative methods for solving certain equations. Zbl 0141.13404Jarratt, P. 21 1966 An algorithm for the chromatic number of a graph. Zbl 0215.05601Christofides, N. 21 1971 On the best linear Chebyshev approximation. Zbl 0155.48101Osborne, M. R.; Watson, G. A. 20 1967 A representation approach to the tower of Hanoi problem. Zbl 0493.90100Er, M. C. 19 1982 More combinatorial properties of certain trees. Zbl 0136.38801Lnych, W. C. 19 1965 On an algorithm for discrete nonlinear \(L_ 1\) approximations. Zbl 0222.65015Osborne, M. R.; Watson, G. A. 19 1971 The calculation of linear best \(L_ p\) approximations. Zbl 0225.65017Fletcher, R.; Grant, J. A.; Hebden, M. D. 19 1971 TANE: An efficient algorithm for discovering functional and approximate dependencies. Zbl 0944.68054Huhtala, Ykä; Kärkkäinen, Juha; Porkka, Pasi; Toivonen, Hannu 18 1999 Literate programming. Zbl 0533.68005Knuth, Donald E. 18 1984 The use of rational functions in the iterative solution of equations on a digital computer. Zbl 0296.65020Jarratt, P.; Nudds, D. 18 1965 On the equivalence of SOR, SSOR and USSOR as applied to \(\sigma_ 1\)-ordered systems of linear equations. Zbl 0134.32705Lynn, M. S. 18 1964 Ready-trace semantics for concrete process algebra with the priority operator. Zbl 0627.68016Baeten, J. C. M.; Bergstra, J. A.; Klops, J. W. 17 1987 Hierarchical grouping methods and stopping rules: An evaluation. Zbl 0364.62065Mojena, R. 17 1977 Numerical studies of prototype cavity flow problems. Zbl 0164.56102Greenspan, D. 17 1969 Anote on the generalised Euler transformation. Zbl 0227.65002Wynn, P. 17 1971 An algorithm for the solution of certain tridiagonal systems of linear equations. Zbl 0249.65017Evans, D. J. 17 1972 Rigorous error bounds for computed eigensystems. Zbl 0109.34504Wilkinson, J. H. 17 1961 A non-classical logic for information retrieval. Zbl 0633.68101van Rijsbergen, C. J. 16 1986 On the power of list iteration. Zbl 0425.68015Gordon, M. J. C. 16 1979 The solution of non-linear equations and of differential equations with two-point boundary conditions. Zbl 0121.11301Haselgrove, C. B. 16 1961 Accelerating the Jacobi method for solving simultaneous equations by Chebyshev extrapolation when the eigenvalues of the iteration matrix are complex. Zbl 0131.14201Wrigley, H. E. 16 1963 A Runge-Kutta method for the numerical solution of the Goursat problem in hyperbolic partial differential equations. Zbl 0142.11904Day, J. T. 16 1966 Householder’s method for the solution of the algebraic eigenproblem. Zbl 0109.09103Wilkinson, J. H. 16 1960 On the complexity of quantifier elimination: The structural approach. Zbl 0788.68058Cucker, Felipe 15 1993 A program for the autmatic integration of differential equations using the method of Taylor series. Zbl 0093.31604Gibbons, A. 15 1960 Minimum message length and Kolmogorov complexity. Zbl 0946.68062Wallace, C. S.; Dowe, D. L. 14 1999 Continuity conditions for spline curves. Zbl 0281.68052Manning, J. R. 14 1974 Computing roadmaps of general semi-algebraic sets. Zbl 0798.14031Canny, John 14 1993 Some properties of the rotation lattice of binary trees. Zbl 0654.06008Pallo, J. 14 1988 The iterative solution of non-linear ordinary differential equations in Chebyshev series. Zbl 0133.08704Norton, H. J. 14 1964 Eigenvalues of \(Ax=\lambda Bx\) with band symmetric \(A\) and \(B\). Zbl 0185.40204Peters, G.; Wilkinson, J. H. 14 1969 An error analysis of Goertzel’s (Watt’s) method for computing Fourier coefficients. Zbl 0185.40802Gentleman, W. M. 14 1969 Parallel generation of permutations. Zbl 0512.68028Gupta, Phalguni; Bhattacharjee, G. P. 13 1983 Improved algorithms for sign determination and existential quantifier elimination. Zbl 0789.68079Canny, John 13 1993 A recursive algorithm for determining the eigenvalues of a quindiagonal matrix. Zbl 0296.65015Evans, D. J. 13 1975 Approximations for \(\lambda\)-colorings of graphs. Zbl 1039.68090Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan 44 2004 The Tower of Hanoi with forbidden moves. Zbl 1090.90191Sapir, Amir 11 2004 New models of computation. Zbl 1090.68044Wegner, Peter; Eberbach, Eugene 3 2004 Generalized template splay: a basic theory and calculus. Zbl 1090.68026Georgakopoulos, George F.; McClurkin, David J. 3 2004 Inversion coding. Zbl 1090.68038Arnavut, Ziya 3 2004 Combining encryption and proof of knowledge in the random oracle model. Zbl 1090.68030Abe, Masayuki 3 2004 Model checking for a first-order temporal logic using multiway decision graphs (MDGs). Zbl 1090.68069Xu, Ying; Song, Xiaoyu; Cerny, Eduard; Mohamed, Otmane Ait 3 2004 Diagnosis of symmetric graphs under the BGM model. Zbl 1090.68078Albini, L. C. P.; Chessa, S.; Maestrini, P. 3 2004 Analyzing information flow properties in assembly code by abstract interpretation. Zbl 1090.68031Barbuti, Roberto; Bernardeschi, Cinzia; de Francesco, Nicoletta 1 2004 Byzantine fault detectors for solving consensus. Zbl 1027.68012Kihlstrom, Kim Potter; Moser, Louise E.; Melliar-Smith, P. M. 5 2003 Parallel Huffman decoding with applications to JPEG files. Zbl 1077.94514Klein, S. T.; Wiseman, Y. 4 2003 Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine. Zbl 1027.68079Hierons, R. M. 4 2003 On the minimality of stream X-machines. Zbl 1027.68083Ipate, Florentin 3 2003 Fair exchange. Zbl 1027.68010Pagnia, Henning; Vogt, Holger; Gärtner, Felix C. 3 2003 Placement of web-server proxies with consideration of read and update operations on the internet. Zbl 1031.68014Jia, Xiaohua; Li, Deying; Hu, Xiaodong; Wu, Weili; Du, Dingzhu 3 2003 Superimpositions and aspect-oriented programming. Zbl 1077.68593Sihman, Marcelo; Katz, Shmuel 2 2003 Aspectual collaborations: Combining modules and aspects. Zbl 1077.68590Lieberherr, Karl; Lorenz, David H.; Ovlinger, Johan 2 2003 The Kolmogorov Lecture: The universal distribution and machine learning. Zbl 1088.68615Solomonoff, Ray J. 2 2003 Efficient embeddings into hypercube-like topologies. Zbl 1088.68675Heun, Volker; Mayr, Ernst W. 2 2003 Algorithms for moving objects databases. Zbl 1085.68578Cotelo Lema, José Antonio; Forlizzi, Luca; Güting, Ralf Hartmut; Nardelli, Enrico; Schneider, Markus 2 2003 Inverting Dirichlet tessellations. Zbl 1047.68146Schoenberg, Frederic Paik; Ferguson, Thomas; Li, Cheng 2 2003 Transient analysis of rewarded continuous time Markov models by regenerative randomization with Laplace transform inversion. Zbl 1027.68016Carrasco, Juan A. 1 2003 Loopless generation of Schröder trees. Zbl 1027.68094Korsh, James F.; LaFollette, Paul S. 1 2003 RCPCP: A ceiling-based protocol for multiple-disk environments. Zbl 1031.68016Wu, Jun; Kuo, Tei-Wei; Hsueh, Chih-Wen 1 2003 Robust and simple authentication protocol. Zbl 1031.68018Chien, Hung-Yu; Jan, Jinn-Ke 1 2003 Support for reasoning about interactive systems through human–computer interaction designers’ representations. Zbl 1031.68027Paternó, Fabio; Santoro, Carmen 1 2003 RASCAL: Calculation of graph similarity using maximum common edge subgraphs. Zbl 1037.68101Raymond, John W.; Gardiner, Eleanor J.; Willett, Peter 12 2002 Brousentsov’s ternary principle, Bergman’s number system and ternary miror-symmetrical arithmetic. Zbl 1001.68044Stakhov, Alexey 6 2002 Loopless generation of trees with specified degrees. Zbl 1003.68115Korsh, James F.; LaFollette, Paul 6 2002 Balsa: An asynchronous hardware synthesis language. Zbl 1002.68522Edwards, Doug; Bardsley, Andrew 3 2002 A thread of HOL development. Zbl 1008.68122Norrish, Michael; Slind, Konrad 3 2002 The complexity of strict minimum message length inference. Zbl 1003.68055Farr, G. E.; Wallace, C. S. 3 2002 Explaining polymorphic types. Zbl 1037.68019Jun, Yang; Michaelson, Greg; Trinder, Phil 3 2002 Relating event and trace semantics of hardware description languages. Zbl 1008.68027Gordon, Michael J. C. 2 2002 A modal logic for full LOTOS based on symbolic transition systems. Zbl 1008.68081Calder, M.; Maharaj, S.; Shankland, C. 2 2002 Traffic modelling and probabilistic process abstraction. Zbl 1008.68154Tofts, C. 2 2002 Quantitative analysis of UML statechart models of dependable systems. Zbl 1003.68011Huszerl, Gábor; Majzik, István; Pataricza, András; Kosmidis, Konstantinos; Dal Cin, Mario 2 2002 The efficiency of histogram-like techniques for database query optimization. Zbl 1084.68528Oommen, B. John; Rueda, Luis G. 2 2002 Reverse execution of Java bytecode. Zbl 1036.68016Cook, Jonathan J. 2 2002 Optimal scheduling of digital signal processing data-flow graphs using shortest-path algorithms. Zbl 1008.68014Shatnawi, Ali; Ahmad, M. O.; Swamy, M. N. S. 1 2002 Constant-time algorithms for minimum spanning tree and related problems on processor array with reconfigurable bus systems. Zbl 1001.68002Pan, Tien-Tai; Lin, Shun-Shii 1 2002 Block codes for asynchronous data transmission designed from binary trees. Zbl 1001.68043Balakirsky, Vladimir B. 1 2002 A hierarchical non-interactive key-sharing scheme with low memory size and high resistance against collusion attacks. Zbl 1011.68038Hanaoka, Goichiro; Nishioka, Tsuyoshi; Zheng, Yuliang; Imai, Hideki 1 2002 Multithreaded processors. Zbl 1003.68015Ungerer, Theo; Robič, Borut; Šilc, Jurij 1 2002 A fault-tolerant adaptive and minimal routing scheme in \(n\)-D meshes. Zbl 1010.68005Wu, Jie 1 2002 An extended temporal logic for CSCW. Zbl 1037.68094Papadopoulos, Constantinos 1 2002 Randomized receiver initiated load-balancing algorithms for tree-shaped computations. Zbl 1089.68664Sanders, Peter 1 2002 Concept similarity in SymOntos: An enterprise ontology management tool. Zbl 1036.68076Formica, Anna; Missikoff, Michele 1 2002 Practical Earley parsing. Zbl 1037.68014Aycock, John; Horspool, R. Nigel 1 2002 A verifiable multi-authority secret election allowing abstention from voting. Zbl 1047.68062Juang, Wen-Shenq; Lei, Chin-Laung; Liaw, Horng-Twu 1 2002 Diagnosing workflow processes using Woflan. Zbl 0993.68141Verbeek, H. M. W.; Basten, T.; van der Aalst, W. M. P. 8 2001 A context-sensitive graph grammar formalism for the specification of visual languages. Zbl 0984.68094Zhang, Da-Qian; Zhang, Kang; Cao, Jiannong 5 2001 Analysis of a multimedia stream using stochastic process algebra. Zbl 0993.68068Bowman, H.; Bryans, J. W.; Derrick, J. 5 2001 On \(O(1)\) time algorithms for combinatorial generation. Zbl 0988.68222Xiang, Limin; Ushijima, Kazuo 5 2001 Estimating software rejuvenation schedules in high-assurance systems. Zbl 1052.68017Dohi, Tadashi; Goševa-Popstojanova, Katerina; Trivedi, Kishor 5 2001 Efficient verification of a multicast protocol for mobile computing. Zbl 0983.68123Anastasi, Giuseppe; Bartoli, Alberto; De Francesco, Nicoletta; Santone, Antonella 4 2001 Comment on ‘A framework for modelling trojans and computer virus infection’. Zbl 1051.68539Mäkinen, Erkki 4 2001 A logic of access control. Zbl 0982.68043Crampton, Jason; Loizou, George; O’Shea, Greg 3 2001 Managing latency and buffer requirements in processing graph chains. Zbl 1006.94516Goddard, Steve; Jeffay, Kevin 3 2001 Distributed location databases for tracking highly mobile objects. Zbl 0982.68060Pitoura, Evaggelia; Fudos, Ioannis 2 2001 Consensus-based timestamps in distributed temporal databases. Zbl 0984.68059Nguyen, Ngoc Thanh 2 2001 Locating information with uncertainty in fully interconnected networks with applications to world wide web information retrieval. Zbl 0993.68022Kaporis, Alexis C.; Kirousis, Lefteris M.; Kranakis, Evangelos; Krizanc, Danny; Stamatiou, Yannis C.; Stavropoulos, Elias C. 2 2001 BSP-style computation: A semantic investigation. Zbl 0984.68077Stewart, A.; Clint, M. 1 2001 Performance evaluation of a distributed algorithm for an inverse heat conduction problem. Zbl 1151.65353Lai, C.-H.; Ierotheou, C. S.; Palansuriya, C. J.; Pericleous, K. A. 1 2001 Consistent checkpointing for transaction systems. Zbl 0982.68096Baldoni, Roberto; Quaglia, Francesco; Raynal, Michel 1 2001 An algorithm for the 2-median problem on two-dimensional meshes. Zbl 0981.68174Lau, F. C. M.; Cheng, P. K. W.; Tse, S. S. H. 1 2001 Optimal placement of web proxies for replicated web servers in the internet. Zbl 0996.68023Jia, Xiaohua; Li, Deying; Hu, Xiaodong; Du, DingZhu 1 2001 Probability-based fault-tolerant routing in hypercubes. Zbl 0985.68004Al-Sadi, J.; Day, K.; Ould-Khaoua, M. 1 2001 A logical model for information retrieval based on propositional logic and belief revision. Zbl 0984.68063Losada, David E.; Barreiro, Alvaro 1 2001 Single-faced Boolean functions and their minimization. Zbl 0993.68021Wang, Yuke; McCrosky, Carl; Song, Xiaoyu 1 2001 Use of modern processors in safety-critical applications. Zbl 1027.68513Bate, Iain; Conmy, Philippa; Kelly, Tim; McDermid, John 1 2001 Modular analysis of Petri nets. Zbl 0960.68125Christensen, Søren; Petrucci, Laure 6 2000 A constructive logic for services and information flow in computer networks. Zbl 0967.68153Borghuis, Tijn; Feijs, Loe 4 2000 In situ, stable merging by way of the perfect shuffle. Zbl 0953.68148Ellis, John; Markov, Minko 3 2000 Generating regular \(k\)-ary trees efficiently. Zbl 0967.68126Xiang, Limin; Ushijima, Kazuo; Akl, Selim G. 3 2000 Formally verifying fault tolerant system designs. Zbl 0969.68567Bernardeschi, Cinzia; Fantechi, Alessandro; Simoncini, Luca 3 2000 A semantic comparison of fusion and syntropy. Zbl 0979.68021Lano, K.; France, R.; Bruel, J.-M. 1 2000 Safe structural conformance for Java. Zbl 0979.68011Läufer, Konstantin; Baumgartner, Gerald; Russo, Vincent F. 1 2000 Improved methods for signature-tree construction. Zbl 0969.68569Tousidou, Eleni; Nanopoulos, Alex; Manolopoulos, Yannis 1 2000 Overlapping linear quadtrees and spatio-temporal query processing. Zbl 0969.68570Tzouramanis, Theodoros; Vassilakopoulos, Michael; Manolopoulos, Yannis 1 2000 TANE: An efficient algorithm for discovering functional and approximate dependencies. Zbl 0944.68054Huhtala, Ykä; Kärkkäinen, Juha; Porkka, Pasi; Toivonen, Hannu 18 1999 Minimum message length and Kolmogorov complexity. Zbl 0946.68062Wallace, C. S.; Dowe, D. L. 14 1999 Bounds and techniques for efficient redistribution of secret shares to new access structures. Zbl 0955.68045Martin, Keith M.; Safavi-Naini, Rei; Wang, Huaxiong 8 1999 Algorithmic complexity and stochastic properties of finite binary sequences. Zbl 0937.68062V’yugin, V. V. 7 1999 Complexity approximation principle. Zbl 0937.68063Vovk, Vladimir; Gammerman, Alexander 7 1999 Discussion on Kolmogorov complexity and statistical analysis. Zbl 0946.68063Shen, Alexander 5 1999 Hypothesis selection and testing by the MDL principle. Zbl 0937.68059Rissanen, J. 3 1999 New applications of the incompressibility method. Zbl 0937.68061Jiang, Tao; Li, Ming; Vitányi, Paul 2 1999 Refinements of MDL and MML coding. Zbl 0937.68065Wallace, C. S.; Dowe, D. L. 2 1999 \(O(1)\) time algorithms for combinatorial generation by tree traversal. Zbl 0944.68529Takaoka, Tadao 2 1999 Resolving executing-committing conflicts in distributed real-time database systems. Zbl 0956.68511Lam, Kam-Yiu; Pang, Chung-Leung; Son, Sang H.; Cao, Jiannong 2 1999 Compression and approximate matching. Zbl 0941.68034Allison, L.; Powell, D.; Dix, T. I. 1 1999 A \(\tau\)-restricted key agreement scheme. Zbl 0941.68042Blundo, Carlo; D’Arco, Paolo; Gaggia, Antonio Giorgio 1 1999 Adapting calculational logic to the undefined. Zbl 0941.03031Schieder, Birgit; Broy, Manfred 1 1999 Special issue: Kolmogorov complexity. Zbl 0937.00017 1 1999 Near optimal \(\beta\) heap. Zbl 0937.68034Luk, R. W. P. 1 1999 A model of representing and retrieving heterogeneous structured documents based on evidential reasoning. Zbl 0942.68041Lalmas, Mounia 1 1999 A flexible approach to secure and fair document exchange. Zbl 0942.68042Zhang, N.; Shi, Q.; Merabti, M. 1 1999 Recursion removal/introduction by formal transformation: An aid to program development and program comprehension. Zbl 0956.68014Ward, Martin P.; Bennett, Keith H. 1 1999 A new perspective of the proportional sampling strategy. Zbl 0953.68041Leung, H.; Chen, T. Y. 1 1999 ...and 668 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 11,030 Authors 42 Evans, David John 28 Er, Mingcheng 26 Yuan, Gonglin 25 Mohanty, Ranjan Kumar 21 Hadjidimos, Apostolos 20 Andrei, Neculai 20 Wen, Pihua H. 16 Wei, Zengxin 14 Dong, Xiaoliang 14 Ford, John A. 14 Golub, Gene Howard 13 Beskos, Dimitri E. 13 Chawla, Man M. 13 Luk’yanenko, Dmitriĭ Vital’evich 12 Ferri Aliabadi, Mohammad Hossien 12 Devroye, Luc P. J. A. 12 Liu, Zexian 12 McNicholas, Paul D. 12 Toint, Philippe L. 12 Wood, Derick 11 Babaie-Kafaki, Saman 11 Burke, Edmund Kieran 11 Dai, Yu-Hong 11 Danvy, Olivier 11 Neta, Beny 11 Watson, G. Alistair 10 Abdelmalek, Nabih N. 10 Dehghan Takht Fooladi, Mehdi 10 Hennig, Christian 10 Shi, Zhenjun 10 Wilkinson, James Hardy 9 Alvarez-Vázquez, Lino Jose 9 Barequet, Gill 9 Berrut, Jean-Paul 9 Dai, Zhifeng 9 Mahmoud, Hosam M. 9 Martinez, Aurea 9 Osborne, Michael Robert 9 Pewsey, Arthur 9 Rashidinia, Jalil 9 Scott, Melvin R. 9 Shanno, David F. 9 Stojmenović, Ivan 8 Alhawarat, Ahmad 8 Bandler, John W. 8 Chang, Jou-Ming 8 Cucker, Felipe 8 Evans, Gwynne A. 8 Hierons, Robert Mark 8 Jian, Jinbao 8 Jiang, Xianzhen 8 Kaelo, Pro 8 Kalitkin, Nikolaĭ Nikolaevich 8 Kumam, Poom 8 Leong, Wah June 8 Lesnic, Daniel 8 Lukšan, Ladislav 8 Martínez, José Mario 8 Melnykov, Volodymyr 8 Murphy, Thomas Brendan 8 Parlett, Beresford Neill 8 Sahinidis, Nikolaos V. 8 Salleh, Zabidin 8 Sirisena, Harsha R. 8 Stoer, Josef 8 Tewarson, Reginald P. 8 Vandebril, Raf 8 Vázquez-Méndez, Miguel Ernesto 8 Xiang, Shuhuang 7 Al-Baali, Mehiddin 7 Amini, Keyvan 7 Aziz, Tariq 7 Bala Abubakar, Auwal 7 Basu, Saugata 7 Boyd, John Philip 7 Cao, Kai 7 Du, Shouqiang 7 Farouki, Rida T. 7 García-Escudero, Luis Angel 7 Gavoille, Cyril 7 Ghanbari, Reza 7 Goldfarb, Donald 7 Hansen, Pierre 7 in ’t Hout, Karel J. 7 Lin, Tsung I. 7 Liu, Hongwei 7 Livieris, Ioannis E. 7 Mamat, Mustafa Bin 7 Manolis, George D. 7 Mayo-Iscar, Agustin 7 Narushima, Yasushi 7 Nocedal, Jorge 7 Pallo, Jean Marcel 7 Paulino, Glaucio H. 7 Peleg, David 7 Pierson, Bion L. 7 Pintelas, Panagiotis E. 7 Roy, Marie-Françoise 7 Scraton, R. E. 7 Shen, Jie ...and 10,930 more Authors all top 5 Cited in 740 Journals 233 Journal of Computational and Applied Mathematics 211 Applied Mathematics and Computation 186 Journal of Optimization Theory and Applications 184 Theoretical Computer Science 166 International Journal of Computer Mathematics 159 Numerische Mathematik 129 European Journal of Operational Research 124 Mathematics of Computation 122 Computers & Mathematics with Applications 119 Information Processing Letters 113 International Journal for Numerical Methods in Engineering 103 Computational Statistics and Data Analysis 102 Computing 93 Computer Methods in Applied Mechanics and Engineering 88 Mathematical Programming 87 BIT 79 Linear Algebra and its Applications 78 BIT. Nordisk Tidskrift for Informationsbehandling 70 Journal of Computational Physics 70 Numerical Algorithms 68 Computers & Operations Research 64 Information Sciences 63 Applied Numerical Mathematics 56 Discrete Applied Mathematics 55 Optimization Methods & Software 54 Computational Optimization and Applications 51 International Journal of Systems Science 48 Journal of Global Optimization 47 Calcolo 46 Computer Aided Geometric Design 46 Applied Mathematical Modelling 46 Pattern Recognition 44 Journal of the Franklin Institute 44 Annals of Operations Research 43 Journal of Mathematical Analysis and Applications 43 Automatica 42 Acta Informatica 41 Journal of Symbolic Computation 41 Formal Aspects of Computing 40 Mathematics and Computers in Simulation 38 Engineering Analysis with Boundary Elements 37 International Journal of Control 37 Algorithmica 36 Mathematical Problems in Engineering 35 Journal of Applied Statistics 34 Optimization 34 Journal of Statistical Computation and Simulation 33 Communications in Statistics. Theory and Methods 31 Artificial Intelligence 30 Mathematical Biosciences 30 Journal of Mathematical Psychology 30 Information and Computation 30 Mathematical and Computer Modelling 28 Statistics and Computing 26 Discrete Mathematics 26 Journal of Fluid Mechanics 26 Computational Statistics 26 Mathematical Programming. Series A. Series B 25 Psychometrika 25 Journal of Approximation Theory 25 Journal of Computer and System Sciences 25 Journal of Econometrics 25 Computational and Applied Mathematics 24 Journal of Statistical Planning and Inference 24 Journal of Classification 23 Software. Practice & Experience 23 International Journal of Foundations of Computer Science 23 Communications in Statistics. Simulation and Computation 22 Biometrics 22 Journal of Information & Optimization Sciences 22 SIAM Journal on Scientific Computing 21 Aplikace Matematiky 20 Acta Mechanica 20 International Journal of Control, I. Series 19 Journal of Soviet Mathematics 19 Numerical Functional Analysis and Optimization 19 Machine Learning 19 European Journal of Mechanics. A. Solids 19 Advances in Data Analysis and Classification. ADAC 18 Fuzzy Sets and Systems 18 Neural Computation 18 Journal of Applied Mathematics and Computing 18 Optimization Letters 17 International Journal of Computer & Information Sciences 17 Kybernetika 17 Journal of Automated Reasoning 17 Optimization and Engineering 16 Computers and Fluids 16 Bulletin of Mathematical Biology 16 Journal of Inequalities and Applications 16 Communications in Nonlinear Science and Numerical Simulation 16 The Annals of Applied Statistics 15 International Journal for Numerical and Analytical Methods in Geomechanics 15 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) 15 Chaos, Solitons and Fractals 15 Annals of the Institute of Statistical Mathematics 15 Journal of Theoretical Biology 14 International Journal for Numerical Methods in Fluids 14 Journal of Computer Science and Technology 14 Distributed Computing ...and 640 more Journals all top 5 Cited in 61 Fields 2,723 Numerical analysis (65-XX) 1,816 Computer science (68-XX) 1,641 Operations research, mathematical programming (90-XX) 892 Statistics (62-XX) 389 Mechanics of deformable solids (74-XX) 377 Combinatorics (05-XX) 311 Calculus of variations and optimal control; optimization (49-XX) 275 Systems theory; control (93-XX) 274 Ordinary differential equations (34-XX) 273 Approximations and expansions (41-XX) 261 Partial differential equations (35-XX) 258 Biology and other natural sciences (92-XX) 233 Fluid mechanics (76-XX) 210 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 162 Probability theory and stochastic processes (60-XX) 158 Information and communication theory, circuits (94-XX) 154 Mathematical logic and foundations (03-XX) 139 Linear and multilinear algebra; matrix theory (15-XX) 107 Integral equations (45-XX) 69 Classical thermodynamics, heat transfer (80-XX) 62 Mechanics of particles and systems (70-XX) 57 Geophysics (86-XX) 54 Dynamical systems and ergodic theory (37-XX) 48 Statistical mechanics, structure of matter (82-XX) 44 Special functions (33-XX) 44 Optics, electromagnetic theory (78-XX) 41 Number theory (11-XX) 41 Integral transforms, operational calculus (44-XX) 40 Real functions (26-XX) 39 Quantum theory (81-XX) 37 Order, lattices, ordered algebraic structures (06-XX) 36 Functions of a complex variable (30-XX) 36 Operator theory (47-XX) 35 Convex and discrete geometry (52-XX) 32 Harmonic analysis on Euclidean spaces (42-XX) 28 Algebraic geometry (14-XX) 19 General and overarching topics; collections (00-XX) 19 Differential geometry (53-XX) 16 Field theory and polynomials (12-XX) 14 History and biography (01-XX) 13 Sequences, series, summability (40-XX) 11 Commutative algebra (13-XX) 11 Geometry (51-XX) 10 Group theory and generalizations (20-XX) 10 Astronomy and astrophysics (85-XX) 9 Relativity and gravitational theory (83-XX) 7 General algebraic systems (08-XX) 7 Potential theory (31-XX) 6 Measure and integration (28-XX) 6 Manifolds and cell complexes (57-XX) 5 Category theory; homological algebra (18-XX) 5 Difference and functional equations (39-XX) 5 Functional analysis (46-XX) 4 Global analysis, analysis on manifolds (58-XX) 3 General topology (54-XX) 3 Algebraic topology (55-XX) 2 Topological groups, Lie groups (22-XX) 2 Abstract harmonic analysis (43-XX) 2 Mathematics education (97-XX) 1 Associative rings and algebras (16-XX) 1 Several complex variables and analytic spaces (32-XX) Citations by Year