Publication

On Moessner's theorem Tech Report

D. Kozen and A.M. Silva (Alexandra)

Preface Article

B.P.F. Jacobs, M. Niqui (Milad), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Proceedings Fourth Interaction and Concurrency Experience Book

Concurrency and Interaction in Complex Systems Book

LQG coordination control Master Thesis

N. Pambakian

Keynote speaker - 30th Annual IACR EUROCRYPT, Tallinn, Estonia Title: The Arithmetic Codex Lecture

R.J.F. Cramer (Ronald)

Ten Years of Analyzing Actors: Rebeca Experience In Proceedings

M.M. Jaghoori (Mohammad Mahdi) and M. Sirjani (Marjan)

Invited Speaker, EUROCRYPT 2011 Lecture

R.J.F. Cramer (Ronald)