CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Shortest vertex-disjoint two-face paths in planar graphs In Proceedings
January 2008 -
Tensor subalgebras and first fundamental theorems in invariant theory Article
Journal of Algebra, 1305-1319.January 2008 -
Reachability computation for hybrid systems with Ariadne In Proceedings
L. Benvenuti, D. Bresolin, A. Casagrande, P.J. Collins (Pieter), A. Ferrari, E. Mazzi, T. Villa and A. Sangiovanni-Vincentelli
January 2008
-
January 2008
-
January 2008
-
January 2008
-
January 2008
-
Supervisor synthesis based on abstractions of nondeterministic automata In Proceedings
R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)
January 2008