Centrum Wiskunde & Informatica

NIPS Software

M. Weber (Michael) and S. Schurmans

January 2006
A Visual Model Transformation Environment for the Eclipse Modeling Framework Master Thesis

C. Krause (born Köhler) (Christian)

January 2006
mCRL toolset Software

J.F. Groote (Jan Friso), B. Lisser (Bert) and J.C. van de Pol (Jaco)

January 2006
A Graphics Architecture for high-end interactive television terminals Article

ACM Transactions on Multimedia Computing, Communications, and Applications, 343-357.

P.S. César Garcia (Pablo Santiago), J. Vierinen and P. Vuorimaa

January 2006
Multimedia Annotations on the Semantic Web Article

IEEE MultiMedia, 13(1), 86-90.

G. Stamou, J.R. van Ossenbruggen (Jacco), J.Z. Pan (Jeff) and G. Schreiber (Guus)

January 2006
Divide and congruence applied to eta-bisimulation In Proceedings

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
Compositionality of Hennessy-Milner logic by structural operational semantics Article

Bulletin of the EATCS, 421-440.

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
On the Markovian Randomized Strategy of Controller for Markov Decision Processes In Proceedings

T. Chen (Taolue), T. Han and J. Lu

January 2006

Previous

Next