Matthias Zumkeller

Orcid: 0009-0004-3696-6269

According to our database¹, Matthias Zumkeller authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs.

[DOI]

Proc. ACM Program. Lang., 2026

2025

The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version).

[DOI]

CoRR, November, 2025