Publication

IXR '22: 1st Workshop on Interactive eXtended Reality In Proceedings

I. Viola (Irene), H. Amirpour (Hadi) and M. Torres Vega (Maria)

Edsger W. Dijkstra: Biographical Information Book Chapter

K.R. Apt (Krzysztof)

Spectral estimation for Hamiltonians: A comparison between classical imaginary-time evolution and quantum real-time evolution Article

M.E. Stroeks (Maarten), J. Helsen (Jonas) and B.M. Terhal (Barbara)

The future is already here, just not very evently distributed Presentation

S. Pemberton (Steven)

Automated privacy negotiations with preference uncertainty Article

D. Filipczuk (Dorota), T. Baarslag (Tim), E.H. Gerding (Enrico) and M.C. Schraefel

Nondeterminism and Guarded Commands Book Chapter

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

Edsger Dijkstra, The Man Who Carried Computer Science on His Shoulders Book Chapter

K.R. Apt (Krzysztof)

Edsger Wybe Dijkstra : his life, work, and legacy Book