×

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

Publications by Year

Citations contained in zbMATH Open

788 Publications have been cited 9,720 times in 8,077 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.
826
1964
A rapidly convergent descent method for minimization. Zbl 0132.11603
Fletcher, R.; Powell, M. J. D.
460
1963
A new approach to variable metric algorithm. Zbl 0207.17402
Fletcher, R.
375
1970
An efficient method for finding the minimum of a function of several variables without calculating derivatives. Zbl 0132.11702
Powell, M. J. D.
252
1964
How many clusters? Which clustering method? Answers via model-based cluster analysis. Zbl 0920.68038
Fraley, Chris; Raftery, Adrian E.
211
1998
Numerical inversion of Laplace transforms: an efficient improvement to Dubner and Abate’s method. Zbl 0288.65072
Durbin, F.
206
1974
Some general implicit processes for the numerical solution of differential equations. Zbl 0112.07805
Rosenbrock, H. H.
160
1963
The QR transformation. A unitary analogue to the LR transformation. I, II. Zbl 0104.34304
Francis, J. G. F.
140
1961
Quicksort. Zbl 0108.13601
Hoare, C. A. R.
117
1962
The mechanical evaluation of expressions. Zbl 0122.36106
Landin, P. J.
115
1964
A tree-search algorithm for mixed integer programming problems. Zbl 0154.42004
Dakin, R. J.
110
1965
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.
96
1967
Computing Dirichlet tessellations in the plane. Zbl 0377.52001
Green, P. J.; Sibson, R.
96
1978
The use of cubic splines in the solution of two-point boundary value problems. Zbl 0185.41404
Fyfe, D. J.
92
1969
An algorithm for information structuring and retrieval. Zbl 0227.68052
van Rijsbergen, C. J.
86
1971
Chebyshev solution of differential integral and integro-differential equations. Zbl 0198.50201
El-Gendi, S. E.
79
1969
Piecewise cubic interpolation and two-point boundary problems. Zbl 0155.48004
Bickley, W. G.
75
1968
An algorithm with guaranteed convergence for finding a zero of a function. Zbl 0231.65046
Brent, R. P.
72
1971
The least squares problem and pseudoinverses. Zbl 0195.44804
Peters, G.; Wilkinson, J. H.
68
1970
Labelling and implicit routing in networks. Zbl 0555.94026
Santoro, Nicola; Khatib, Ramez
68
1985
Applying linear quantifier elimination. Zbl 0787.03021
Loos, Rüdiger; Weispfenning, Volker
67
1993
Cubic spline solutions to two-point boundary value problems. Zbl 0185.41403
Albasiny, E. L.; Hoskins, W. D.
65
1969
A comparison of several current optimization methods, and the use of transformations in constrained problems. Zbl 0146.13304
Box, M. J.
62
1966
Variable metric methods of minimisation. Zbl 0207.17301
Pearson, J. D.
57
1969
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.
57
1972
Enumerating, ranking and unranking binary trees. Zbl 0585.68066
Pallo, J. M.
55
1986
Approximations for \(\lambda\)-colorings of graphs. Zbl 1039.68090
Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan
54
2004
A new method of constrained optimization and a comparison with other methods. Zbl 0142.11305
Box, M. J.
54
1965
Interactive interpolation and approximation by Bezier polynomials. Zbl 0243.68015
Forrest, A. R.
51
1972
Proving properties of programs by structural induction. Zbl 0164.46202
Burstall, R. M.
48
1969
An information measure for classification. Zbl 0164.46208
Wallace, C. S.; Boulton, D. M.
45
1968
An efficient algorithm for a complete link method. Zbl 0364.68038
Defays, D.
42
1977
Interval routing. Zbl 0652.68051
van Leeuwen, J.; Tan, R. B.
42
1987
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
A Chebyshev series method for the numerical solution of Fredholm integral equation. Zbl 0114.32502
Elliott, David
38
1963
A new method for the optimization of a nonlinear function subject to nonlinear constraints. Zbl 0195.17403
Haarhoff, P. C.; Buys, J. D.
38
1970
A survey of recent advances in hierarchical clustering algorithms. Zbl 0523.68030
Murtagh, F.
38
1983
Variance algorithm for minimization. Zbl 0155.19804
Davidon, W. C.
36
1968
Concurrent machines. Zbl 0573.68026
Shields, M. W.
36
1985
On the maximum errors of polynomial approximations defined by interpolation and by least squares criteria. Zbl 0147.14305
Powell, M. J. D.
35
1967
Minimizing a function without calculating derivatives. Zbl 0189.48004
Zangwill, W. I.
35
1967
Two dimensional interpolation from random data. Zbl 0321.65009
McLain, D. H.
34
1976
A controlled random search procedure for global optimisation. Zbl 0364.68036
Price, W. L.
34
1977
Error estimation in the Clenshaw-Curtis quadrature formula. Zbl 0165.17901
O’Hara, H.; Smith, Francis J.
34
1968
Error estimates for Runge-Kutta type solutions to systems of ordinary differential equations. Zbl 0182.21903
England, R.
33
1969
A method for minimizing a sum of squares of non-linear functions without calculating derivatives. Zbl 0142.11601
Powell, M. J. D.
32
1965
An algorithm for solving non-linear equations based on the secant method. Zbl 0254.65036
Barnes, J. G. P.
32
1965
The solution of nonlinear ordinary differential equations in Chebyshev series. Zbl 0113.11002
Clenshaw, C. W.; Norton, H. J.
31
1963
A new method of solving nonlinear simultaneous equations. Zbl 0164.45101
Broyden, C. G.
30
1969
Convergence properties of Gaussian quadrature formulae. Zbl 0098.31703
Barrett, W.
30
1961
Chebyshev methods for ordinary differential equations. Zbl 0103.34203
Fox, L.
29
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
A constructive geometry for computer graphics. Zbl 0251.68053
Ricci, A.
27
1973
Alternating direction methods for parabolic equations in two space dimensions with a mixed derivative. Zbl 0193.13001
McKee, S.; Mitchell, A. R.
27
1970
Numerical methods for Volterra integral equations of the first kind. Zbl 0193.13701
Linz, P.
27
1969
An algorithm for the chromatic number of a graph. Zbl 0215.05601
Christofides, N.
27
1971
Chebyshev collocation methods for ordinary differential equations. Zbl 0117.11203
Wright, K.
26
1964
Romberg integration for a class of singular integrands. Zbl 0158.16001
Fox, L.
26
1967
An algorithm for minimax approximation in the nonlinear case. Zbl 0164.45802
Osborne, M. R.; Watson, G. A.
26
1969
Literate programming. Zbl 0533.68005
Knuth, Donald E.
26
1984
Computing roadmaps of general semi-algebraic sets. Zbl 0798.14031
Canny, John
24
1993
Finding the shortest route between two points in a network. Zbl 0156.18107
Nicholson, T. A. J.
24
1966
The construction of hierarchic and non-hierarchic classifications. Zbl 0164.46207
Jardine, N.; Sibson, R.
24
1968
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
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
Function minimization without evaluating derivatives. A review. Zbl 0139.10401
Fletcher, R.
23
1965
Computational experience with quadratically convergent minimisation methods. Zbl 0202.16303
Murtagh, B. A.; Sargent, R. W. H.
22
1970
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
A representation approach to the tower of Hanoi problem. Zbl 0493.90100
Er, M. C.
19
1982
Ready-trace semantics for concrete process algebra with the priority operator. Zbl 0627.68016
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W.
19
1987
Numerical studies of prototype cavity flow problems. Zbl 0164.56102
Greenspan, D.
19
1969
Rigorous error bounds for computed eigensystems. Zbl 0109.34504
Wilkinson, J. H.
19
1961
The iterative solution of non-linear ordinary differential equations in Chebyshev series. Zbl 0133.08704
Norton, H. J.
19
1964
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
The use of rational functions in the iterative solution of equations on a digital computer. Zbl 0296.65020
Jarratt, P.; Nudds, D.
19
1965
On the power of list iteration. Zbl 0425.68015
Gordon, M. J. C.
18
1979
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.
18
1963
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
Hierarchical grouping methods and stopping rules: An evaluation. Zbl 0364.62065
Mojena, R.
18
1977
Anote on the generalised Euler transformation. Zbl 0227.65002
Wynn, P.
18
1971
A program for the autmatic integration of differential equations using the method of Taylor series. Zbl 0093.31604
Gibbons, A.
17
1960
Householder’s method for the solution of the algebraic eigenproblem. Zbl 0109.09103
Wilkinson, J. H.
17
1960
Minimum message length and Kolmogorov complexity. Zbl 0946.68062
Wallace, C. S.; Dowe, D. L.
17
1999
Solving polynomial strict inequalities using cylindrical algebraic decomposition. Zbl 0789.68080
McCallum, Scott
17
1993
Eigenvalues of \(Ax=\lambda Bx\) with band symmetric \(A\) and \(B\). Zbl 0185.40204
Peters, G.; Wilkinson, J. H.
17
1969
An error analysis of Goertzel’s (Watt’s) method for computing Fourier coefficients. Zbl 0185.40802
Gentleman, W. M.
17
1969
Drawability of complete graphs using a minimal slope set. Zbl 1499.68289
Wade, Greg A.; Chu, Jiang Hsing
17
1994
An algorithm for the solution of certain tridiagonal systems of linear equations. Zbl 0249.65017
Evans, D. J.
17
1972
A non-classical logic for information retrieval. Zbl 0633.68101
van Rijsbergen, C. J.
16
1986
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
The determination of the optimum accelerating factor for successive over- relaxation. Zbl 0098.31405
Carré, B. A.
16
1961
The solution of non-linear equations and of differential equations with two-point boundary conditions. Zbl 0121.11301
Haselgrove, C. B.
16
1961
On the complexity of quantifier elimination: The structural approach. Zbl 0788.68058
Cucker, Felipe
15
1993
Improved algorithms for sign determination and existential quantifier elimination. Zbl 0789.68079
Canny, John
15
1993
Numerical solution of Fredholm integral equations of first kind. Zbl 0127.08403
Baker, C. T. H.; Fox, L.; Mayers, D. F.; Wright, K.
15
1964
Tournament coding of integer sequences. Zbl 1373.94878
Teuhola, Jukka
1
2009
Approximations for \(\lambda\)-colorings of graphs. Zbl 1039.68090
Bodlaender, Hans L.; Kloks, Ton; Tan, Richard B.; van Leeuwen, Jan
54
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
Generalized template splay: a basic theory and calculus. Zbl 1090.68026
Georgakopoulos, George F.; McClurkin, David J.
4
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
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.
9
2003
Parallel Huffman decoding with applications to JPEG files. Zbl 1077.94514
Klein, S. T.; Wiseman, Y.
5
2003
Aspectual collaborations: Combining modules and aspects. Zbl 1077.68590
Lieberherr, Karl; Lorenz, David H.; Ovlinger, Johan
4
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
Superimpositions and aspect-oriented programming. Zbl 1077.68593
Sihman, Marcelo; Katz, Shmuel
3
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
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
15
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
7
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
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
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
2
2002
Reverse execution of Java bytecode. Zbl 1036.68016
Cook, Jonathan J.
2
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
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
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
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
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
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.
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
6
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
Comment on ‘A framework for modelling trojans and computer virus infection’. Zbl 1051.68539
Mäkinen, Erkki
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
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
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.
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
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.
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
Consistent checkpointing for transaction systems. Zbl 0982.68096
Baldoni, Roberto; Quaglia, Francesco; Raynal, Michel
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
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
7
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
On the dilation of interval routing. Zbl 0960.68004
Gavoille, Cyril
2
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
23
1999
Minimum message length and Kolmogorov complexity. Zbl 0946.68062
Wallace, C. S.; Dowe, D. L.
17
1999
Algorithmic complexity and stochastic properties of finite binary sequences. Zbl 0937.68062
V’yugin, V. V.
10
1999
Discussion on Kolmogorov complexity and statistical analysis. Zbl 0946.68063
Shen, Alexander
8
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
Complexity approximation principle. Zbl 0937.68063
Vovk, Vladimir; Gammerman, Alexander
7
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.
4
1999
A \(\tau\)-restricted key agreement scheme. Zbl 0941.68042
Blundo, Carlo; D’Arco, Paolo; Gaggia, Antonio Giorgio
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
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
Compression and approximate matching. Zbl 0941.68034
Allison, L.; Powell, D.; Dix, T. I.
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
...and 688 more Documents
all top 5

