💀 The Wall of Shame

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

Page 10, showing 50 papers

# Paper Cause of Death Category Citations Published
451 Amplifiers and Suppressors of Selection for the Moran Process on Undirected Graphs
George Giakkoupis
🔮 The Ethereal cs.DM 22 9 years ago
452 Knapsack Problems: A Parameterized Point of View
Carolin Albrecht, Frank Gurski, ... (+2 more)
🔮 The Ethereal cs.CC 22 9 years ago
453 Conflict-Free Coloring of Planar Graphs
Zachary Abel, Victor Alvarez, ... (+6 more)
🔮 The Ethereal cs.DM 22 9 years ago
454 Dynamic Conjunctive Queries
Thomas Zeume, Thomas Schwentick
🔮 The Ethereal cs.LO 22 9 years ago
455 Uniform generation of random graphs with power-law degree sequences
Pu Gao, Nicholas Wormald
🔮 The Ethereal math.CO 22 8 years ago
456 Polynomial Cases for the Vertex Coloring Problem
T. Karthick, Frédéric Maffray, Lucas Pastor
🔮 The Ethereal math.CO 22 8 years ago
457 Facets of Software Doping
Gilles Barthe, Pedro R. D'Argenio, ... (+2 more)
🔮 The Ethereal cs.LO 22 8 years ago
458 A complexity dichotomy for Matching Cut in (bipartite) graphs of fixed diameter
Hoang-Oanh Le, Van Bang Le
🔮 The Ethereal cs.CC 22 7 years ago
459 What is algebraic about algebraic effects and handlers?
Andrej Bauer
🔮 The Ethereal cs.LO 22 7 years ago
460 New lower bound on the Shannon capacity of C7 from circular graphs
Sven Polak, Alexander Schrijver
🔮 The Ethereal math.CO 22 7 years ago
461 Forman's Ricci curvature - From networks to hypernetworks
Emil Saucan, Melanie Weber
🔮 The Ethereal cs.DM 22 7 years ago
462 The hat guessing number of graphs
Noga Alon, Omri Ben-Eliezer, ... (+2 more)
🔮 The Ethereal math.CO 22 7 years ago
463 Junta correlation is testable
Anindya De, Elchanan Mossel, Joe Neeman
🔮 The Ethereal cs.CC 22 7 years ago
464 Verified Optimization in a Quantum Intermediate Representation
Kesha Hietala, Robert Rand, ... (+3 more)
🔮 The Ethereal cs.LO 22 7 years ago
465 Quaternary Hermitian linear complementary dual codes
Makoto Araya, Masaaki Harada, Ken Saito
🔮 The Ethereal math.CO 22 7 years ago
466 Average-based Robustness for Continuous-Time Signal Temporal Logic
Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
🔮 The Ethereal cs.FL 22 6 years ago
467 A Calculus for Modular Loop Acceleration
Florian Frohn
🔮 The Ethereal cs.LO 22 6 years ago
468 Common Complements of Linear Subspaces and the Sparseness of MRD Codes
Anina Gruica, Alberto Ravagnani
🔮 The Ethereal math.CO 22 5 years ago
469 Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers
Danilo Pianini, Roberto Casadei, ... (+3 more)
🔮 The Ethereal cs.LO 22 5 years ago
470 The Existential Theory of the Reals as a Complexity Class: A Compendium
Marcus Schaefer, Jean Cardinal, Tillmann Miltzow
🔮 The Ethereal cs.CC 22 1 year ago
471 Parameterized Algorithms for Deletion to (r,l)-graphs
Sudeshna Kolay, Fahad Panolan
🔮 The Ethereal cs.CC 21 10 years ago
472 LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners
Max Wisniewski, Alexander Steen, Christoph Benzmüller
🔮 The Ethereal cs.LO 21 10 years ago
473 Using Program Synthesis for Program Analysis
Cristina David, Daniel Kroening, Matt Lewis
🔮 The Ethereal cs.LO 21 10 years ago
474 The Complexity of Pattern Matching for $321$-Avoiding and Skew-Merged Permutations
Michael H. Albert, Marie-Louise Lackner, ... (+2 more)
🔮 The Ethereal math.CO 21 10 years ago
475 Future-based Static Analysis of Message Passing Programs
Wytse Oortwijn, Stefan Blom, Marieke Huisman
🔮 The Ethereal cs.LO 21 9 years ago
476 An Abstract Semantics of the Global View of Choreographies
Roberto Guanciale, Emilio Tuosto
🔮 The Ethereal cs.LO 21 9 years ago
477 Homomorphism bounds and edge-colourings of $K_4$-minor-free graphs
Laurent Beaudou, Florent Foucaud, Reza Naserasr
🔮 The Ethereal math.CO 21 9 years ago
478 Certifying coloring algorithms for graphs without long induced paths
Marcin Kamiński, Anna Pstrucha
🔮 The Ethereal math.CO 21 9 years ago
479 The Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard Regime
Jess Banks, Robert Kleinberg, Cristopher Moore
🔮 The Ethereal cs.CC 21 8 years ago
480 Hardness Results for Structured Linear Systems
Rasmus Kyng, Peng Zhang
🔮 The Ethereal cs.CC 21 8 years ago
481 Some restrictions on weight enumerators of singly even self-dual codes II
Masaaki Harada, Akihiro Munemasa
🔮 The Ethereal math.CO 21 8 years ago
482 The Refinement Calculus of Reactive Systems Toolset
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
🔮 The Ethereal cs.LO 21 8 years ago
483 Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection (Technical Report)
Milan Ceska, Vojtech Havlena, ... (+3 more)
🔮 The Ethereal cs.FL 21 8 years ago
484 Adaptive Lower Bound for Testing Monotonicity on the Line
Aleksandrs Belovs
🔮 The Ethereal cs.CC 21 8 years ago
485 Maximum Realizability for Linear Temporal Logic Specifications
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
🔮 The Ethereal cs.LO 21 8 years ago
486 Doubly transitive lines I: Higman pairs and roux
Joseph W. Iverson, Dustin G. Mixon
🔮 The Ethereal math.CO 21 7 years ago
487 Best-case and Worst-case Sparsifiability of Boolean CSPs
Hubie Chen, Bart M. P. Jansen, Astrid Pieterse
🔮 The Ethereal cs.CC 21 7 years ago
488 Differentiable Causal Computations via Delayed Trace
David Sprunger, Shin-ya Katsumata
🔮 The Ethereal cs.LO 21 7 years ago
489 On the Maximum Weight Independent Set Problem in graphs without induced cycles of length at least five
Maria Chudnovsky, Marcin Pilipczuk, ... (+2 more)
🔮 The Ethereal cs.DM 21 7 years ago
490 Computer Science and Metaphysics: A Cross-Fertilization
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
🔮 The Ethereal cs.LO 21 6 years ago
491 An improved approximation algorithm for ATSP
Vera Traub, Jens Vygen
🔮 The Ethereal cs.DM 21 6 years ago
492 Hardness of Random Optimization Problems for Boolean Circuits, Low-Degree Polynomials, and Langevin Dynamics
David Gamarnik, Aukosh Jagannath, Alexander S. Wein
🔮 The Ethereal cs.CC 21 5 years ago
493 Walking through Doors is Hard, even without Staircases: Proving PSPACE-hardness via Planar Assemblies of Door Gadgets
Hayashi Ani, Jeffrey Bosboom, ... (+4 more)
🔮 The Ethereal cs.CC 21 5 years ago
494 Maximizing coverage while ensuring fairness: a tale of conflicting objective
Abolfazl Asudeh, Tanya Berger-Wolf, ... (+2 more)
🔮 The Ethereal cs.CC 21 5 years ago
495 LTLf Synthesis on Probabilistic Systems
Andrew M. Wells, Morteza Lahijanian, ... (+2 more)
🔮 The Ethereal cs.LO 21 5 years ago
496 Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Pierre Bourhis, Carsten Lutz
🔮 The Ethereal cs.LO 21 5 years ago
497 Client-Server Sessions in Linear Logic
Zesen Qian, G. A. Kavvos, Lars Birkedal
🔮 The Ethereal cs.LO 21 5 years ago
498 A SAT-based Resolution of Lam's Problem
Curtis Bright, Kevin K. H. Cheung, ... (+3 more)
🔮 The Ethereal cs.DM 21 5 years ago
499 Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
Lorenz Leutgeb, Georg Moser, Florian Zuleger
🔮 The Ethereal cs.LO 21 3 years ago
500 Cover Your Bases: How to Minimize the Sequencing Coverage in DNA Storage Systems
Daniella Bar-Lev, Omer Sabary, ... (+2 more)
🔮 The Ethereal cs.DM 21 2 years ago