💀 The Wall of Shame

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

Page 22, showing 50 papers

# Paper Cause of Death Category Citations Published
1051 Axiomatizations for downward XPath on Data Trees
Sergio Abriola, María Emilia Descotte, ... (+2 more)
🔮 The Ethereal cs.LO 9 10 years ago
1052 Axiomatizing Category Theory in Free Logic
Christoph Benzmüller, Dana S. Scott
🔮 The Ethereal cs.LO 9 9 years ago
1053 Uniquely restricted matchings and edge colorings
Julien Baste, Dieter Rautenbach, Ignasi Sau
🔮 The Ethereal math.CO 9 9 years ago
1054 On fixed-parameter tractability of the mixed domination problem for graphs with bounded tree-width
M. Rajaati, M. R. Hooshmandasl, ... (+2 more)
🔮 The Ethereal cs.DM 9 9 years ago
1055 Perfect phylogenies via branchings in acyclic digraphs and a generalization of Dilworth's theorem
Ademir Hujdurović, Edin Husić, ... (+3 more)
🔮 The Ethereal cs.DM 9 9 years ago
1056 Parameterized Algorithms for Recognizing Monopolar and 2-Subcolorable Graphs
Iyad Kanj, Christian Komusiewicz, ... (+2 more)
🔮 The Ethereal cs.CC 9 9 years ago
1057 Solving the Uncapacitated Single Allocation p-Hub Median Problem on GPU
Abdelhamid Benaini, Achraf Berrajaa, ... (+2 more)
🔮 The Ethereal cs.DM 9 9 years ago
1058 Estimating parameters associated with monotone properties
Carlos Hoppen, Yoshiharu Kohayakawa, ... (+3 more)
🔮 The Ethereal math.CO 9 8 years ago
1059 Dimension 1 sequences are close to randoms
Noam Greenberg, Joe Miller, ... (+2 more)
🔮 The Ethereal math.LO 9 8 years ago
1060 Counterfactual Causality from First Principles?
Gregor Gössler, Oleg Sokolsky, Jean-Bernard Stefani
🔮 The Ethereal cs.LO 9 8 years ago
1061 On Colouring $(2P_2,H)$-Free and $(P_5,H)$-Free Graphs
Konrad Dabrowski, Daniel Paulusma
🔮 The Ethereal cs.CC 9 8 years ago
1062 Topology of Privacy: Lattice Structures and Information Bubbles for Inference and Obfuscation
Michael Erdmann
🔮 The Ethereal math.CO 9 8 years ago
1063 Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic
Christoph Wernhard
🔮 The Ethereal cs.LO 9 8 years ago
1064 Near-optimal approximation algorithm for simultaneous Max-Cut
Amey Bhangale, Subhash Khot, ... (+3 more)
🔮 The Ethereal cs.CC 9 8 years ago
1065 On Large-Scale Graph Generation with Validation of Diverse Triangle Statistics at Edges and Vertices
Geoffrey Sanders, Roger Pearce, ... (+2 more)
🔮 The Ethereal cs.DM 9 8 years ago
1066 New Lower Bounds for Permutation Arrays Using Contraction
Sergey Bereg, Zevi Miller, ... (+3 more)
🔮 The Ethereal math.CO 9 8 years ago
1067 On the Conditional Logic of Simulation Models
Duligur Ibeling, Thomas Icard
🔮 The Ethereal cs.LO 9 8 years ago
1068 On the Semantics of Snapshot Isolation
Azalea Raad, Ori Lahav, Viktor Vafeiadis
🔮 The Ethereal cs.LO 9 8 years ago
1069 An Assmus-Mattson Theorem for Rank Metric Codes
Eimear Byrne, Alberto Ravagnani
🔮 The Ethereal math.CO 9 8 years ago
1070 Approximating real-rooted and stable polynomials, with combinatorial applications
Alexander Barvinok
🔮 The Ethereal math.CO 9 8 years ago
1071 Topological Data Analysis Made Easy with the Topology ToolKit
Guillaume Favelier, Charles Gueunet, ... (+9 more)
🔮 The Ethereal cs.DM 9 8 years ago
1072 A Combinatorial-Probabilistic Analysis of Bitcoin Attacks
Evangelos Georgiadis, Doron Zeilberger
🔮 The Ethereal math.CO 9 7 years ago
1073 Reed-Solomon codes over small fields with constrained generator matrices
Gary Greaves, Jeven Syatriadi
🔮 The Ethereal math.CO 9 7 years ago
1074 Distributed coloring of graphs with an optimal number of colors
Étienne Bamas, Louis Esperet
🔮 The Ethereal math.CO 9 7 years ago
1075 Distance and routing labeling schemes for cube-free median graphs
Victor Chepoi, Arnaud Labourel, Sebastien Ratel
🔮 The Ethereal cs.DM 9 7 years ago
1076 The rank of random matrices over finite fields
Amin Coja-Oghlan, Pu Gao
🔮 The Ethereal math.CO 9 7 years ago
1077 Identifiers in Registers - Describing Network Algorithms with Logic
Benedikt Bollig, Patricia Bouyer, Fabian Reiter
🔮 The Ethereal cs.FL 9 7 years ago
1078 Dualization in lattices given by implicational bases
Oscar Defrain, Lhouari Nourine
🔮 The Ethereal cs.DM 9 7 years ago
1079 Reconfiguration of Connected Graph Partitions
Hugo A. Akitaya, Matthew D. Jones, ... (+6 more)
🔮 The Ethereal cs.DM 9 7 years ago
1080 Probabilistic refinement of the asymptotic spectrum of graphs
Péter Vrana
🔮 The Ethereal math.CO 9 7 years ago
1081 Towards Evolutionary Theorem Proving for Isabelle/HOL
Yutaka Nagashima
🔮 The Ethereal cs.LO 9 7 years ago
1082 Reasoning about disclosure in data integration in the presence of source constraints
Michael Benedikt, Pierre Bourhis, ... (+2 more)
🔮 The Ethereal cs.LO 9 7 years ago
1083 Efficient Graph Rewriting
Graham Campbell
🔮 The Ethereal cs.LO 9 7 years ago
1084 Eccentricity function in distance-hereditary graphs
Feodor F. Dragan, Heather M. Guarnera
🔮 The Ethereal cs.DM 9 7 years ago
1085 Mutation Testing with Hyperproperties
Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
🔮 The Ethereal cs.LO 9 7 years ago
1086 Hardness and approximation for the geodetic set problem in some graph classes
Dibyayan Chakraborty, Florent Foucaud, ... (+3 more)
🔮 The Ethereal cs.DM 9 6 years ago
1087 An Improved Linear Programming Bound on the Average Distance of a Binary Code
Lei Yu, Vincent Y. F. Tan
🔮 The Ethereal math.CO 9 6 years ago
1088 Knowledge of Uncertain Worlds: Programming with Logical Constraints
Yanhong A. Liu, Scott D. Stoller
🔮 The Ethereal cs.LO 9 6 years ago
1089 Improved Bounds for Track Numbers of Planar Graphs
Sergey Pupyrev
🔮 The Ethereal cs.DM 9 6 years ago
1090 Multistage Graph Problems on a Global Budget
Klaus Heeger, Anne-Sophie Himmel, ... (+4 more)
🔮 The Ethereal cs.CC 9 6 years ago
1091 On Efficient Distance Approximation for Graph Properties
Nimrod Fiat, Dana Ron
🔮 The Ethereal math.CO 9 6 years ago
1092 Faster Binary Mean Computation Under Dynamic Time Warping
Nathan Schaar, Vincent Froese, Rolf Niedermeier
🔮 The Ethereal cs.DM 9 6 years ago
1093 On the Classification of Motions of Paradoxically Movable Graphs
Georg Grasegger, Jan Legerský, Josef Schicho
🔮 The Ethereal math.CO 9 6 years ago
1094 Robust testing of low-dimensional functions
Anindya De, Elchanan Mossel, Joe Neeman
🔮 The Ethereal cs.CC 9 6 years ago
1095 Finding Planted Cliques in Sublinear Time
Jay Mardia, Hilal Asi, Kabir Aladin Chandrasekher
🔮 The Ethereal cs.CC 9 6 years ago
1096 A Practical Algorithm for the Computation of the Genus
G. Brinkmann
🔮 The Ethereal math.CO 9 6 years ago
1097 Fixed Point Semantics for Stream Reasoning
Christian Antić
🔮 The Ethereal cs.LO 9 6 years ago
1098 CDCL(Crypto) SAT Solvers for Cryptanalysis
Saeed Nejati, Vijay Ganesh
🔮 The Ethereal cs.LO 9 6 years ago
1099 Improved Extractors for Small-Space Sources
Eshan Chattopadhyay, Jesse Goodman
🔮 The Ethereal cs.CC 9 6 years ago
1100 FPT Algorithms for Finding Near-Cliques in $c$-Closed Graphs
Balaram Behera, Edin Husić, ... (+3 more)
🔮 The Ethereal math.CO 9 6 years ago