# zbMATH — the first resource for mathematics

## 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,491 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 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 History and biography (01-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)

#### Citations contained in zbMATH Open

766 Publications have been cited 8,032 times in 6,878 Documents Cited by Year
A simplex method for function minimization. Zbl 0229.65053
1965
Function minimization by conjugate gradients. Zbl 0132.11701
Fletcher, R.; Reeves, C. M.
1964
A rapidly convergent descent method for minimization. Zbl 0132.11603
Fletcher, R.; Powell, M. J. D.
1963
A new approach to variable metric algorithm. Zbl 0207.17402
Fletcher, R.
1970
An efficient method for finding the minimum of a function of several variables without calculating derivatives. Zbl 0132.11702
Powell, M. J. D.
1964
Numerical inversion of Laplace transforms: an efficient improvement to Dubner and Abate’s method. Zbl 0288.65072
Durbin, F.
1974
How many clusters? Which clustering method? Answers via model-based cluster analysis. Zbl 0920.68038
1998
Some general implicit processes for the numerical solution of differential equations. Zbl 0112.07805
Rosenbrock, H. H.
1963
The QR transformation. A unitary analogue to the LR transformation. I, II. Zbl 0104.34304
Francis, J. G. F.
1961
The mechanical evaluation of expressions. Zbl 0122.36106
Landin, P. J.
1964
A tree-search algorithm for mixed integer programming problems. Zbl 0154.42004
Dakin, R. J.
1965
Computing Dirichlet tessellations in the plane. Zbl 0377.52001
Green, P. J.; Sibson, R.
1978
Quicksort. Zbl 0108.13601
Hoare, C. A. R.
1962
The use of cubic splines in the solution of two-point boundary value problems. Zbl 0185.41404
Fyfe, D. J.
1969
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.
1967
An algorithm for information structuring and retrieval. Zbl 0227.68052
van Rijsbergen, C. J.
1971
Piecewise cubic interpolation and two-point boundary problems. Zbl 0155.48004
Bickley, W. G.
1968
The least squares problem and pseudoinverses. Zbl 0195.44804
Peters, G.; Wilkinson, J. H.
1970
Chebyshev solution of differential integral and integro-differential equations. Zbl 0198.50201
El-Gendi, S. E.
1969
A comparison of several current optimization methods, and the use of transformations in constrained problems. Zbl 0146.13304
Box, M. J.
1966
Cubic spline solutions to two-point boundary value problems. Zbl 0185.41403
Albasiny, E. L.; Hoskins, W. D.
1969
Variable metric methods of minimisation. Zbl 0207.17301
Pearson, J. D.
1969
A new method of constrained optimization and a comparison with other methods. Zbl 0142.11305
Box, M. J.
1965
Labelling and implicit routing in networks. Zbl 0555.94026
Santoro, Nicola; Khatib, Ramez
1985
Interactive interpolation and approximation by Bezier polynomials. Zbl 0243.68015
Forrest, A. R.
1972
Enumerating, ranking and unranking binary trees. Zbl 0585.68066
Pallo, J. M.
1986
An algorithm with guaranteed convergence for finding a zero of a function. Zbl 0231.65046
Brent, R. P.
1971
Applying linear quantifier elimination. Zbl 0787.03021
Loos, Rüdiger; Weispfenning, Volker
1993
An information measure for classification. Zbl 0164.46208
Wallace, C. S.; Boulton, D. M.
1968
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.
1972
An iterative method for finding stationary values of a function of several variables. Zbl 0104.34303
Powell, M. J. D.
1962
Approximations for $$\lambda$$-colorings of graphs. Zbl 1039.68090
Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan
2004
Proving properties of programs by structural induction. Zbl 0164.46202
Burstall, R. M.
1969
A note on the Towers of Hanoi problem. Zbl 0362.68057
Hayes, P. J.
1977
A new method for the optimization of a nonlinear function subject to nonlinear constraints. Zbl 0195.17403
Haarhoff, P. C.; Buys, J. D.
1970
Variance algorithm for minimization. Zbl 0155.19804
Davidon, W. C.
1968
Minimizing a function without calculating derivatives. Zbl 0189.48004
Zangwill, W. I.
1967
On the maximum errors of polynomial approximations defined by interpolation and by least squares criteria. Zbl 0147.14305
Powell, M. J. D.
1967
An efficient algorithm for a complete link method. Zbl 0364.68038
Defays, D.
1977
Interval routing. Zbl 0652.68051
van Leeuwen, J.; Tan, R. B.
1987
A survey of recent advances in hierarchical clustering algorithms. Zbl 0523.68030
Murtagh, F.
1983
A new method of solving nonlinear simultaneous equations. Zbl 0164.45101
Broyden, C. G.
1969
An algorithm for solving non-linear equations based on the secant method. Zbl 0254.65036
Barnes, J. G. P.
1965
A method for minimizing a sum of squares of non-linear functions without calculating derivatives. Zbl 0142.11601
Powell, M. J. D.
1965
Chebyshev methods for ordinary differential equations. Zbl 0103.34203
Fox, L.
1962
A Chebyshev series method for the numerical solution of Fredholm integral equation. Zbl 0114.32502
Elliott, David
1963
Error estimates for Runge-Kutta type solutions to systems of ordinary differential equations. Zbl 0182.21903
England, R.
1969
Two dimensional interpolation from random data. Zbl 0321.65009
McLain, D. H.
1976
A controlled random search procedure for global optimisation. Zbl 0364.68036
Price, W. L.
1977
Error estimation in the Clenshaw-Curtis quadrature formula. Zbl 0165.17901
O’Hara, H.; Smith, Francis J.
1968
Concurrent machines. Zbl 0573.68026
Shields, M. W.
1985
An algorithm for minimax approximation in the nonlinear case. Zbl 0164.45802
Osborne, M. R.; Watson, G. A.
1969
Convergence properties of Gaussian quadrature formulae. Zbl 0098.31703
Barrett, W.
1961
The solution of nonlinear ordinary differential equations in Chebyshev series. Zbl 0113.11002
Clenshaw, C. W.; Norton, H. J.
1963
A stable explicit method for the finite-difference solution of a fourth- order parabolic partial differential equation. Zbl 0134.33006
Evans, D. J.
1966
Alternating direction methods for parabolic equations in two space dimensions with a mixed derivative. Zbl 0193.13001
McKee, S.; Mitchell, A. R.
1970
Numerical methods for Volterra integral equations of the first kind. Zbl 0193.13701
Linz, P.
1969
A constructive geometry for computer graphics. Zbl 0251.68053
Ricci, A.
1973
Function minimization without evaluating derivatives. A review. Zbl 0139.10401
Fletcher, R.
1965
Romberg integration for a class of singular integrands. Zbl 0158.16001
Fox, L.
1967
The construction of hierarchic and non-hierarchic classifications. Zbl 0164.46207
Jardine, N.; Sibson, R.
1968
Computational experience with quadratically convergent minimisation methods. Zbl 0202.16303
Murtagh, B. A.; Sargent, R. W. H.
1970
An algorithm for the chromatic number of a graph. Zbl 0215.05601
Christofides, N.
1971
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.
1971
Finding the shortest route between two points in a network. Zbl 0156.18107
Nicholson, T. A. J.
1966
Chebyshev collocation methods for ordinary differential equations. Zbl 0117.11203
Wright, K.
1964
Multipoint iterative methods for solving certain equations. Zbl 0141.13404
Jarratt, P.
1966
On the best linear Chebyshev approximation. Zbl 0155.48101
Osborne, M. R.; Watson, G. A.
1967
On an algorithm for discrete nonlinear $$L_ 1$$ approximations. Zbl 0222.65015
Osborne, M. R.; Watson, G. A.
1971
A representation approach to the tower of Hanoi problem. Zbl 0493.90100
Er, M. C.
1982
More combinatorial properties of certain trees. Zbl 0136.38801
Lnych, W. C.
1965
TANE: An efficient algorithm for discovering functional and approximate dependencies. Zbl 0944.68054
Huhtala, Ykä; Kärkkäinen, Juha; Porkka, Pasi; Toivonen, Hannu
1999
The calculation of linear best $$L_ p$$ approximations. Zbl 0225.65017
Fletcher, R.; Grant, J. A.; Hebden, M. D.
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.
1964
Anote on the generalised Euler transformation. Zbl 0227.65002
Wynn, P.
1971
An algorithm for the solution of certain tridiagonal systems of linear equations. Zbl 0249.65017
Evans, D. J.
1972
Rigorous error bounds for computed eigensystems. Zbl 0109.34504
Wilkinson, J. H.
1961
Numerical studies of prototype cavity flow problems. Zbl 0164.56102
Greenspan, D.
1969
Hierarchical grouping methods and stopping rules: An evaluation. Zbl 0364.62065
Mojena, R.
1977
Ready-trace semantics for concrete process algebra with the priority operator. Zbl 0627.68016
Baeten, J. C. M.; Bergstra, J. A.; Klops, J. W.
1987
Householder’s method for the solution of the algebraic eigenproblem. Zbl 0109.09103
Wilkinson, J. H.
1960
Literate programming. Zbl 0533.68005
Knuth, Donald E.
1984
The use of rational functions in the iterative solution of equations on a digital computer. Zbl 0296.65020
Jarratt, P.; Nudds, D.
1965
On the power of list iteration. Zbl 0425.68015
Gordon, M. J. C.
1979
The solution of non-linear equations and of differential equations with two-point boundary conditions. Zbl 0121.11301
Haselgrove, C. B.
1961
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.
1963
Continuity conditions for spline curves. Zbl 0281.68052
Manning, J. R.
1974
Minimum message length and Kolmogorov complexity. Zbl 0946.68062
Wallace, C. S.; Dowe, D. L.
1999
A program for the autmatic integration of differential equations using the method of Taylor series. Zbl 0093.31604
Gibbons, A.
1960
The iterative solution of non-linear ordinary differential equations in Chebyshev series. Zbl 0133.08704
Norton, H. J.
1964
A Runge-Kutta method for the numerical solution of the Goursat problem in hyperbolic partial differential equations. Zbl 0142.11904
Day, J. T.
1966
Eigenvalues of $$Ax=\lambda Bx$$ with band symmetric $$A$$ and $$B$$. Zbl 0185.40204
Peters, G.; Wilkinson, J. H.
1969
A non-classical logic for information retrieval. Zbl 0633.68101
van Rijsbergen, C. J.
1986
Some properties of the rotation lattice of binary trees. Zbl 0654.06008
Pallo, J.
1988
Parallel generation of permutations. Zbl 0512.68028
Gupta, Phalguni; Bhattacharjee, G. P.
1983
The determination of the optimum accelerating factor for successive over- relaxation. Zbl 0098.31405
Carré, B. A.
1961
A compact storage scheme for the solution of symmetric linear simultaneous equations. Zbl 0142.13401
Jennings, Alan
1966
An error analysis of Goertzel’s (Watt’s) method for computing Fourier coefficients. Zbl 0185.40802
Gentleman, W. M.
1969
On the complexity of quantifier elimination: The structural approach. Zbl 0788.68058
Cucker, Felipe
1993
Improved algorithms for sign determination and existential quantifier elimination. Zbl 0789.68079
Canny, John
1993
Approximations for $$\lambda$$-colorings of graphs. Zbl 1039.68090
Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan
2004
The Tower of Hanoi with forbidden moves. Zbl 1090.90191
Sapir, Amir
2004
New models of computation. Zbl 1090.68044
Wegner, Peter; Eberbach, Eugene
2004
Generalized template splay: a basic theory and calculus. Zbl 1090.68026
Georgakopoulos, George F.; McClurkin, David J.
2004
Inversion coding. Zbl 1090.68038
Arnavut, Ziya
2004
Combining encryption and proof of knowledge in the random oracle model. Zbl 1090.68030
Abe, Masayuki
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
2004
Diagnosis of symmetric graphs under the BGM model. Zbl 1090.68078
Albini, L. C. P.; Chessa, S.; Maestrini, P.
2004
Analyzing information flow properties in assembly code by abstract interpretation. Zbl 1090.68031
Barbuti, Roberto; Bernardeschi, Cinzia; de Francesco, Nicoletta
2004
Byzantine fault detectors for solving consensus. Zbl 1027.68012
Kihlstrom, Kim Potter; Moser, Louise E.; Melliar-Smith, P. M.
2003
Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine. Zbl 1027.68079
Hierons, R. M.
2003
Parallel Huffman decoding with applications to JPEG files. Zbl 1077.94514
Klein, S. T.; Wiseman, Y.
2003
On the minimality of stream X-machines. Zbl 1027.68083
Ipate, Florentin
2003
Fair exchange. Zbl 1027.68010
Pagnia, Henning; Vogt, Holger; Gärtner, Felix C.
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
2003
Inverting Dirichlet tessellations. Zbl 1047.68146
Schoenberg, Frederic Paik; Ferguson, Thomas; Li, Cheng
2003
Superimpositions and aspect-oriented programming. Zbl 1077.68593
Sihman, Marcelo; Katz, Shmuel
2003
Aspectual collaborations: Combining modules and aspects. Zbl 1077.68590
Lieberherr, Karl; Lorenz, David H.; Ovlinger, Johan
2003
The Kolmogorov Lecture: The universal distribution and machine learning. Zbl 1088.68615
Solomonoff, Ray J.
2003
Efficient embeddings into hypercube-like topologies. Zbl 1088.68675
Heun, Volker; Mayr, Ernst W.
2003
Transient analysis of rewarded continuous time Markov models by regenerative randomization with Laplace transform inversion. Zbl 1027.68016
Carrasco, Juan A.
2003
Loopless generation of Schröder trees. Zbl 1027.68094
Korsh, James F.; LaFollette, Paul S.
2003
RCPCP: A ceiling-based protocol for multiple-disk environments. Zbl 1031.68016
Wu, Jun; Kuo, Tei-Wei; Hsueh, Chih-Wen
2003
Robust and simple authentication protocol. Zbl 1031.68018
Chien, Hung-Yu; Jan, Jinn-Ke
2003
Support for reasoning about interactive systems through human–computer interaction designers’ representations. Zbl 1031.68027
Paternó, Fabio; Santoro, Carmen
2003
Algorithms for moving objects databases. Zbl 1085.68578
Cotelo Lema, José Antonio; Forlizzi, Luca; Güting, Ralf Hartmut; Nardelli, Enrico; Schneider, Markus
2003
RASCAL: Calculation of graph similarity using maximum common edge subgraphs. Zbl 1037.68101
Raymond, John W.; Gardiner, Eleanor J.; Willett, Peter
2002
Brousentsov’s ternary principle, Bergman’s number system and ternary miror-symmetrical arithmetic. Zbl 1001.68044
Stakhov, Alexey
2002
Loopless generation of trees with specified degrees. Zbl 1003.68115
Korsh, James F.; LaFollette, Paul
2002
Balsa: An asynchronous hardware synthesis language. Zbl 1002.68522
Edwards, Doug; Bardsley, Andrew
2002
A thread of HOL development. Zbl 1008.68122
2002
The complexity of strict minimum message length inference. Zbl 1003.68055
Farr, G. E.; Wallace, C. S.
2002
Explaining polymorphic types. Zbl 1037.68019
Jun, Yang; Michaelson, Greg; Trinder, Phil
2002
Relating event and trace semantics of hardware description languages. Zbl 1008.68027
Gordon, Michael J. C.
2002
A modal logic for full LOTOS based on symbolic transition systems. Zbl 1008.68081
Calder, M.; Maharaj, S.; Shankland, C.
2002
Traffic modelling and probabilistic process abstraction. Zbl 1008.68154
Tofts, C.
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
2002
Reverse execution of Java bytecode. Zbl 1036.68016
Cook, Jonathan J.
2002
The efficiency of histogram-like techniques for database query optimization. Zbl 1084.68528
Oommen, B. John; Rueda, Luis G.
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.
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
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
2002
Ungerer, Theo; Robič, Borut; Šilc, Jurij
2002
A fault-tolerant adaptive and minimal routing scheme in $$n$$-D meshes. Zbl 1010.68005
Wu, Jie
2002
An extended temporal logic for CSCW. Zbl 1037.68094
2002
Concept similarity in SymOntos: An enterprise ontology management tool. Zbl 1036.68076
Formica, Anna; Missikoff, Michele
2002
Practical Earley parsing. Zbl 1037.68014
Aycock, John; Horspool, R. Nigel
2002
A verifiable multi-authority secret election allowing abstention from voting. Zbl 1047.68062
Juang, Wen-Shenq; Lei, Chin-Laung; Liaw, Horng-Twu
2002
Sanders, Peter
2002
Diagnosing workflow processes using Woflan. Zbl 0993.68141
Verbeek, H. M. W.; Basten, T.; van der Aalst, W. M. P.
2001
Analysis of a multimedia stream using stochastic process algebra. Zbl 0993.68068
Bowman, H.; Bryans, J. W.; Derrick, J.
2001
On $$O(1)$$ time algorithms for combinatorial generation. Zbl 0988.68222
Xiang, Limin; Ushijima, Kazuo
2001
A context-sensitive graph grammar formalism for the specification of visual languages. Zbl 0984.68094
Zhang, Da-Qian; Zhang, Kang; Cao, Jiannong
2001
Comment on ‘A framework for modelling trojans and computer virus infection’. Zbl 1051.68539
Mäkinen, Erkki
2001
Estimating software rejuvenation schedules in high-assurance systems. Zbl 1052.68017
Dohi, Tadashi; Goševa-Popstojanova, Katerina; Trivedi, Kishor
2001
Efficient verification of a multicast protocol for mobile computing. Zbl 0983.68123
Anastasi, Giuseppe; Bartoli, Alberto; De Francesco, Nicoletta; Santone, Antonella
2001
Managing latency and buffer requirements in processing graph chains. Zbl 1006.94516
Goddard, Steve; Jeffay, Kevin
2001
Consensus-based timestamps in distributed temporal databases. Zbl 0984.68059
Nguyen, Ngoc Thanh
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.
2001
Distributed location databases for tracking highly mobile objects. Zbl 0982.68060
Pitoura, Evaggelia; Fudos, Ioannis
2001
A logic of access control. Zbl 0982.68043
Crampton, Jason; Loizou, George; O&rsquo;Shea, Greg
2001
Optimal placement of web proxies for replicated web servers in the internet. Zbl 0996.68023
Jia, Xiaohua; Li, Deying; Hu, Xiaodong; Du, DingZhu
2001
Probability-based fault-tolerant routing in hypercubes. Zbl 0985.68004
Al-Sadi, J.; Day, K.; Ould-Khaoua, M.
2001
A logical model for information retrieval based on propositional logic and belief revision. Zbl 0984.68063
2001
Single-faced Boolean functions and their minimization. Zbl 0993.68021
Wang, Yuke; McCrosky, Carl; Song, Xiaoyu
2001
Use of modern processors in safety-critical applications. Zbl 1027.68513
Bate, Iain; Conmy, Philippa; Kelly, Tim; McDermid, John
2001
BSP-style computation: A semantic investigation. Zbl 0984.68077
Stewart, A.; Clint, M.
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.
2001
Consistent checkpointing for transaction systems. Zbl 0982.68096
Baldoni, Roberto; Quaglia, Francesco; Raynal, Michel
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.
2001
Modular analysis of Petri nets. Zbl 0960.68125
Christensen, Søren; Petrucci, Laure
2000
A constructive logic for services and information flow in computer networks. Zbl 0967.68153
Borghuis, Tijn; Feijs, Loe
2000
In situ, stable merging by way of the perfect shuffle. Zbl 0953.68148
Ellis, John; Markov, Minko
2000
Generating regular $$k$$-ary trees efficiently. Zbl 0967.68126
Xiang, Limin; Ushijima, Kazuo; Akl, Selim G.
2000
Formally verifying fault tolerant system designs. Zbl 0969.68567
Bernardeschi, Cinzia; Fantechi, Alessandro; Simoncini, Luca
2000
A semantic comparison of fusion and syntropy. Zbl 0979.68021
Lano, K.; France, R.; Bruel, J.-M.
2000
Safe structural conformance for Java. Zbl 0979.68011
Läufer, Konstantin; Baumgartner, Gerald; Russo, Vincent F.
2000
Improved methods for signature-tree construction. Zbl 0969.68569
Tousidou, Eleni; Nanopoulos, Alex; Manolopoulos, Yannis
2000
Overlapping linear quadtrees and spatio-temporal query processing. Zbl 0969.68570
Tzouramanis, Theodoros; Vassilakopoulos, Michael; Manolopoulos, Yannis
2000
TANE: An efficient algorithm for discovering functional and approximate dependencies. Zbl 0944.68054
Huhtala, Ykä; Kärkkäinen, Juha; Porkka, Pasi; Toivonen, Hannu
1999
Minimum message length and Kolmogorov complexity. Zbl 0946.68062
Wallace, C. S.; Dowe, D. L.
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
1999
Algorithmic complexity and stochastic properties of finite binary sequences. Zbl 0937.68062
V&rsquo;yugin, V. V.
1999
Complexity approximation principle. Zbl 0937.68063
1999
Discussion on Kolmogorov complexity and statistical analysis. Zbl 0946.68063
Shen, Alexander
1999
Hypothesis selection and testing by the MDL principle. Zbl 0937.68059
Rissanen, J.
1999
New applications of the incompressibility method. Zbl 0937.68061
Jiang, Tao; Li, Ming; Vitányi, Paul
1999
Refinements of MDL and MML coding. Zbl 0937.68065
Wallace, C. S.; Dowe, D. L.
1999
$$O(1)$$ time algorithms for combinatorial generation by tree traversal. Zbl 0944.68529
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
1999
Compression and approximate matching. Zbl 0941.68034
Allison, L.; Powell, D.; Dix, T. I.
1999
A $$\tau$$-restricted key agreement scheme. Zbl 0941.68042
Blundo, Carlo; D&rsquo;Arco, Paolo; Gaggia, Antonio Giorgio
1999
Adapting calculational logic to the undefined. Zbl 0941.03031
Schieder, Birgit; Broy, Manfred
1999
Special issue: Kolmogorov complexity. Zbl 0937.00017
1999
Near optimal $$\beta$$ heap. Zbl 0937.68034
Luk, R. W. P.
1999
A model of representing and retrieving heterogeneous structured documents based on evidential reasoning. Zbl 0942.68041
Lalmas, Mounia
1999
A flexible approach to secure and fair document exchange. Zbl 0942.68042
Zhang, N.; Shi, Q.; Merabti, M.
1999
Recursion removal/introduction by formal transformation: An aid to program development and program comprehension. Zbl 0956.68014
Ward, Martin P.; Bennett, Keith H.
1999
A new perspective of the proportional sampling strategy. Zbl 0953.68041
Leung, H.; Chen, T. Y.
1999
How many clusters? Which clustering method? Answers via model-based cluster analysis. Zbl 0920.68038
1998
...and 666 more Documents
all top 5

