Centrum Wiskunde & Informatica

Integer linear programming in computational biology Book Chapter

E. Althaus, G.W. Klau (Gunnar), O. Kohlbacher, H.P. Lenhof and K. Reinert (Knut)

January 2009
Architecting Security with Paradigm in Architecting Dependable Systems IV Book Chapter

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

January 2009
Using AI to Access and Experience Cultural Heritage Article

IEEE Intelligent systems, 24(2), 23-25.

L. Hardman (Lynda), L. Aroyo (Lora), J.R. van Ossenbruggen (Jacco) and E. Hyvönen

January 2009
XForms 1.1 Test Suite Software

S. Pemberton (Steven) and not CWI et al

January 2009
Kolmogorov Complexity in Randomness Extraction In Proceedings

J.M. Hitchcock (John), A. Pavan and N.V. Vinodchandran

January 2009
Synthesize nonblocking distributed supervisors with coordinators In Proceedings

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2009
Efficient nonconflict check by using automaton abstractions In Proceedings

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2009
Aligning Protein Structures Using Distance Matrices and Combinatorial Optimization In Proceedings

I. Wohlers (Inken), I. Petzold, F.S. Domingues and G.W. Klau (Gunnar)

January 2009

Previous

Next