Hammering Floating-Point Arithmetic. - Olle Torstensson; Tjark Weber (FroCoS, 2023)

Dynamically Weighted Tree Transducers. - Frank Drewes; Marco Kuhlmann; Olle Torstensson (CIAA, 2025)