💀 The Wall of Shame

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

Page 42, showing 50 papers

# Paper Cause of Death Category Citations Published
2051 Filling a triangulation of the 2-sphere
Peter Doyle, Matthew Ellison, Zili Wang
🔮 The Ethereal math.CO 3 3 years ago
2052 Lengths of divisible codes with restricted column multiplicities
Theresa Körner, Sascha Kurz
🔮 The Ethereal math.CO 3 3 years ago
2053 Fast Numerical Multivariate Multipoint Evaluation
Sumanta Ghosh, Prahladh Harsha, ... (+3 more)
🔮 The Ethereal cs.DM 3 3 years ago
2054 On Testability of First-Order Properties in Bounded-Degree Graphs and Connections to Proximity-Oblivious Testing
Isolde Adler, Noleen Köhler, Pan Peng
🔮 The Ethereal cs.LO 3 3 years ago
2055 Foundations for an Abstract Proof Theory in the Context of Horn Rules
Tim S. Lyon, Piotr Ostropolski-Nalewaja
🔮 The Ethereal cs.LO 3 3 years ago
2056 Solving Unique Games over Globally Hypercontractive Graphs
Mitali Bafna, Dor Minzer
🔮 The Ethereal cs.CC 3 3 years ago
2057 Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
Vivek Nigam, Carolyn Talcott
🔮 The Ethereal cs.LO 3 3 years ago
2058 Covering multigraphs with bipartite graphs
Jaehoon Kim, Hyunwoo Lee
🔮 The Ethereal math.CO 3 3 years ago
2059 Quasi-cyclic perfect codes in Doob graphs and special partitions of Galois rings
Minjia Shi, Xiaoxiao Li, ... (+2 more)
🔮 The Ethereal math.CO 3 3 years ago
2060 Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars
Megan Strauss, Stefan Mitsch
🔮 The Ethereal cs.LO 3 3 years ago
2061 On the Implementation of Boolean Functions on Content-Addressable Memories
Ron M. Roth
🔮 The Ethereal cs.DM 3 3 years ago
2062 Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs Part II: Hardness Results
Jacob Focke, Dániel Marx, ... (+5 more)
🔮 The Ethereal cs.CC 3 3 years ago
2063 Ternary extremal four-negacirculant self-dual codes
Masaaki Harada, Keita Ishizuka, Hadi Kharaghani
🔮 The Ethereal math.CO 3 3 years ago
2064 Preprocessing Complexity for Some Graph Problems Parameterized by Structural Parameters
Manuel Lafond, Weidong Luo
🔮 The Ethereal cs.CC 3 3 years ago
2065 New Menger-like dualities in digraphs and applications to half-integral linkages
Victor Campos, Jonas Costa, ... (+2 more)
🔮 The Ethereal math.CO 3 3 years ago
2066 Generalized Core Spanner Inexpressibility via Ehrenfeucht-Fraïssé Games for FC
Sam M. Thompson, Dominik D. Freydenberger
🔮 The Ethereal cs.LO 3 3 years ago
2067 Complexity Dichotomies for the Maximum Weighted Digraph Partition Problem
Argyrios Deligkas, Eduard Eiben, ... (+3 more)
🔮 The Ethereal cs.DM 3 3 years ago
2068 A Strong Composition Theorem for Junta Complexity and the Boosting of Property Testers
Guy Blanc, Caleb Koch, ... (+2 more)
🔮 The Ethereal cs.CC 3 3 years ago
2069 Optimal Mixing via Tensorization for Random Independent Sets on Arbitrary Trees
Charilaos Efthymiou, Thomas P. Hayes, ... (+2 more)
🔮 The Ethereal cs.DM 3 3 years ago
2070 Polynomial Time and Dependent Types
Robert Atkey
🔮 The Ethereal cs.LO 3 3 years ago
2071 $\mathcal{P}$-matchings Parameterized by Treewidth
Juhi Chaudhary, Meirav Zehavi
🔮 The Ethereal cs.DM 3 3 years ago
2072 Model Checking Time Window Temporal Logic for Hyperproperties
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
🔮 The Ethereal cs.LO 3 2 years ago
2073 Enumeration and updates for conjunctive linear algebra queries through expressibility
Thomas Muñoz, Cristian Riveros, Stijn Vansummeren
🔮 The Ethereal cs.CC 3 2 years ago
2074 Circular External Difference Families: Construction and Non-Existence
Huawei Wu, Jing Yang, Keqin Feng
🔮 The Ethereal math.CO 3 2 years ago
2075 Reachability in Continuous Pushdown VASS
A. R. Balasubramanian, Rupak Majumdar, ... (+2 more)
🔮 The Ethereal cs.FL 3 2 years ago
2076 Formal Translation from Reversing Petri Nets to Coloured Petri Nets
Kamila Barylska, Anna Gogolinska, ... (+4 more)
🔮 The Ethereal cs.LO 3 2 years ago
2077 Modularity of nearly complete graphs and bipartite graphs
Colin McDiarmid, Fiona Skerman
🔮 The Ethereal math.CO 3 2 years ago
2078 Testing Intersecting and Union-Closed Families
Xi Chen, Anindya De, ... (+3 more)
🔮 The Ethereal cs.CC 3 2 years ago
2079 Crash-Stop Failures in Asynchronous Multiparty Session Types
Adam D. Barwell, Ping Hou, ... (+2 more)
🔮 The Ethereal cs.LO 3 2 years ago
2080 Local certification of geometric graph classes
Oscar Defrain, Louis Esperet, ... (+3 more)
🔮 The Ethereal cs.DM 3 2 years ago
2081 An Introduction to Transshipments Over Time
Martin Skutella
🔮 The Ethereal cs.DM 3 2 years ago
2082 Bisimplicial separators
Martin Milanič, Irena Penev, ... (+2 more)
🔮 The Ethereal math.CO 3 2 years ago
2083 On recognition algorithms and structure of graphs with restricted induced cycles
Linda Cook
🔮 The Ethereal math.CO 3 2 years ago
2084 Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories
Hugo Paquet, Philip Saville
🔮 The Ethereal cs.LO 3 2 years ago
2085 Elementary first-order model checking for sparse graphs
Jakub Gajarský, Michał Pilipczuk, ... (+3 more)
🔮 The Ethereal cs.LO 3 2 years ago
2086 Independent set reconfiguration in H-free graphs
Valentin Bartier, Nicolas Bousquet, Moritz Mühlenthaler
🔮 The Ethereal cs.DM 3 2 years ago
2087 Complexity of the (Connected) Cluster Vertex Deletion problem on $H$-free graphs
Hoang-Oanh Le, Van Bang Le
🔮 The Ethereal cs.DM 3 2 years ago
2088 Nearest Neighbor Representations of Neurons
Kordag Mehmet Kilic, Jin Sima, Jehoshua Bruck
🔮 The Ethereal cs.CC 3 2 years ago
2089 An improved lower bound on the Shannon capacities of complements of odd cycles
Daniel G. Zhu
🔮 The Ethereal math.CO 3 2 years ago
2090 Lettericity of graphs: an FPT algorithm and a bound on the size of obstructions
Bogdan Alecu, Mamadou Moustapha Kanté, ... (+2 more)
🔮 The Ethereal math.CO 3 2 years ago
2091 Towards Deterministic Algorithms for Constant-Depth Factors of Constant-Depth Circuits
Mrinal Kumar, Varun Ramanathan, ... (+2 more)
🔮 The Ethereal cs.CC 3 2 years ago
2092 Solving the Multiobjective Quasi-Clique Problem
Daniela Scherer dos Santos, Kathrin Klamroth, ... (+2 more)
🔮 The Ethereal cs.DM 3 2 years ago
2093 The operadic theory of convexity
Redi Haderi, Cihan Okay, Walker H. Stern
🔮 The Ethereal math.CT 3 2 years ago
2094 Cosystolic Expansion of Sheaves on Posets with Applications to Good 2-Query Locally Testable Codes and Lifted Codes
Uriya A. First, Tali Kaufman
🔮 The Ethereal math.CO 3 2 years ago
2095 A New Information Complexity Measure for Multi-pass Streaming with Applications
Mark Braverman, Sumegha Garg, ... (+4 more)
🔮 The Ethereal cs.CC 3 2 years ago
2096 Approximating the volume of a truncated relaxation of the independence polytope
Ferenc Bencs, Guus Regts
🔮 The Ethereal math.CO 3 2 years ago
2097 The Simultaneous Interval Number: A New Width Parameter that Measures the Similarity to Interval Graphs
Jesse Beisegel, Nina Chiarelli, ... (+4 more)
🔮 The Ethereal cs.DM 3 2 years ago
2098 Computing Inductive Invariants of Regular Abstraction Frameworks
Philipp Czerner, Javier Esparza, ... (+2 more)
🔮 The Ethereal cs.FL 3 2 years ago
2099 Improving the Gilbert-Varshamov bound for permutation Codes in the Cayley metric and Kendall $τ$-Metric
The Nguyen
🔮 The Ethereal math.CO 3 2 years ago
2100 Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
Márk Somorjai, Mihály Dobos-Kovács, ... (+3 more)
🔮 The Ethereal cs.LO 3 2 years ago