Publication

The Asymptotic Inversion of Certain Cumulative Distribution Functions In Proceedings

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

Computable Semantics for CTL* on Discrete-Time and Continuous-Space Dynamic Systems Tech Report

P.J. Collins (Pieter) and I.S. Zapreev (Ivan)

Strategic Executions of Choreographed Timed Normative Multi-Agent Systems In Proceedings

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and M. Dastani

Dynamic ambulance management Master Thesis

A.G. Lewandowski (Aleksander)

Mind your body : [poster] Poster

A system of grabbing particles related to Galton-Watson trees. Article

J. Bertoin, V. Sidoravicius (Vladas) and M.E. Vares

Encryption schemes secure against chosen-ciphertext selective opening attacks In Proceedings

S. Fehr (Serge), D. Hofheinz (Dennis), E. Kiltz (Eike) and H. Wee

Adaptive Trapdoor Functions and Chosen-Ciphertext Security In Proceedings

E. Kiltz (Eike), P. Mohassel and A. O'Neill