Centrum Wiskunde & Informatica

Controllability and Falsification of Hybrid Systems In Proceedings

P.J. Collins (Pieter)

January 2009
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata Article

Fundamenta Informaticae, 95(1), 103-128.

M. Sun (Meng) and F. Arbab (Farhad)

January 2009
A Coalgebraic Semantic Framework for Reasoning about Interaction Designs Book Chapter

M. Sun (Meng) and L.S. Barbosa

January 2009
The structure of typical clusters in large sparse random configurations. Article

Journal of Statistical Physics, 135(1), 87-105.

J. Bertoin and V. Sidoravicius (Vladas)

January 2009
On Empirical Memory Design, Faster Selection of Bayesian Factorizations and Parameter-Free Gaussian EDAs In Proceedings

P.A.N. Bosman (Peter)

January 2009
Compact CCA-Secure Encryption for Messages of Arbitrary Length In Proceedings

M. Abe, E. Kiltz (Eike) and T. Okamoto

January 2009
A New Randomness Extraction Paradigm for Hybrid Encryption In Proceedings

E. Kiltz (Eike), K.Z. Pietrzak (Krzysztof), M. Stam and M. Yung (Moti)

January 2009
On the Security of Padding-Based Encryption Schemes (Or: Why we cannot prove OAEP secure in the Standard Model) In Proceedings

E. Kiltz (Eike) and K.Z. Pietrzak (Krzysztof)

January 2009

Previous

Next