Publications from 2054

Formal proof systems for program equivalence In Proceedings

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

A Counterexample to a Conjecture of J.M. Hammersley and D.J.A. Welsh concerning First-Passage Percolation Article

J. van den Berg (Rob)

A contribution to the nonexistence of perfect codes Book

M.R. Best (Marc)

Deterministic top-down and bottom-up parsing: historical notes and bibliographies Book

A. Nijholt

Tests for preference Book

J.J. Dik (Jacob)

Dataflow computation Book

A. P. W. Böhm (Anton)

Minimal cost flow in processing networks : a primal approach Book

J. Koene

Markovian control problems : functional equations and algorithms Book

A. Federgruen

Upper bounds for the numbers of solutions of diophantine equations Book

J.-H. Evertse (Jan-Hendrik)

Nonnegative matrices in dynamic programming Book

W.H.M. Zijm

Abstraction, specification and implementation techniques : with an application to garbage collection Book

H.B.M. Jonkers

On point processes Book

P.C.T. van der Hoeven

Markov decision processes with continuous time parameter Book

F.A. van der Duyn Schouten

Multiple grid methods for equations of the second kind with applications in fluid mechanics Book

H. Schippers

Eisenstein series on the metaplectic group: an algebraic approach Book

G.F. Helminck

Abstract AUTOMATH Book

A. Rezus

Foundations of computer science IV : distributed systems : [4th advanced course on the foundations of computer science, held in Amsterdam, 14-25.06.1982], part 1: Algorithms and complexity Book

J.W. de Bakker (Jaco) and J. van Leeuwen (Jan)

The covariant classification of two-dimensional smooth commutative formal groups over an algebraically closed field of positive characteristic Book

H.A.W.M. Kneppers

Query processing and data allocation in distributed database systems Book

P.M.G. Apers (Peter)

Linear programming and finite Markovian control problems Book

L.C.M. Kallenberg

Cardinal functions in topology: ten years later Book

I. Juhász

Cursus cryptografie Book

P.J. Hoogendoorn

Colloquium programmeeromgevingen Book

J. Heering (Jan) and P. Klint (Paul)

Factoring multivariate integral polynomials II: (preprint) Tech Report

A.K. Lenstra (Arjen)

The use of defect correction for the solution of a singularly perturbed ODE Article

P.W. Hemker (Piet)

Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor problem Tech Report

M. Hazewinkel (Michiel), S.I. Marcus (Steven) and H.J. Sussmann

Lectures on invariants, representations and Lie algebras in system and control theory Tech Report

M. Hazewinkel (Michiel)

The numerical computation of the confluent hypergeometric function u(a,b,z) Article

N.M. Temme (Nico)

Symmetric systems with semi-simple structure algebra: the quaternionic case Tech Report

M. Hazewinkel (Michiel), J.H. Lewis and C.F. Martin (Clyde)

The temporal logic of programs Article

K.R. Apt (Krzysztof)

Over wiskunde en informatica : betekenis en toekomst News Broadcast

M. Hazewinkel (Michiel)

An axiomatization of the intermittent assertion method using temporal logic In Proceedings

K.R. Apt (Krzysztof) and C. Delporte

Idiosyncratic remarks by a bibliomaniac Article

M. Hazewinkel (Michiel)

The art of applying mathematics Article

M. Hazewinkel (Michiel)

Ten years of Hoare s logic, part II: nondeterminism Article

K.R. Apt (Krzysztof)

Proof rules and transformations dealing with fairness Article

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

Formal justification of a proof system for communication sequential processes Article

K.R. Apt (Krzysztof)

Symmetric linear systems : an application of algebraic systems theory Article

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

On identification of linear systems and the estimation Lie-algebra of the associated nonlinear filtering problem In Proceedings

B. Hanzon (Bernard) and M. Hazewinkel (Michiel)

Operations in the K-theory of endomorphisms Tech Report

M. Hazewinkel (Michiel)

Operations in the K-theory of endomorphisms Article

M. Hazewinkel (Michiel)

Operations in K-theory of endomorphisms Article

M. Hazewinkel (Michiel)

Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor Tech Report

M. Hazewinkel (Michiel), S.I. Marcus (Steven) and H.J. Sussmann

The use of defect correction for the solution of a singularly perturbed ODE In Proceedings

P.W. Hemker (Piet)

Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor Tech Report

M. Hazewinkel (Michiel), S.I. Marcus (Steven) and H.J. Sussmann

Bounds on permanents, and the number of 1-factors and 1-factorizations in bipatite graphs Article

A. Schrijver (Lex)

Min-max results in combinatorial optimization Article

A. Schrijver (Lex)

Representations of the symmetric groups, the specialization order, Schubert cells and systems, Tech Report

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

Representations of the symmetric groups, the specialization order, systems and Grassmann manifolds Tech Report

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

Representations of the symmetric groups, the specialization order, Schubert cells and systems Article

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

Bounds on the number of eulerian orientations Article

A. Schrijver (Lex)

Short proofs on the matching polyhedron Article

A. Schrijver (Lex)

Packing and covering of crossing families of cuts Article

A. Schrijver (Lex)

Topological dynamix Dissertation

J.C.S.P. van der Woude (Jaap)

Aspects of the finite element method Dissertation

M. Bakker (Miente)

