Centrum Wiskunde & Informatica

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

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

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
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
Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model In Proceedings

K. Haralambiev, T. Jager, E. Kiltz (Eike) and V. Shoup

January 2010
Asymptotic expansions of defective renewal equations with applications to perturbed risk models and processor sharing queues Article

Mathematical Methods of Operations Research, 311-326.

J. Blanchet (Jose) and A.P. Zwart (Bert)

January 2010
Upper Bounds on the Noise Threshold for Fault-tolerant Quantum Computing Article

Quantum Information and Computation, 10(5-6), 361-376.

J. Kempe, O. Regev (Oded), F.P. Unger (Falk) and R.M. de Wolf (Ronald)

January 2010
On inequivalent representations of matroids over non-prime ﬁelds Article

Journal of Combinatorial Theory - Series B, 740-743.

J. Geelen (Jim), A.M.H. Gerards (Bert) and G. Whittle (Geoff)

January 2010
What's on this evening? Designing user support for event-based annotation and exploration of media In Proceedings

A.T.S. Fialho (Andre), R. Troncy (Raphael), L. Hardman (Lynda), C. Saathoff and A. Scherp

January 2010

Publication

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

Executable Interface Specifications for Testing Asynchronous Creol Components In Proceedings

The Credo Methodology (Extended Version) In Proceedings

Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model In Proceedings

Asymptotic expansions of defective renewal equations with applications to perturbed risk models and processor sharing queues Article

Upper Bounds on the Noise Threshold for Fault-tolerant Quantum Computing Article

On inequivalent representations of matroids over non-prime ﬁelds Article

What's on this evening? Designing user support for event-based annotation and exploration of media In Proceedings

Address

CWI researchers

Questions or comments?

Publication

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

Executable Interface Specifications for Testing Asynchronous Creol Components In Proceedings

The Credo Methodology (Extended Version) In Proceedings

Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model In Proceedings

Asymptotic expansions of defective renewal equations with applications to perturbed risk models and processor sharing queues Article

Upper Bounds on the Noise Threshold for Fault-tolerant Quantum Computing Article

On inequivalent representations of matroids over non-prime ﬁelds Article

What's on this evening? Designing user support for event-based annotation and exploration of media In Proceedings

Workflow

Workflow

Add Content