university website Publications by Year

Publication

  • Distributed Extended Beam Search for Quantitative Model Checking In Proceedings

    A.J. Wijs (Anton) and B. Lisser (Bert)

    January 2007
  • Investigating the consistency requirements for designing multi-device user interfaces : an experimental exploration Dissertation

    Human-Centered Data Analytics

    S. Shahid (Suleman)

    January 2007
  • thumb

    Database cracking In Proceedings

    S. Idreos (Stratos), M.L. Kersten (Martin) and S. Manegold (Stefan)

    January 2007
    open access
  • thumb

    Configurable Input Devices for 3D Interaction using Optical Tracking Dissertation

    Visualization and 3D User Interfaces

    A.J. van Rhijn (Arjen)

    January 2007
    open access
  • thumb

    Mobile Channels for Exogenous Coordination of Distributed Systems: Semantics, Implementation and Composition Dissertation

    Formal Methods

    J.V. Guillen Scholten (Juan)

    January 2007
    open access
  • thumb

    Models and algorithms for online server routing Dissertation

    CWI management

    V. Bonifaci (Vincenzo)

    January 2007
    open access
  • Computing semidefinite programming lower bounds for the (fractional) chromatic number via block-diagonalization Tech Report

    N. Gvozdenovic (Nebojsa) and M. Laurent (Monique)

    February 2007
    open access
  • thumb

    Flexible Heterogeneous Software Systems Dissertation

    Software Analysis and Transformation

    H.A. de Jong (Hayco)

    February 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