💀 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
Krishnendu Chatterjee, Hongfei Fu, ... (+2 more)
🔮 The Ethereal cs.LO 103 10 years ago
2 A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms
Igor Konnov, Marijana Lazic, ... (+2 more)
🔮 The Ethereal cs.LO 77 9 years ago
3 Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)
Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea
🔮 The Ethereal cs.LO 29 10 years ago
4 The exp-log normal form of types
Danko Ilik
🔮 The Ethereal cs.LO 4 11 years ago