CWI's Institutional Repository
Selected Open Access and other scholarly publications from CWI and related researchers.For submitting your work see bottom of the page.
Use the feedback button (bottom right) to inform us about your questions.
Once you are logged in, it is possible to see all your data stored in the system.
-
A principled approach to REPL interpreters In Proceedings
L.T. van Binsbergen (Thomas), M. Verano Merino (Mauricio), P. Jeanjean (Pierre), T. van der Storm (Tijs), B. Combemale (Benoit) and O. Barais (Olivier)
November 2020 -
November 2020
-
Compressed Sigma-Protocols for bilinear circuits and applications to logarithmic-sized transparent Threshold Signature Schemes Tech Report
T. Attema (Thomas), R.J.F. Cramer (Ronald) and M. Rambaud (Matthieu)
November 2020 -
History-based specification and verification of Java Collections in KeY In Proceedings
H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)
November 2020 -
High-contrast reflection tomography with total-variation constraints Article
IEEE Transactions on Computational Imaging, 1523-1536.A.A. Kadu (Ajinkya), H. Mansour (Hassan) and P.T. Boufounos (Petros)
November 2020 -
Block-based syntax from context-free grammars In Proceedings
November 2020 -
November 2020
-
Non-linearly stable reduced-order models for incompressible flow with energy-conserving finite volume methods Article
Journal of Computational PhysicsNovember 2020