💀 The Wall of Shame

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

Page 41, showing 50 papers

# Paper Cause of Death Category Citations Published
2001 Proceedings 16th International Conference on Quantum Physics and Logic
Bob Coecke, Matthew Leifer
🔮 The Ethereal cs.LO 3 6 years ago
2002 On embedding Lambek calculus into commutative categorial grammars
Sergey Slavnov
🔮 The Ethereal math.LO 3 6 years ago
2003 Verification of the IBOS Browser Security Properties in Reachability Logic
Stephen Skeirik, José Meseguer, Camilo Rocha
🔮 The Ethereal cs.LO 3 6 years ago
2004 Compaction for two models of logarithmic-depth trees: Analysis and Experiments
Olivier Bodini, Antoine Genitrini, ... (+3 more)
🔮 The Ethereal math.CO 3 6 years ago
2005 Common equivalence and size after forgetting
Paolo Liberatore
🔮 The Ethereal cs.LO 3 6 years ago
2006 Efficient enumeration of maximal split subgraphs and induced sub-cographs and related classes
Caroline Brosse, Aurélie Lagoutte, ... (+3 more)
🔮 The Ethereal cs.DM 3 6 years ago
2007 A Classification of Weak Asynchronous Models of Distributed Computing
Javier Esparza, Fabian Reiter
🔮 The Ethereal cs.FL 3 6 years ago
2008 The uncertainty principle over finite fields
Martino Borello, Patrick Solé
🔮 The Ethereal math.CO 3 6 years ago
2009 Vertex distinction with subgraph centrality: a proof of Estrada's conjecture and some generalizations
Francesco Ballini, Nikita Deniskin
🔮 The Ethereal math.CO 3 6 years ago
2010 On the Number of Affine Equivalence Classes of Boolean Functions
Xiang-dong Hou
🔮 The Ethereal math.CO 3 6 years ago
2011 Automated Verification of Reactive and Concurrent Programs by Calculation
Simon Foster, Kangfeng Ye, ... (+2 more)
🔮 The Ethereal cs.LO 3 5 years ago
2012 Uniquely optimal codes of low complexity are symmetric
Emily J. King, Dustin G. Mixon, ... (+2 more)
🔮 The Ethereal math.CO 3 5 years ago
2013 Improving on Best-of-Many-Christofides for $T$-tours
Vera Traub
🔮 The Ethereal cs.DM 3 5 years ago
2014 Singularity of random integer matrices with large entries
Sankeerth Rao Karingula, Shachar Lovett
🔮 The Ethereal cs.CC 3 5 years ago
2015 On the restricted isometry property of the Paley matrix
Shohei Satake
🔮 The Ethereal math.CO 3 5 years ago
2016 On the Complexity of Symbolic Finite-State Automata
Dana Fisman, Hadar Frenkel, Sandra Zilles
🔮 The Ethereal cs.FL 3 5 years ago
2017 Hardness of Approximate Nearest Neighbor Search under L-infinity
Young Kun Ko, Min Jae Song
🔮 The Ethereal cs.CC 3 5 years ago
2018 Comparing computational entropies below majority (or: When is the dense model theorem false?)
Russell Impagliazzo, Sam McGuire
🔮 The Ethereal cs.CC 3 5 years ago
2019 Reversibility and Composition of Rewriting in Hierarchies
Russ Harmer, Eugenia Oshurko
🔮 The Ethereal cs.LO 3 5 years ago
2020 Lions and contamination, triangular grids, and Cheeger constants
Henry Adams, Leah Gibson, Jack Pfaffinger
🔮 The Ethereal math.CO 3 5 years ago
2021 Constructing minimally 3-connected graphs
J. P. Costalonga, R. J. Kingan, S. R. Kingan
🔮 The Ethereal math.CO 3 5 years ago
2022 On partial information retrieval: the unconstrained 100 prisoner problem
Ivano Lodato, Snehal M. Shekatkar, Tian An Wong
🔮 The Ethereal math.CO 3 5 years ago
2023 Learning algorithms from circuit lower bounds
Ján Pich
🔮 The Ethereal cs.CC 3 5 years ago
2024 The Sherali-Adams Hierarchy for Promise CSPs through Tensors
Lorenzo Ciardo, Stanislav Živný
🔮 The Ethereal cs.CC 3 4 years ago
2025 Quantum and Classical Algorithms for Bounded Distance Decoding
Richard Allen, Ratip Emin Berker, ... (+2 more)
🔮 The Ethereal cs.CC 3 4 years ago
2026 Mirror Games Against an Open Book Player
Roey Magen, Moni Naor
🔮 The Ethereal cs.CC 3 4 years ago
2027 Maximum-utility popular matchings with bounded instability
Ildikó Schlotter, Ágnes Cseh
🔮 The Ethereal cs.DM 3 4 years ago
2028 A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2
Alessandro Coglio
🔮 The Ethereal cs.LO 3 4 years ago
2029 Computing homomorphisms in hereditary graph classes: the peculiar case of the 5-wheel and graphs with no long claws
Michał Dębski, Zbigniew Lonc, ... (+3 more)
🔮 The Ethereal math.CO 3 4 years ago
2030 An Improved Algorithm for Finding the Shortest Synchronizing Words
Marek Szykuła, Adam Zyzik
🔮 The Ethereal cs.FL 3 4 years ago
2031 On the Complexity of Identifying Strongly Regular Graphs
Michael Levet
🔮 The Ethereal cs.CC 3 4 years ago
2032 On Model Reconciliation: How to Reconcile When Robot Does not Know Human's Model?
Ho Tuan Dung, Tran Cao Son
🔮 The Ethereal cs.LO 3 3 years ago
2033 A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers
Maximiliano Cristiá, Gianfranco Rossi
🔮 The Ethereal cs.LO 3 3 years ago
2034 Combinatorial Optimization via the Sum of Squares Hierarchy
Goutham Rajendran
🔮 The Ethereal cs.CC 3 3 years ago
2035 Avoider-Enforcer Game is NP-hard
Tillmann Miltzow, Miloš Stojaković
🔮 The Ethereal cs.CC 3 3 years ago
2036 An improved lower bound on the length of the longest cycle in random graphs
Michael Anastos
🔮 The Ethereal math.CO 3 3 years ago
2037 Structured $(\min,+)$-Convolution And Its Applications For The Shortest Vector, Closest Vector, and Separable Nonlinear Knapsack Problems
D. V. Gribanov, I. A. Shumilov, D. S. Malyshev
🔮 The Ethereal cs.CC 3 3 years ago
2038 Bisimulations Respecting Duration and Causality for the Non-interleaving Applied $π$-Calculus
Clément Aubert, Ross Horne, Christian Johansen
🔮 The Ethereal cs.LO 3 3 years ago
2039 Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets
Giann Karlo Aguirre-Samboní, Stefan Haar, ... (+3 more)
🔮 The Ethereal cs.FL 3 3 years ago
2040 Nearly optimal independence oracle algorithms for edge estimation in hypergraphs
Holger Dell, John Lapinskas, Kitty Meeks
🔮 The Ethereal cs.CC 3 3 years ago
2041 Computing Well-Covered Vector Spaces of Graphs using Modular Decomposition
Martin Milanič, Nevena Pivač
🔮 The Ethereal math.CO 3 3 years ago
2042 Solving Quantified Modal Logic Problems by Translation to Classical Logics
Alexander Steen, Geoff Sutcliffe, Christoph Benzmüller
🔮 The Ethereal cs.LO 3 3 years ago
2043 On Knuth's conjecture for back and forward arcs in Depth First Search in a random digraph with geometric outdegree distribution
Svante Janson
🔮 The Ethereal math.CO 3 3 years ago
2044 On the graph of non-degenerate linear $[n,2]_2$ codes
Mark Pankov
🔮 The Ethereal math.CO 3 3 years ago
2045 C-SAR: SAT Attack Resistant Logic Locking for RSFQ Circuits
Junyao Zhang, Paul Bogdan, Shahin Nazarian
🔮 The Ethereal cs.LO 3 3 years ago
2046 Complexity of Solo Chess with Unlimited Moves
Josh Brunner, Lily Chung, ... (+4 more)
🔮 The Ethereal cs.CC 3 3 years ago
2047 Languages with Decidable Learning: A Meta-theorem
Paul Krogmeier, P. Madhusudan
🔮 The Ethereal cs.LO 3 3 years ago
2048 Improved Bounds for Permutation Arrays Under Chebyshev Distance
Sergey Bereg, Mohammadreza Haghpanah, ... (+2 more)
🔮 The Ethereal math.CO 3 3 years ago
2049 A Formal Analysis of RANKING
Mohammad Abdulaziz, Christoph Madlener
🔮 The Ethereal cs.LO 3 3 years ago
2050 Cops and Robbers on Multi-Layer Graphs
Jessica Enright, Kitty Meeks, ... (+2 more)
🔮 The Ethereal math.CO 3 3 years ago