Publications from 2025
-
January 2002
-
Simulation techniques for the population dynamics of sinking phytoplankton in light-limited environments Tech Report
January 2002 -
The coherent scattering function in the reptation model: analysis beyond asymptotic limits Tech Report
January 2002 -
January 2002
-
January 2002
-
Source tree composition Tech Report
January 2002 -
January 2002
-
Smart style on the semantic web Tech Report
January 2002 -
January 2002
-
January 2002
-
January 2002
-
January 2002
-
January 2002
-
A multiply fibred automaton semantics for IWIM Tech Report
January 2002 -
The logic of ACP Tech Report
January 2002 -
January 2002
-
Denotative and connotative semantics in hypermedia: proposal for a semiotic-aware architecture Tech Report
January 2002 -
January 2002
-
January 2002
-
January 2002
-
January 2002
-
January 2002
-
January 2002
-
Linearization of ?CRL specifications Tech Report
January 2002 -
January 2002
-
January 2002
-
January 2002
-
Towards a syntax for multimedia semantics Tech Report
January 2002 -
January 2002
-
Semidefinite programming and integer programming Tech Report
January 2002 -
January 2002
-
January 2002
-
January 2002
-
January 2002
-
A series expansion of fractional Brownian motion Tech Report
January 2002 -
On multi-scaling in volatility processes Tech Report
January 2002 -
Two-level Fourier analysis of a multigrid approach for discontinuous Galerkin discretisation Tech Report
January 2002 -
January 2002
-
January 2002
-
January 2002
-
Monotonicity-preserving linear multistep methods Tech Report
January 2002 -
January 2002
-
January 2002
-
The hexagonal versus the square lattice Tech Report
January 2002 -
January 2002
-
January 2002
-
Fourier two-level analysis for discontinuous Galerkin discretization with linear elements Tech Report
January 2002 -
Reasoning from non-stationarity Tech Report
January 2002 -
January 2002
-
January 2002
-
January 2002
-
January 2002
-
On the zeros of the Scorer functions Tech Report
January 2002 -
January 2002
-
January 2002
-
An algorithm for on-line price discrimination Tech Report
January 2002 -
Pretty-printing for software reengineering Tech Report
January 2002 -
January 2002
-
A coinductive calculus of component connectors Tech Report
January 2002 -
An extensible agent architecture for a competitive market-based allocation of consumer attention space Tech Report
January 2002 -
January 2002
-
January 2002
-
January 2002
-
Updating probabilities Tech Report
January 2002 -
Taming surprises Tech Report
January 2002 -
Saddlepoint approximations to the trimmed mean Tech Report
January 2002 -
Control of spatially heterogeneous and time-varying cellular reaction networks: a new summation law Tech Report
January 2002 -
January 2002
-
January 2002
-
January 2002
-
The importance of being cigar-shaped Tech Report
January 2002 -
A continuum model of lipid bilayers Tech Report
January 2002 -
January 2002
-
January 2002
-
GSOS for probabilistic transition systems Tech Report
January 2002 -
Coinductive counting with weighted automata Tech Report
January 2002 -
Coalgebraic modal logic of finite rank Tech Report
January 2002 -
January 2002
-
January 2002
-
January 2002
-
January 2002
-
January 2002
-
January 2002
-
January 2002
-
January 2002
-
Efficient computation of steady, 3D water-wave patterns, application to hovercraft-type flows Tech Report
January 2002 -
The lowest crossing in 2D critical percolation Tech Report
January 2002 -
January 2002
-
January 2002
-
January 2002
-
January 2002
-
January 2002
-
State space generation for the HAVi leader election protocol Article
Science of Computer Programming, 43(1), 1-33.January 2002 -
January 2002
-
January 2002
-
January 2002
-
Mondriaan Software
January 2002 -
Special functions Book Chapter
January 2002 -
Corrigenda and addition to \computer verification of the Ankeny-Artin-Chowla conjecture for all primes less than 100 000 000 000" Article
Mathematics of Computation, 72(241), 521-523.January 2002 -
Multiresolution approximation for volatility processes Article
Quantitative Finance, 2(2), 91-110.January 2002