Publication
-
January 1990 -
Spanning trees of different weights In Proceedings
January 1990 -
Realization of autoregressive equations in pencil and descriptor form Article
SIAM Journal on Control and Optimization, 28(5), 1162-1189.January 1990 -
January 1990 -
Analysis of smoothing operators in the solution of partial differential equations by explicit difference schemes Article
Applied Numerical Mathematics, 6(6), 501-521.January 1990 -
Scheduling identical jobs on uniform parallel machines Article
Statistica Neerlandica, 44(3), 115-123.January 1990 -
Proving total correctness of recursive procedures Article
Information and Computation, 84(2), 129-162.January 1990 -
Comparative metric semantics for concurrent Prolog In Proceedings
January 1990