Publications from 2013
-
Control of Discrete Event Systems - Research at the Interface of Control Theory an Computer Science Book Chapter
December 1994 -
The Expansion Theorem for Median Graphs (To Cor Baayen, at the occasion of his retirement) Book Chapter
December 1994 -
December 1994
-
December 1994
-
December 1994
-
December 1994
-
December 1994
-
The Essence of the Law of Large Numbers Book Chapter
December 1994 -
On the History of Runge-Kutta Methods (To Cor Baayen, at the occasion of his retirement) Book Chapter
December 1994 -
December 1994
-
December 1994
-
The Wouthuysen Equation Book Chapter
December 1994 -
December 1994
-
December 1994
-
A Natural Term Language Book Chapter
December 1994 -
December 1994
-
Yet Another Lecture on the Icosahedron Book Chapter
December 1994 -
A Framework for Adaptive Networked Multimedia Book Chapter
December 1994 -
December 1994
-
Polling systems Book Chapter
December 1994 -
December 1994
-
December 1994
-
December 1994
-
Discriminating coded lambda terms (Dedicated in friendship to Cor Baayen on the occasion of his retirement) Book Chapter
December 1994 -
December 1994
-
December 1994
-
December 1994
-
December 1994
-
Dat was volkomen abracadabra voor me, maar het leek me wel heel erg interessant (Interview met Cor Baayen) Book Chapter
December 1994 -
Een woord vooraf Book Chapter
December 1994 -
Polling systems Dissertation
November 1994 -
November 1994
-
November 1994
-
Supervised boundary formation Dissertation
October 1994 -
October 1994
-
Modular algebraic specifications and transformational program development Dissertation
Software EngineeringOctober 1994 -
October 1994
-
October 1994
-
September 1994
-
Executable language definitions : case studies and origin tracking techniques Dissertation
Software EngineeringSeptember 1994 -
September 1994
-
Explorations of the dynamic environment Dissertation
Logic and languageSeptember 1994 -
September 1994
-
Minisymposium in honour of Jaroslav Hájek, 8th June 1994, Charles University, Prague, Czech Republic Article
CWI Quarterly, 7(3), 259-266.September 1994 -
A general introduction to software reliability Article
CWI Quarterly, 7(3), 203-244.September 1994 -
Experience with a difference engine for graphics In Proceedings
September 1994 -
August 1994
-
Periodic assignment and graph colouring Article
Discrete Applied Mathematics, 51(3), 291-305.July 1994 -
July 1994
-
Set functionals in stochastic geometry Dissertation
June 1994 -
Graphs and curves on surfaces Dissertation
Networks and OptimizationJune 1994 -
June 1994
-
Shared data spaces for distributed computing and parallelism in scientific visualization systems Article
CWI Quarterly, 7(2), 175-185.June 1994 -
How scientific visualization can benefit from virtual environments Article
CWI Quarterly, 7(2), 159-174.June 1994 -
Visualization of multi-dimensional scalar functions using HyperSlice Article
CWI Quarterly, 7(2), 147-158.June 1994 -
Visualization techniques for vector fields with applications to flow data Article
CWI Quarterly, 7(2), 131-146.June 1994 -
Application of scientific visualization in a physics environment Article
CWI Quarterly, 7(2), 115-130.June 1994 -
April 1994
-
Diffusion langer Polymerketten in einem eingefrorenen Zufallsmedium : eine Renormierungsgruppenanalyse Dissertation
April 1994 -
April 1994
-
Supporting Adaptive Multimedia In Proceedings
April 1994 -
Parallel Runge-Kutta-Nyström methods Dissertation
March 1994 -
Small grains with high lead concentration in Chainpur In Proceedings
March 1994 -
30 Years after Sketchpad: relaxation of geometric constraints revisited Article
CWI Quarterly, 7(1), 73-98.March 1994 -
Huygens : carrying the world in your back pocket Article
CWI Quarterly, 7(1), 67-72.March 1994 -
MADE: a multimedia application development environment Article
CWI Quarterly, 7(1), 27-46.March 1994 -
Authoring interactive multimedia: problems and prospects Article
CWI Quarterly, 7(1), 47-66.March 1994 -
Managing the Adaptive Processing of Distributed Multimedia Information Article
CWI Quarterly, 7(1), 3-25.March 1994 -
Funding of academic mathematical research in The Netherlands Article
European Mathematical Society NewsletterMarch 1994 -
February 1994
-
Generating uniform user-interfaces Dissertation
Software EngineeringFebruary 1994 -
February 1994
-
Which data types have w-complete initial algebra specifications? Article
Theoretical Computer Science, 124(1), 149-168.February 1994 -
January 1994
-
January 1994
-
Research in computational fluid dynamic, stimulated by ERCIM In Proceedings
January 1994 -
January 1994
-
January 1994
-
Structural identifiability of dynamic systems operating under feedback with application to economic systems Tech Report
January 1994 -
On the power series algorithm Tech Report
January 1994 -
January 1994
-
January 1994
-
On periodic Pollaczek waiting time processes Tech Report
January 1994 -
January 1994
-
January 1994
-
Origin tracking in primitive recursive schemes Tech Report
January 1994 -
Logic programming and negation: a survey Tech Report
January 1994 -
January 1994
-
Outerjoins as disjunctions Tech Report
January 1994 -
Term rewriting properties of SOS axiomatisations Tech Report
January 1994 -
January 1994
-
The Goblin database programming language Tech Report
January 1994 -
January 1994
-
Data mining : schatgraven in databases Tech Report
January 1994 -
January 1994
-
Axioms for $ aleph_ 0 $-categorical orderings Tech Report
January 1994 -
Program verification and prolog Tech Report
January 1994 -
Linguistics, logic, and finite trees Tech Report
January 1994 -
January 1994
-
January 1994