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

    A coinductive calculus of binary trees Tech Report

    A.M. Silva (Alexandra) and J.J.M.M. Rutten (Jan)

    January 2007
    open access
  • Worst-case optimal approximation algorithms for maximizing triplet consistency within phylogenetic networks Tech Report

    J. Byrka (Jaroslaw), K.T. Huber, S.M. Kelk (Steven) and P. Gawrychowski (Paweł)

    January 2007
  • thumb

    Reflection positivity, rank connectivity, and homomorphisms of graphs Article

    Journal of the American Mathematical Society, 37-51.

    M.H. Freedman, L. Lovász (László) and A. Schrijver (Lex)

    January 2007
    open access
  • Behavioural differential equations and coinduction for binary trees In Proceedings

    A.M. Silva (Alexandra) and J.J.M.M. Rutten (Jan)

    January 2007
  • Perfect Parallel Repetition Theorem for Quantum XOR Proof Systems In Proceedings

    R.E. Cleve (Richard), W. Slofstra (William), F.P. Unger (Falk) and S. Upadhyay

    January 2007
  • Coalgebraic foundations of linear systems In Proceedings

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

    January 2007
  • Task Scheduling in Rebeca (Extended Abstract) In Proceedings

    M.M. Jaghoori (Mohammad Mahdi), F.S. de Boer (Frank) and M. Sirjani (Marjan)

    January 2007
  • thumb

    On Computation and Communication with Small Bias In Proceedings

    H.M. Buhrman (Harry), N.K. Vereshchagin (Nikolay Konstantinovich) and R.M. de Wolf (Ronald)

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