×

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

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

Publications by Year

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
Nelder, J. A.; Mead, R.
975
1965
Function minimization by conjugate gradients. Zbl 0132.11701
Fletcher, R.; Reeves, C. M.
615
1964
A rapidly convergent descent method for minimization. Zbl 0132.11603
Fletcher, R.; Powell, M. J. D.
420
1963
A new approach to variable metric algorithm. Zbl 0207.17402
Fletcher, R.
288
1970
An efficient method for finding the minimum of a function of several variables without calculating derivatives. Zbl 0132.11702
Powell, M. J. D.
215
1964
Numerical inversion of Laplace transforms: an efficient improvement to Dubner and Abate’s method. Zbl 0288.65072
Durbin, F.
168
1974
How many clusters? Which clustering method? Answers via model-based cluster analysis. Zbl 0920.68038
Fraley, Chris; Raftery, Adrian E.
165
1998
Some general implicit processes for the numerical solution of differential equations. Zbl 0112.07805
Rosenbrock, H. H.
122
1963
The QR transformation. A unitary analogue to the LR transformation. I, II. Zbl 0104.34304
Francis, J. G. F.
105
1961
The mechanical evaluation of expressions. Zbl 0122.36106
Landin, P. J.
92
1964
A tree-search algorithm for mixed integer programming problems. Zbl 0154.42004
Dakin, R. J.
89
1965
Computing Dirichlet tessellations in the plane. Zbl 0377.52001
Green, P. J.; Sibson, R.
83
1978
Quicksort. Zbl 0108.13601
Hoare, C. A. R.
82
1962
The use of cubic splines in the solution of two-point boundary value problems. Zbl 0185.41404
Fyfe, D. J.
82
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.
81
1967
An algorithm for information structuring and retrieval. Zbl 0227.68052
van Rijsbergen, C. J.
75
1971
Piecewise cubic interpolation and two-point boundary problems. Zbl 0155.48004
Bickley, W. G.
69
1968
The least squares problem and pseudoinverses. Zbl 0195.44804
Peters, G.; Wilkinson, J. H.
65
1970
Chebyshev solution of differential integral and integro-differential equations. Zbl 0198.50201
El-Gendi, S. E.
63
1969
A comparison of several current optimization methods, and the use of transformations in constrained problems. Zbl 0146.13304
Box, M. J.
61
1966
Cubic spline solutions to two-point boundary value problems. Zbl 0185.41403
Albasiny, E. L.; Hoskins, W. D.
59
1969
Variable metric methods of minimisation. Zbl 0207.17301
Pearson, J. D.
54
1969
A new method of constrained optimization and a comparison with other methods. Zbl 0142.11305
Box, M. J.
52
1965
Labelling and implicit routing in networks. Zbl 0555.94026
Santoro, Nicola; Khatib, Ramez
50
1985
Interactive interpolation and approximation by Bezier polynomials. Zbl 0243.68015
Forrest, A. R.
49
1972
Enumerating, ranking and unranking binary trees. Zbl 0585.68066
Pallo, J. M.
47
1986
An algorithm with guaranteed convergence for finding a zero of a function. Zbl 0231.65046
Brent, R. P.
45
1971
Applying linear quantifier elimination. Zbl 0787.03021
Loos, Rüdiger; Weispfenning, Volker
43
1993
An information measure for classification. Zbl 0164.46208
Wallace, C. S.; Boulton, D. M.
42
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.
41
1972
An iterative method for finding stationary values of a function of several variables. Zbl 0104.34303
Powell, M. J. D.
40
1962
Approximations for \(\lambda\)-colorings of graphs. Zbl 1039.68090
Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan
37
2004
Proving properties of programs by structural induction. Zbl 0164.46202
Burstall, R. M.
37
1969
A note on the Towers of Hanoi problem. Zbl 0362.68057
Hayes, P. J.
37
1977
A new method for the optimization of a nonlinear function subject to nonlinear constraints. Zbl 0195.17403
Haarhoff, P. C.; Buys, J. D.
35
1970
Variance algorithm for minimization. Zbl 0155.19804
Davidon, W. C.
34
1968
Minimizing a function without calculating derivatives. Zbl 0189.48004
Zangwill, W. I.
34
1967
On the maximum errors of polynomial approximations defined by interpolation and by least squares criteria. Zbl 0147.14305
Powell, M. J. D.
32
1967
An efficient algorithm for a complete link method. Zbl 0364.68038
Defays, D.
32
1977
Interval routing. Zbl 0652.68051
van Leeuwen, J.; Tan, R. B.
31
1987
A survey of recent advances in hierarchical clustering algorithms. Zbl 0523.68030
Murtagh, F.
30
1983
A new method of solving nonlinear simultaneous equations. Zbl 0164.45101
Broyden, C. G.
30
1969
An algorithm for solving non-linear equations based on the secant method. Zbl 0254.65036
Barnes, J. G. P.
29
1965
A method for minimizing a sum of squares of non-linear functions without calculating derivatives. Zbl 0142.11601
Powell, M. J. D.
29
1965
Chebyshev methods for ordinary differential equations. Zbl 0103.34203
Fox, L.
28
1962
A Chebyshev series method for the numerical solution of Fredholm integral equation. Zbl 0114.32502
Elliott, David
28
1963
Error estimates for Runge-Kutta type solutions to systems of ordinary differential equations. Zbl 0182.21903
England, R.
28
1969
Two dimensional interpolation from random data. Zbl 0321.65009
McLain, D. H.
27
1976
A controlled random search procedure for global optimisation. Zbl 0364.68036
Price, W. L.
26
1977
Error estimation in the Clenshaw-Curtis quadrature formula. Zbl 0165.17901
O’Hara, H.; Smith, Francis J.
25
1968
Concurrent machines. Zbl 0573.68026
Shields, M. W.
25
1985
An algorithm for minimax approximation in the nonlinear case. Zbl 0164.45802
Osborne, M. R.; Watson, G. A.
24
1969
Convergence properties of Gaussian quadrature formulae. Zbl 0098.31703
Barrett, W.
23
1961
The solution of nonlinear ordinary differential equations in Chebyshev series. Zbl 0113.11002
Clenshaw, C. W.; Norton, H. J.
23
1963
A stable explicit method for the finite-difference solution of a fourth- order parabolic partial differential equation. Zbl 0134.33006
Evans, D. J.
23
1966
Alternating direction methods for parabolic equations in two space dimensions with a mixed derivative. Zbl 0193.13001
McKee, S.; Mitchell, A. R.
23
1970
Numerical methods for Volterra integral equations of the first kind. Zbl 0193.13701
Linz, P.
23
1969
A constructive geometry for computer graphics. Zbl 0251.68053
Ricci, A.
22
1973
Function minimization without evaluating derivatives. A review. Zbl 0139.10401
Fletcher, R.
22
1965
Romberg integration for a class of singular integrands. Zbl 0158.16001
Fox, L.
22
1967
The construction of hierarchic and non-hierarchic classifications. Zbl 0164.46207
Jardine, N.; Sibson, R.
22
1968
Computational experience with quadratically convergent minimisation methods. Zbl 0202.16303
Murtagh, B. A.; Sargent, R. W. H.
22
1970
An algorithm for the chromatic number of a graph. Zbl 0215.05601
Christofides, N.
21
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.
21
1971
Finding the shortest route between two points in a network. Zbl 0156.18107
Nicholson, T. A. J.
21
1966
Chebyshev collocation methods for ordinary differential equations. Zbl 0117.11203
Wright, K.
20
1964
Multipoint iterative methods for solving certain equations. Zbl 0141.13404
Jarratt, P.
20
1966
On the best linear Chebyshev approximation. Zbl 0155.48101
Osborne, M. R.; Watson, G. A.
20
1967
On an algorithm for discrete nonlinear \(L_ 1\) approximations. Zbl 0222.65015
Osborne, M. R.; Watson, G. A.
19
1971
A representation approach to the tower of Hanoi problem. Zbl 0493.90100
Er, M. C.
19
1982
More combinatorial properties of certain trees. Zbl 0136.38801
Lnych, W. C.
19
1965
TANE: An efficient algorithm for discovering functional and approximate dependencies. Zbl 0944.68054
Huhtala, Ykä; Kärkkäinen, Juha; Porkka, Pasi; Toivonen, Hannu
18
1999
The calculation of linear best \(L_ p\) approximations. Zbl 0225.65017
Fletcher, R.; Grant, J. A.; Hebden, M. D.
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
Anote on the generalised Euler transformation. Zbl 0227.65002
Wynn, P.
17
1971
An algorithm for the solution of certain tridiagonal systems of linear equations. Zbl 0249.65017
Evans, D. J.
17
1972
Rigorous error bounds for computed eigensystems. Zbl 0109.34504
Wilkinson, J. H.
17
1961
Numerical studies of prototype cavity flow problems. Zbl 0164.56102
Greenspan, D.
17
1969
Hierarchical grouping methods and stopping rules: An evaluation. Zbl 0364.62065
Mojena, R.
17
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.
17
1987
Householder’s method for the solution of the algebraic eigenproblem. Zbl 0109.09103
Wilkinson, J. H.
16
1960
Literate programming. Zbl 0533.68005
Knuth, Donald E.
16
1984
The use of rational functions in the iterative solution of equations on a digital computer. Zbl 0296.65020
Jarratt, P.; Nudds, D.
16
1965
On the power of list iteration. Zbl 0425.68015
Gordon, M. J. C.
16
1979
The solution of non-linear equations and of differential equations with two-point boundary conditions. Zbl 0121.11301
Haselgrove, C. B.
15
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.
15
1963
Continuity conditions for spline curves. Zbl 0281.68052
Manning, J. R.
14
1974
Minimum message length and Kolmogorov complexity. Zbl 0946.68062
Wallace, C. S.; Dowe, D. L.
14
1999
A program for the autmatic integration of differential equations using the method of Taylor series. Zbl 0093.31604
Gibbons, A.
14
1960
The iterative solution of non-linear ordinary differential equations in Chebyshev series. Zbl 0133.08704
Norton, H. J.
14
1964
A Runge-Kutta method for the numerical solution of the Goursat problem in hyperbolic partial differential equations. Zbl 0142.11904
Day, J. T.
14
1966
Eigenvalues of \(Ax=\lambda Bx\) with band symmetric \(A\) and \(B\). Zbl 0185.40204
Peters, G.; Wilkinson, J. H.
14
1969
A non-classical logic for information retrieval. Zbl 0633.68101
van Rijsbergen, C. J.
14
1986
Some properties of the rotation lattice of binary trees. Zbl 0654.06008
Pallo, J.
14
1988
Parallel generation of permutations. Zbl 0512.68028
Gupta, Phalguni; Bhattacharjee, G. P.
13
1983
The determination of the optimum accelerating factor for successive over- relaxation. Zbl 0098.31405
Carré, B. A.
13
1961
A compact storage scheme for the solution of symmetric linear simultaneous equations. Zbl 0142.13401
Jennings, Alan
13
1966
An error analysis of Goertzel’s (Watt’s) method for computing Fourier coefficients. Zbl 0185.40802
Gentleman, W. M.
13
1969
On the complexity of quantifier elimination: The structural approach. Zbl 0788.68058
Cucker, Felipe
13
1993
Improved algorithms for sign determination and existential quantifier elimination. Zbl 0789.68079
Canny, John
13
1993
Approximations for \(\lambda\)-colorings of graphs. Zbl 1039.68090
Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan
37
2004
The Tower of Hanoi with forbidden moves. Zbl 1090.90191
Sapir, Amir
11
2004
New models of computation. Zbl 1090.68044
Wegner, Peter; Eberbach, Eugene
3
2004
Generalized template splay: a basic theory and calculus. Zbl 1090.68026
Georgakopoulos, George F.; McClurkin, David J.
3
2004
Inversion coding. Zbl 1090.68038
Arnavut, Ziya
3
2004
Combining encryption and proof of knowledge in the random oracle model. Zbl 1090.68030
Abe, Masayuki
3
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
3
2004
Diagnosis of symmetric graphs under the BGM model. Zbl 1090.68078
Albini, L. C. P.; Chessa, S.; Maestrini, P.
2
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.
5
2003
Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine. Zbl 1027.68079
Hierons, R. M.
4
2003
Parallel Huffman decoding with applications to JPEG files. Zbl 1077.94514
Klein, S. T.; Wiseman, Y.
4
2003
On the minimality of stream X-machines. Zbl 1027.68083
Ipate, Florentin
3
2003
Fair exchange. Zbl 1027.68010
Pagnia, Henning; Vogt, Holger; Gärtner, Felix C.
3
2003
Placement of web-server proxies with consideration of read and update operations on the internet. Zbl 1031.68014
Jia, Xiaohua; Li, Deying; Hu, Xiaodong; Wu, Weili; Du, Dingzhu
3
2003
Inverting Dirichlet tessellations. Zbl 1047.68146
Schoenberg, Frederic Paik; Ferguson, Thomas; Li, Cheng
2
2003
Superimpositions and aspect-oriented programming. Zbl 1077.68593
Sihman, Marcelo; Katz, Shmuel
2
2003
Aspectual collaborations: Combining modules and aspects. Zbl 1077.68590
Lieberherr, Karl; Lorenz, David H.; Ovlinger, Johan
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
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
Algorithms for moving objects databases. Zbl 1085.68578
Cotelo Lema, José Antonio; Forlizzi, Luca; Güting, Ralf Hartmut; Nardelli, Enrico; Schneider, Markus
1
2003
RASCAL: Calculation of graph similarity using maximum common edge subgraphs. Zbl 1037.68101
Raymond, John W.; Gardiner, Eleanor J.; Willett, Peter
12
2002
Brousentsov’s ternary principle, Bergman’s number system and ternary miror-symmetrical arithmetic. Zbl 1001.68044
Stakhov, Alexey
6
2002
Loopless generation of trees with specified degrees. Zbl 1003.68115
Korsh, James F.; LaFollette, Paul
6
2002
Balsa: An asynchronous hardware synthesis language. Zbl 1002.68522
Edwards, Doug; Bardsley, Andrew
3
2002
A thread of HOL development. Zbl 1008.68122
Norrish, Michael; Slind, Konrad
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
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
Reverse execution of Java bytecode. Zbl 1036.68016
Cook, Jonathan J.
2
2002
The efficiency of histogram-like techniques for database query optimization. Zbl 1084.68528
Oommen, B. John; Rueda, Luis G.
2
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
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
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
An extended temporal logic for CSCW. Zbl 1037.68094
Papadopoulos, Constantinos
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
A verifiable multi-authority secret election allowing abstention from voting. Zbl 1047.68062
Juang, Wen-Shenq; Lei, Chin-Laung; Liaw, Horng-Twu
1
2002
Randomized receiver initiated load-balancing algorithms for tree-shaped computations. Zbl 1089.68664
Sanders, Peter
1
2002
Diagnosing workflow processes using Woflan. Zbl 0993.68141
Verbeek, H. M. W.; Basten, T.; van der Aalst, W. M. P.
8
2001
Analysis of a multimedia stream using stochastic process algebra. Zbl 0993.68068
Bowman, H.; Bryans, J. W.; Derrick, J.
5
2001
On \(O(1)\) time algorithms for combinatorial generation. Zbl 0988.68222
Xiang, Limin; Ushijima, Kazuo
5
2001
A context-sensitive graph grammar formalism for the specification of visual languages. Zbl 0984.68094
Zhang, Da-Qian; Zhang, Kang; Cao, Jiannong
5
2001
Comment on ‘A framework for modelling trojans and computer virus infection’. Zbl 1051.68539
Mäkinen, Erkki
4
2001
Estimating software rejuvenation schedules in high-assurance systems. Zbl 1052.68017
Dohi, Tadashi; Goševa-Popstojanova, Katerina; Trivedi, Kishor
4
2001
Efficient verification of a multicast protocol for mobile computing. Zbl 0983.68123
Anastasi, Giuseppe; Bartoli, Alberto; De Francesco, Nicoletta; Santone, Antonella
4
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
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.
2
2001
Distributed location databases for tracking highly mobile objects. Zbl 0982.68060
Pitoura, Evaggelia; Fudos, Ioannis
2
2001
A logic of access control. Zbl 0982.68043
Crampton, Jason; Loizou, George; O’Shea, Greg
2
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
Single-faced Boolean functions and their minimization. Zbl 0993.68021
Wang, Yuke; McCrosky, Carl; Song, Xiaoyu
1
2001
Use of modern processors in safety-critical applications. Zbl 1027.68513
Bate, Iain; Conmy, Philippa; Kelly, Tim; McDermid, John
1
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
Consistent checkpointing for transaction systems. Zbl 0982.68096
Baldoni, Roberto; Quaglia, Francesco; Raynal, Michel
1
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.
1
2001
Modular analysis of Petri nets. Zbl 0960.68125
Christensen, Søren; Petrucci, Laure
6
2000
A constructive logic for services and information flow in computer networks. Zbl 0967.68153
Borghuis, Tijn; Feijs, Loe
4
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
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
18
1999
Minimum message length and Kolmogorov complexity. Zbl 0946.68062
Wallace, C. S.; Dowe, D. L.
14
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
Algorithmic complexity and stochastic properties of finite binary sequences. Zbl 0937.68062
V’yugin, V. V.
7
1999
Complexity approximation principle. Zbl 0937.68063
Vovk, Vladimir; Gammerman, Alexander
7
1999
Discussion on Kolmogorov complexity and statistical analysis. Zbl 0946.68063
Shen, Alexander
5
1999
Hypothesis selection and testing by the MDL principle. Zbl 0937.68059
Rissanen, J.
3
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
\(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
Compression and approximate matching. Zbl 0941.68034
Allison, L.; Powell, D.; Dix, T. I.
1
1999
A \(\tau\)-restricted key agreement scheme. Zbl 0941.68042
Blundo, Carlo; D’Arco, Paolo; Gaggia, Antonio Giorgio
1
1999
Adapting calculational logic to the undefined. Zbl 0941.03031
Schieder, Birgit; Broy, Manfred
1
1999
Special issue: Kolmogorov complexity. Zbl 0937.00017
Gammerman, Alexander; Vovk, Vladimir
1
1999
Near optimal \(\beta\) heap. Zbl 0937.68034
Luk, R. W. P.
1
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
A new perspective of the proportional sampling strategy. Zbl 0953.68041
Leung, H.; Chen, T. Y.
1
1999
How many clusters? Which clustering method? Answers via model-based cluster analysis. Zbl 0920.68038
Fraley, Chris; Raftery, Adrian E.
165
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)

Citations by Year