A note on Co Galerkin methods for two-point boundary problems Article

M. Bakker (Miente)

Buekenhout-Tits geometries : seminarium Algebra en Meetkunde, fall 1982 Report

A.M. Cohen (Arjeh)

On the design of ALEPH Dissertation

D. Grune (Dick)

Query processing and data allocation in distributed database systems Dissertation

P.M.G. Apers (Peter)

Efficient simulations of multicounter machines In Proceedings

P.M.B. Vitányi (Paul)

A contribution to the nonexistence of perfect codes Dissertation

M.R. Best (Marc)

Galerkin. methods for even-order parabolic. equations in one space variable Article

M. Bakker (Miente)

More mutually orthogonal latin squares Article

A.E. Brouwer (Andries) and G.H.J. van Rees

From SPRING to SUMMER: design, definition and implementation of programming languages for string manipulation and pattern matching Dissertation

P. Klint (Paul)

Location problems on trees and in the rectilinear plane Dissertation

A.W.J. Kolen (Antoon)

Adres- en telefoonlijst van de wiskundige instellingen in Nederland en van de daar werkende wiskundigen = Dutch mathematicians directory Book

Projections of lawless sequences Dissertation

G.F. van der Hoeven (Gerrit)

Abstraction, specification and implementation techniques : with an application to garbage collection Dissertation

H.B.M. Jonkers

Nonnegative matrices in dynamic programming Dissertation

W.H.M. Zijm

Seventh conference on the mathematics of operations research and systems theory : Benelux meeting on system & control : Lunteren, 13-15.01.1982 : program and abstracts Booklet

At play in the fields of scheduling theory Tech Report

E.L. Lawler, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

Operationele besliskunde op het Mathematisch Centrum Tech Report

J.M. Anthonisse and J.K. Lenstra (Jan Karel)

Observability of a class of nonlinear systems: a geometric approach : (preprint) Tech Report

H. Nijmeijer

An Algol-68 package for the solution of systems of nonlinear equations : User manual. (preprint) Tech Report

F.J. Burger (Freek) and J.C.P. Bus

Controlled invariance for nonlinear systems: two worked examples : (preprint) Tech Report

H. Nijmeijer and A.J. van der Schaft

The disturbance decoupling problem for nonlinear control systems : (preprint) Tech Report

H. Nijmeijer and A.J. van der Schaft

Generalizations of the polymatroidal network flow model : (preprint) Tech Report

E.L. Lawler

An appraisal of computational complexity for operations researchers : Preprint Tech Report

J.K. Lenstra (Jan Karel), A.H.G. Rinnooy Kan and P. van Emde Boas (Peter)

Observability of autonomous discrete-time nonlinear systems: a geometric approach : Preprint Tech Report

H. Nijmeijer

A differential geometric approach to optimal control Tech Report

J.C.P. Bus

Invertibility of affine nonlinear control systems: a geometric approach : Preprint Tech Report

H. Nijmeijer

Structured text formatting : (preprint) Tech Report

H. Noot (Han)

Dynamic networks of parallel processes : (preprint) Tech Report

A. P. W. Böhm (Anton) and A. de Bruin (Arie)

Real-time simulation of multicounters by oblivious one-tape Turing machines : (preprint) Tech Report

P.M.B. Vitányi (Paul)

Formal proof systems for program equivalence : (preprint) Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Factoring polynomials with rational coefficients : (preprint) Tech Report

A.K. Lenstra (Arjen), H.W. Lenstra (Hendrik) and L. Lovász (László)

On infinite computations in denotational semantics : (preprint) Tech Report

J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules) and J.I. Zucker

Efficient simulations of multicounter machines (preliminary version) : (preprint) Tech Report

P.M.B. Vitányi (Paul)

Conditional rewrite rules; confluency and termination : Preprint Tech Report

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Fairness assumptions for CSP in a temporal logic framework : Preprint Tech Report

R. Kuiper and W.P. de Roever

Deciding equivalence of functional schemes for parallel programs : (preprint) Tech Report

Y.P. Korablin

Rigorous high speed separation of zeros of Riemann's zeta function, 2 Tech Report

J. van de Lune (Jan) and H.J.J. te Riele (Herman)

Volterra-type integral equations of the second kind with non-smooth solutions: high-order methods based on collocation techniques Tech Report

H. Brunner and H.J.J. te Riele (Herman)

Multiple grid method for the calculation of potential flow around 3-d bodies : (preprint) Tech Report

H. Wolff

Two-step splitting methods for semi-discrete second order hyperbolic partial differential equations Tech Report

H.B. de Vries

On the zeros of the riemann zeta function in the critical strip, II Tech Report

R.P. Brent, J. van de Lune (Jan) and H.J.J. te Riele (Herman)

Mixed defect correction iteration for the accurate solution of the convection diffusion equation : (preprint) Tech Report

P.W. Hemker (Piet)

The multi-grid method and artificial viscosity : (preprint) Tech Report

E.J. van Asselt

Contractivity of locally one-dimensional splitting methods : (preprint) Tech Report

J.G. Verwer (Jan)

A class of runge-kutta-rosenbrock methods for solving stiff differential equations : (preprint) Tech Report

J.G. Verwer (Jan), S. Scholz, J.G. Blom (Joke) and M. Nool (Margreet)