Publication
-
Recursive process definitions with the state operator Article
Theoretical Computer Science, 81(2), 285-302.January 1991 -
Completeness of combinations of constructor systems In Proceedings
January 1991 -
Improved techniques for lower bounds for odd perfect numbers Article
Mathematics of Computation, 57(196), 857-868.January 1991 -
Cones of matrices and set-functions and $0$-$1$ optimization Article
SIAM Journal on Optimization, 1(2), 166-190.January 1991 -
Damped, direction-dependent multigrid for hypersonic flow computations Article
Applied Numerical Mathematics, 7(4), 309-328.January 1991 -
Boolean functions, invariance groups, and parallel complexity Article
SIAM Journal on Computing, 20(3), 553-590.January 1991 -
Monotonicity of performance measures in a processor sharing queue Article
Performance Evaluation, 12(1), 5-16.January 1991 -
Convergence of linear multistep and one-leg methods for stiff nonlinear initial value problems Article
BIT : Numerical Mathematics, 31(1), 124-143.January 1991