×

The Computer Journal. Section A / Section B

Short Title: Comput. J.
Publisher: Oxford University Press, Oxford
ISSN: 0010-4620; 1460-2067/e
Online: http://comjnl.oxfordjournals.org/
Comments: Journal; No longer indexed
Documents Indexed: 1,480 Publications (1958–2009)
all top 5

Authors

17 Evans, David John
16 Er, Mingcheng
12 Wilkinson, James Hardy
12 Wood, Derick
11 Osborne, Michael Robert
10 Brooker, R. A.
10 Wallace, Chris S.
9 Powell, Michael James David
9 Strachey, Christopher
8 Jarratt, P.
8 Reeves, C. M.
7 Chang, Chin-Chen
7 Fletcher, Roger
7 Hoare, C. A. R. Tony
7 Mitchell, Andrew Ronald
6 Barron, D. W.
6 Duncan, F. G.
6 Scraton, R. E.
6 Tewarson, Reginald P.
5 Curtis, A. Robert
5 Goodwin, D. T.
5 Harrison, Peter G.
5 Kollias, John G.
5 Papakonstantinou, George K.
5 Rohl, Jeffrey S.
5 Simpson, H. R.
5 Wilkes, Maurice Vincent
5 Williams, P. W.
4 Allison, Lloyd
4 Boulton, D. M.
4 Burton, F. Warren
4 Chen, Chien-Yuan
4 Clint, Maurice
4 Cole, A. J.
4 DiManzo, M.
4 Fitch, J. Patrick
4 Fraenkel, Aviezri Siegmund
4 Gibbons, Alan M.
4 Grant, James A.
4 Griswold, Ralph E.
4 Hurst, S. L.
4 Lam, Kam-Yiu
4 Lance, G. N.
4 Lewin, Douglas W.
4 Lyness, James N.
4 Mäkinen, Erkki
4 Miller, Jeffrey Charles Percy
4 Mottl, J.
4 Pagan, Frank G.
4 Page, E. S.
4 Smith, Francis J.
4 Tee, Garry J.
4 Van Leeuwen, Jan
4 Varol, Yaakov L.
4 Watson, G. Alistair
4 Watt, J. M.
4 Wichmann, Brian A.
4 Williams, W. T.
4 Yates, Frank
3 Anastasi, Giuseppe
3 Atkinson, Laurence V.
3 Barringer, Howard
3 Bell, Alan G.
3 Bell, David A.
3 Bennett, Keith H.
3 Boccalatte, Antonio
3 Bourne, Stephen R.
3 Box, Michael J.
3 Buxton, J. N.
3 Cash, Jeff R.
3 Chao, Daniel Yuh
3 Chawla, Man M.
3 Day, J. T.
3 De Francesco, Nicoletta
3 Delves, L. M.
3 Deogun, Jitender S.
3 Dowe, David L.
3 Ďurian, Branislav
3 Forrington, C. V. D.
3 Gammerman, Alexander
3 Gourlay, A. R.
3 Gower, John C.
3 Greenspan, Donald
3 Hartley, D. F.
3 Hunter, David B.
3 Hyslop, J. M.
3 Jackson, David M.
3 Jia, Xiaohua
3 King, Peter J. H.
3 Klein, Shmuel Tomi
3 Kuo, Tei-Wei
3 Llewellyn, John A.
3 Manolopoulos, Yannis
3 Martin, David W.
3 Napper, R. B. E.
3 Nevalainen, Olli S.
3 Nudds, D.
3 Oliveira-Pinto, F.
3 Ord-Smith, R. J.
3 Pooch, Udo W.
...and 1,496 more Authors

Publications by Year

Citations contained in zbMATH Open

