💀 The Wall of Shame

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

Page 57, showing 50 papers

# Paper Cause of Death Category Citations Published
2801 Stabiliser codes over fields of even order
Simeon Ball, Edgar Moreno, Robin Simoens
🔮 The Ethereal math.CO 1 2 years ago
2802 HaliVer: Deductive Verification and Scheduling Languages Join Forces
Lars B. van den Haak, Anton Wijs, ... (+2 more)
🔮 The Ethereal cs.LO 1 2 years ago
2803 Towards Automatic Transformations of Coq Proof Scripts
Nicolas Magaud
🔮 The Ethereal cs.LO 1 2 years ago
2804 On the Minimum Depth of Circuits with Linear Number of Wires Encoding Good Codes
Andrew Drucker, Yuan Li
🔮 The Ethereal cs.CC 1 2 years ago
2805 Adjoint Natural Deduction (Extended Version)
Junyoung Jang, Sophia Roshal, ... (+2 more)
🔮 The Ethereal cs.LO 1 2 years ago
2806 Improved upper bounds for wide-sense frameproof codes
Yuhao Zhao, Xiande Zhang
🔮 The Ethereal math.CO 1 2 years ago
2807 $L$-systems and the Lovász number
William Linz
🔮 The Ethereal math.CO 1 2 years ago
2808 Non-projective two-weight codes
Sascha Kurz
🔮 The Ethereal math.CO 1 2 years ago
2809 A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
François Fages
🔮 The Ethereal cs.LO 1 2 years ago
2810 Fractional Linear Matroid Matching is in quasi-NC
Rohit Gurjar, Taihei Oki, Roshan Raj
🔮 The Ethereal cs.CC 1 2 years ago
2811 Specifying and Verifying the Convergence Stairs of the Collatz Program
Ali Ebnenasir
🔮 The Ethereal cs.DM 1 2 years ago
2812 Perfect Zero-Knowledge PCPs for #P
Tom Gur, Jack O'Connor, Nicholas Spooner
🔮 The Ethereal cs.CC 1 2 years ago
2813 Resolving Sets in Temporal Graphs
Jan Bok, Antoine Dailly, Tuomo Lehtilä
🔮 The Ethereal math.CO 1 2 years ago
2814 Space-time deterministic graph rewriting
Pablo Arrighi, Marin Costes, ... (+2 more)
🔮 The Ethereal cs.DM 1 2 years ago
2815 An improved spectral lower bound of treewidth
Tatsuya Gima, Tesshu Hanaka, ... (+3 more)
🔮 The Ethereal math.CO 1 2 years ago
2816 Prove Symbolic Regression is NP-hard by Symbol Graph
Jinglu Song, Qiang Lu, ... (+4 more)
🔮 The Ethereal cs.CC 1 2 years ago
2817 DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
Jason Z. S. Hu, Brigitte Pientka
🔮 The Ethereal cs.LO 1 2 years ago
2818 Generalizing Roberts' characterization of unit interval graphs
Virginia Ardévol Martínez, Romeo Rizzi, ... (+3 more)
🔮 The Ethereal cs.DM 1 2 years ago
2819 Graph Search Trees and the Intermezzo Problem
Jesse Beisegel, Ekkehard Köhler, ... (+3 more)
🔮 The Ethereal cs.DM 1 2 years ago
2820 Alternative paths computation for congestion mitigation in segment-routing networks
Sébastien Martin, Youcef Magnouche, ... (+2 more)
🔮 The Ethereal cs.DM 1 2 years ago
2821 The Natural Display Topos of Coalgebras
Colin Zwanziger
🔮 The Ethereal math.CT 1 2 years ago
2822 A Note on an Inferentialist Approach to Resource Semantics
Alexander V. Gheorghiu, Tao Gu, David J. Pym
🔮 The Ethereal cs.LO 1 2 years ago
2823 On Maximal Families of Binary Polynomials with Pairwise Linear Common Factors
Maximilien Gadouleau, Luca Mariot, Federico Mazzone
🔮 The Ethereal cs.DM 1 2 years ago
2824 Counting overlapping pairs of words
Eric Rivals, Pengfei Wang
🔮 The Ethereal cs.DM 1 2 years ago
2825 Conformality of Minimal Transversals of Maximal Cliques
Endre Boros, Vladimir Gurvich, ... (+3 more)
🔮 The Ethereal math.CO 1 2 years ago
2826 On the number of solutions to a random instance of the permuted kernel problem
Carlo Sanna
🔮 The Ethereal math.CO 1 2 years ago
2827 A bijection for the evolution of $B$-trees
Fabian Burghart, Stephan Wagner
🔮 The Ethereal math.CO 1 2 years ago
2828 More Efficient $k$-wise Independent Permutations from Random Reversible Circuits via log-Sobolev Inequalities
Lucas Gretta, William He, Angelos Pelecanos
🔮 The Ethereal cs.CC 1 2 years ago
2829 On automorphism groups of polar codes
Jicheng Ma, Guiying Yan
🔮 The Ethereal math.CO 1 2 years ago
2830 Logical reduction of relations: from relational databases to Peirce's reduction thesis
Sergiy Koshkin
🔮 The Ethereal math.LO 1 2 years ago
2831 Resilient functions: Optimized, simplified, and generalized
Peter Ivanov, Emanuele Viola
🔮 The Ethereal cs.CC 1 2 years ago
2832 Enumeration of minimal transversals of hypergraphs of bounded VC-dimension
Arnaud Mary
🔮 The Ethereal math.CO 1 2 years ago
2833 Reconfiguration of Independent Transversals
Pjotr Buys, Ross J. Kang, Kenta Ozeki
🔮 The Ethereal math.CO 1 2 years ago
2834 On Equivalence of Parameterized Inapproximability of k-Median, k-Max-Coverage, and 2-CSP
Karthik C. S., Euiwoong Lee, Pasin Manurangsi
🔮 The Ethereal cs.CC 1 2 years ago
2835 Obstructions to Erdős-Pósa Dualities for Minors
Christophe Paul, Evangelos Protopapas, ... (+2 more)
🔮 The Ethereal math.CO 1 2 years ago
2836 Group actions on codes in graphs
Daniel R. Hawtin, Cheryl E. Praeger
🔮 The Ethereal math.CO 1 2 years ago
2837 Shift-invariant transformations and almost liftings
Jan Kristian Haugland, Tron Omland
🔮 The Ethereal math.CO 1 2 years ago
2838 Coprime networks of the composite numbers: pseudo-randomness and synchronizability
Md Rahil Miraj, Dibakar Ghosh, Chittaranjan Hens
🔮 The Ethereal math.CO 1 2 years ago
2839 Distance Reconstruction of Sparse Random Graphs
Paul Bastide
🔮 The Ethereal math.CO 1 2 years ago
2840 Detecting and explaining (in)equivalence of context-free grammars
Marko Schmellenkamp, Thomas Zeume, ... (+4 more)
🔮 The Ethereal cs.FL 1 1 year ago
2841 Higher weight spectra and Betti numbers of Reed-Muller codes $RM_q(2,2)$
Sudhir R. Ghorpade, Trygve Johnsen, ... (+2 more)
🔮 The Ethereal math.CO 1 1 year ago
2842 Mixing on Generalized Associahedra
William Chang, Colin Defant, Daniel Frishberg
🔮 The Ethereal math.CO 1 1 year ago
2843 The complexity of strong conflict-free vertex-connection $k$-colorability
Sun-Yuan Hsieh, Hoang-Oanh Le, ... (+2 more)
🔮 The Ethereal cs.CC 1 1 year ago
2844 The Signatures of Ideal Flow Networks
Kardi Teknomo
🔮 The Ethereal cs.DM 1 2 years ago
2845 Catamorphic Abstractions for Constrained Horn Clause Satisfiability
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
🔮 The Ethereal cs.LO 1 1 year ago
2846 On the Expressivity of Typed Concurrent Calculi
Joseph William Neal Paulus
🔮 The Ethereal cs.LO 1 1 year ago
2847 Characterization of Circular-arc Graphs: II. McConnell Flipping
Yixin Cao, Tomasz Krawczyk
🔮 The Ethereal math.CO 1 1 year ago
2848 Combinatorial alphabet-dependent bounds for insdel codes
Xiangliang Kong, Itzhak Tamo, Hengjia Wei
🔮 The Ethereal math.CO 1 1 year ago
2849 Binary codes from subset inclusion matrices
Alexey D. Marin, Ivan Yu. Mogilnykh
🔮 The Ethereal math.CO 1 1 year ago
2850 Finding the Center and Centroid of a Graph with Multiple Sources
Matthew Chou
🔮 The Ethereal cs.DM 1 1 year ago