Publication

Learning Reductions to Sparse Sets In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance), J.M. Hitchcock (John) and B. S. Loff Barreto (Bruno Serra)

The future of a missed deadline In Proceedings

B. Nobakht (Behrooz), F.S. de Boer (Frank) and M.M. Jaghoori (Mohammad Mahdi)

Engineering virtualized services In Proceedings

E. Albert (Elvira), F.S. de Boer (Frank), R. Hähnle (Reiner), E.B. Johnsen (Einar Broch) and C. Laneve (Cosimo)

Formal methods for components and objects : 10th international symposium, FMCO 2011 Proceedings

Formal methods for components and objects : 11th international symposium, FMCO 2012 Proceedings

Feasibility and Completeness of Cryptographic Tasks in the Quantum World In Proceedings

S. Fehr (Serge), J. Katz, F. Song, H.S. Zhou and V. Zikas

PDL as a multi-agent strategy logic In Proceedings

D.J.N. van Eijck (Jan)

Book Review: Basic Phylogenetic Combinatorics. -- Andreas Dress, Katharina T. Huber, Jacobus Koolen, Vincent Moulton and Andreas Spillner Article

L.J.J. van Iersel (Leo)