Centrum Wiskunde & Informatica

AMaLGaM IDEAs in Noiseless Black-Box Optimization Benchmarking In Proceedings

P.A.N. Bosman (Peter), J. Grahl and D. Thierens (Dirk)

January 2009
Efficient Multigrid Methods based on improved Coarse Grid Correction Techniques Dissertation

Scientific Computing

H. bin Zubair (Hisham)

January 2009
Turing machine Tech Report

P.M.B. Vitányi (Paul)

January 2009
Sequential Bidding in the Bailey-Cavallo Mechanism In Proceedings

K.R. Apt (Krzysztof) and V. Markakis (Vangelis)

January 2009
Neighbourhood Structures: Bisimilarity and Basic Model Theory Article

Logical Methods in Computer Science, 5(2)

H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit

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

Previous

Next