Centrum Wiskunde & Informatica

Dr ClickOn Software

A.J. van der Ploeg (Atze)

January 2013
Hypergraph covering problems motivated by genome assembly questions In Proceedings

C. Chauve, M.D. Patterson (Murray) and A. Rajaraman

January 2013
A Library for Declarative Resolution-Independent 2D Graphics In Proceedings

A.J. van der Ploeg (Atze) and P. Klint (Paul)

January 2013
Communication as Action Lecture

D.J.N. van Eijck (Jan)

January 2013
From Number Guessing Games to Security Protocol Analysis and Back Lecture

D.J.N. van Eijck (Jan)

January 2013
Nonbinary Cycle Killer Software

L.J.J. van Iersel (Leo)

January 2013
Learning from the Perspective of Epistemic Dynamic Logic Lecture

D.J.N. van Eijck (Jan)

January 2013
Model Checking Uncertainty about Probability Lecture

D.J.N. van Eijck (Jan)

January 2013

Previous

Next