Centrum Wiskunde & Informatica

Dating concurrent objects: Real-time modeling and schedulability analysis In Proceedings

F.S. de Boer (Frank), M.M. Jaghoori (Mohammad Mahdi) and E.B. Johnsen (Einar Broch)

January 2010
On Barbs and Labels in Reactive systems Tech Report

F. Bonchi (Filippo), F. Gadducci (Fabio) and G.V. Monreale (Giacoma Valentina )

January 2010
Dot-product representations of planar graphs In Proceedings

R.J. Kang (Ross) and T. Müller (Tobias)

January 2010
Lattice based extended formulations for integer linear equality systems Article

Mathematical Programming, 121(2), 337-352.

K.I. Aardal (Karen) and L.A. Wolsey (Laurence)

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
Designing bidding strategies in sequential auctions for risk averse agents Article

Multiagent and Grid Systems, 6(5-6), 437-457.

V. Robu (Valentin) and J.A. La Poutré (Han)

January 2010
AmbiDexter: Practical Ambiguity Detection In Proceedings

H.J.S. Basten (Bas) and T. van der Storm (Tijs)

January 2010
An Optimal Bifactor Approximation Algorithm for the Metric Uncapacitated Facility Location Problem Article

SIAM Journal on Computing, 39(6), 2212-2231.

J. Byrka (Jaroslaw) and K.I. Aardal (Karen)

January 2010

Previous

Next