university website Publications by Year

Publication

  • The Distributed Wireless Gathering Problem In Proceedings

    V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)

    January 2008
    open access
  • Verification of Networks of Timed Automata using mCRL2 In Proceedings

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

    January 2008
  • Constructing simply laced Lie algebras from extremal elements Article

    Algebra and Number Theory, 2(5), 551-572.

    J. Draisma (Jan) and J.C.H.W. in 't Panhuis

    January 2008
    open access
  • Metaplectic operators on {$C^n$} Article

    Quarterly Journal of Mathematics, 59(1), 15-28.

    H.G. Feichtinger, M. Hazewinkel (Michiel), N. Kaiblinger, E. Matusiak and M. Neuhauser

    January 2008
    open access
  • thumb

    Reconfiguration of Reo Connectors Triggered by Dataflow Article

    Electronic Communications of the European Association of Software Science and Technology

    C. Krause (born Köhler) (Christian), D.F. de Oliveira Costa (David), J.M.P. Proença (Jose) and F. Arbab (Farhad)

    January 2008
    open access
  • A comparison of the notions of optimality in soft constraints and graphical games In Proceedings

    K.R. Apt (Krzysztof), F. Rossi and K.B. Venable

    January 2008
    open access
  • thumb

    Deconstructing Reo In Proceedings

    D.G. Clarke (David), J.M.P. Proença (Jose), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

    January 2008
    open access
  • Calculating Invariants as Coreflexive Bisimulations In Proceedings

    L.S. Barbosa, J.N. Oliveira (José) and A.M. Silva (Alexandra)

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