Cited by 12,564 Authors

42 Evans, David John
36 Wen, Pihua
35 Yuan, Gonglin
28 Er, Mingcheng
26 Mohanty, Ranjan Kumar
22 Liu, Hongwei
21 Hadjidimos, Apostolos
20 Andrei, Neculai
18 Luk’yanenko, Dmitriĭ Vital’evich
17 Wei, Zengxin
16 Jiang, Xianzhen
15 Dong, Xiaoliang
15 Liu, Zexian
14 Babaie-Kafaki, Saman
14 Danvy, Olivier
14 Ford, John A.
14 Golub, Gene Howard
14 Jian, Jinbao
13 Ferri Aliabadi, Mohammad Hossien
13 Beskos, Dimitri E.
13 Chawla, Man M.
13 Dai, Yu-Hong
13 Dehghan Takht Fooladi, Mehdi
13 Toint, Philippe Louis
13 Waziri, Mohammed Yusuf
12 Devroye, Luc P. J. A.
12 Jain, Mahinder Kumar
12 Kumam, Poom
12 Mamat, Mustafa Bin
12 McNicholas, Paul D.
12 Safey El Din, Mohab
12 Wood, Derick
11 Bala Abubakar, Auwal
11 Barequet, Gill
11 Boyd, John Philip
11 Gavoille, Cyril
11 Neta, Beny
11 Vandebril, Raf
11 Watson, G. Alistair
10 Abdelmalek, Nabih N.
10 Alvarez-Vázquez, Lino Jose
10 Amini, Keyvan
10 Basu, Saugata
10 Hennig, Christian
10 Kalitkin, Nikolaĭ Nikolaevich
10 Martinez, Aurea
10 Melnykov, Volodymyr
10 Sahinidis, Nikolaos V.
10 Shi, Zhenjun
10 Sladek, Jan
10 Sladek, Vladimir
10 Wilkinson, James Hardy
10 Xiang, Shuhuang
9 Alhawarat, Ahmad
9 Berrut, Jean-Paul
9 Burke, Edmund Kieran
9 Cucker, Felipe
9 Dai, Zhifeng
9 Du, Shouqiang
9 Flammini, Michele
9 Korpusov, Maksim Olegovich
9 Kumar, Manoj
9 Leong, Wah June
9 Lesnic, Daniel
9 Lin, Tsung I.
9 Liu, Jinkui
9 Mahmoud, Hosam M.
9 Martínez, José Mario
9 Osborne, Michael Robert
9 Parlett, Beresford Neill
9 Pewsey, Arthur
9 Rivaie, Mohd
9 Salleh, Zabidin
9 Scott, Melvin R.
9 Shanno, David F.
9 Stojmenović, Ivan
9 Vázquez-Méndez, Miguel Ernesto
9 Watkins, David S.
9 Zhang, Li
8 Al-Baali, Mehiddin
8 Aziz, Tariq
8 Bandler, John W.
8 Cao, Kai
8 Chang, Jou-Ming
8 Dershowitz, Nachum
8 Halilu, Abubakar Sani
8 Hong, Hoon
8 Ibrahim, Abdulkarim Hassan
8 Li, Min
8 Li, Ming
8 Lukšan, Ladislav
8 Murphy, Thomas Brendan
8 Nocedal, Jorge
8 Peleg, David
8 Rashidinia, Jalil
8 Roy, Marie-Françoise
8 Saad, Yousef
8 Sirisena, Harsha R.
8 Stoer, Josef
8 Sturm, Thomas
...and 12,464 more Authors
all top 5

