university website Publications by Year
  • sign in

Publication

  • Realization theory of Nash systems In Proceedings

    J. Nemcová (Jana), M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

    January 2009
  • Control of input/output discrete-event systems In Proceedings

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

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

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

    January 2009
  • An algorithm for computing supremal nonblocking state-normal supervisors for nondeterministic systems In Proceedings

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

    January 2009
  • Kolmogorov Complexity in Randomness Extraction In Proceedings

    J.M. Hitchcock (John), A. Pavan and N.V. Vinodchandran

    January 2009
  • Synthesize nonblocking distributed supervisors with coordinators In Proceedings

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

    January 2009
  • Efficient nonconflict check by using automaton abstractions In Proceedings

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

    January 2009
  • Aligning Protein Structures Using Distance Matrices and Combinatorial Optimization In Proceedings

    I. Wohlers (Inken), I. Petzold, F.S. Domingues and G.W. Klau (Gunnar)

    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