Complexity of Model Checking Second-Order Hyperproperties on Finite Structures. - Bernd Finkbeiner; Hadar Frenkel; Tim Rohde (FoSSaCS, 2026)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation. - Janine Lohse; Tim Rohde; Jimmy Xin; Niklas Mück; Iona Kuhn; Derek Dreyer; Deepak Garg 001; Emanuele D'Osualdo (CoRR, 2026)