💀 The Wall of Shame

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

Page 23, showing 50 papers

# Paper Cause of Death Category Citations Published
1101 Rotational analysis of ChaCha permutation
Stefano Barbero, Emanuele Bellini, Rusydi Makarim
🔮 The Ethereal math.CO 9 5 years ago
1102 On the Mysteries of MAX NAE-SAT
Joshua Brakensiek, Neng Huang, ... (+2 more)
🔮 The Ethereal cs.CC 9 5 years ago
1103 The star-structure connectivity and star-substructure connectivity of hypercubes and folded hypercubes
Lina Ba, Heping Zhang
🔮 The Ethereal math.CO 9 5 years ago
1104 Parametric non-interference in timed automata
Étienne André, Aleksander Kryukov
🔮 The Ethereal cs.FL 9 5 years ago
1105 Hardness of Approximation of Euclidean $k$-Median
Anup Bhattacharya, Dishant Goyal, Ragesh Jaiswal
🔮 The Ethereal cs.CC 9 5 years ago
1106 Mastermind with a Linear Number of Queries
Anders Martinsson, Pascal Su
🔮 The Ethereal math.CO 9 5 years ago
1107 Answering Regular Path Queries Over SQ Ontologies
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
🔮 The Ethereal cs.LO 9 5 years ago
1108 Improved Bounds for $(b,k)$-hashing
Stefano Della Fiore, Simone Costa, Marco Dalai
🔮 The Ethereal math.CO 9 5 years ago
1109 Logarithmic equal-letter runs for BWT of purely morphic words
Andrea Frosini, Ilaria Mancini, ... (+3 more)
🔮 The Ethereal cs.FL 9 4 years ago
1110 On complex roots of the independence polynomial
Ferenc Bencs, Péter Csikvári, ... (+2 more)
🔮 The Ethereal cs.DM 9 4 years ago
1111 Subsequences in Bounded Ranges: Matching and Analysis Problems
Maria Kosche, Tore Koß, ... (+2 more)
🔮 The Ethereal cs.FL 9 4 years ago
1112 Quantum-Inspired Perfect Matching under Vertex-Color Constraints
Moshe Y. Vardi, Zhiwei Zhang
🔮 The Ethereal cs.CC 9 3 years ago
1113 Improved Inapproximability of VC Dimension and Littlestone's Dimension via (Unbalanced) Biclique
Pasin Manurangsi
🔮 The Ethereal cs.CC 9 3 years ago
1114 Observations on the Lovász $θ$-Function, Graph Capacity, Eigenvalues, and Strong Products
Igal Sason
🔮 The Ethereal math.CO 9 3 years ago
1115 Simple Combinatorial Construction of the $k^{o(1)}$-Lower Bound for Approximating the Parameterized $k$-Clique
Yijia Chen, Yi Feng, ... (+2 more)
🔮 The Ethereal cs.CC 9 3 years ago
1116 Properly Learning Decision Trees with Queries Is NP-Hard
Caleb Koch, Carmen Strassle, Li-Yang Tan
🔮 The Ethereal cs.CC 9 3 years ago
1117 Randomized Communication and Implicit Representations for Matrices and Graphs of Small Sign-Rank
Nathaniel Harms, Viktor Zamaraev
🔮 The Ethereal cs.CC 9 3 years ago
1118 Kruskal--Katona-Type Problems via the Entropy Method
Ting-Wei Chao, Hung-Hsun Hans Yu
🔮 The Ethereal math.CO 9 2 years ago
1119 On Model-Checking Higher-Order Effectful Programs (Long Version)
Ugo Dal Lago, Alexis Ghyselen
🔮 The Ethereal cs.LO 9 2 years ago
1120 A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
Gustavo A. Cardona, Kevin Leahy, ... (+2 more)
🔮 The Ethereal cs.LO 9 2 years ago
1121 Sampling Balanced Forests of Grids in Polynomial Time
Sarah Cannon, Wesley Pegden, Jamie Tucker-Foltz
🔮 The Ethereal cs.DM 9 2 years ago
1122 Formal Verification of Zero-Knowledge Circuits
Alessandro Coglio, Eric McCarthy, Eric W. Smith
🔮 The Ethereal cs.LO 9 2 years ago
1123 Counting Small Induced Subgraphs with Edge-monotone Properties
Simon Döring, Dániel Marx, Philip Wellnitz
🔮 The Ethereal cs.CC 9 2 years ago
1124 Exact Algorithms and Lowerbounds for Multiagent Pathfinding: Power of Treelike Topology
Foivos Fioravantes, Dušan Knop, ... (+3 more)
🔮 The Ethereal cs.CC 9 2 years ago
1125 A Certified Proof Checker for Deep Neural Network Verification in Imandra
Remi Desmartin, Omri Isac, ... (+4 more)
🔮 The Ethereal cs.LO 9 2 years ago
1126 Integer programs with nearly totally unimodular matrices: the cographic case
Manuel Aprile, Samuel Fiorini, ... (+5 more)
🔮 The Ethereal math.CO 9 2 years ago
1127 Decomposition Polyhedra of Piecewise Linear Functions
Marie-Charlotte Brandenburg, Moritz Grillo, Christoph Hertrich
🔮 The Ethereal math.CO 9 1 year ago
1128 Asymptotic Delsarte cliques in distance-regular graphs
László Babai, John Wilmes
🔮 The Ethereal math.CO 8 11 years ago
1129 Non-normal modalities in variants of Linear Logic
Daniele Porello, Nicolas Troquard
🔮 The Ethereal cs.LO 8 11 years ago
1130 Tree compression using string grammars
Moses Ganardi, Danny Hucke, ... (+2 more)
🔮 The Ethereal cs.FL 8 11 years ago
1131 Polynomial Factorization over Finite Fields By Computing Euler-Poincare Characteristics of Drinfeld Modules
Anand Kumar Narayanan
🔮 The Ethereal cs.CC 8 11 years ago
1132 A Formal C Memory Model for Separation Logic
Robbert Krebbers
🔮 The Ethereal cs.LO 8 10 years ago
1133 Reversing Single Sessions
Francesco Tiezzi, Nobuko Yoshida
🔮 The Ethereal cs.LO 8 10 years ago
1134 Complexity and Approximability of Parameterized MAX-CSPs
Holger Dell, Eun Jung Kim, ... (+3 more)
🔮 The Ethereal cs.CC 8 10 years ago
1135 Near-Optimal UGC-hardness of Approximating Max k-CSP_R
Pasin Manurangsi, Preetum Nakkiran, Luca Trevisan
🔮 The Ethereal cs.CC 8 10 years ago
1136 On the hardness of learning sparse parities
Arnab Bhattacharyya, Ameet Gadekar, ... (+2 more)
🔮 The Ethereal cs.CC 8 10 years ago
1137 Linear Models of Computation and Program Learning
Michael Bukatin, Steve Matthews
🔮 The Ethereal cs.LO 8 10 years ago
1138 A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction
Jonathan H. Warrell
🔮 The Ethereal cs.LO 8 10 years ago
1139 Enablers and Inhibitors in Causal Justifications of Logic Programs
Pedro Cabalar, Jorge Fandinno
🔮 The Ethereal cs.LO 8 10 years ago
1140 A short proof that $O_2$ is an MCFL
Mark-Jan Nederhof
🔮 The Ethereal cs.FL 8 10 years ago
1141 On the number of equivalence classes of invertible Boolean functions under action of permutation of variables on domain and range
Marko Carić, Miodrag Živković
🔮 The Ethereal math.CO 8 10 years ago
1142 The second Feng-Rao number for codes coming from telescopic semigroups
José I. Farrán, P. A. García-Sánchez, ... (+2 more)
🔮 The Ethereal math.CO 8 10 years ago
1143 HordeQBF: A Modular and Massively Parallel QBF Solver
Tomas Balyo, Florian Lonsing
🔮 The Ethereal cs.LO 8 10 years ago
1144 The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable
Clément Carbonnel
🔮 The Ethereal cs.CC 8 10 years ago
1145 Extracting Higher-Order Goals from the Mizar Mathematical Library
Chad Brown, Josef Urban
🔮 The Ethereal cs.LO 8 10 years ago
1146 SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java
Alvaro Miyazawa, Ana Cavalcanti
🔮 The Ethereal cs.LO 8 10 years ago
1147 Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic
Iris van de Pol, Iris van Rooij, Jakub Szymanik
🔮 The Ethereal cs.LO 8 10 years ago
1148 Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
Lars Luthmann, Stephan Mennicke, Malte Lochau
🔮 The Ethereal cs.LO 8 10 years ago
1149 The chromatic number of the square of the 8-cube
Janne I. Kokkala, Patric R. J. Östergård
🔮 The Ethereal math.CO 8 10 years ago
1150 Layerwise computability and image randomness
Laurent Bienvenu, Mathieu Hoyrup, Alexander Shen
🔮 The Ethereal math.LO 8 10 years ago