Publications from 2013
-
More problems in rewriting Tech Report
January 1993 -
The Boltzmann entropy and randomness tests Tech Report
January 1993 -
A user's guide to the Software Testpilot Tech Report
January 1993 -
January 1993
-
January 1993
-
A structural co-induction theorem Tech Report
January 1993 -
January 1993
-
January 1993
-
Declarative programming in Prolog Tech Report
January 1993 -
January 1993
-
January 1993
-
January 1993
-
The legacy of Kermack and McKendrick Tech Report
January 1993 -
A cell-cycle model revisited Tech Report
January 1993 -
January 1993
-
January 1993
-
Kaplan-Meier estimators of interpoint distance distributions for spatial point processes Tech Report
January 1993 -
January 1993
-
January 1993
-
Comparing curried and uncurried rewriting Tech Report
January 1993 -
January 1993
-
Simultaneous replacement in normal programs Tech Report
January 1993 -
January 1993
-
A proof procedure for extended logic programs Tech Report
January 1993 -
January 1993
-
Parallel iteration across the steps of high order Runge-Kutta methods for nonstiff initial value problems Tech Report
January 1993 -
Some problems of applied algebra Tech Report
January 1993 -
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
The tyft/tyxt format reduces to tree rules Tech Report
January 1993 -
January 1993
-
January 1993
-
January 1993
-
January 1993
-
Chebyshev best-fit geometric elements Tech Report
January 1993 -
EUVEL: an EULER vector extension library Tech Report
January 1993 -
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
Area-interaction point processes Tech Report
January 1993 -
Multiservers queues with impatient customers Tech Report
January 1993 -
January 1993
-
January 1993
-
January 1993
-
Transforming acyclic programs Tech Report
January 1993 -
January 1993
-
January 1993
-
Approximable sets Tech Report
January 1993 -
Parallelism across the steps in iterated Runge-Kutta methods for stiff initial value problems Tech Report
January 1993 -
The regulator problem with robust stability Tech Report
January 1993 -
Talking about trees In Proceedings
January 1993 -
January 1993
-
Retrieving (JPEG) pictures in portable hypermedia documents In Proceedings
January 1993 -
Statistical analysis of software reliability models Dissertation
January 1993 -
Incremental rewriting Dissertation
Software EngineeringJanuary 1993 -
Overview research activities (ORA) / Centrum voor Wiskunde en Informatica (CWI) 1993-2008 Miscellaneous
January 1993 -
Preface Preface
January 1993 -
January 1993
-
WYSIWYG editors: And what now? In Proceedings
January 1993 -
Incomplete line $LU$ as smoother and as preconditioner In Proceedings
January 1993 -
Complexity of disjoint paths problems in planar graphs In Proceedings
January 1993 -
Parallel iteration schemes for implicit ODEIVP methods In Proceedings
January 1993 -
Enquire Software
January 1993 -
Authoring multimedia in the CMIF environment In Proceedings
January 1993 -
Confluence and superdevelopments In Proceedings
January 1993 -
Parallel step-by-step methods In Proceedings
January 1993 -
A dichotomy theorem for the adjoint of a semigroup of operators Article
Proceedings of the American Mathematical Society, 119(3), 765-774.January 1993 -
A-stable diagonally implicit Runge-Kutta-Nyström methods for parallel computers Article
Numerical Algorithms, 4(3), 263-281.January 1993 -
Parallel-iterated Runge-Kutta methods for stiff ordinary differential equations Article
Journal of Computational and Applied Mathematics, 45(1-2), 151-168.January 1993 -
Asymptotic and numerical aspects of the noncentral chi-square distribution Article
Computers & Mathematics with Applications, 25(5), 55-63.January 1993 -
January 1993
-
Note on hypergraphs and sphere orders Article
Journal of Graph Theory, 17(2), 173-176.January 1993 -
Asymptotic estimates of Stirling numbers Article
Studies in Applied Mathematics, 89(3), 233-243.January 1993 -
Tait's flyping conjecture for well-connected links Article
Journal of Combinatorial Theory - Series B, 58(1), 65-146.January 1993 -
A uniqueness condition for Gibbs measures, with application to the $2$-dimensional Ising antiferromagnet Article
Communications in Mathematical Physics, 152(1), 161-166.January 1993 -
A constrained optimization problem for a processor sharing queue Article
Naval Research Logistics, 40(5), 719-731.January 1993 -
Abstract multiplication semigroups Article
Mathematische Zeitschrift, 213(1), 1-15.January 1993 -
Local uniform grid refinement and systems of coupled partial differential equations Article
Applied Numerical Mathematics, 12(4), 331-355.January 1993 -
Modular properties of conditional term rewriting systems. Logic in computer science Article
Information and Computation, 104(1), 110-158.January 1993 -
Induced circuits in graphs on surfaces Book Chapter
January 1993 -
Discrete wavelets and multiresolution analysis Book Chapter
January 1993 -
Wavelets: first steps Book Chapter
January 1993 -
Graphs on the torus and geometry of numbers Article
Journal of Combinatorial Theory - Series B, 58(1), 147-158.January 1993 -
Hyperasymptotics and the Stokes' phenomenon Article
Proceedings of the Royal Society of Edinburgh A, 123(4), 731-743.January 1993 -
Computing with Daubechies' wavelets Book Chapter
January 1993 -
Preconditioning in implicit initial-value problem methods on parallel computers Article
Advances in Computational Mathematics, 1(1), 39-60.January 1993 -
Comparative transition system semantics Book Chapter
January 1993 -
Image compression using wavelets Book Chapter
January 1993 -
January 1993
-
January 1993
-
Multigrid and advection Book Chapter
January 1993