Centrum Wiskunde & Informatica

Fundamentals of Software Engineering Book

January 2013
Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES In Proceedings

T. Brys, M.M. Drugan, P.A.N. Bosman (Peter), M. de Cock and A. Nowé

January 2013
Formal design and verification of long-running transactions with extensible coordination tools Article

IEEE Transactions on Services Computing, 6(2), 186-200.

N. Kokash (Natallia) and F. Arbab (Farhad)

January 2013
PMG: Multicore metabolite identification Article

Electronic Notes in Theoretical Computer Science, 53-60.

M.M. Jaghoori (Mohammad Mahdi), S.-S.T.Q. Jongmans (Sung), F.S. de Boer (Frank), J.E. Peironcely, J-L. Faulon and T. Hankemeier (Thomas)

January 2013
W-methods in optimal control Article

J. Lang (Jens) and J.G. Verwer (Jan)

January 2013
Thema Film 17: Dick Bulterman on Media Annotation Magazine Article

D.C.A. Bulterman (Dick)

January 2013
Brzozowski's and up-to algorithms for must testing In Proceedings

F. Bonchi (Filippo), G. Caltais (Georgiana), D. Pous (Damien) and A.M. Silva (Alexandra)

January 2013
A coalgebraic view of epsilon-transitions In Proceedings

A.M. Silva (Alexandra) and B. Westerbaan (Bas)

January 2013

Previous

Next