Centrum Wiskunde & Informatica

Compositionality for Markov Reward Chains with Fast Transitions In Proceedings

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

January 2007
An Analysis of Arithmetic Constraints on Integer Intervals Article

Constraints, 12(4), 429-468.

K.R. Apt (Krzysztof) and P. Zoeteweij (Peter)

January 2007
The Sisyphus Continuous Integration System In Proceedings

T. van der Storm (Tijs)

January 2007
Generic Feature-Based Composition In Proceedings

T. van der Storm (Tijs)

January 2007
The design space of a configurable autocompletion component Tech Report

M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco), A.K. Amin (Alia), L. Aroyo (Lora), J. Wielemaker (Jan) and L. Hardman (Lynda)

January 2007
Wi-Fi Walkman Book Chapter

J. Wang (Jun), A.P. de Vries (Arjen) and M.J.T. Reinders

January 2007
DEMO -- Dynamic Epistemic Modelling Software Software

D.J.N. van Eijck (Jan)

January 2007
A Note on Subsequential Transducers and Coalgebra In Proceedings

H.H. Hansen (Helle)

January 2007

Previous

Next