Publication

The Next Generation of Multimedia Authoring Tools: Telling Stories and Commenting on Media In Proceedings

R.L. Guimarães (Rodrigo Laiola)

Distributed Computing Techniques Article

M.M. Bonsangue (Marcello), E. Broch Johnsen, A.L. Murphy and J. Vitek

Performance Evaluation of Distributed Systems based on a Discrete Real- and Stochastic-Time Process Algebra Article

J. Markovski (Jasen) and E.P. de Vink (Erik)

Compositionality for Markov Reward Chains with Fast Transitions Article

J. Markovski (Jasen), A. Sokolova, N. Trcka and E.P. de Vink (Erik)

Coalgebraic Weak Bisimulation for Action-Type Systems Article

A. Sokolova, E.P. de Vink (Erik) and H. Woracek

Proceedings of the Second International Workshop on Computational Models for Cell Processes Proceedings

Formalizing Adaptation On-the-Fly In Proceedings

S. Andova, L.P.J. Groenewegen (Luuk), J. Stafleu and E.P. de Vink (Erik)

EASY Meta-Programming with RASCAL In Proceedings

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)