CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Compositionality for Markov Reward Chains with Fast Transitions Article
Performance Evaluation, 435-452.J. Markovski (Jasen), A. Sokolova, N. Trcka and E.P. de Vink (Erik)
January 2009 -
Coalgebraic Weak Bisimulation for Action-Type Systems Article
Scientific Annals of Computer Science, 93-144.January 2009
-
Proceedings of the Second International Workshop on Computational Models for Cell Processes Proceedings
January 2009 -
Formalizing Adaptation On-the-Fly In Proceedings
S. Andova, L.P.J. Groenewegen (Luuk), J. Stafleu and E.P. de Vink (Erik)
January 2009 -
EASY Meta-Programming with RASCAL In Proceedings
P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)
January 2009
-
Cognitive Object Vision In Proceedings
S. Ghebreab, H.S. Scolte, V.A.F. Lamme and A.W.M. Smeulders (Arnold)
January 2009
-
January 2009
-
Automated translation and analysis of a ToolBus script for auctions In Proceedings
W.J. Fokkink (Wan), P. Klint (Paul), B. Lisser (Bert) and Y.S. Usenko (Yaroslav)
January 2009