Publications from 2013
-
January 2005
-
January 2005
-
January 2005
-
January 2005
-
January 2005
-
Infinitary normalization Tech Report
January 2005 -
On a model of sequential point patterns Tech Report
January 2005 -
Gaussian fluctuations of random point measures generated by cooperative sequential adsorption Tech Report
January 2005 -
About 'trivial' software patents: the IsNot case Tech Report
January 2005 -
January 2005
-
January 2005
-
January 2005
-
January 2005
-
Investigation of methods for user adapted visualisation of information in a hypermedia generation system Tech Report
January 2005 -
Composing discourse based on genre semantics Tech Report
January 2005 -
January 2005
-
Zero, Sucessor and Equality in BDDs Article
Annals of Pure and Applied Logic, 101-123.January 2005 -
TIJAH: embracing IR methods in XML databases Article
Information Retrieval Journal, 8(4), 547-570.January 2005 -
Semantic Models of a Timed Distributed Dataspace Architecture Article
Theoretical Computer Science, 331(2-3), 291-323.January 2005 -
December 2004
-
Multigrid analysis and embedded boundary conditions for discontinuous Galerkin discretization Dissertation
Scientific ComputingDecember 2004 -
December 2004
-
Rule-based constraint propagation : theory and applications Dissertation
Networks and OptimizationDecember 2004 -
Spatio-temporal pattern formation in a semiconductor-gas-discharge system Dissertation
Multiscale DynamicsDecember 2004 -
A Lindley-type equation arising from a carousel problem Article
Journal of Applied Probability, 41(4), 1171-1181.December 2004 -
Reminiscences on Influential Papers Article
SIGMOD Record, 33(4), 91-92.December 2004 -
December 2004
-
November 2004
-
November 2004
-
Abstractions and static analysis for verifying reactive systems Dissertation
Software Analysis and TransformationNovember 2004 -
November 2004
-
November 2004
-
Period doubling in glow discharges: Local versus global differential conductivity Article
Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 70(5)November 2004 -
October 2004
-
October 2004
-
Evolutionary agent-based economics Dissertation
Intelligent and autonomous systemsOctober 2004 -
October 2004
-
A Linking and Interaction Evaluation Test Set for SMIL In Proceedings
October 2004 -
October 2004
-
Ambulant: A Fast, Multi-Platform Open Source SMIL Player In Proceedings
October 2004 -
September 2004
-
Semi-Automatic Identification of Humpback Whales In Proceedings
September 2004 -
August 2004
-
Formal verification of distributed systems Dissertation
August 2004 -
Efficient Doubling on Genus Two Curves over Binary Fields In Proceedings
August 2004 -
Autonomous agents in bargaining games : an evolutionary investigation of fundamentals, strategies, and business applications Dissertation
Intelligent and autonomous systemsJuly 2004 -
July 2004
-
Multimedia retrieval using multiple images In Proceedings
July 2004 -
Dependence of the transition from Townsend to glow discharge on secondary emission Article
Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 70(1)July 2004 -
The Calibrator Software
June 2004 -
June 2004
-
Numerical methods for water flows with free-surface gravity waves Dissertation
Modelling, Analysis and ComputationJune 2004 -
On generalised coinduction and probabilistic specification formats : distributive laws in coalgebraic modelling Dissertation
Computer SecurityJune 2004 -
Variability and Component Composition, In Proceedings
June 2004 -
Reo: A Channel-based Coordination Model for Component Composition Article
Mathematical Structures in Computer Science, 14(3), 329-366.June 2004 -
Streamer branching rationalized by conformal mapping techniques Article
Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 69(6)June 2004 -
Structuring and presenting annotated media repositories In Proceedings
May 2004 -
Stabilization by slow diffusion in a real Ginzburg-Landau system Article
Journal of Nonlinear Science, 14(3), 237-278.May 2004 -
CWI mededelingen : personeelsnieuws 2004 - 2009 Miscellaneous
May 2004 -
May 2004
-
Worst case instances are fragile : average case and smoothed competitive analysis of algorithms Dissertation
April 2004 -
Geometric space-time integration of ferromagnetic materials Article
Applied Numerical Mathematics, 307-322.March 2004 -
Altijd gedonder om dat vrouw zijn Magazine Article
March 2004 -
February 2004
-
An Algorithm to Verify Formulas by means of (O,S,=)-BDDs In Proceedings
February 2004 -
A fully conservative model for compressible two-fluid flow Article
International Journal for Numerical Methods in Fluids, 1-6.January 2004 -
Adjoint based model adaptation for a linear problem In Proceedings
January 2004 -
A fully conservative model for compressible two-fluid flow In Proceedings
January 2004 -
Adjoint-based model adaptation for a linear problem In Proceedings
January 2004 -
Modernizing existing software : a case study In Proceedings
January 2004 -
January 2004
-
Modal abstractions in $ \mu $ CRL Tech Report
January 2004 -
January 2004
-
January 2004
-
January 2004
-
January 2004
-
January 2004
-
January 2004
-
An approximation algorithm for square packing Tech Report
January 2004 -
Combining request scheduling with web caching Tech Report
January 2004 -
The differential calculus of bitstreams Tech Report
January 2004 -
January 2004
-
January 2004
-
January 2004
-
Adaptive wavelets for image compression using update lifting: quantisation and error analysis Tech Report
January 2004 -
Path openings and closings Tech Report
January 2004 -
January 2004
-
January 2004
-
January 2004
-
A note on the benefits of buffering Tech Report
January 2004 -
January 2004
-
January 2004
-
January 2004
-
January 2004
-
High-order TVD and TVB linear multistep methods Tech Report
January 2004 -
January 2004
-
January 2004
-
January 2004
-
January 2004
-
On spurious reflections, nonuniform grids and finite difference discretizations of wave equations Tech Report
January 2004