CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Spatiotemporal Dynamics in Ecology: Insights from Physics In Proceedings
January 2009 -
Reactive Systems, Barbed Semantics, and the Mobile Ambients In Proceedings
F. Bonchi (Filippo), F. Gadducci (Fabio) and G.V. Monreale (Giacoma Valentina )
January 2009 -
DataCell: Exploiting the Power of Relational Databases for Efficient Stream Processing Article
ERCIM NewsJanuary 2009
-
Tangles, tree-decompositions, and grids in matroids Article
Journal of Combinatorial Theory - Series B, 657-667.J. Geelen (Jim), A.M.H. Gerards (Bert) and G. Whittle (Geoff)
January 2009
-
The Twin Diffie-Hellman Problem and Applications Article
Journal of Cryptology, 22(4)January 2009 -
Minimization Algorithm for Symbolic Bisimilarity In Proceedings
January 2009 -
Deriving Syntax and Axioms for Quantitative Regular Behaviours In Proceedings
F. Bonchi (Filippo), M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
January 2009 -
January 2009