Tim Rohde

According to our database, Tim Rohde authored at least 2 papers in 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Emanuele D'Osualdo

CoRR, May, 2026

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures.

Bernd Finkbeiner, Hadar Frenkel, Tim Rohde

Proceedings of the Foundations of Software Science and Computation Structures, 2026