Publication

On the impossibility of actively secure distributed samplers Tech Report

D. Abram (Damiano), S. Fehr (Serge), M. Obremski (Maciej) and P. Scholl (Peter)

Non-clairvoyant scheduling with progress bars Tech Report

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

Open CPS: A Symbolic Model Book Chapter

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

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

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

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.)

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

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)