Publication

Combining style and semantics for robust authorship verification Article

B.E. van Leeuwen (Britt), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

Non-clairvoyant scheduling with progress bars Tech Report

Z. Benomar (Ziyad), R. Cosson (Romain), A. Lindermayr (Alexander) and J Schlöter (Jens)

Sandwich BUFF: Achieving non-resignability using iterative hash functions Tech Report

S. Fehr (Serge), Y.H. Huang (Yu-Hsuan) and JDB Kastner (Julia)

Open CPS: A Symbolic Model Book Chapter

F. Arbab (Farhad) and C. Talcott (Carolyn)

Spatio-temporal point process models for interval-censored data Dissertation

R.L. Markwitz (Robin)

Rethinking dataset discovery with DataScout In Proceedings

R. Lin (Rachel), B. Chopra (Bhavya), W. Lin (Wenjing), S. Shankar (Shreya), M Hulsebos (Madelon) and A.G. Parameswaran (Aditya G.)

Multi-patch isogeometric neural solver for partial differential equations on computer-aided design domains Tech Report

M. von Tresckow (Moritz), I.G. Ion (Ion Gabriel) and D. Loukrezis (Dimitris)

Exploring the creative frontier: A deep dive into AI and XR with AMPLIFY & TRANSMIXR Blogpost