CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves Article
Theoretical Computer Science, 410(41), 4044-4066.September 2009 -
Combining Vocabulary Alignment Techniques In Proceedings
A. Tordai (Anna), J.R. van Ossenbruggen (Jacco) and G. Schreiber (Guus)
September 2009
-
Noise management by molecular networks Article
PLoS Computational Biology, 5(9)F.J. Bruggeman (Frank), N. Bluethgen and H.V. Westerhoff (Hans)
September 2009 -
A foundation for real recursive function theory Article
Annals of Pure and Applied Logic, 160(3), 255-288.September 2009
-
Prior Information and the Determination of Event Spaces in Probabilistic Information Retrieval Models Book Chapter
September 2009
-
Formal aspects of component software Tech Report
September 2009
-
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008--- State-of-the-Art Survey Proceedings
September 2009 -
Decision Problems for Nash Equilibria in Stochastic Games In Proceedings
September 2009