Centrum Wiskunde & Informatica

Rényi Divergence and Majorization In Proceedings

T.A.L. van Erven (Tim) and P. Harremoës (Peter)

January 2010
Driving sandpiles to criticality and beyond Article

Physical Review Letters

A.C. Fey (Anne), L. Levine and D.B. Wilson

January 2010
The min-toll-booth problem: Complexity, algorithms and experimental ﬁndings Unpublished

T. Harks, G. Schäfer (Guido) and M. Sieg

January 2010
Acyclic dominating partitions Article

Journal of Graph Theory, 64(5), 292-311.

L. Addario-Berry, R.J. Kang (Ross) and T. Müller (Tobias)

January 2010
The Credo Methodology (Extended Version) In Proceedings

I. Grabe (Immo), M.M. Jaghoori (Mohammad Mahdi), J. Klein (Joachim), S. Klüppelholz, A. Stam, C. Baier, T. Blechmann, B.K. Aichernig, F.S. de Boer (Frank), A. Griesmeyer, et al. W. Leister, M. Steffen, W. Yi

January 2010
Executable Interface Specifications for Testing Asynchronous Creol Components In Proceedings

I. Grabe (Immo), M. Kyas (Marcel), M. Steffen and A.B. Torjusen

January 2010
Automated deadlock detection in synchronized reentrant multithreaded call-graphs In Proceedings

I. Grabe (Immo) and F.S. de Boer (Frank)

January 2010
Practical Ambiguity Detection for Context-Free Grammars In Proceedings

H.J.S. Basten (Bas)

January 2010

Previous

Next