Josef Widder

Identifiers

• name variant Josef Widder 0.60 · backfill

Papers (5)

1. Reducing asynchrony to synchronized rounds cs.PL · 2018 · author #4
2. A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms cs.LO · 2016 · author #4
3. Solvability-Based Comparison of Failure Detectors cs.DC · 2014 · author #2
4. Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms cs.LO · 2012 · author #5
5. Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms cs.FL · 2012 · author #5

Mentions

• 1407.3286 #2 · backfill · confidence 0.70 Josef Widder
• 1210.3846 #5 · backfill · confidence 0.70 Josef Widder
• 1210.3839 #5 · backfill · confidence 0.70 Josef Widder

Frequent Coauthors

• Helmut Veith 3 shared papers
• Igor Konnov 3 shared papers
• Annu John 2 shared papers
• Ulrich Schmid 2 shared papers
• Alexandru Militaru 1 shared papers
• Andrei Damien 1 shared papers
• Cezara Dragoi 1 shared papers
• Marijana Lazic 1 shared papers
• Srikanth Sastry 1 shared papers