💀 The Wall of Shame
The most cited papers with no code. Sorted by the weight of their sins.
Page 1
| # | Paper | Cause of Death | Category | Citations | Published |
|---|---|---|---|---|---|
| 1 | Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs | 🔮 The Ethereal | cs.LO | 103 | 10 years ago |
| 2 | A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms | 🔮 The Ethereal | cs.LO | 77 | 9 years ago |
| 3 | Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices) | 🔮 The Ethereal | cs.LO | 29 | 10 years ago |
| 4 | The exp-log normal form of types | 🔮 The Ethereal | cs.LO | 4 | 11 years ago |