×

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,492 more Authors

Publications by Year

Citations contained in zbMATH Open

768 Publications have been cited 8,416 times in 7,237 Documents Cited by Year
A simplex method for function minimization. Zbl 0229.65053
Nelder, J. A.; Mead, R.
1965
Function minimization by conjugate gradients. Zbl 0132.11701
Fletcher, R.; Reeves, C. M.
675
1964
A rapidly convergent descent method for minimization. Zbl 0132.11603
Fletcher, R.; Powell, M. J. D.
429
1963
A new approach to variable metric algorithm. Zbl 0207.17402
Fletcher, R.
314
1970
An efficient method for finding the minimum of a function of several variables without calculating derivatives. Zbl 0132.11702
Powell, M. J. D.
227
1964
How many clusters? Which clustering method? Answers via model-based cluster analysis. Zbl 0920.68038
Fraley, Chris; Raftery, Adrian E.
183
1998
Numerical inversion of Laplace transforms: an efficient improvement to Dubner and Abate’s method. Zbl 0288.65072
Durbin, F.
177
1974
Some general implicit processes for the numerical solution of differential equations. Zbl 0112.07805
Rosenbrock, H. H.
133
1963
The QR transformation. A unitary analogue to the LR transformation. I, II. Zbl 0104.34304
Francis, J. G. F.
110
1961
A tree-search algorithm for mixed integer programming problems. Zbl 0154.42004
Dakin, R. J.
97
1965
The mechanical evaluation of expressions. Zbl 0122.36106
Landin, P. J.
95
1964
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.
85
1967
The use of cubic splines in the solution of two-point boundary value problems. Zbl 0185.41404
Fyfe, D. J.
85
1969
Computing Dirichlet tessellations in the plane. Zbl 0377.52001
Green, P. J.; Sibson, R.
84
1978
Quicksort. Zbl 0108.13601
Hoare, C. A. R.
84
1962
An algorithm for information structuring and retrieval. Zbl 0227.68052
van Rijsbergen, C. J.
76
1971
Piecewise cubic interpolation and two-point boundary problems. Zbl 0155.48004
Bickley, W. G.
71
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.
65
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.
61
1969
Variable metric methods of minimisation. Zbl 0207.17301
Pearson, J. D.
56
1969
A new method of constrained optimization and a comparison with other methods. Zbl 0142.11305
Box, M. J.
53
1965
Labelling and implicit routing in networks. Zbl 0555.94026
Santoro, Nicola; Khatib, Ramez
51
1985
An algorithm with guaranteed convergence for finding a zero of a function. Zbl 0231.65046
Brent, R. P.
51
1971
Enumerating, ranking and unranking binary trees. Zbl 0585.68066
Pallo, J. M.
49
1986
Interactive interpolation and approximation by Bezier polynomials. Zbl 0243.68015
Forrest, A. R.
49
1972
Applying linear quantifier elimination. Zbl 0787.03021
Loos, Rüdiger; Weispfenning, Volker
48
1993
Lagrangian interpolation at the Chebyshev points \(x_{n,\nu}=\cos(\nu \pi/n), \nu=0(1)n\); some unnoted advantages. Zbl 0242.65007
Salzer, H. E.
45
1972
Approximations for \(\lambda\)-colorings of graphs. Zbl 1039.68090
Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan
44
2004
An information measure for classification. Zbl 0164.46208
Wallace, C. S.; Boulton, D. M.
43
1968
An iterative method for finding stationary values of a function of several variables. Zbl 0104.34303
Powell, M. J. D.
40
1962
A note on the Towers of Hanoi problem. Zbl 0362.68057
Hayes, P. J.
38
1977
An efficient algorithm for a complete link method. Zbl 0364.68038
Defays, D.
37
1977
Proving properties of programs by structural induction. Zbl 0164.46202
Burstall, R. M.
37
1969
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
A survey of recent advances in hierarchical clustering algorithms. Zbl 0523.68030
Murtagh, F.
32
1983
On the maximum errors of polynomial approximations defined by interpolation and by least squares criteria. Zbl 0147.14305
Powell, M. J. D.
32
1967
Interval routing. Zbl 0652.68051
van Leeuwen, J.; Tan, R. B.
31
1987
An algorithm for solving non-linear equations based on the secant method. Zbl 0254.65036
Barnes, J. G. P.
30
1965
Two dimensional interpolation from random data. Zbl 0321.65009
McLain, D. H.
29
1976
A method for minimizing a sum of squares of non-linear functions without calculating derivatives. Zbl 0142.11601
Powell, M. J. D.
29
1965
A new method of solving nonlinear simultaneous equations. Zbl 0164.45101
Broyden, C. G.
29
1969
A Chebyshev series method for the numerical solution of Fredholm integral equation. Zbl 0114.32502
Elliott, David
29
1963
Error estimates for Runge-Kutta type solutions to systems of ordinary differential equations. Zbl 0182.21903
England, R.
28
1969
Chebyshev methods for ordinary differential equations. Zbl 0103.34203
Fox, L.
28
1962
A controlled random search procedure for global optimisation. Zbl 0364.68036
Price, W. L.
27
1977
Error estimation in the Clenshaw-Curtis quadrature formula. Zbl 0165.17901
O’Hara, H.; Smith, Francis J.
27
1968
Concurrent machines. Zbl 0573.68026
Shields, M. W.
26
1985
A stable explicit method for the finite-difference solution of a fourth- order parabolic partial differential equation. Zbl 0134.33006
Evans, D. J.
26
1966
An algorithm for minimax approximation in the nonlinear case. Zbl 0164.45802
Osborne, M. R.; Watson, G. A.
25
1969
The solution of nonlinear ordinary differential equations in Chebyshev series. Zbl 0113.11002
Clenshaw, C. W.; Norton, H. J.
25
1963
Alternating direction methods for parabolic equations in two space dimensions with a mixed derivative. Zbl 0193.13001
McKee, S.; Mitchell, A. R.
24
1970
Numerical methods for Volterra integral equations of the first kind. Zbl 0193.13701
Linz, P.
24
1969
A constructive geometry for computer graphics. Zbl 0251.68053
Ricci, A.
23
1973
Convergence properties of Gaussian quadrature formulae. Zbl 0098.31703
Barrett, W.
23
1961
Function minimization without evaluating derivatives. A review. Zbl 0139.10401
Fletcher, R.
22
1965
Finding the shortest route between two points in a network. Zbl 0156.18107
Nicholson, T. A. J.
22
1966
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
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.
22
1971
Chebyshev collocation methods for ordinary differential equations. Zbl 0117.11203
Wright, K.
22
1964
Multipoint iterative methods for solving certain equations. Zbl 0141.13404
Jarratt, P.
21
1966
An algorithm for the chromatic number of a graph. Zbl 0215.05601
Christofides, N.
21
1971
On the best linear Chebyshev approximation. Zbl 0155.48101
Osborne, M. R.; Watson, G. A.
20
1967
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
On an algorithm for discrete nonlinear \(L_ 1\) approximations. Zbl 0222.65015
Osborne, M. R.; Watson, G. A.
19
1971
The calculation of linear best \(L_ p\) approximations. Zbl 0225.65017
Fletcher, R.; Grant, J. A.; Hebden, M. D.
19
1971
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
Literate programming. Zbl 0533.68005
Knuth, Donald E.
18
1984
The use of rational functions in the iterative solution of equations on a digital computer. Zbl 0296.65020
Jarratt, P.; Nudds, D.
18
1965
On the equivalence of SOR, SSOR and USSOR as applied to \(\sigma_ 1\)-ordered systems of linear equations. Zbl 0134.32705
Lynn, M. S.
18
1964
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
Hierarchical grouping methods and stopping rules: An evaluation. Zbl 0364.62065
Mojena, R.
17
1977
Numerical studies of prototype cavity flow problems. Zbl 0164.56102
Greenspan, D.
17
1969
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
A non-classical logic for information retrieval. Zbl 0633.68101
van Rijsbergen, C. J.
16
1986
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.
16
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.
16
1963
A Runge-Kutta method for the numerical solution of the Goursat problem in hyperbolic partial differential equations. Zbl 0142.11904
Day, J. T.
16
1966
Householder’s method for the solution of the algebraic eigenproblem. Zbl 0109.09103
Wilkinson, J. H.
16
1960
On the complexity of quantifier elimination: The structural approach. Zbl 0788.68058
Cucker, Felipe
15
1993
A program for the autmatic integration of differential equations using the method of Taylor series. Zbl 0093.31604
Gibbons, A.
15
1960
Minimum message length and Kolmogorov complexity. Zbl 0946.68062
Wallace, C. S.; Dowe, D. L.
14
1999
Continuity conditions for spline curves. Zbl 0281.68052
Manning, J. R.
14
1974
Computing roadmaps of general semi-algebraic sets. Zbl 0798.14031
Canny, John
14
1993
Some properties of the rotation lattice of binary trees. Zbl 0654.06008
Pallo, J.
14
1988
The iterative solution of non-linear ordinary differential equations in Chebyshev series. Zbl 0133.08704
Norton, H. J.
14
1964
Eigenvalues of \(Ax=\lambda Bx\) with band symmetric \(A\) and \(B\). Zbl 0185.40204
Peters, G.; Wilkinson, J. H.
14
1969
An error analysis of Goertzel’s (Watt’s) method for computing Fourier coefficients. Zbl 0185.40802
Gentleman, W. M.
14
1969
Parallel generation of permutations. Zbl 0512.68028
Gupta, Phalguni; Bhattacharjee, G. P.
13
1983
Improved algorithms for sign determination and existential quantifier elimination. Zbl 0789.68079
Canny, John
13
1993
A recursive algorithm for determining the eigenvalues of a quindiagonal matrix. Zbl 0296.65015
Evans, D. J.
13
1975
Approximations for \(\lambda\)-colorings of graphs. Zbl 1039.68090
Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan
44
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.
3
2004
Analyzing information flow properties in assembly code by abstract interpretation. Zbl 1090.68031
Barbuti, Roberto; Bernardeschi, Cinzia; de Francesco, Nicoletta
1
2004
Byzantine fault detectors for solving consensus. Zbl 1027.68012
Kihlstrom, Kim Potter; Moser, Louise E.; Melliar-Smith, P. M.
5
2003
Parallel Huffman decoding with applications to JPEG files. Zbl 1077.94514
Klein, S. T.; Wiseman, Y.
4
2003
Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine. Zbl 1027.68079
Hierons, R. M.
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
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
Algorithms for moving objects databases. Zbl 1085.68578
Cotelo Lema, José Antonio; Forlizzi, Luca; Güting, Ralf Hartmut; Nardelli, Enrico; Schneider, Markus
2
2003
Inverting Dirichlet tessellations. Zbl 1047.68146
Schoenberg, Frederic Paik; Ferguson, Thomas; Li, Cheng
2
2003
Transient analysis of rewarded continuous time Markov models by regenerative randomization with Laplace transform inversion. Zbl 1027.68016
Carrasco, Juan A.
1
2003
Loopless generation of Schröder trees. Zbl 1027.68094
Korsh, James F.; LaFollette, Paul S.
1
2003
RCPCP: A ceiling-based protocol for multiple-disk environments. Zbl 1031.68016
Wu, Jun; Kuo, Tei-Wei; Hsueh, Chih-Wen
1
2003
Robust and simple authentication protocol. Zbl 1031.68018
Chien, Hung-Yu; Jan, Jinn-Ke
1
2003
Support for reasoning about interactive systems through human–computer interaction designers’ representations. Zbl 1031.68027
Paternó, Fabio; Santoro, Carmen
1
2003
RASCAL: Calculation of graph similarity using maximum common edge subgraphs. Zbl 1037.68101
Raymond, John W.; Gardiner, Eleanor J.; Willett, Peter
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
The efficiency of histogram-like techniques for database query optimization. Zbl 1084.68528
Oommen, B. John; Rueda, Luis G.
2
2002
Reverse execution of Java bytecode. Zbl 1036.68016
Cook, Jonathan J.
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
Block codes for asynchronous data transmission designed from binary trees. Zbl 1001.68043
Balakirsky, Vladimir B.
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
Randomized receiver initiated load-balancing algorithms for tree-shaped computations. Zbl 1089.68664
Sanders, Peter
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
Diagnosing workflow processes using Woflan. Zbl 0993.68141
Verbeek, H. M. W.; Basten, T.; van der Aalst, W. M. P.
8
2001
A context-sensitive graph grammar formalism for the specification of visual languages. Zbl 0984.68094
Zhang, Da-Qian; Zhang, Kang; Cao, Jiannong
5
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
Estimating software rejuvenation schedules in high-assurance systems. Zbl 1052.68017
Dohi, Tadashi; Goševa-Popstojanova, Katerina; Trivedi, Kishor
5
2001
Efficient verification of a multicast protocol for mobile computing. Zbl 0983.68123
Anastasi, Giuseppe; Bartoli, Alberto; De Francesco, Nicoletta; Santone, Antonella
4
2001
Comment on ‘A framework for modelling trojans and computer virus infection’. Zbl 1051.68539
Mäkinen, Erkki
4
2001
A logic of access control. Zbl 0982.68043
Crampton, Jason; Loizou, George; O’Shea, Greg
3
2001
Managing latency and buffer requirements in processing graph chains. Zbl 1006.94516
Goddard, Steve; Jeffay, Kevin
3
2001
Distributed location databases for tracking highly mobile objects. Zbl 0982.68060
Pitoura, Evaggelia; Fudos, Ioannis
2
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
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
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
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
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
...and 668 more Documents
all top 5

