💀 The Wall of Shame

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

Page 38, showing 50 papers

# Paper Cause of Death Category Citations Published
1851 Maximizing Matching Cuts
Van Bang Le, Felicia Lucke, ... (+2 more)
🔮 The Ethereal math.CO 4 2 years ago
1852 Theoretical analysis of git bisect
Julien Courtiel, Paul Dorbec, Romain Lecoq
🔮 The Ethereal cs.DM 4 2 years ago
1853 The Tactician's Web of Large-Scale Formal Knowledge
Lasse Blaauwbroek
🔮 The Ethereal cs.LO 4 2 years ago
1854 Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
Noam Zilberstein
🔮 The Ethereal cs.LO 4 2 years ago
1855 Randomized query composition and product distributions
Swagato Sanyal
🔮 The Ethereal cs.CC 4 2 years ago
1856 Reversing information flow: retrodiction in semicartesian categories
Arthur J. Parzygnat
🔮 The Ethereal math.CT 4 2 years ago
1857 Noisy group testing via spatial coupling
Amin Coja-Oghlan, Max Hahn-Klimroth, ... (+5 more)
🔮 The Ethereal cs.DM 4 2 years ago
1858 Fundamental Problems on Bounded-Treewidth Graphs: The Real Source of Hardness
Barış Can Esmer, Jacob Focke, ... (+2 more)
🔮 The Ethereal cs.CC 4 2 years ago
1859 Improved Space Bounds for Subset Sum
Tatiana Belova, Nikolai Chukhin, ... (+2 more)
🔮 The Ethereal cs.CC 4 2 years ago
1860 Probabilistic estimates of the diameters of the Rubik's Cube groups
So Hirata
🔮 The Ethereal cs.DM 4 2 years ago
1861 Finding d-Cuts in Graphs of Bounded Diameter, Graphs of Bounded Radius and H-Free Graphs
Felicia Lucke, Ali Momeni, ... (+2 more)
🔮 The Ethereal math.CO 4 2 years ago
1862 Exponential Steepest Ascent from Valued Constraint Graphs of Pathwidth Four
Artem Kaznatcheev, Melle van Marle
🔮 The Ethereal cs.DM 4 2 years ago
1863 On the Inapproximability of Finding Minimum Monitoring Edge-Geodetic Sets
Davide Bilò, Giordano Colli, ... (+2 more)
🔮 The Ethereal cs.CC 4 2 years ago
1864 Complexity of Robust Orbit Problems for Torus Actions and the abc-conjecture
Peter Bürgisser, Mahmut Levent Doğan, ... (+3 more)
🔮 The Ethereal cs.CC 4 2 years ago
1865 Tachis: Higher-Order Separation Logic with Credits for Expected Costs
Philipp G. Haselwarter, Kwing Hei Li, ... (+5 more)
🔮 The Ethereal cs.LO 4 2 years ago
1866 The geometry of intersecting codes and applications to additive combinatorics and factorization theory
Martino Borello, Wolfgang Schmid, Martin Scotti
🔮 The Ethereal math.CO 4 2 years ago
1867 Bisimulation for Impure Simplicial Complexes
Marta Bílková, Hans van Ditmarsch, ... (+2 more)
🔮 The Ethereal cs.LO 4 2 years ago
1868 Totally symmetric Grassmannian codes
Matthew Fickus, Joseph W. Iverson, ... (+2 more)
🔮 The Ethereal math.CO 4 2 years ago
1869 Reusable Formal Verification of DAG-based Consensus Protocols
Nathalie Bertrand, Pranav Ghorpade, ... (+3 more)
🔮 The Ethereal cs.LO 4 2 years ago
1870 Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
Meghyn Bienvenu, Camille Bourgaux, Robin Jean
🔮 The Ethereal cs.LO 4 1 year ago
1871 Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
Ondřej Vašíček, Joaquin Arias, ... (+7 more)
🔮 The Ethereal cs.LO 4 1 year ago
1872 Smoothed analysis for graph isomorphism
Michael Anastos, Matthew Kwan, Benjamin Moore
🔮 The Ethereal math.CO 4 1 year ago
1873 Subsequence Matching and Analysis Problems for Formal Languages
Szilárd Zsolt Fazekas, Tore Koß, ... (+3 more)
🔮 The Ethereal cs.FL 4 1 year ago
1874 Relative-error monotonicity testing
Xi Chen, Anindya De, ... (+5 more)
🔮 The Ethereal cs.CC 4 1 year ago
1875 The geometry of covering codes in the sum-rank metric
Matteo Bonini, Martino Borello, Eimear Byrne
🔮 The Ethereal math.CO 4 1 year ago
1876 LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
Benjamin Aminof, Giuseppe De Giacomo, ... (+2 more)
🔮 The Ethereal cs.LO 4 1 year ago
1877 Solving Multiagent Path Finding on Highly Centralized Networks
Foivos Fioravantes, Dušan Knop, ... (+4 more)
🔮 The Ethereal cs.CC 4 1 year ago
1878 Graph parameters that are coarsely equivalent to tree-length
Feodor F. Dragan
🔮 The Ethereal math.CO 4 1 year ago
1879 An Improved Bound for the Beck-Fiala Conjecture
Nikhil Bansal, Haotian Jiang
🔮 The Ethereal math.CO 4 11 months ago
1880 On the Complexity of Sorted Neighborhood
Mayank Kejriwal, Daniel P. Miranker
🔮 The Ethereal cs.CC 3 11 years ago
1881 Improving the Deductive System DES with Persistence by Using SQL DBMS's
Fernando Sáenz-Pérez
🔮 The Ethereal cs.LO 3 11 years ago
1882 Finding Connected Dense $k$-Subgraphs
Xujin Chen, Xiaodong Hu, Changjun Wang
🔮 The Ethereal cs.DM 3 11 years ago
1883 Some enumerations of binary digital images
P. Christopher Staecker
🔮 The Ethereal math.CO 3 11 years ago
1884 A simple framework on sorting permutations
Ricky X. F. Chen, Christian M. Reidys
🔮 The Ethereal math.CO 3 11 years ago
1885 New Algorithms for Computing a Single Component of the Discrete Fourier Transform
G. Jerônimo da Silva, R. M. Campello de Souza, H. M. de Oliveira
🔮 The Ethereal cs.DM 3 11 years ago
1886 Dynamic Programming on Nominal Graphs
Nicklas Hoch, Ugo Montanari, Matteo Sammartino
🔮 The Ethereal cs.LO 3 11 years ago
1887 Sparse multivariate polynomial interpolation in the basis of Schubert polynomials
Priyanka Mukhopadhyay, Youming Qiao
🔮 The Ethereal cs.CC 3 11 years ago
1888 Additive monotones for resource theories of parallel-combinable processes with discarding
Brendan Fong, Hugo Nava-Kopp
🔮 The Ethereal cs.LO 3 11 years ago
1889 An Implementation Model for Interaction Nets
Abubakar Hassan, Ian Mackie, Shinya Sato
🔮 The Ethereal cs.LO 3 11 years ago
1890 Differentially Private Response Mechanisms on Categorical Data
Naoise Holohan, Doug Leith, Oliver Mason
🔮 The Ethereal cs.DM 3 11 years ago
1891 Polynomial Expressions of Carries in p-ary Arithmetics
Shizuo Kaji, Toshiaki Maeno, ... (+2 more)
🔮 The Ethereal math.CO 3 11 years ago
1892 The Truncated & Supplemented Pascal Matrix and Applications
M. Hua, S. B. Damelin, ... (+2 more)
🔮 The Ethereal math.CO 3 11 years ago
1893 Ride Sharing with a Vehicle of Unlimited Capacity
Angelo Fanelli, Gianluigi Greco
🔮 The Ethereal cs.DM 3 11 years ago
1894 Bounds for codes on pentagon and other cycles
Marco Dalai, Yury Polyanskiy
🔮 The Ethereal math.CO 3 10 years ago
1895 Iteration Algebras for UnQL Graphs and Completeness for Bisimulation
Makoto Hamana
🔮 The Ethereal cs.LO 3 10 years ago
1896 Self-Coordinated Corona Graphs: a model for complex networks
Rohan Sharma, Bibhas Adhikari
🔮 The Ethereal cs.DM 3 10 years ago
1897 Recognizing Union-Find trees is NP-complete
Kitti Gelle, Szabolcs Ivan
🔮 The Ethereal cs.CC 3 10 years ago
1898 Subsequence Automata with Default Transitions
Philip Bille, Inge Li Gørtz, Frederik Rye Skjoldjensen
🔮 The Ethereal cs.FL 3 10 years ago
1899 Type Soundness for Path Polymorphism
Andrés Viso, Eduardo Bonelli, Mauricio Ayala-Rincón
🔮 The Ethereal cs.LO 3 10 years ago
1900 A Typed Model for Dynamic Authorizations
Silvia Ghilezan, Svetlana Jakšić, ... (+3 more)
🔮 The Ethereal cs.LO 3 10 years ago