💀 The Wall of Shame

The most cited papers with no code. Sorted by the weight of their sins.

Page 5, showing 50 papers

# Paper Cause of Death Category Citations Published
201 Further limitations of the known approaches for matrix multiplication
Josh Alman, Virginia Vassilevska Williams
🔮 The Ethereal cs.CC 42 8 years ago
202 Tighter Connections Between Formula-SAT and Shaving Logs
Amir Abboud, Karl Bringmann
🔮 The Ethereal cs.CC 42 8 years ago
203 On the minimum weights of binary linear complementary dual codes
Makoto Araya, Masaaki Harada
🔮 The Ethereal math.CO 42 8 years ago
204 Polynomial Invariant Generation for Non-deterministic Recursive Programs
Krishnendu Chatterjee, Hongfei Fu, ... (+2 more)
🔮 The Ethereal cs.LO 42 7 years ago
205 The Average-Case Complexity of Counting Cliques in Erdos-Renyi Hypergraphs
Enric Boix-Adserà, Matthew Brennan, Guy Bresler
🔮 The Ethereal cs.CC 42 7 years ago
206 The Approximation Ratio of the 2-Opt Heuristic for the Metric Traveling Salesman Problem
Stefan Hougardy, Fabian Zaiser, Xianghui Zhong
🔮 The Ethereal cs.DM 42 6 years ago
207 Algorithms and Barriers in the Symmetric Binary Perceptron Model
David Gamarnik, Eren C. Kızıldağ, ... (+2 more)
🔮 The Ethereal cs.CC 42 4 years ago
208 Guarded Cubical Type Theory: Path Equality for Guarded Recursion
Lars Birkedal, Aleš Bizjak, ... (+4 more)
🔮 The Ethereal cs.LO 41 10 years ago
209 Automated Lemma Synthesis in Symbolic-Heap Separation Logic
Quang-Trung Ta, Ton Chanh Le, ... (+2 more)
🔮 The Ethereal cs.LO 41 8 years ago
210 Fine-Grained Complexity of Analyzing Compressed Data: Quantifying Improvements over Decompress-And-Solve
Amir Abboud, Arturs Backurs, ... (+2 more)
🔮 The Ethereal cs.CC 41 8 years ago
211 Forman-Ricci Curvature for Hypergraphs
Wilmer Leal, Guillermo Restrepo, ... (+2 more)
🔮 The Ethereal cs.DM 41 7 years ago
212 How Hard Is Robust Mean Estimation?
Samuel B. Hopkins, Jerry Li
🔮 The Ethereal cs.CC 41 7 years ago
213 Incidence Geometries and the Pass Complexity of Semi-Streaming Set Cover
Amit Chakrabarti, Anthony Wirth
🔮 The Ethereal cs.CC 40 11 years ago
214 Uniform generation of random regular graphs
Pu Gao, Nicholas Wormald
🔮 The Ethereal math.CO 40 10 years ago
215 A program logic for union bounds
Gilles Barthe, Marco Gaboardi, ... (+3 more)
🔮 The Ethereal cs.LO 40 10 years ago
216 Automated Mutual Explicit Induction Proof in Separation Logic
Quang-Trung Ta, Ton Chanh Le, ... (+2 more)
🔮 The Ethereal cs.LO 40 9 years ago
217 Verifying Equivalence of Database-Driven Applications
Yuepeng Wang, Isil Dillig, ... (+2 more)
🔮 The Ethereal cs.LO 40 8 years ago
218 Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)
Siddharth Krishna, Dennis Shasha, Thomas Wies
🔮 The Ethereal cs.LO 40 8 years ago
219 Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency
Mario Lezoche, Hervé Panetto
🔮 The Ethereal cs.LO 40 7 years ago
220 Optimal Joint Subcarrier and Power Allocation in NOMA is Strongly NP-Hard
Lou Salaun, Chung Shue Chen, Marceau Coupechoux
🔮 The Ethereal cs.CC 40 6 years ago
221 Scattered subspaces and related codes
Giovanni Zini, Ferdinando Zullo
🔮 The Ethereal math.CO 40 6 years ago
222 On construction and (non)existence of $c$-(almost) perfect nonlinear functions
Daniele Bartoli, Marco Calderini
🔮 The Ethereal math.CO 40 5 years ago
223 Combinatorial Characterizations of Algebraic Manipulation Detection Codes Involving Generalized Difference Families
Maura B. Paterson, Douglas R. Stinson
🔮 The Ethereal math.CO 39 11 years ago
224 Discrete Gaussian Sampling Reduces to CVP and SVP
Noah Stephens-Davidowitz
🔮 The Ethereal cs.CC 39 11 years ago
225 On space efficiency of algorithms working on structural decompositions of graphs
Michał Pilipczuk, Marcin Wrochna
🔮 The Ethereal cs.CC 39 10 years ago
226 Asking the metaquestions in constraint tractability
Hubie Chen, Benoit Larose
🔮 The Ethereal cs.CC 39 10 years ago
227 Proving Liveness of Parameterized Programs
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
🔮 The Ethereal cs.LO 39 10 years ago
228 Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Cristina Feier, Antti Kuusisto, Carsten Lutz
🔮 The Ethereal cs.LO 39 9 years ago
229 Temporal Cliques Admit Sparse Spanners
Arnaud Casteigts, Joseph G. Peters, Jason Schoeters
🔮 The Ethereal cs.DM 39 7 years ago
230 Spatial Logics and Model Checking for Medical Imaging (Extended Version)
Fabrizio Banci Buonamici, Gina Belmonte, ... (+3 more)
🔮 The Ethereal cs.LO 39 7 years ago
231 Aiming Low Is Harder -- Induction for Lower Bounds in Probabilistic Program Verification
Marcel Hark, Benjamin Lucien Kaminski, ... (+2 more)
🔮 The Ethereal cs.LO 39 7 years ago
232 Bounded Model Checking for Hyperproperties
Tzu-Han Hsu, Cesar Sanchez, Borzoo Bonakdarpour
🔮 The Ethereal cs.FL 39 5 years ago
233 Sparse universal graphs for planarity
Louis Esperet, Gwenaël Joret, Pat Morin
🔮 The Ethereal math.CO 39 5 years ago
234 Three Combinatorial Perspectives on Minimal Codes
Gianira N. Alfarano, Martino Borello, ... (+2 more)
🔮 The Ethereal math.CO 39 5 years ago
235 Algorithms for the minimum sum coloring problem: a review
Yan Jin, Jean-Philippe Hamiez, Jin-Kao Hao
🔮 The Ethereal cs.DM 38 11 years ago
236 Differential Hybrid Games
André Platzer
🔮 The Ethereal cs.LO 38 11 years ago
237 On the classification of linear complementary dual codes
Makoto Araya, Masaaki Harada
🔮 The Ethereal math.CO 38 8 years ago
238 Lifting Sum-of-Squares Lower Bounds: Degree-$2$ to Degree-$4$
Sidhanth Mohanty, Prasad Raghavendra, Jeff Xu
🔮 The Ethereal cs.CC 38 6 years ago
239 Computational Feasibility of Clustering under Clusterability Assumptions
Shai Ben-David
🔮 The Ethereal cs.CC 37 11 years ago
240 Relational reasoning via probabilistic coupling
Gilles Barthe, Thomas Espitau, ... (+4 more)
🔮 The Ethereal cs.LO 37 10 years ago
241 Deterministic Regular Expressions With Back-References
Dominik D. Freydenberger, Markus L. Schmid
🔮 The Ethereal cs.FL 37 8 years ago
242 Finer Tight Bounds for Coloring on Clique-Width
Michael Lampis
🔮 The Ethereal cs.CC 37 8 years ago
243 Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
Gil Lederman, Markus N. Rabe, ... (+2 more)
🔮 The Ethereal cs.LO 37 8 years ago
244 ADDMC: Weighted Model Counting with Algebraic Decision Diagrams
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
🔮 The Ethereal cs.LO 37 7 years ago
245 Treewidth versus clique number. III. Tree-independence number of graphs with a forbidden structure
Clément Dallard, Martin Milanič, Kenny Štorgel
🔮 The Ethereal math.CO 37 4 years ago
246 A structural approach to kernels for ILPs: Treewidth and Total Unimodularity
Bart M. P. Jansen, Stefan Kratsch
🔮 The Ethereal cs.CC 36 11 years ago
247 An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
Daniel Neider, Ufuk Topcu
🔮 The Ethereal cs.FL 36 10 years ago
248 Montre: A Tool for Monitoring Timed Regular Expressions
Dogan Ulus
🔮 The Ethereal cs.FL 36 10 years ago
249 The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving
Stefan Mitsch, André Platzer
🔮 The Ethereal cs.LO 36 9 years ago
250 Assigning times to minimise reachability in temporal graphs
Jessica Enright, Kitty Meeks, Fiona Skerman
🔮 The Ethereal cs.CC 36 8 years ago