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