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,496 more Authors all top 5 Fields 833 Computer science (68-XX) 160 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 774 Publications have been cited 9,237 times in 7,652 Documents Cited by ▼ Year ▼ A simplex method for function minimization. Zbl 0229.65053Nelder, J. A.; Mead, R. 1,164 1965 Function minimization by conjugate gradients. Zbl 0132.11701Fletcher, R.; Reeves, C. M. 745 1964 A rapidly convergent descent method for minimization. Zbl 0132.11603Fletcher, R.; Powell, M. J. D. 436 1963 A new approach to variable metric algorithm. Zbl 0207.17402Fletcher, R. 341 1970 An efficient method for finding the minimum of a function of several variables without calculating derivatives. Zbl 0132.11702Powell, M. J. D. 238 1964 How many clusters? Which clustering method? Answers via model-based cluster analysis. Zbl 0920.68038Fraley, Chris; Raftery, Adrian E. 194 1998 Numerical inversion of Laplace transforms: an efficient improvement to Dubner and Abate’s method. Zbl 0288.65072Durbin, F. 188 1974 Some general implicit processes for the numerical solution of differential equations. Zbl 0112.07805Rosenbrock, H. H. 143 1963 The QR transformation. A unitary analogue to the LR transformation. I, II. Zbl 0104.34304Francis, J. G. F. 133 1961 A tree-search algorithm for mixed integer programming problems. Zbl 0154.42004Dakin, R. J. 104 1965 The mechanical evaluation of expressions. Zbl 0122.36106Landin, P. J. 100 1964 Quicksort. Zbl 0108.13601Hoare, C. A. R. 98 1962 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. 89 1967 The use of cubic splines in the solution of two-point boundary value problems. Zbl 0185.41404Fyfe, D. J. 88 1969 Computing Dirichlet tessellations in the plane. Zbl 0377.52001Green, P. J.; Sibson, R. 88 1978 An algorithm for information structuring and retrieval. Zbl 0227.68052van Rijsbergen, C. J. 83 1971 Piecewise cubic interpolation and two-point boundary problems. Zbl 0155.48004Bickley, W. G. 72 1968 Chebyshev solution of differential integral and integro-differential equations. Zbl 0198.50201El-Gendi, S. E. 70 1969 The least squares problem and pseudoinverses. Zbl 0195.44804Peters, G.; Wilkinson, J. H. 67 1970 Cubic spline solutions to two-point boundary value problems. Zbl 0185.41403Albasiny, E. L.; Hoskins, W. D. 62 1969 A comparison of several current optimization methods, and the use of transformations in constrained problems. Zbl 0146.13304Box, M. J. 61 1966 An algorithm with guaranteed convergence for finding a zero of a function. Zbl 0231.65046Brent, R. P. 59 1971 Applying linear quantifier elimination. Zbl 0787.03021Loos, Rüdiger; Weispfenning, Volker 58 1993 Variable metric methods of minimisation. Zbl 0207.17301Pearson, J. D. 57 1969 A new method of constrained optimization and a comparison with other methods. Zbl 0142.11305Box, M. J. 55 1965 Labelling and implicit routing in networks. Zbl 0555.94026Santoro, Nicola; Khatib, Ramez 54 1985 Approximations for \(\lambda\)-colorings of graphs. Zbl 1039.68090Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan 51 2004 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. 50 1972 Interactive interpolation and approximation by Bezier polynomials. Zbl 0243.68015Forrest, A. R. 50 1972 Enumerating, ranking and unranking binary trees. Zbl 0585.68066Pallo, J. M. 50 1986 Proving properties of programs by structural induction. Zbl 0164.46202Burstall, R. M. 44 1969 An information measure for classification. Zbl 0164.46208Wallace, C. S.; Boulton, D. M. 44 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. 38 1977 A new method for the optimization of a nonlinear function subject to nonlinear constraints. Zbl 0195.17403Haarhoff, P. C.; Buys, J. D. 37 1970 Variance algorithm for minimization. Zbl 0155.19804Davidon, W. C. 35 1968 A survey of recent advances in hierarchical clustering algorithms. Zbl 0523.68030Murtagh, F. 35 1983 Minimizing a function without calculating derivatives. Zbl 0189.48004Zangwill, W. I. 34 1967 Interval routing. Zbl 0652.68051van Leeuwen, J.; Tan, R. B. 33 1987 A Chebyshev series method for the numerical solution of Fredholm integral equation. Zbl 0114.32502Elliott, David 32 1963 On the maximum errors of polynomial approximations defined by interpolation and by least squares criteria. Zbl 0147.14305Powell, M. J. D. 32 1967 A method for minimizing a sum of squares of non-linear functions without calculating derivatives. Zbl 0142.11601Powell, M. J. D. 30 1965 Error estimation in the Clenshaw-Curtis quadrature formula. Zbl 0165.17901O’Hara, H.; Smith, Francis J. 30 1968 An algorithm for solving non-linear equations based on the secant method. Zbl 0254.65036Barnes, J. G. P. 30 1965 Concurrent machines. Zbl 0573.68026Shields, M. W. 30 1985 A controlled random search procedure for global optimisation. Zbl 0364.68036Price, W. L. 30 1977 A new method of solving nonlinear simultaneous equations. Zbl 0164.45101Broyden, C. G. 29 1969 Two dimensional interpolation from random data. Zbl 0321.65009McLain, D. H. 29 1976 Chebyshev methods for ordinary differential equations. Zbl 0103.34203Fox, L. 28 1962 A stable explicit method for the finite-difference solution of a fourth- order parabolic partial differential equation. Zbl 0134.33006Evans, D. J. 28 1966 Error estimates for Runge-Kutta type solutions to systems of ordinary differential equations. Zbl 0182.21903England, R. 28 1969 Convergence properties of Gaussian quadrature formulae. Zbl 0098.31703Barrett, W. 26 1961 The solution of nonlinear ordinary differential equations in Chebyshev series. Zbl 0113.11002Clenshaw, C. W.; Norton, H. J. 26 1963 An algorithm for minimax approximation in the nonlinear case. Zbl 0164.45802Osborne, M. R.; Watson, G. A. 26 1969 Chebyshev collocation methods for ordinary differential equations. Zbl 0117.11203Wright, K. 25 1964 Numerical methods for Volterra integral equations of the first kind. Zbl 0193.13701Linz, P. 25 1969 A constructive geometry for computer graphics. Zbl 0251.68053Ricci, A. 25 1973 Alternating direction methods for parabolic equations in two space dimensions with a mixed derivative. Zbl 0193.13001McKee, S.; Mitchell, A. R. 24 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. 24 1971 Function minimization without evaluating derivatives. A review. Zbl 0139.10401Fletcher, R. 23 1965 Finding the shortest route between two points in a network. Zbl 0156.18107Nicholson, T. A. J. 23 1966 Romberg integration for a class of singular integrands. Zbl 0158.16001Fox, L. 23 1967 An algorithm for the chromatic number of a graph. Zbl 0215.05601Christofides, N. 23 1971 TANE: An efficient algorithm for discovering functional and approximate dependencies. Zbl 0944.68054Huhtala, Ykä; Kärkkäinen, Juha; Porkka, Pasi; Toivonen, Hannu 23 1999 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 Literate programming. Zbl 0533.68005Knuth, Donald E. 22 1984 Multipoint iterative methods for solving certain equations. Zbl 0141.13404Jarratt, P. 21 1966 On the best linear Chebyshev approximation. Zbl 0155.48101Osborne, M. R.; Watson, G. A. 20 1967 Rigorous error bounds for computed eigensystems. Zbl 0109.34504Wilkinson, J. H. 19 1961 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 A representation approach to the tower of Hanoi problem. Zbl 0493.90100Er, M. C. 19 1982 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 The use of rational functions in the iterative solution of equations on a digital computer. Zbl 0296.65020Jarratt, P.; Nudds, D. 18 1965 Ready-trace semantics for concrete process algebra with the priority operator. Zbl 0627.68016Baeten, J. C. M.; Bergstra, J. A.; Klops, J. W. 18 1987 Hierarchical grouping methods and stopping rules: An evaluation. Zbl 0364.62065Mojena, R. 18 1977 Computing roadmaps of general semi-algebraic sets. Zbl 0798.14031Canny, John 17 1993 A program for the autmatic integration of differential equations using the method of Taylor series. Zbl 0093.31604Gibbons, A. 17 1960 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 On the power of list iteration. Zbl 0425.68015Gordon, M. J. C. 17 1979 Householder’s method for the solution of the algebraic eigenproblem. Zbl 0109.09103Wilkinson, J. H. 16 1960 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 A non-classical logic for information retrieval. Zbl 0633.68101van Rijsbergen, C. J. 16 1986 On the complexity of quantifier elimination: The structural approach. Zbl 0788.68058Cucker, Felipe 15 1993 An error analysis of Goertzel’s (Watt’s) method for computing Fourier coefficients. Zbl 0185.40802Gentleman, W. M. 15 1969 Minimum message length and Kolmogorov complexity. Zbl 0946.68062Wallace, C. S.; Dowe, D. L. 15 1999 Solving polynomial strict inequalities using cylindrical algebraic decomposition. Zbl 0789.68080McCallum, Scott 14 1993 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 Continuity conditions for spline curves. Zbl 0281.68052Manning, J. R. 14 1974 A recursive algorithm for determining the eigenvalues of a quindiagonal matrix. Zbl 0296.65015Evans, D. J. 14 1975 Some properties of the rotation lattice of binary trees. Zbl 0654.06008Pallo, J. 14 1988 Parallel generation of permutations. Zbl 0512.68028Gupta, Phalguni; Bhattacharjee, G. P. 14 1983 Approximations for \(\lambda\)-colorings of graphs. Zbl 1039.68090Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan 51 2004 The Tower of Hanoi with forbidden moves. Zbl 1090.90191Sapir, Amir 11 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 5 2004 Combining encryption and proof of knowledge in the random oracle model. Zbl 1090.68030Abe, Masayuki 4 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 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 Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine. Zbl 1027.68079Hierons, R. M. 4 2003 Fair exchange. Zbl 1027.68010Pagnia, Henning; Vogt, Holger; Gärtner, Felix C. 4 2003 Parallel Huffman decoding with applications to JPEG files. Zbl 1077.94514Klein, S. T.; Wiseman, Y. 4 2003 On the minimality of stream X-machines. Zbl 1027.68083Ipate, Florentin 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 3 2003 Inverting Dirichlet tessellations. Zbl 1047.68146Schoenberg, Frederic Paik; Ferguson, Thomas; Li, Cheng 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 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 Loopless generation of trees with specified degrees. Zbl 1003.68115Korsh, James F.; LaFollette, Paul 7 2002 Brousentsov’s ternary principle, Bergman’s number system and ternary miror-symmetrical arithmetic. Zbl 1001.68044Stakhov, Alexey 6 2002 A thread of HOL development. Zbl 1008.68122Norrish, Michael; Slind, Konrad 4 2002 Balsa: An asynchronous hardware synthesis language. Zbl 1002.68522Edwards, Doug; Bardsley, Andrew 3 2002 Explaining polymorphic types. Zbl 1037.68019Jun, Yang; Michaelson, Greg; Trinder, Phil 3 2002 The efficiency of histogram-like techniques for database query optimization. Zbl 1084.68528Oommen, B. John; Rueda, Luis G. 3 2002 The complexity of strict minimum message length inference. Zbl 1003.68055Farr, G. E.; Wallace, C. S. 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 Reverse execution of Java bytecode. Zbl 1036.68016Cook, Jonathan J. 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 Validating the AMULET microprocessors. Zbl 1002.68524Furber, Steve 1 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 An extended temporal logic for CSCW. Zbl 1037.68094Papadopoulos, Constantinos 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 Randomized receiver initiated load-balancing algorithms for tree-shaped computations. Zbl 1089.68664Sanders, Peter 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 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 A new coding algorithm for trees. Zbl 1003.68046Balakirsky, Vladimir B. 1 2002 Block codes for asynchronous data transmission designed from binary trees. Zbl 1001.68043Balakirsky, Vladimir B. 1 2002 Diagnosing workflow processes using Woflan. Zbl 0993.68141Verbeek, H. M. W.; Basten, T.; van der Aalst, W. M. P. 9 2001 Analysis of a multimedia stream using stochastic process algebra. Zbl 0993.68068Bowman, H.; Bryans, J. W.; Derrick, J. 6 2001 A context-sensitive graph grammar formalism for the specification of visual languages. Zbl 0984.68094Zhang, Da-Qian; Zhang, Kang; Cao, Jiannong 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 Distributed location databases for tracking highly mobile objects. Zbl 0982.68060Pitoura, Evaggelia; Fudos, Ioannis 3 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 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 9 2000 A constructive logic for services and information flow in computer networks. Zbl 0967.68153Borghuis, Tijn; Feijs, Loe 6 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 In situ, stable merging by way of the perfect shuffle. Zbl 0953.68148Ellis, John; Markov, Minko 3 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 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 TANE: An efficient algorithm for discovering functional and approximate dependencies. Zbl 0944.68054Huhtala, Ykä; Kärkkäinen, Juha; Porkka, Pasi; Toivonen, Hannu 23 1999 Minimum message length and Kolmogorov complexity. Zbl 0946.68062Wallace, C. S.; Dowe, D. L. 15 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. 8 1999 Complexity approximation principle. Zbl 0937.68063Vovk, Vladimir; Gammerman, Alexander 7 1999 Discussion on Kolmogorov complexity and statistical analysis. Zbl 0946.68063Shen, Alexander 6 1999 Adapting calculational logic to the undefined. Zbl 0941.03031Schieder, Birgit; Broy, Manfred 4 1999 Hypothesis selection and testing by the MDL principle. Zbl 0937.68059Rissanen, J. 3 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 A \(\tau\)-restricted key agreement scheme. Zbl 0941.68042Blundo, Carlo; D’Arco, Paolo; Gaggia, Antonio Giorgio 2 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 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 Compression and approximate matching. Zbl 0941.68034Allison, L.; Powell, D.; Dix, T. I. 1 1999 ...and 674 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 11,877 Authors 42 Evans, David John 35 Wen, Pihua 31 Yuan, Gonglin 28 Er, Mingcheng 26 Mohanty, Ranjan Kumar 21 Hadjidimos, Apostolos 20 Andrei, Neculai 16 Wei, Zengxin 15 Dong, Xiaoliang 14 Ford, John A. 14 Golub, Gene Howard 14 Jiang, Xianzhen 13 Babaie-Kafaki, Saman 13 Beskos, Dimitri E. 13 Chawla, Man M. 13 Danvy, Olivier 13 Jian, Jinbao 13 Liu, Zexian 13 Luk’yanenko, Dmitriĭ Vital’evich 12 Ferri Aliabadi, Mohammad Hossien 12 Dai, Yu-Hong 12 Devroye, Luc P. J. A. 12 McNicholas, Paul D. 12 Toint, Philippe L. 12 Wood, Derick 11 Barequet, Gill 11 Burke, Edmund Kieran 11 Kumam, Poom 11 Neta, Beny 11 Watson, G. Alistair 10 Abdelmalek, Nabih N. 10 Alvarez-Vázquez, Lino Jose 10 Amini, Keyvan 10 Bala Abubakar, Auwal 10 Dehghan Takht Fooladi, Mehdi 10 Hennig, Christian 10 Martinez, Aurea 10 Shi, Zhenjun 10 Vandebril, Raf 10 Wilkinson, James Hardy 9 Alhawarat, Ahmad 9 Berrut, Jean-Paul 9 Dai, Zhifeng 9 Kalitkin, Nikolaĭ Nikolaevich 9 Kumar, Manoj 9 Leong, Wah June 9 Mahmoud, Hosam M. 9 Osborne, Michael Robert 9 Pewsey, Arthur 9 Rashidinia, Jalil 9 Salleh, Zabidin 9 Shanno, David F. 9 Sladek, Jan 9 Sladek, Vladimir 9 Stojmenović, Ivan 9 Vázquez-Méndez, Miguel Ernesto 9 Waziri, Mohammed Yusuf 9 Xiang, Shuhuang 9 Zhang, Li 8 Bandler, John W. 8 Basu, Saugata 8 Chang, Jou-Ming 8 Cucker, Felipe 8 Dershowitz, Nachum 8 Du, Shouqiang 8 Evans, Gwynne A. 8 Hierons, Robert Mark 8 Ibrahim, Abdulkarim Hassan 8 Lesnic, Daniel 8 Li, Min 8 Li, Ming 8 Lukšan, Ladislav 8 Martínez, José Mario 8 Melnykov, Volodymyr 8 Murphy, Thomas Brendan 8 Nocedal, Jorge 8 Parlett, Beresford Neill 8 Sahinidis, Nikolaos V. 8 Scott, Melvin R. 8 Sirisena, Harsha R. 8 Stoer, Josef 8 Tewarson, Reginald P. 8 Watkins, David S. 7 Al-Baali, Mehiddin 7 Aziz, Tariq 7 Boyd, John Philip 7 Cao, Kai 7 Elgindy, Kareem T. 7 Faramarzi, Parvaneh 7 Farouki, Rida T. 7 Faßbender, Heike 7 Flammini, Michele 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 Katajainen, Jyrki 7 Lin, Tsung I. ...and 11,777 more Authors all top 5 Cited in 762 Journals 244 Journal of Computational and Applied Mathematics 217 Applied Mathematics and Computation 187 Journal of Optimization Theory and Applications 186 Theoretical Computer Science 170 International Journal of Computer Mathematics 159 Numerische Mathematik 129 European Journal of Operational Research 124 Computers & Mathematics with Applications 124 Mathematics of Computation 119 Information Processing Letters 113 International Journal for Numerical Methods in Engineering 110 Computational Statistics and Data Analysis 103 Computer Methods in Applied Mechanics and Engineering 102 Computing 88 BIT 88 Mathematical Programming 79 Linear Algebra and its Applications 78 Journal of Computational Physics 78 BIT. Nordisk Tidskrift for Informationsbehandling 74 Numerical Algorithms 71 Computers & Operations Research 68 Applied Numerical Mathematics 64 Information Sciences 62 Optimization Methods & Software 57 Discrete Applied Mathematics 57 Applied Mathematical Modelling 57 Computational Optimization and Applications 51 International Journal of Systems Science 50 Journal of Global Optimization 48 Calcolo 47 Pattern Recognition 46 Computer Aided Geometric Design 45 Journal of the Franklin Institute 45 Journal of Mathematical Analysis and Applications 45 Annals of Operations Research 44 Automatica 44 Journal of Symbolic Computation 43 Mathematics and Computers in Simulation 42 Acta Informatica 41 Formal Aspects of Computing 41 Engineering Analysis with Boundary Elements 40 Mathematical Problems in Engineering 38 Algorithmica 37 International Journal of Control 36 Optimization 36 Journal of Applied Statistics 35 Communications in Statistics. Theory and Methods 35 Journal of Statistical Computation and Simulation 34 Information and Computation 34 Mathematical and Computer Modelling 33 Artificial Intelligence 32 Journal of Mathematical Psychology 32 Statistics and Computing 30 Mathematical Biosciences 28 Mathematical Programming. Series A. Series B 27 Journal of Fluid Mechanics 27 Computational Statistics 26 Discrete Mathematics 26 Journal of Approximation Theory 26 SIAM Journal on Scientific Computing 26 Computational and Applied Mathematics 25 Psychometrika 25 Journal of Computer and System Sciences 25 Journal of Econometrics 25 Journal of Classification 25 Communications in Statistics. Simulation and Computation 25 Journal of Applied Mathematics and Computing 24 Journal of Statistical Planning and Inference 23 Software. Practice & Experience 23 International Journal of Foundations of Computer Science 22 Biometrics 22 Journal of Information & Optimization Sciences 21 Aplikace Matematiky 21 Machine Learning 21 European Journal of Mechanics. A. Solids 21 Advances in Data Analysis and Classification. ADAC 20 Acta Mechanica 20 Communications in Nonlinear Science and Numerical Simulation 20 Optimization and Engineering 20 International Journal of Control, I. Series 19 Journal of Soviet Mathematics 19 Numerical Functional Analysis and Optimization 18 Fuzzy Sets and Systems 18 Neural Computation 18 Optimization Letters 17 Computers and Fluids 17 Bulletin of Mathematical Biology 17 International Journal of Computer & Information Sciences 17 Kybernetika 17 Journal of Automated Reasoning 17 Journal of Inequalities and Applications 17 Journal of Combinatorial Optimization 16 Annals of the Institute of Statistical Mathematics 16 Meccanica 16 SIAM Journal on Optimization 16 Inverse Problems in Science and Engineering 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 Journal of Scientific Computing ...and 662 more Journals all top 5 Cited in 61 Fields 2,847 Numerical analysis (65-XX) 1,934 Computer science (68-XX) 1,759 Operations research, mathematical programming (90-XX) 956 Statistics (62-XX) 414 Mechanics of deformable solids (74-XX) 403 Combinatorics (05-XX) 322 Calculus of variations and optimal control; optimization (49-XX) 285 Ordinary differential equations (34-XX) 282 Systems theory; control (93-XX) 281 Partial differential equations (35-XX) 281 Approximations and expansions (41-XX) 272 Biology and other natural sciences (92-XX) 245 Fluid mechanics (76-XX) 224 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 177 Probability theory and stochastic processes (60-XX) 174 Information and communication theory, circuits (94-XX) 172 Mathematical logic and foundations (03-XX) 149 Linear and multilinear algebra; matrix theory (15-XX) 110 Integral equations (45-XX) 74 Classical thermodynamics, heat transfer (80-XX) 66 Mechanics of particles and systems (70-XX) 65 Geophysics (86-XX) 58 Statistical mechanics, structure of matter (82-XX) 57 Dynamical systems and ergodic theory (37-XX) 48 Special functions (33-XX) 47 Quantum theory (81-XX) 44 Integral transforms, operational calculus (44-XX) 44 Optics, electromagnetic theory (78-XX) 43 Number theory (11-XX) 43 Real functions (26-XX) 39 Order, lattices, ordered algebraic structures (06-XX) 38 Operator theory (47-XX) 37 Functions of a complex variable (30-XX) 35 Convex and discrete geometry (52-XX) 33 Harmonic analysis on Euclidean spaces (42-XX) 32 Algebraic geometry (14-XX) 20 Differential geometry (53-XX) 18 General and overarching topics; collections (00-XX) 17 Field theory and polynomials (12-XX) 14 History and biography (01-XX) 13 Group theory and generalizations (20-XX) 13 Sequences, series, summability (40-XX) 12 Commutative algebra (13-XX) 11 Geometry (51-XX) 11 Astronomy and astrophysics (85-XX) 9 Relativity and gravitational theory (83-XX) 8 General algebraic systems (08-XX) 7 Category theory; homological algebra (18-XX) 7 Measure and integration (28-XX) 7 Potential theory (31-XX) 6 Manifolds and cell complexes (57-XX) 5 Difference and functional equations (39-XX) 5 Functional analysis (46-XX) 5 Global analysis, analysis on manifolds (58-XX) 4 General topology (54-XX) 2 Associative rings and algebras (16-XX) 2 Topological groups, Lie groups (22-XX) 2 Abstract harmonic analysis (43-XX) 2 Algebraic topology (55-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Mathematics education (97-XX) Citations by Year