university website Publications by Year
  • sign in

Publication

  • smilText JavaScript Software

    R.L. GuimarĂ£es (Rodrigo Laiola)

    January 2009
  • A pan/zoom tool for telling stories with photos Software

    R.L. GuimarĂ£es (Rodrigo Laiola) and A.A.M. Kuijk (Fons)

    January 2009
  • Realization theory of discrete-time linear hybrid system In Proceedings

    M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

    January 2009
  • Computational Semantics with Functional Programming Book

    D.J.N. van Eijck (Jan) and A. C. Unger (Christina)

    January 2009
  • Aggregative synthesis of distributed supervisors based on automaton abstraction Tech Report

    R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

    January 2009
    open access
  • Coordinated distributed supervisory control Tech Report

    R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

    January 2009
    open access
  • Computing supremal minimum-weight controllable and normal sublanguages Tech Report

    R. Su (Rong), J.H. van Schuppen (Jan), J.E. Rooda (Jacobus) and M. Petreczky (Mihaly)

    January 2009
    open access
  • Architecting Security with Paradigm in Architecting Dependable Systems IV Book Chapter

    S. Andova, L.P.J. Groenewegen (Luuk), J.H.S. Verschuren (Jan) and E.P. de Vink (Erik)

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