Publications from 2024
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
Pushed travelling waves in an initial-boundary value problem for fisher type equations : (preprint) Tech Report
January 1980 -
Finite groups of real octave automorphisms Tech Report
January 1980 -
A near octagon associated with hj Tech Report
January 1980 -
Weakly mixing remarks Tech Report
January 1980 -
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
Powers and almost powers : (preprint) Tech Report
January 1980 -
January 1980
-
Two transitive minkowski planes : (preprint) Tech Report
January 1980 -
Polynomial values and almost powers Tech Report
January 1980 -
January 1980
-
January 1980
-
A super-balanced hypergraph has a nest point Tech Report
January 1980 -
January 1980
-
January 1980
-
January 1980
-
Dataflow computers : Colloquium hogere programmeertalen en computerarchitectuur, Amsterdam, 1980 Tech Report
January 1980 -
The decomposition of graphs into ladder graphs Tech Report
January 1980 -
A note on ***-regular graphs Tech Report
January 1980 -
Clines in the presence of asymmetric migration Tech Report
January 1980 -
January 1980
-
Preface Preface
January 1980 -
Semantics of unbounded nondeterminism In Proceedings
January 1980 -
Cursus informatica Report
January 1980 -
Censoring and Stochastic Integrals Article
Statistica Neerlandica, 34(2), 124-124.January 1980 -
January 1980
-
January 1980
-
On the stability of multistep formulas for Volterra integral equations of the second kind Article
Computing, 341-347.January 1980 -
An implementation of a class of stabilized explicit methods for the time integration of parabolic equations Article
ACM Transactions on Mathematical Software, 6(2), 188-205.January 1980 -
Relaxation oscillations of a van der pol equation with large critical forcing term Article
Quarterly of Applied Mathematics, 38(1), 9-16.January 1980 -
Optical Errors in Scanning Stage Absorbance Cytophotometry: Procedures for Correcting Apparent Integrated Absorbance Values for Distributional Glare and Diffraction Errors Article
Journal of Histochemistry and Cytochemistry, 28(5), 388-394.January 1980 -
January 1980
-
Generating all maximal independent sets; NP-hardness and polynomial-time algorithms Article
SIAM Journal on Computing, 558-565.January 1980 -
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
On the structure of an adaptive multi-level algorithm Article
BIT : Numerical Mathematics, 289-301.January 1980 -
January 1980
-
January 1980
-
A proof system for communicating sequential processes Article
ACM Transactions on Programming Languages and Systems, 2(3), 359-386.January 1980 -
Completeness with finite systems of intermediate assertions for recursive program schemes Article
SIAM Journal on Computing, 665-671.January 1980 -
A mesh-parameter continuation method Tech Report
January 1980 -
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
January 1980
-
On families of linear systems. Degeneration phenomena In Proceedings
January 1980 -
January 1980
-
January 1980
-
On invariants and moduli for linear time-varying systems In Proceedings
January 1980 -
January 1980
-
January 1980
-
Twisted Lubin-Tate formal group laws, ramified Witt vectors and (ramified) Artin-Hasse exponentials Tech Report
January 1980 -
Twisted Lubin-Tate formal group laws, ramified Witt vectors and (ramified) Artin-Hasse exponentials Tech Report
January 1980 -
Twisted Lubin-Tate formal group laws, ramified Witt vectors and (ramified) Artin-Hasse exponentials Article
Transactions of the American Mathematical Society, 47-63.January 1980 -
Denumerable state semi-Markov decision processes with unbounded costs average cost criterion Article
Stochastic Processes and their Applications, 9(2), 223-235.November 1979 -
October 1979
-
ALGOL 68 transput Dissertation
October 1979 -
June 1979
-
May 1979
-
May 1979
-
April 1979
-
March 1979
-
February 1979
-
Constructing formal groups VIII : formal A-modules Article
Compositio Mathematica, 277-291.January 1979 -
Solution of two fractional packing problems of Lovasz Article
Discrete Mathematics, 177-184.January 1979 -
Acomparison of the Delsarte and Lovász bounds Article
IEEE Transactions on Information Theory, 425-429.January 1979