Publications from 2024
-
January 1983
-
Improved absolute stability of predictor-corrector methods for retarded differential equations In Proceedings
January 1983 -
Some remarks on Tits geometries. With an appendix by J. Tits Article
Indagationes Mathematicae, 45(4), 393-402.January 1983 -
On the zeros of the Riemann zeta function in the critical strip III Article
Mathematics of Computation, 41(164), 759-767.January 1983 -
Initial algebra specifications for parametrized data types Article
Elektronische Informationsverarbeitung und Kybernetik, 19(1-2), 17-31.January 1983 -
Current algebras and the identification problem Article
Stochastics, 11(1-2), 65-101.January 1983 -
Graphs whose neighborhoods have no special cycles Article
Discrete Mathematics, 47(2-3), 177-182.January 1983 -
The generalized Abel transform for ${ m SL}(2,,C)$ In Proceedings
January 1983 -
Estimating the global error of Runge-Kutta approximations for ordinary differential equations In Proceedings
January 1983 -
Symmetric systems with semisimple structure algebra: the quaternionic case Article
Systems & Control Letters, 3(3), 151-154.January 1983 -
Fairness assumptions for CSP in a temporal logic framework In Proceedings
January 1983 -
Formal proof systems for program equivalence In Proceedings
January 1983 -
A Counterexample to a Conjecture of J.M. Hammersley and D.J.A. Welsh concerning First-Passage Percolation Article
Advances in Applied Probability, 465-467.January 1983 -
January 1983
-
January 1983
-
Tests for preference Book
January 1983 -
Dataflow computation Book
January 1983 -
January 1983
-
January 1983
-
January 1983
-
January 1983
-
Abstraction, specification and implementation techniques : with an application to garbage collection Book
January 1983 -
On point processes Book
January 1983 -
January 1983
-
January 1983
-
January 1983
-
Abstract AUTOMATH Book
January 1983 -
January 1983
-
January 1983
-
January 1983
-
January 1983
-
January 1983
-
Cursus cryptografie Book
January 1983 -
January 1983
-
January 1983
-
The use of defect correction for the solution of a singularly perturbed ODE Article
Seminarbericht, 91-104.January 1983 -
Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor problem Tech Report
January 1983 -
January 1983
-
The numerical computation of the confluent hypergeometric function u(a,b,z) Article
Numerical Mathematics, 41(1), 63-82.January 1983 -
January 1983
-
The temporal logic of programs Article
January 1983 -
Over wiskunde en informatica : betekenis en toekomst News Broadcast
January 1983 -
January 1983
-
Idiosyncratic remarks by a bibliomaniac Article
Acta Applicandae Mathematicae, 1(3), 315-318.January 1983 -
The art of applying mathematics Article
Acta Applicandae Mathematicae, 1-3.January 1983 -
January 1983
-
Proof rules and transformations dealing with fairness Article
Science of Computer Programming, 65-100.January 1983 -
Formal justification of a proof system for communication sequential processes Article
Journal of the ACM, 197-216.January 1983 -
Symmetric linear systems : an application of algebraic systems theory Article
International Journal of Control, 37(6), 1371-1384.January 1983 -
On identification of linear systems and the estimation Lie-algebra of the associated nonlinear filtering problem In Proceedings
January 1983 -
Operations in the K-theory of endomorphisms Tech Report
January 1983 -
January 1983
-
Operations in K-theory of endomorphisms Article
Journal of Algebra, 285-304.January 1983 -
Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor Tech Report
January 1983 -
January 1983
-
Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor Tech Report
January 1983 -
Bounds on permanents, and the number of 1-factors and 1-factorizations in bipatite graphs Article
Surveys in Combinatorics (E.K. Lloyd, ed.), 107-134.January 1983 -
Min-max results in combinatorial optimization Article
Mathematical Programming-The state of the Art (A. Bachem, M. Grötschel and B. Korte, eds.), 439-500.January 1983 -
Representations of the symmetric groups, the specialization order, Schubert cells and systems, Tech Report
January 1983 -
Representations of the symmetric groups, the specialization order, systems and Grassmann manifolds Tech Report
January 1983 -
Representations of the symmetric groups, the specialization order, Schubert cells and systems Article
L'enseignement mathématique, 53-87.January 1983 -
Bounds on the number of eulerian orientations Article
Combinatorica, 375-380.January 1983 -
Short proofs on the matching polyhedron Article
Journal of Combinatorial Theory - Series B, 104-108.January 1983 -
Packing and covering of crossing families of cuts Article
Journal of Combinatorial Theory - Series B, 104-128.January 1983 -
Topological dynamix Dissertation
December 1982 -
Aspects of the finite element method Dissertation
November 1982 -
A note on Co Galerkin methods for two-point boundary problems Article
Numerische Mathematik, 38(3), 447-453.October 1982 -
September 1982
-
On the design of ALEPH Dissertation
September 1982 -
September 1982
-
Efficient simulations of multicounter machines In Proceedings
July 1982 -
A contribution to the nonexistence of perfect codes Dissertation
June 1982 -
Galerkin. methods for even-order parabolic. equations in one space variable Article
SIAM Journal on Numerical Analysis, 19(3), 571-587.June 1982 -
More mutually orthogonal latin squares Article
Discrete Mathematics, 39(3), 263-281.May 1982 -
From SPRING to SUMMER: design, definition and implementation of programming languages for string manipulation and pattern matching Dissertation
Software EngineeringMarch 1982 -
March 1982
-
March 1982
-
Projections of lawless sequences Dissertation
February 1982 -
Abstraction, specification and implementation techniques : with an application to garbage collection Dissertation
February 1982 -
Nonnegative matrices in dynamic programming Dissertation
January 1982 -
January 1982
-
At play in the fields of scheduling theory Tech Report
January 1982 -
January 1982
-
January 1982
-
An Algol-68 package for the solution of systems of nonlinear equations : User manual. (preprint) Tech Report
January 1982 -
January 1982
-
January 1982
-
January 1982
-
January 1982
-
Observability of autonomous discrete-time nonlinear systems: a geometric approach : Preprint Tech Report
January 1982 -
January 1982
-
January 1982
-
Structured text formatting : (preprint) Tech Report
January 1982 -
January 1982
-
Real-time simulation of multicounters by oblivious one-tape Turing machines : (preprint) Tech Report
January 1982 -
January 1982
-
January 1982
-
January 1982
-
January 1982
-
January 1982