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
  • thumb

    Program plan recognition for year 2000 tools Tech Report

    A. van Deursen (Arie), S. Woods and A. Quilici

    January 1997
    open access
  • thumb

    Weighted colimits and formal balls in generalized metric spaces Tech Report

    J.J.M.M. Rutten (Jan)

    January 1997
    open access
  • thumb

    Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems Tech Report

    J.P. Warners (Joost)

    January 1997
    open access
  • thumb

    The syntax and semantics of timed $ mu $ CRL Tech Report

    J.F. Groote (Jan Friso)

    January 1997
    open access
  • thumb

    A complete equational axiomatization for MPA with string iteration Tech Report

    L. Aceto (Luca) and J.F. Groote (Jan Friso)

    January 1997
    open access
  • thumb

    A two-level approach to automated conformance testing of VHDL designs Tech Report

    J.R. Moonen, J.M.T. Romijn (Judi), O. Sies (Olaf), J.G. Springintveld, L.M.G. Feijs (Loe) and R.L.C. Koymans

    January 1997
    open access
  • thumb

    On polynomials related with Hermite-Padé approximations to the exponential function Tech Report

    K.A. Driver (Kathy) and N.M. Temme (Nico)

    January 1997
    open access
  • thumb

    Programming paradigms in an object-oriented multi-media standard Tech Report

    D.J. Duke and I. Herman (Ivan)

    January 1997
    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