Centrum Wiskunde & Informatica

Rascal: A domain specific language for source code analysis and manipulation In Proceedings

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

January 2009
Towards Model Checking Executable UML Specifications in mCRL2 In Proceedings

H.H. Hansen (Helle), J. Ketema, M.R. Mousavi, S.P. Luttik (Bas) and J.C. van de Pol (Jaco)

January 2009
Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article

Acta Informatica, 47(1), 33-66.

M.M. Jaghoori (Mohammad Mahdi), M. Sirjani (Marjan), M.R. Mousavi, E. Khamespanah (Ehsan) and A. Movaghar (Ali)

January 2009
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings

F.S. de Boer (Frank), I. Grabe (Immo), M.M. Jaghoori (Mohammad Mahdi), A. Stam and W. Yi

January 2009
On convergence to stationarity of fractional Brownian storage Article

Annals of Applied Probability, 1385-1403.

P. Glynn, M.R.H. Mandjes (Michel) and I. Norros

January 2009
Optimization of Online Patient Scheduling with Urgencies and Preferences In Proceedings

I.B. Vermeulen (Ivan), S.M. Bohte (Sander), P.A.N. Bosman (Peter), S.G. Elkhuizen, P.J.M. Bakker and J.A. La Poutré (Han)

January 2009
Decomposing port automata In Proceedings

C. Krause (born Köhler) (Christian) and D.G. Clarke (David)

January 2009
Nonnegative matrix factorization of a correlation matrix Article

Linear Algebra and its Applications, 334-349.

P. Sonneveld, J.J.I.M. van Kan, X. Huang and C.W. Oosterlee (Kees)

January 2009

Previous

Next