Publication

Jan Karel Lenstra : the travelling science man : programma voor het afscheid van Jan Karel Lenstra als directeur van het CWI, 4-11-2011 Other

Unassigned codons, nonsense suppression, and anticodon modifications in the evolution of the genetic code Article

P.T.S. van der Gulik (Peter) and W.D. Hoff (Wouter)

Modeling Three-Dimensional Interaction Tasks for Desktop Virtual Reality Dissertation

L. Liu (Lei)

Abstract delta modeling Tech Report

D.G. Clarke (David), M. Helvensteijn (Michiel) and I. Schaefer

On the final coalgebra of automatic sequences Tech Report

C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)

CLEMEL, Clearing Market for Electrical Power Software

H. Noot (Han)

Automatic equivalence proofs for non-deterministic coalgebras (revised and extended) Tech Report

M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

CSA: Comprehensive comparison of pairwise protein structure alignments Software

I. Wohlers (Inken), N. Malod-Dognin, R. Andonov (Rumen) and G.W. Klau (Gunnar)