CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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
-
Comparing the notions of optimality in CP-nets, strategic games and soft constraints Article
Annals of Mathematics and Artificial Intelligence, 52(1), 25-54.January 2008
-
The effects of heat exchange and fluid production on the ignition of a porous solid Article
Nonlinear Analysis: Real World Applications, 9(2), 562-584.A.A. Shah, J. Brindley, A.C. McIntosh and J.D.M. Rademacher (Jens)
January 2008 -
January 2008
-
Supervisory control of modular systems with global specification languages Article
Automatica, 1127-1134.J. Komenda, J.H. van Schuppen (Jan), B. Gaudin and H. Marchand
January 2008 -
Models of interacting streamers In Proceedings
January 2008
-
Silicon cell models: {Construction}, analysis, and reduction Book Chapter
F.J. Bruggeman (Frank), H.M. Härdin (Hanna), J.H. van Schuppen (Jan) and H.V. Westerhoff (Hans)
January 2008 -
Experiments on streamer interactions In Proceedings
S. Nijdam (Sander), J.S. Moerman, T.M.P. Briels (Tanja), E.M. van Veldhuizen and U. Ebert (Ute)
January 2008