💀 The Wall of Shame

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

Page 6, showing 50 papers

# Paper Cause of Death Category Citations Published
251 On the Solvability of Inductive Problems: A Study in Epistemic Topology
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets
🔮 The Ethereal cs.LO 34 9 years ago
252 An Introduction to Quantum Computing, Without the Physics
Giacomo Nannicini
🔮 The Ethereal cs.DM 34 8 years ago
253 The Parameterized Hardness of the k-Center Problem in Transportation Networks
Andreas Emil Feldmann, Daniel Marx
🔮 The Ethereal cs.CC 34 8 years ago
254 Centrality-Friendship Paradoxes: When Our Friends Are More Important Than Us
Desmond J. Higham
🔮 The Ethereal cs.DM 34 7 years ago
255 Unlabeled sample compression schemes and corner peelings for ample and maximum classes
Jérémie Chalopin, Victor Chepoi, ... (+2 more)
🔮 The Ethereal cs.DM 34 7 years ago
256 On the tree-width of even-hole-free graphs
Pierre Aboulker, Isolde Adler, ... (+3 more)
🔮 The Ethereal cs.DM 34 5 years ago
257 Trace Reconstruction Problems in Computational Biology
Vinnu Bhardwaj, Pavel A. Pevzner, ... (+2 more)
🔮 The Ethereal cs.CC 34 5 years ago
258 Automata and Fixpoints for Asynchronous Hyperproperties
Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem
🔮 The Ethereal cs.LO 34 5 years ago
259 First-Order Model Checking on Structurally Sparse Graph Classes
Jan Dreier, Nikolas Mählmann, Sebastian Siebertz
🔮 The Ethereal cs.LO 34 3 years ago
260 Reticulation-visible networks
Magnus Bordewich, Charles Semple
🔮 The Ethereal math.CO 33 10 years ago
261 The Rationale behind the Concept of Goal
Guido Governatori, Francesco Olivieri, ... (+3 more)
🔮 The Ethereal cs.LO 33 10 years ago
262 The non-cooperative tile assembly model is not intrinsically universal or capable of bounded Turing machine simulation
Pierre-Étienne Meunier, Damien Woods
🔮 The Ethereal cs.CC 33 9 years ago
263 An exponential lower bound for Individualization-Refinement algorithms for Graph Isomorphism
Daniel Neuen, Pascal Schweitzer
🔮 The Ethereal cs.CC 33 8 years ago
264 On Strong NP-Completeness of Rational Problems
Dominik Wojtczak
🔮 The Ethereal cs.DM 33 8 years ago
265 Finite LTL Synthesis with Environment Assumptions and Quality Measures
Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith
🔮 The Ethereal cs.LO 33 7 years ago
266 Bounding twin-width for bounded-treewidth graphs, planar graphs, and bipartite graphs
Hugo Jacob, Marcin Pilipczuk
🔮 The Ethereal cs.DM 33 4 years ago
267 A Holant Dichotomy: Is the FKT Algorithm Universal?
Jin-Yi Cai, Zhiguo Fu, ... (+2 more)
🔮 The Ethereal cs.CC 32 10 years ago
268 Average Distance in a General Class of Scale-Free Networks with Underlying Geometry
Karl Bringmann, Ralph Keusch, Johannes Lengler
🔮 The Ethereal cs.DM 32 10 years ago
269 Online Submodular Maximization with Free Disposal: Randomization Beats 0.25 for Partition Matroids
T-H. Hubert Chan, Zhiyi Huang, ... (+3 more)
🔮 The Ethereal cs.DM 32 9 years ago
270 Verifying Security Policies in Multi-agent Workflows with Loops
Bernd Finkbeiner, Christian Müller, ... (+2 more)
🔮 The Ethereal cs.LO 32 8 years ago
271 Learning to Prove Safety over Parameterised Concurrent Systems (Full Version)
Yu-Fang Chen, Chih-Duo Hong, ... (+2 more)
🔮 The Ethereal cs.LO 32 8 years ago
272 A Trichotomy for Regular Trail Queries
Wim Martens, Matthias Niewerth, Tina Popp
🔮 The Ethereal cs.FL 32 7 years ago
273 Placement Delivery Arrays from Combinations of Strong Edge Colorings
Jerod Michel, Qi Wang
🔮 The Ethereal math.CO 32 6 years ago
274 Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms
Marcelo Finger
🔮 The Ethereal cs.LO 32 6 years ago
275 Combining subspace codes
Antonio Cossidente, Sascha Kurz, ... (+2 more)
🔮 The Ethereal math.CO 32 6 years ago
276 Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Julian Gutierrez, Muhammad Najib, ... (+2 more)
🔮 The Ethereal cs.LO 32 5 years ago
277 Co-lexicographically Ordering Automata and Regular Languages -- Part I
Nicola Cotumaccio, Giovanna D'Agostino, ... (+2 more)
🔮 The Ethereal cs.FL 32 3 years ago
278 Two Source Extractors for Asymptotically Optimal Entropy, and (Many) More
Xin Li
🔮 The Ethereal cs.CC 32 3 years ago
279 Abstract Learning Frameworks for Synthesis
Christof Löding, P. Madhusudan, Daniel Neider
🔮 The Ethereal cs.LO 31 10 years ago
280 Quantum Max-flow/Min-cut
Shawn X. Cui, Michael H. Freedman, ... (+3 more)
🔮 The Ethereal math.CO 31 10 years ago
281 Fast Parallel Fixed-Parameter Algorithms via Color Coding
Max Bannach, Christoph Stockhusen, Till Tantau
🔮 The Ethereal cs.CC 31 10 years ago
282 Algorithmic statistics: forty years later
Nikolai Vereshchagin, Alexander Shen
🔮 The Ethereal cs.CC 31 9 years ago
283 The phases of large networks with edge and triangle constraints
Richard Kenyon, Charles Radin, ... (+2 more)
🔮 The Ethereal math.CO 31 9 years ago
284 A Converse to Banach's Fixed Point Theorem and its CLS Completeness
Constantinos Daskalakis, Christos Tzamos, Manolis Zampetakis
🔮 The Ethereal cs.CC 31 9 years ago
285 On the lengths of divisible codes
Michael Kiermaier, Sascha Kurz
🔮 The Ethereal math.CO 31 8 years ago
286 The Bang Calculus and the Two Girard's Translations
Giulio Guerrieri, Giulio Manzonetto
🔮 The Ethereal cs.LO 31 7 years ago
287 Assignment and Pricing of Shared Rides in Ride-Sourcing using Combinatorial Double Auctions
Renos Karamanis, Eleftherios Anastasiadis, ... (+2 more)
🔮 The Ethereal cs.CC 31 6 years ago
288 Sublinear Algorithms for Gap Edit Distance
Elazar Goldenberg, Robert Krauthgamer, Barna Saha
🔮 The Ethereal cs.CC 31 6 years ago
289 Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput
Zinovy Diskin, Harald König, Mark Lawford
🔮 The Ethereal cs.LO 31 6 years ago
290 Monochromatic Triangles, Intermediate Matrix Products, and Convolutions
Andrea Lincoln, Adam Polak, Virginia Vassilevska Williams
🔮 The Ethereal cs.CC 31 5 years ago
291 Flip-width: Cops and Robber on dense graphs
Szymon Toruńczyk
🔮 The Ethereal math.CO 31 3 years ago
292 Estimation of Laplacian spectra of direct and strong product graphs
Hiroki Sayama
🔮 The Ethereal cs.DM 30 10 years ago
293 Bipodal structure in oversaturated random graphs
Richard Kenyon, Charles Radin, ... (+2 more)
🔮 The Ethereal math.CO 30 10 years ago
294 On the Hardest Problem Formulations for the 0/1 Lasserre Hierarchy
Adam Kurpisz, Samuli Leppänen, Monaldo Mastrolilli
🔮 The Ethereal cs.CC 30 10 years ago
295 Formalization of Quantum Protocols using Coq
Jaap Boender, Florian Kammüller, Rajagopal Nagarajan
🔮 The Ethereal cs.LO 30 10 years ago
296 New extremal binary self-dual codes of length 68 via short kharaghani array over f_2 + uf_2
Abidin Kaya
🔮 The Ethereal math.CO 30 10 years ago
297 Designing a semantic model for a wide-spectrum language with concurrency
Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
🔮 The Ethereal cs.LO 30 9 years ago
298 The Advantage of Truncated Permutations
Shoni Gilboa, Shay Gueron
🔮 The Ethereal math.CO 30 9 years ago
299 How hard is it to satisfy (almost) all roommates?
Jiehua Chen, Danny Hermelin, ... (+2 more)
🔮 The Ethereal cs.CC 30 8 years ago
300 Bounded Quantifier Instantiation for Checking Inductive Invariants
Yotam M. Y. Feldman, Oded Padon, ... (+3 more)
🔮 The Ethereal cs.LO 30 8 years ago