#### Cited by 10,320 Authors

 42 Evans, David John 28 Er, Mingcheng 25 Mohanty, Ranjan Kumar 21 Hadjidimos, Apostolos 20 Wen, Pihua H. 20 Yuan, Gonglin 19 Andrei, Neculai 16 Wei, Zengxin 14 Ford, John A. 14 Golub, Gene Howard 13 Beskos, Dimitri E. 13 Chawla, Man M. 13 Dong, Xiaoliang 12 Ferri Aliabadi, Mohammad Hossien 12 McNicholas, Paul D. 12 Toint, Philippe L. 12 Wood, Derick 11 Babaie-Kafaki, Saman 11 Burke, Edmund Kieran 11 Dai, Yu-Hong 11 Devroye, Luc P. J. A. 11 Liu, Zexian 11 Luk’yanenko, Dmitriĭ Vital’evich 11 Watson, G. Alistair 10 Abdelmalek, Nabih N. 10 Danvy, Olivier 10 Hennig, Christian 10 Neta, Beny 10 Shi, Zhenjun 10 Wilkinson, James Hardy 9 Alvarez-Vázquez, Lino Jose 9 Barequet, Gill 9 Berrut, Jean-Paul 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 Aziz, Tariq 8 Bandler, John W. 8 Chang, Jou-Ming 8 Cucker, Felipe 8 Dai, Zhifeng 8 Dehghan Takht Fooladi, Mehdi 8 Evans, Gwynne A. 8 Hierons, Robert Mark 8 Leong, Wah June 8 Lukšan, Ladislav 8 Melnykov, Volodymyr 8 Murphy, Thomas Brendan 8 Sirisena, Harsha R. 8 Stoer, Josef 8 Tewarson, Reginald P. 8 Vázquez-Méndez, Miguel Ernesto 8 Xiang, Shuhuang 7 Al-Baali, Mehiddin 7 Basu, Saugata 7 Boyd, John Philip 7 Farouki, Rida T. 7 García-Escudero, Luis Angel 7 Gavoille, Cyril 7 Goldfarb, Donald 7 Hansen, Pierre 7 Kaelo, Pro 7 Kalitkin, Nikolaĭ Nikolaevich 7 Liu, Hongwei 7 Livieris, Ioannis E. 7 Manolis, George D. 7 Martínez, José Mario 7 Mayo-Iscar, Agustin 7 Narushima, Yasushi 7 Nocedal, Jorge 7 Parlett, Beresford Neill 7 Paulino, Glaucio H. 7 Peleg, David 7 Pierson, Bion L. 7 Pintelas, Panagiotis E. 7 Roy, Marie-Françoise 7 Sahinidis, Nikolaos V. 7 Scraton, R. E. 7 Shen, Jie 7 Sladek, Jan 7 Sladek, Vladimir 7 Spedicato, Emilio 7 Usmani, Riaz A. 7 Vandebril, Raf 7 Watkins, David S. 7 Wu, Ro-Yu 6 Alhawarat, Ahmad 6 Amini, Keyvan 6 Avdelas, George 6 Benner, Peter 6 Broyden, Charles George 6 Cao, Kai 6 Chao, Daniel Yuh 6 de Werra, Dominique 6 Dershowitz, Nachum ...and 10,220 more Authors
