Tobias Klenze

Identifiers

• name variant Tobias Klenze 0.60 · backfill

Papers (2)

1. Cadence: Extreme Pipelining with Multiple Concurrent Proposers cs.DC · 2026 · author #3
2. Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification cs.LO · 2020 · author #2

Mentions

• 2010.04749 #2 · arxiv_oai · confidence 0.70 Tobias Klenze
• 2607.02275 #3 · arxiv_oai · confidence 0.70 Tobias Klenze

Frequent Coauthors

• Christoph Sprenger 1 shared papers
• David Basin 1 shared papers
• Fatima Elsheimy 1 shared papers
• Felix A. Wolf 1 shared papers
• Jason Milionis 1 shared papers
• Jovan Komatovic 1 shared papers
• Kushal Babel 1 shared papers
• Lioba Heimbach 1 shared papers
• Marco Eilers 1 shared papers
• Martin Clochard 1 shared papers
• Mike Setrin 1 shared papers
• Mohammad Mussadiq Jalalzai 1 shared papers
• Peter M\"uller 1 shared papers
• Victor Shoup 1 shared papers