Cited by 11,030 Authors

42 Evans, David John
28 Er, Mingcheng
26 Yuan, Gonglin
25 Mohanty, Ranjan Kumar
21 Hadjidimos, Apostolos
20 Andrei, Neculai
20 Wen, Pihua H.
16 Wei, Zengxin
14 Dong, Xiaoliang
14 Ford, John A.
14 Golub, Gene Howard
13 Beskos, Dimitri E.
13 Chawla, Man M.
13 Luk’yanenko, Dmitriĭ Vital’evich
12 Ferri Aliabadi, Mohammad Hossien
12 Devroye, Luc P. J. A.
12 Liu, Zexian
12 McNicholas, Paul D.
12 Toint, Philippe L.
12 Wood, Derick
11 Babaie-Kafaki, Saman
11 Burke, Edmund Kieran
11 Dai, Yu-Hong
11 Danvy, Olivier
11 Neta, Beny
11 Watson, G. Alistair
10 Abdelmalek, Nabih N.
10 Dehghan Takht Fooladi, Mehdi
10 Hennig, Christian
10 Shi, Zhenjun
10 Wilkinson, James Hardy
9 Alvarez-Vázquez, Lino Jose
9 Barequet, Gill
9 Berrut, Jean-Paul
9 Dai, Zhifeng
9 Mahmoud, Hosam M.
9 Martinez, Aurea
9 Osborne, Michael Robert
9 Pewsey, Arthur
9 Rashidinia, Jalil
9 Scott, Melvin R.
9 Shanno, David F.
9 Stojmenović, Ivan
8 Alhawarat, Ahmad
8 Bandler, John W.
8 Chang, Jou-Ming
8 Cucker, Felipe
8 Evans, Gwynne A.
8 Hierons, Robert Mark
8 Jian, Jinbao
8 Jiang, Xianzhen
8 Kaelo, Pro
8 Kalitkin, Nikolaĭ Nikolaevich
8 Kumam, Poom
8 Leong, Wah June
8 Lesnic, Daniel
8 Lukšan, Ladislav
8 Martínez, José Mario
8 Melnykov, Volodymyr
8 Murphy, Thomas Brendan
8 Parlett, Beresford Neill
8 Sahinidis, Nikolaos V.
8 Salleh, Zabidin
8 Sirisena, Harsha R.
8 Stoer, Josef
8 Tewarson, Reginald P.
8 Vandebril, Raf
8 Vázquez-Méndez, Miguel Ernesto
8 Xiang, Shuhuang
7 Al-Baali, Mehiddin
7 Amini, Keyvan
7 Aziz, Tariq
7 Bala Abubakar, Auwal
7 Basu, Saugata
7 Boyd, John Philip
7 Cao, Kai
7 Du, Shouqiang
7 Farouki, Rida T.
7 García-Escudero, Luis Angel
7 Gavoille, Cyril
7 Ghanbari, Reza
7 Goldfarb, Donald
7 Hansen, Pierre
7 in ’t Hout, Karel J.
7 Lin, Tsung I.
7 Liu, Hongwei
7 Livieris, Ioannis E.
7 Mamat, Mustafa Bin
7 Manolis, George D.
7 Mayo-Iscar, Agustin
7 Narushima, Yasushi
7 Nocedal, Jorge
7 Pallo, Jean Marcel
7 Paulino, Glaucio H.
7 Peleg, David
7 Pierson, Bion L.
7 Pintelas, Panagiotis E.
7 Roy, Marie-Françoise
7 Scraton, R. E.
7 Shen, Jie
...and 10,930 more Authors
all top 5

