CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A generic optimization algorithm for the allocation of DP actuators In Proceedings
E.P.G. van Daalen, J.L. Cozijn, G. Loussouarn and P.W. Hemker (Piet)
January 2011
-
A two-dimensional embedded-boundary method for convection problems with moving boundaries In Proceedings
January 2011 -
January 2011
-
Logic in Action Book
J.F.A.K. van Benthem (Johan), D.J.N. van Eijck (Jan), J.O.M. Jaspars and H. van Ditmarsch (Hans)
January 2011
-
A unified format for language documents In Proceedings
January 2011
-
Sound and complete axiomatization of trace semantics for probabilistic systems Article
Electronic Notes in Theoretical Computer Science, 291-311.January 2011
-
On Moessner's theorem Tech Report
January 2011 -
Preface Article
Theoretical Computer Science, 412(38), 4967-4968.B.P.F. Jacobs, M. Niqui (Milad), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
January 2011