Centrum Wiskunde & Informatica

Problems of Control and System Theory motivated by Biochemical Reaction Systems In Proceedings

J.H. van Schuppen (Jan)

January 2008
Rational streams coalgebraically Article

Logical Methods in Computer Science, 4(3)

J.J.M.M. Rutten (Jan)

January 2008
Modular control of discrete-event systems with coalgebra Article

IEEE Transactions on Automatic Control, 447-460.

J. Komenda and J.H. van Schuppen (Jan)

January 2008
QoS-Driven Service Selection and Composition In Proceedings

M. Sun (Meng) and F. Arbab (Farhad)

January 2008
Deconstructing Reo In Proceedings

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

January 2008
Automated, feature-based image alignment for high-resolution imaging mass spectrometry of large biological samples Article

Journal of the American Society for Mass Spectrometry, 19(6), 823-833.

A. Broersen (Alexander), R. van Liere (Robert) and not CWI et al

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

Previous

Next