university website Publications by Year
  • sign in
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • Hoare Logic for Object-Oriented Programming Concepts In Proceedings

    F.S. de Boer (Frank)

    January 2003
  • thumb

    Expansions of the exponential integral in incomplete gamma functions Article

    Applied Mathematics Letters, 16(7), 1095-1099.

    W. Gautschi, F.E. Harris and N.M. Temme (Nico)

    January 2003
    open access
  • thumb

    Blocking nonorientability of a surface Article

    Journal of Combinatorial Theory - Series B, 2-16.

    B. Mohar and A. Schrijver (Lex)

    January 2003
    open access
  • thumb

    On the b-stable set polytope of graphs without bad K Article

    SIAM Journal on Discrete Mathematics, 511-516.

    D. Gijswijt (Dion) and A. Schrijver (Lex)

    January 2003
    open access
  • thumb

    Note on: Aguilera, Escalante, Nasini: "A generalization of the perfect graph theorem under the disjunctive index" Article

    Mathematics of Operations Research, 884-885.

    A.M.H. Gerards (Bert), G. Maróti (Gábor) and A. Schrijver (Lex)

    January 2003
    open access
  • Principles of Constraint Programming Book

    K.R. Apt (Krzysztof)

    January 2003
  • thumb

    The TIJAH XML-IR system at INEX 2003 Book Chapter

    J.A. List (Johan), V. Mihajlovic, A.P. de Vries (Arjen), G. Ramirez Camps (Georgina) and D. Hiemstra

    January 2003
    open access
  • thumb

    Combining information sources for video retrieval In Proceedings

    T.H.W. Westerveld (Thijs), T. Ianeva, L. Boldareva, A.P. de Vries (Arjen) and D. Hiemstra

    January 2003
    open access
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close