Cited in 789 Journals

252 Journal of Computational and Applied Mathematics
220 Applied Mathematics and Computation
190 Journal of Optimization Theory and Applications
188 Theoretical Computer Science
161 International Journal of Computer Mathematics
160 Numerische Mathematik
141 Journal of Computational Physics
132 International Journal for Numerical Methods in Engineering
129 European Journal of Operational Research
128 Computers & Mathematics with Applications
124 Mathematics of Computation
122 Information Processing Letters
111 Computational Statistics and Data Analysis
107 Computer Methods in Applied Mechanics and Engineering
99 Computing
88 BIT
88 Mathematical Programming
84 Linear Algebra and its Applications
83 Numerical Algorithms
78 BIT. Nordisk Tidskrift for Informationsbehandling
74 Information Sciences
73 Computers & Operations Research
70 Applied Numerical Mathematics
70 Applied Mathematical Modelling
64 Computational Optimization and Applications
63 Optimization Methods & Software
60 Discrete Applied Mathematics
54 Journal of Global Optimization
51 International Journal of Systems Science
50 Mathematics and Computers in Simulation
49 Calcolo
47 Pattern Recognition
47 Engineering Analysis with Boundary Elements
46 Journal of Mathematical Analysis and Applications
46 Automatica
46 Computer Aided Geometric Design
45 Journal of the Franklin Institute
44 Computer Physics Communications
44 Journal of Symbolic Computation
43 Annals of Operations Research
41 Acta Informatica
39 Mathematical Problems in Engineering
39 Journal of Applied Statistics
37 International Journal of Control
37 Communications in Statistics. Theory and Methods
36 Artificial Intelligence
36 Optimization
36 Journal of Statistical Computation and Simulation
35 Information and Computation
34 Algorithmica
34 Mathematical and Computer Modelling
34 Statistics and Computing
33 Mathematical Programming. Series A. Series B
32 Journal of Mathematical Psychology
31 Mathematical Biosciences
30 Formal Aspects of Computing
29 Journal of Classification
28 Discrete Mathematics
28 Journal of Fluid Mechanics
28 Computational Statistics
28 Computational and Applied Mathematics
27 SIAM Journal on Scientific Computing
26 Psychometrika
26 Biometrics
26 Journal of Approximation Theory
26 Journal of Computer and System Sciences
26 Journal of Applied Mathematics and Computing
25 Journal of Econometrics
25 Journal of Statistical Planning and Inference
25 Communications in Statistics. Simulation and Computation
24 Communications in Nonlinear Science and Numerical Simulation
24 Optimization and Engineering
23 Optimization Letters
22 Acta Mechanica
22 Journal of Information & Optimization Sciences
22 Advances in Data Analysis and Classification. ADAC
21 Aplikace Matematiky
21 Machine Learning
21 European Journal of Mechanics. A. Solids
20 Software. Practice & Experience
20 International Journal of Control, I. Series
20 The Annals of Applied Statistics
20 Journal of Theoretical Biology
19 Journal of Soviet Mathematics
19 Numerical Functional Analysis and Optimization
18 Computers and Fluids
18 Mathematical Methods in the Applied Sciences
18 Fuzzy Sets and Systems
18 Journal of Scientific Computing
18 Neural Computation
18 SIAM Journal on Optimization
17 Bulletin of Mathematical Biology
17 International Journal of Computer & Information Sciences
17 Kybernetika
17 Journal of Inequalities and Applications
16 Annals of the Institute of Statistical Mathematics
16 Meccanica
16 Inverse Problems in Science and Engineering
15 International Journal for Numerical and Analytical Methods in Geomechanics
15 International Journal for Numerical Methods in Fluids
...and 689 more Journals
all top 5

Cited in 61 Fields

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

Citations by Year