university website Publications by Year

Publication

  • Discretization of timed automata in timed $\mu$ crl à la regions and zones In Proceedings

    Y.S. Usenko (Yaroslav), J.F. Groote (Jan Friso) and M.A. Reniers (Michel)

    January 2005
  • On the complexity of several haplotyping problems In Proceedings

    R.L. Cilibrasi (Rudi), L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and J.T. Tromp (John)

    January 2005
    open access
  • Capture and Transfer of Metadata During Video Production In Proceedings

    F.-M. Nack (Frank)

    January 2005
    open access
  • Color Texture Measurement and Segmentation Article

    Signal processing, 85(2), 265-275.

    M.A. Hoang (Minh), J.M. Geusebroek (Jan-Mark) and A.W.M. Smeulders (Arnold)

    January 2005
    open access
  • Quantum Algorithms for Element Distinctness Article

    SIAM Journal on Computing, 34(6), 1324-1330.

    H.M. Buhrman (Harry), C. Dürr, M. Heiligman, P. Høyer (Peter), F. Magniez, M. Santha (Miklos) and R.M. de Wolf (Ronald)

    January 2005
  • Collaborate With Strangers To Find Own Preferences In Proceedings

    B. Awerbuch (Baruch), Y. Azar, Z. Lotker (Zvi), B. Patt-Shamir and M.R. Tuttle

    January 2005
  • Generalized type-based disambiguation of meta programs with concrete object syntax In Proceedings

    M. Bravenboer, R. Vermaas, J.J. Vinju (Jurgen) and E. Visser (Eelco)

    January 2005
  • All Quantum Adversary Methods are Equivalent In Proceedings

    R. Spalek (Robert) and M. Szegedy (Mario)

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