Cited in 740 Journals

233 Journal of Computational and Applied Mathematics
211 Applied Mathematics and Computation
186 Journal of Optimization Theory and Applications
184 Theoretical Computer Science
166 International Journal of Computer Mathematics
159 Numerische Mathematik
129 European Journal of Operational Research
124 Mathematics of Computation
122 Computers & Mathematics with Applications
119 Information Processing Letters
113 International Journal for Numerical Methods in Engineering
103 Computational Statistics and Data Analysis
102 Computing
93 Computer Methods in Applied Mechanics and Engineering
88 Mathematical Programming
87 BIT
79 Linear Algebra and its Applications
78 BIT. Nordisk Tidskrift for Informationsbehandling
70 Journal of Computational Physics
70 Numerical Algorithms
68 Computers & Operations Research
64 Information Sciences
63 Applied Numerical Mathematics
56 Discrete Applied Mathematics
55 Optimization Methods & Software
54 Computational Optimization and Applications
51 International Journal of Systems Science
48 Journal of Global Optimization
47 Calcolo
46 Computer Aided Geometric Design
46 Applied Mathematical Modelling
46 Pattern Recognition
44 Journal of the Franklin Institute
44 Annals of Operations Research
43 Journal of Mathematical Analysis and Applications
43 Automatica
42 Acta Informatica
41 Journal of Symbolic Computation
41 Formal Aspects of Computing
40 Mathematics and Computers in Simulation
38 Engineering Analysis with Boundary Elements
37 International Journal of Control
37 Algorithmica
36 Mathematical Problems in Engineering
35 Journal of Applied Statistics
34 Optimization
34 Journal of Statistical Computation and Simulation
33 Communications in Statistics. Theory and Methods
31 Artificial Intelligence
30 Mathematical Biosciences
30 Journal of Mathematical Psychology
30 Information and Computation
30 Mathematical and Computer Modelling
28 Statistics and Computing
26 Discrete Mathematics
26 Journal of Fluid Mechanics
26 Computational Statistics
26 Mathematical Programming. Series A. Series B
25 Psychometrika
25 Journal of Approximation Theory
25 Journal of Computer and System Sciences
25 Journal of Econometrics
25 Computational and Applied Mathematics
24 Journal of Statistical Planning and Inference
24 Journal of Classification
23 Software. Practice & Experience
23 International Journal of Foundations of Computer Science
23 Communications in Statistics. Simulation and Computation
22 Biometrics
22 Journal of Information & Optimization Sciences
22 SIAM Journal on Scientific Computing
21 Aplikace Matematiky
20 Acta Mechanica
20 International Journal of Control, I. Series
19 Journal of Soviet Mathematics
19 Numerical Functional Analysis and Optimization
19 Machine Learning
19 European Journal of Mechanics. A. Solids
19 Advances in Data Analysis and Classification. ADAC
18 Fuzzy Sets and Systems
18 Neural Computation
18 Journal of Applied Mathematics and Computing
18 Optimization Letters
17 International Journal of Computer & Information Sciences
17 Kybernetika
17 Journal of Automated Reasoning
17 Optimization and Engineering
16 Computers and Fluids
16 Bulletin of Mathematical Biology
16 Journal of Inequalities and Applications
16 Communications in Nonlinear Science and Numerical Simulation
16 The Annals of Applied Statistics
15 International Journal for Numerical and Analytical Methods in Geomechanics
15 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM)
15 Chaos, Solitons and Fractals
15 Annals of the Institute of Statistical Mathematics
15 Journal of Theoretical Biology
14 International Journal for Numerical Methods in Fluids
14 Journal of Computer Science and Technology
14 Distributed Computing
...and 640 more Journals
all top 5

Cited in 61 Fields

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

Citations by Year