CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Ensō Software
July 2011 -
Towards a one-stop-shop for analysis, transformation and visualization of software In Proceedings
B. Lisser (Bert), P. Klint (Paul) and A. van der Ploeg (Auke)
July 2011
-
July 2011
-
Machine Learning for Biometrics Book Chapter
July 2011
-
Feather-like structures in positive streamers interpreted as electron avalanches Article
Japanese Journal of Applied PhysicsG. Wormeester (Gideon), S. Nijdam (Sander) and U. Ebert (Ute)
August 2011
-
Position-Based Quantum Cryptography: Impossibility and Constructions In Proceedings
H.M. Buhrman (Harry), N. Chandran, S. Fehr (Serge), R. Gelles, V. Goyal, R. Ostrovsky and C. Schaffner (Christian)
August 2011
-
Verification of object-oriented programs: A transformational approach Article
Journal of Computer and System SciencesK.R. Apt (Krzysztof), F.S. de Boer (Frank), E.R. Olderog (Ernst-Rüdiger) and C.P.T. de Gouw (Stijn)
August 2011 -
Boltzmann equation analysis of electron transport in a N2-O2 streamer discharge Article
Japanese Journal of Applied PhysicsS. Dujko (Sasa), U. Ebert (Ute), R.D. White and Z.L. Petrović (Zoran)
August 2011