Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming. - Patrick Bahr; Christian Graulund; Rasmus Ejlers Møgelberg (CoRR, 2019)

Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks. - Patrick Bahr; Christian Graulund; Rasmus Ejlers Møgelberg (Proc. ACM Program. Lang., 2019)

Adjoint Reactive GUI. - Christian Uldal Graulund; Dmitrij Szamozvancev; Neel Krishnaswami (CoRR, 2020)

Adjoint Reactive GUI Programming. - Christian Uldal Graulund; Dmitrij Szamozvancev; Neel Krishnaswami (FoSSaCS, 2021)

Diamonds are not forever: liveness in reactive programming with guarded recursion. - Patrick Bahr; Christian Uldal Graulund; Rasmus Ejlers Møgelberg (Proc. ACM Program. Lang., 2021)

Special Session: Digital Technologies for Sustainability - Research Challenges and Opportunities. - Paul Pop; Christian Graulund; Sonia Yeh; Martin Törngren (CODES+ISSS, 2023)

Safety Verification and Optimization in Industrial Drive Systems. - Imran Riaz Hasrat; Eun-Young Kang 001; Christian Uldal Graulund (CoRR, 2025)