774 Publications have been cited 9,237 times in 7,652 Documents Cited by Year
A simplex method for function minimization. Zbl 0229.65053
Nelder, J. A.; Mead, R.
1965
Function minimization by conjugate gradients. Zbl 0132.11701
Fletcher, R.; Reeves, C. M.
745
1964
A rapidly convergent descent method for minimization. Zbl 0132.11603
Fletcher, R.; Powell, M. J. D.
436
1963
A new approach to variable metric algorithm. Zbl 0207.17402
Fletcher, R.
341
1970
An efficient method for finding the minimum of a function of several variables without calculating derivatives. Zbl 0132.11702
Powell, M. J. D.
238
1964
How many clusters? Which clustering method? Answers via model-based cluster analysis. Zbl 0920.68038
Fraley, Chris; Raftery, Adrian E.
194
1998
Numerical inversion of Laplace transforms: an efficient improvement to Dubner and Abate’s method. Zbl 0288.65072
Durbin, F.
188
1974
Some general implicit processes for the numerical solution of differential equations. Zbl 0112.07805
Rosenbrock, H. H.
143
1963
The QR transformation. A unitary analogue to the LR transformation. I, II. Zbl 0104.34304
Francis, J. G. F.
133
1961
A tree-search algorithm for mixed integer programming problems. Zbl 0154.42004
Dakin, R. J.
104
1965
The mechanical evaluation of expressions. Zbl 0122.36106
Landin, P. J.
100
1964
Quicksort. Zbl 0108.13601
Hoare, C. A. R.
98
1962
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.
89
1967
The use of cubic splines in the solution of two-point boundary value problems. Zbl 0185.41404
Fyfe, D. J.
88
1969
Computing Dirichlet tessellations in the plane. Zbl 0377.52001
Green, P. J.; Sibson, R.
88
1978
An algorithm for information structuring and retrieval. Zbl 0227.68052
van Rijsbergen, C. J.
83
1971
Piecewise cubic interpolation and two-point boundary problems. Zbl 0155.48004
Bickley, W. G.
72
1968
Chebyshev solution of differential integral and integro-differential equations. Zbl 0198.50201
El-Gendi, S. E.
70
1969
The least squares problem and pseudoinverses. Zbl 0195.44804
Peters, G.; Wilkinson, J. H.
67
1970
Cubic spline solutions to two-point boundary value problems. Zbl 0185.41403
Albasiny, E. L.; Hoskins, W. D.
62
1969
A comparison of several current optimization methods, and the use of transformations in constrained problems. Zbl 0146.13304
Box, M. J.
61
1966
An algorithm with guaranteed convergence for finding a zero of a function. Zbl 0231.65046
Brent, R. P.
59
1971
Applying linear quantifier elimination. Zbl 0787.03021
Loos, Rüdiger; Weispfenning, Volker
58
1993
Variable metric methods of minimisation. Zbl 0207.17301
Pearson, J. D.
57
1969
A new method of constrained optimization and a comparison with other methods. Zbl 0142.11305
Box, M. J.
55
1965
Labelling and implicit routing in networks. Zbl 0555.94026
Santoro, Nicola; Khatib, Ramez
54
1985
Approximations for \(\lambda\)-colorings of graphs. Zbl 1039.68090
Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan
51
2004
Lagrangian interpolation at the Chebyshev points \(x_{n,\nu}=\cos(\nu \pi/n), \nu=0(1)n\); some unnoted advantages. Zbl 0242.65007
Salzer, H. E.
50
1972
Interactive interpolation and approximation by Bezier polynomials. Zbl 0243.68015
Forrest, A. R.
50
1972
Enumerating, ranking and unranking binary trees. Zbl 0585.68066
Pallo, J. M.
50
1986
Proving properties of programs by structural induction. Zbl 0164.46202
Burstall, R. M.
44
1969
An information measure for classification. Zbl 0164.46208
Wallace, C. S.; Boulton, D. M.
44
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.
38
1977
A new method for the optimization of a nonlinear function subject to nonlinear constraints. Zbl 0195.17403
Haarhoff, P. C.; Buys, J. D.
37
1970
Variance algorithm for minimization. Zbl 0155.19804
Davidon, W. C.
35
1968
A survey of recent advances in hierarchical clustering algorithms. Zbl 0523.68030
Murtagh, F.
35
1983
Minimizing a function without calculating derivatives. Zbl 0189.48004
Zangwill, W. I.
34
1967
Interval routing. Zbl 0652.68051
van Leeuwen, J.; Tan, R. B.
33
1987
A Chebyshev series method for the numerical solution of Fredholm integral equation. Zbl 0114.32502
Elliott, David
32
1963
On the maximum errors of polynomial approximations defined by interpolation and by least squares criteria. Zbl 0147.14305
Powell, M. J. D.
32
1967
A method for minimizing a sum of squares of non-linear functions without calculating derivatives. Zbl 0142.11601
Powell, M. J. D.
30
1965
Error estimation in the Clenshaw-Curtis quadrature formula. Zbl 0165.17901
O’Hara, H.; Smith, Francis J.
30
1968
An algorithm for solving non-linear equations based on the secant method. Zbl 0254.65036
Barnes, J. G. P.
30
1965
Concurrent machines. Zbl 0573.68026
Shields, M. W.
30
1985
A controlled random search procedure for global optimisation. Zbl 0364.68036
Price, W. L.
30
1977
A new method of solving nonlinear simultaneous equations. Zbl 0164.45101
Broyden, C. G.
29
1969
Two dimensional interpolation from random data. Zbl 0321.65009
McLain, D. H.
29
1976
Chebyshev methods for ordinary differential equations. Zbl 0103.34203
Fox, L.
28
1962
A stable explicit method for the finite-difference solution of a fourth- order parabolic partial differential equation. Zbl 0134.33006
Evans, D. J.
28
1966
Error estimates for Runge-Kutta type solutions to systems of ordinary differential equations. Zbl 0182.21903
England, R.
28
1969
Convergence properties of Gaussian quadrature formulae. Zbl 0098.31703
Barrett, W.
26
1961
The solution of nonlinear ordinary differential equations in Chebyshev series. Zbl 0113.11002
Clenshaw, C. W.; Norton, H. J.
26
1963
An algorithm for minimax approximation in the nonlinear case. Zbl 0164.45802
Osborne, M. R.; Watson, G. A.
26
1969
Chebyshev collocation methods for ordinary differential equations. Zbl 0117.11203
Wright, K.
25
1964
Numerical methods for Volterra integral equations of the first kind. Zbl 0193.13701
Linz, P.
25
1969
A constructive geometry for computer graphics. Zbl 0251.68053
Ricci, A.
25
1973
Alternating direction methods for parabolic equations in two space dimensions with a mixed derivative. Zbl 0193.13001
McKee, S.; Mitchell, A. R.
24
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.
24
1971
Function minimization without evaluating derivatives. A review. Zbl 0139.10401
Fletcher, R.
23
1965
Finding the shortest route between two points in a network. Zbl 0156.18107
Nicholson, T. A. J.
23
1966
Romberg integration for a class of singular integrands. Zbl 0158.16001
Fox, L.
23
1967
An algorithm for the chromatic number of a graph. Zbl 0215.05601
Christofides, N.
23
1971
TANE: An efficient algorithm for discovering functional and approximate dependencies. Zbl 0944.68054
Huhtala, Ykä; Kärkkäinen, Juha; Porkka, Pasi; Toivonen, Hannu
23
1999
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
Literate programming. Zbl 0533.68005
Knuth, Donald E.
22
1984
Multipoint iterative methods for solving certain equations. Zbl 0141.13404
Jarratt, P.
21
1966
On the best linear Chebyshev approximation. Zbl 0155.48101
Osborne, M. R.; Watson, G. A.
20
1967
Rigorous error bounds for computed eigensystems. Zbl 0109.34504
Wilkinson, J. H.
19
1961
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
A representation approach to the tower of Hanoi problem. Zbl 0493.90100
Er, M. C.
19
1982
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
The use of rational functions in the iterative solution of equations on a digital computer. Zbl 0296.65020
Jarratt, P.; Nudds, D.
18
1965
Ready-trace semantics for concrete process algebra with the priority operator. Zbl 0627.68016
Baeten, J. C. M.; Bergstra, J. A.; Klops, J. W.
18
1987
Hierarchical grouping methods and stopping rules: An evaluation. Zbl 0364.62065
Mojena, R.
18
1977
Computing roadmaps of general semi-algebraic sets. Zbl 0798.14031
Canny, John
17
1993
A program for the autmatic integration of differential equations using the method of Taylor series. Zbl 0093.31604
Gibbons, A.
17
1960
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
On the power of list iteration. Zbl 0425.68015
Gordon, M. J. C.
17
1979
Householder’s method for the solution of the algebraic eigenproblem. Zbl 0109.09103
Wilkinson, J. H.
16
1960
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
A non-classical logic for information retrieval. Zbl 0633.68101
van Rijsbergen, C. J.
16
1986
On the complexity of quantifier elimination: The structural approach. Zbl 0788.68058
Cucker, Felipe
15
1993
An error analysis of Goertzel’s (Watt’s) method for computing Fourier coefficients. Zbl 0185.40802
Gentleman, W. M.
15
1969
Minimum message length and Kolmogorov complexity. Zbl 0946.68062
Wallace, C. S.; Dowe, D. L.
15
1999
Solving polynomial strict inequalities using cylindrical algebraic decomposition. Zbl 0789.68080
McCallum, Scott
14
1993
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
Continuity conditions for spline curves. Zbl 0281.68052
Manning, J. R.
14
1974
A recursive algorithm for determining the eigenvalues of a quindiagonal matrix. Zbl 0296.65015
Evans, D. J.
14
1975
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.
14
1983
Approximations for \(\lambda\)-colorings of graphs. Zbl 1039.68090
Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan
51
2004
The Tower of Hanoi with forbidden moves. Zbl 1090.90191
Sapir, Amir
11
2004
Model checking for a first-order temporal logic using multiway decision graphs (MDGs). Zbl 1090.68069
Xu, Ying; Song, Xiaoyu; Cerny, Eduard; Mohamed, Otmane Ait
5
2004
Combining encryption and proof of knowledge in the random oracle model. Zbl 1090.68030
Abe, Masayuki
4
2004
New models of computation. Zbl 1090.68044
Wegner, Peter; Eberbach, Eugene
3
2004
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
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
Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine. Zbl 1027.68079
Hierons, R. M.
4
2003
Fair exchange. Zbl 1027.68010
Pagnia, Henning; Vogt, Holger; Gärtner, Felix C.
4
2003
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
Placement of web-server proxies with consideration of read and update operations on the internet. Zbl 1031.68014
Jia, Xiaohua; Li, Deying; Hu, Xiaodong; Wu, Weili; Du, Dingzhu
3
2003
Superimpositions and aspect-oriented programming. Zbl 1077.68593
Sihman, Marcelo; Katz, Shmuel
3
2003
Inverting Dirichlet tessellations. Zbl 1047.68146
Schoenberg, Frederic Paik; Ferguson, Thomas; Li, Cheng
2
2003
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
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
Loopless generation of trees with specified degrees. Zbl 1003.68115
Korsh, James F.; LaFollette, Paul
7
2002
Brousentsov’s ternary principle, Bergman’s number system and ternary miror-symmetrical arithmetic. Zbl 1001.68044
Stakhov, Alexey
6
2002
A thread of HOL development. Zbl 1008.68122
Norrish, Michael; Slind, Konrad
4
2002
Balsa: An asynchronous hardware synthesis language. Zbl 1002.68522
Edwards, Doug; Bardsley, Andrew
3
2002
Explaining polymorphic types. Zbl 1037.68019
Jun, Yang; Michaelson, Greg; Trinder, Phil
3
2002
The efficiency of histogram-like techniques for database query optimization. Zbl 1084.68528
Oommen, B. John; Rueda, Luis G.
3
2002
The complexity of strict minimum message length inference. Zbl 1003.68055
Farr, G. E.; Wallace, C. S.
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
Reverse execution of Java bytecode. Zbl 1036.68016
Cook, Jonathan J.
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
Validating the AMULET microprocessors. Zbl 1002.68524
Furber, Steve
1
2002
Optimal scheduling of digital signal processing data-flow graphs using shortest-path algorithms. Zbl 1008.68014
Shatnawi, Ali; Ahmad, M. O.; Swamy, M. N. S.
1
2002
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
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
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 new coding algorithm for trees. Zbl 1003.68046
Balakirsky, Vladimir B.
1
2002
Block codes for asynchronous data transmission designed from binary trees. Zbl 1001.68043
Balakirsky, Vladimir B.
1
2002
Diagnosing workflow processes using Woflan. Zbl 0993.68141
Verbeek, H. M. W.; Basten, T.; van der Aalst, W. M. P.
9
2001
Analysis of a multimedia stream using stochastic process algebra. Zbl 0993.68068
Bowman, H.; Bryans, J. W.; Derrick, J.
6
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
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
Distributed location databases for tracking highly mobile objects. Zbl 0982.68060
Pitoura, Evaggelia; Fudos, Ioannis
3
2001
A logic of access control. Zbl 0982.68043
Crampton, Jason; Loizou, George; O’Shea, Greg
3
2001
Managing latency and buffer requirements in processing graph chains. Zbl 1006.94516
Goddard, Steve; Jeffay, Kevin
3
2001
Consensus-based timestamps in distributed temporal databases. Zbl 0984.68059
Nguyen, Ngoc Thanh
2
2001
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
9
2000
A constructive logic for services and information flow in computer networks. Zbl 0967.68153
Borghuis, Tijn; Feijs, Loe
6
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
In situ, stable merging by way of the perfect shuffle. Zbl 0953.68148
Ellis, John; Markov, Minko
3
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
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
TANE: An efficient algorithm for discovering functional and approximate dependencies. Zbl 0944.68054
Huhtala, Ykä; Kärkkäinen, Juha; Porkka, Pasi; Toivonen, Hannu
23
1999
Minimum message length and Kolmogorov complexity. Zbl 0946.68062
Wallace, C. S.; Dowe, D. L.
15
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.
8
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
6
1999
Adapting calculational logic to the undefined. Zbl 0941.03031
Schieder, Birgit; Broy, Manfred
4
1999
Hypothesis selection and testing by the MDL principle. Zbl 0937.68059
Rissanen, J.
3
1999
Resolving executing-committing conflicts in distributed real-time database systems. Zbl 0956.68511
Lam, Kam-Yiu; Pang, Chung-Leung; Son, Sang H.; Cao, Jiannong
2
1999
A \(\tau\)-restricted key agreement scheme. Zbl 0941.68042
Blundo, Carlo; D’Arco, Paolo; Gaggia, Antonio Giorgio
2
1999
New applications of the incompressibility method. Zbl 0937.68061
Jiang, Tao; Li, Ming; Vitányi, Paul
2
1999
Refinements of MDL and MML coding. Zbl 0937.68065
Wallace, C. S.; Dowe, D. L.
2
1999
\(O(1)\) time algorithms for combinatorial generation by tree traversal. Zbl 0944.68529
Takaoka, Tadao
2
1999
A model of representing and retrieving heterogeneous structured documents based on evidential reasoning. Zbl 0942.68041
Lalmas, Mounia
1
1999
A flexible approach to secure and fair document exchange. Zbl 0942.68042
Zhang, N.; Shi, Q.; Merabti, M.
1
1999
Recursion removal/introduction by formal transformation: An aid to program development and program comprehension. Zbl 0956.68014
Ward, Martin P.; Bennett, Keith H.
1
1999
A new perspective of the proportional sampling strategy. Zbl 0953.68041
Leung, H.; Chen, T. Y.
1
1999
Compression and approximate matching. Zbl 0941.68034
Allison, L.; Powell, D.; Dix, T. I.
1
1999
...and 674 more Documents
all top 5

