CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Simplified modelling of a thermal bath, with application to a fluid vortex system Article
Multiscale Modeling and Simulation, 8(2010), 1882-1901.S. Dubinkina (Svetlana), J.E. Frank (Jason) and B.J. Leimkuhler (Ben)
November 2010
-
A Model of Context-Dependent Component Connectors Article
Science of Computer ProgrammingM.M. Bonsangue (Marcello), D.G. Clarke (David) and A.M. Silva (Alexandra)
November 2010 -
XHTML™ Basic 1.1 - Second Edition Book Chapter
November 2010 -
A Decision Procedure for Bisimilarity of Generalized Regular Expressions In Proceedings
M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
November 2010 -
Quantitative Kleene coalgebras Article
Information and Computation, 209(5), 822-849.A.M. Silva (Alexandra), F. Bonchi (Filippo), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
November 2010 -
A semantic model for service composition with coordination time delays In Proceedings
N. Kokash (Natallia), B. Changizi (Behnaz) and F. Arbab (Farhad)
November 2010
-
Searching CLEF-IP by Strategy Book Chapter
W. Alink (Wouter), R. Cornacchia (Roberto) and A.P. de Vries (Arjen)
November 2010
-
On the Lasserre hierarchy of semidefinite programming relaxations of convex polynomial optimization problems Tech Report
November 2010