Centrum Wiskunde & Informatica

Software Engineering: The War Against Complexity Lecture

J.J. Vinju (Jurgen)

January 2015
Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic In Proceedings

M. Gattinger (Malvin) and D.J.N. van Eijck (Jan)

January 2015
Kwantumcomputers, -algoritmes en –complexiteit Student symposium "A quantum state of mind' , Radboud Universiteit Lecture

R.M. de Wolf (Ronald)

January 2015
Registers Book Chapter

P.M.B. Vitányi (Paul)

January 2015
Computation of a numerically satisfactory pair of solutions of the differential equation for conical functions of non-negative integer orders Article

Numerical Algorithms, 68(3), 497-509.

T.M. Dunster (Mark), A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2015
Maastricht, Integrated Systems Biology Symposium Lecture

G.W. Klau (Gunnar)

January 2015
Amsterdam Data Science Seminar Lecture

G.W. Klau (Gunnar)

January 2015
Capture-avoiding program transformations with name-fix In Proceedings

S. Erdweg (Sebastian), T. van der Storm (Tijs) and Y. Dai (Yi)

January 2015

Previous

Next