Provable Determinism for Software in Cyber-Physical Systems. - Marcus Rossel; Shaokai Lin; Marten Lohstroh; Jerónimo Castrillón; Andrés Goens (VSTTE, 2023)

Bridging Syntax and Semantics of Lean Expressions in E-Graphs. - Marcus Rossel; Andrés Goens (CoRR, 2024)

Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs. - Rudi Schneider; Marcus Rossel; Amir Shaikhha; Andrés Goens; Thomas Koehler 005; Michel Steuwer (Proc. ACM Program. Lang., 2025)