CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Polyhedra with the integer Caratheodory property Article
Journal of Combinatorial Theory - Series B, 102(1), 62-70.January 2012
-
Verification of object-oriented programs: A transformational approach Article
Journal of Computer and System Sciences, 78(3)January 2012 -
Dynamic traffic splitting to parallel wireless networks with partial information: a Bayesian approach. Article
Performance Evaluation, 41-52.S. Bhulai (Sandjai), G.J. Hoekstra (Gerard), J.W. Bosman (Joost) and R.D. van der Mei (Rob)
January 2012 -
January 2012
-
January 2012
-
Termination detection for active objects Article
Journal of Logic and Algebraic Programming, 81(4)January 2012 -
An improved algorithm and a Fortran 90 module for computing the conical function $P^m_{-1/2+i\tau}(x)$ Article
Computer Physics Communications, 794-799.January 2012
-
Symmetry in RLT cuts for the quadratic assignment and standard quadratic optimization problems Tech Report
E. de Klerk (Etienne), M. Eisenberg-Nagy (Marianna), R. Sotirov (Renata) and U. Truetsch
January 2012