Cited by 11,877 Authors

42 Evans, David John
35 Wen, Pihua
31 Yuan, Gonglin
28 Er, Mingcheng
26 Mohanty, Ranjan Kumar
21 Hadjidimos, Apostolos
20 Andrei, Neculai
16 Wei, Zengxin
15 Dong, Xiaoliang
14 Ford, John A.
14 Golub, Gene Howard
14 Jiang, Xianzhen
13 Babaie-Kafaki, Saman
13 Beskos, Dimitri E.
13 Chawla, Man M.
13 Danvy, Olivier
13 Jian, Jinbao
13 Liu, Zexian
13 Luk’yanenko, Dmitriĭ Vital’evich
12 Ferri Aliabadi, Mohammad Hossien
12 Dai, Yu-Hong
12 Devroye, Luc P. J. A.
12 McNicholas, Paul D.
12 Toint, Philippe L.
12 Wood, Derick
11 Barequet, Gill
11 Burke, Edmund Kieran
11 Kumam, Poom
11 Neta, Beny
11 Watson, G. Alistair
10 Abdelmalek, Nabih N.
10 Alvarez-Vázquez, Lino Jose
10 Amini, Keyvan
10 Bala Abubakar, Auwal
10 Dehghan Takht Fooladi, Mehdi
10 Hennig, Christian
10 Martinez, Aurea
10 Shi, Zhenjun
10 Vandebril, Raf
10 Wilkinson, James Hardy
9 Alhawarat, Ahmad
9 Berrut, Jean-Paul
9 Dai, Zhifeng
9 Kalitkin, Nikolaĭ Nikolaevich
9 Kumar, Manoj
9 Leong, Wah June
9 Mahmoud, Hosam M.
9 Osborne, Michael Robert
9 Pewsey, Arthur
9 Rashidinia, Jalil
9 Salleh, Zabidin
9 Shanno, David F.
9 Sladek, Jan
9 Sladek, Vladimir
9 Stojmenović, Ivan
9 Vázquez-Méndez, Miguel Ernesto
9 Waziri, Mohammed Yusuf
9 Xiang, Shuhuang
9 Zhang, Li
8 Bandler, John W.
8 Basu, Saugata
8 Chang, Jou-Ming
8 Cucker, Felipe
8 Dershowitz, Nachum
8 Du, Shouqiang
8 Evans, Gwynne A.
8 Hierons, Robert Mark
8 Ibrahim, Abdulkarim Hassan
8 Lesnic, Daniel
8 Li, Min
8 Li, Ming
8 Lukšan, Ladislav
8 Martínez, José Mario
8 Melnykov, Volodymyr
8 Murphy, Thomas Brendan
8 Nocedal, Jorge
8 Parlett, Beresford Neill
8 Sahinidis, Nikolaos V.
8 Scott, Melvin R.
8 Sirisena, Harsha R.
8 Stoer, Josef
8 Tewarson, Reginald P.
8 Watkins, David S.
7 Al-Baali, Mehiddin
7 Aziz, Tariq
7 Boyd, John Philip
7 Cao, Kai
7 Elgindy, Kareem T.
7 Faramarzi, Parvaneh
7 Farouki, Rida T.
7 Faßbender, Heike
7 Flammini, Michele
7 García-Escudero, Luis Angel
7 Gavoille, Cyril
7 Ghanbari, Reza
7 Goldfarb, Donald
7 Hansen, Pierre
7 in ’t Hout, Karel J.
7 Katajainen, Jyrki
7 Lin, Tsung I.
...and 11,777 more Authors
all top 5

Cited in 762 Journals

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

Cited in 61 Fields

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

Citations by Year