all top 5

#### Cited in 704 Journals

 226 Journal of Computational and Applied Mathematics 204 Applied Mathematics and Computation 183 Journal of Optimization Theory and Applications 181 Theoretical Computer Science 160 International Journal of Computer Mathematics 158 Numerische Mathematik 129 European Journal of Operational Research 124 Mathematics of Computation 121 Computers & Mathematics with Applications 119 Information Processing Letters 113 International Journal for Numerical Methods in Engineering 102 Computing 101 Computational Statistics and Data Analysis 89 Computer Methods in Applied Mechanics and Engineering 88 Mathematical Programming 86 BIT 78 Linear Algebra and its Applications 78 BIT. Nordisk Tidskrift for Informationsbehandling 66 Computers & Operations Research 64 Information Sciences 64 Numerical Algorithms 62 Applied Numerical Mathematics 60 Journal of Computational Physics 55 Discrete Applied Mathematics 55 Optimization Methods & Software 51 International Journal of Systems Science 50 Computational Optimization and Applications 47 Calcolo 46 Computer Aided Geometric Design 46 Pattern Recognition 44 Journal of the Franklin Institute 44 Applied Mathematical Modelling 43 Journal of Mathematical Analysis and Applications 43 Journal of Global Optimization 42 Acta Informatica 41 Automatica 41 Formal Aspects of Computing 40 Journal of Symbolic Computation 40 Annals of Operations Research 38 Engineering Analysis with Boundary Elements 37 International Journal of Control 37 Algorithmica 36 Mathematical Problems in Engineering 34 Mathematics and Computers in Simulation 33 Optimization 33 Journal of Statistical Computation and Simulation 30 Information and Computation 30 Mathematical and Computer Modelling 29 Artificial Intelligence 29 Mathematical Biosciences 28 Journal of Mathematical Psychology 27 Journal of Applied Statistics 25 Discrete Mathematics 25 Journal of Computer and System Sciences 25 Journal of Econometrics 25 Computational Statistics 25 Communications in Statistics. Theory and Methods 24 Psychometrika 24 Journal of Approximation Theory 24 Journal of Statistical Planning and Inference 24 Journal of Classification 23 Journal of Fluid Mechanics 23 Software. Practice & Experience 23 International Journal of Foundations of Computer Science 23 Mathematical Programming. Series A. Series B 23 Statistics and Computing 22 Biometrics 22 Journal of Information & Optimization Sciences 21 Aplikace Matematiky 21 Communications in Statistics. Simulation and Computation 20 Acta Mechanica 20 SIAM Journal on Scientific Computing 20 Computational and Applied Mathematics 20 International Journal of Control, I. Series 19 Journal of Soviet Mathematics 19 Numerical Functional Analysis and Optimization 19 European Journal of Mechanics. A. Solids 19 Advances in Data Analysis and Classification. ADAC 18 Fuzzy Sets and Systems 18 Neural Computation 18 Optimization Letters 17 International Journal of Computer & Information Sciences 17 Kybernetika 17 Journal of Automated Reasoning 17 Machine Learning 16 Bulletin of Mathematical Biology 15 Computers and Fluids 15 International Journal for Numerical and Analytical Methods in Geomechanics 15 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) 15 Annals of the Institute of Statistical Mathematics 15 Journal of Applied Mathematics and Computing 15 Journal of Theoretical Biology 14 International Journal for Numerical Methods in Fluids 14 Journal of Computer Science and Technology 14 Distributed Computing 14 Journal of Combinatorial Optimization 14 Communications in Nonlinear Science and Numerical Simulation 13 COMPEL 13 Cybernetics and Systems Analysis 13 The Journal of Logic and Algebraic Programming ...and 604 more Journals
