CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2014
-
Logic in Action Book
J.F.A.K. van Benthem (Johan), H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan) and J.O.M. Jaspars
January 2014
-
Sensing a live audience In Proceedings
C. Wang (Chen), E. Geelhoed (Erik), P. Stenton and P.S. César Garcia (Pablo Santiago)
January 2014
-
Logic, Languages and Programming Presentation
January 2014 -
CWI in het kort Miscellaneous
January 2014
-
From Millions to One: The topological logic of optimal solution spaces of genome-scale stoichiometric models of metabolism Presentation
T.R. Maarleveld (Timo), M. Wortel, B.G. Olivier (Brett) and F.J. Bruggeman (Frank)
January 2014 -
Secure Identification and QKD in the Bounded-Quantum-Storage Model Article
Theoretical Computer Science, 12-26.I.B. Damgård (Ivan), S. Fehr (Serge), L. Salvail (Louis) and C. Schaffner (Christian)
January 2014
-
January 2014