What is Social Software? Book Chapter

D.J.N. van Eijck (Jan) and R. Parikh

On the efficient policing of HTTP traffic in WLANs In Proceedings

G.J. Hoekstra (Gerard) and F.J.M. Panken

Discourses on Social Software Book

Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme In Proceedings

M. Niqui (Milad)

What is Protocol Analysis? Book Chapter

D.J.N. van Eijck (Jan), F. Dechesne (Francien), W. Teepe and Y. Wang (Yanjing)

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems In Proceedings

N. Kokash (Natallia) and F. Arbab (Farhad)

Book review: The traveling salesman problem: a computational study (by D.L. Applegate, R.E. Bixby, V. Chvátal, W.J. Cook) Article

J.K. Lenstra (Jan Karel) and D.B. Shmoys

Algebraic Methods for Counting Euclidean Embeddings of Rigid Graphs In Proceedings

I.Z. Emiris, E.P. Tsigaridas and A. Varvitsiotis (Antonios)