all top 5

#### Cited in 60 Fields

 2,598 Numerical analysis (65-XX) 1,753 Computer science (68-XX) 1,550 Operations research, mathematical programming (90-XX) 816 Statistics (62-XX) 374 Mechanics of deformable solids (74-XX) 361 Combinatorics (05-XX) 290 Calculus of variations and optimal control; optimization (49-XX) 272 Ordinary differential equations (34-XX) 270 Systems theory; control (93-XX) 262 Approximations and expansions (41-XX) 247 Partial differential equations (35-XX) 241 Biology and other natural sciences (92-XX) 215 Fluid mechanics (76-XX) 190 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 154 Information and communication theory, circuits (94-XX) 152 Mathematical logic and foundations (03-XX) 149 Probability theory and stochastic processes (60-XX) 134 Linear and multilinear algebra; matrix theory (15-XX) 100 Integral equations (45-XX) 64 Classical thermodynamics, heat transfer (80-XX) 57 Mechanics of particles and systems (70-XX) 53 Geophysics (86-XX) 49 Dynamical systems and ergodic theory (37-XX) 42 Special functions (33-XX) 41 Optics, electromagnetic theory (78-XX) 40 Integral transforms, operational calculus (44-XX) 39 Number theory (11-XX) 39 Statistical mechanics, structure of matter (82-XX) 36 Order, lattices, ordered algebraic structures (06-XX) 35 Functions of a complex variable (30-XX) 34 Convex and discrete geometry (52-XX) 33 Quantum theory (81-XX) 32 Real functions (26-XX) 32 Operator theory (47-XX) 30 Harmonic analysis on Euclidean spaces (42-XX) 26 Algebraic geometry (14-XX) 19 Differential geometry (53-XX) 17 General and overarching topics; collections (00-XX) 16 Field theory and polynomials (12-XX) 14 History and biography (01-XX) 12 Sequences, series, summability (40-XX) 11 Commutative algebra (13-XX) 11 Geometry (51-XX) 9 Group theory and generalizations (20-XX) 9 Astronomy and astrophysics (85-XX) 8 Relativity and gravitational theory (83-XX) 7 General algebraic systems (08-XX) 7 Potential theory (31-XX) 6 Manifolds and cell complexes (57-XX) 5 Category theory; homological algebra (18-XX) 5 Measure and integration (28-XX) 5 Difference and functional equations (39-XX) 5 Functional analysis (46-XX) 4 Global analysis, analysis on manifolds (58-XX) 3 Algebraic topology (55-XX) 2 Topological groups, Lie groups (22-XX) 2 General topology (54-XX) 2 Mathematics education (97-XX) 1 Associative rings and algebras (16-XX) 1 Abstract harmonic analysis (43-XX)