💀 The Wall of Shame

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

Page 75, showing 50 papers

# Paper Cause of Death Category Citations Published
3701 Ohana trees and Taylor expansion for the $λ$I-calculus. No variable gets left behind or forgotten!
Rémy Cerda, Giulio Manzonetto, Alexis Saurin
🔮 The Ethereal cs.LO 0 1 year ago
3702 Mixing and Merging Metric Spaces using Directed Graphs
Mahir Bilen Can, Shantanu Chakrabartty
🔮 The Ethereal math.CO 0 1 year ago
3703 On lattice tilings of $\mathbb{Z}^n$ by limited magnitude error balls $\mathcal{B}(n,2,k_{1},k_{2})$ with $k_1>k_2$
Ka Hin Leung, Ran Tao, ... (+2 more)
🔮 The Ethereal math.CO 0 1 year ago
3704 On null completely regular codes in Manhattan metric
I. Yu. Mogilnykh, A. Yu. Vasil'eva
🔮 The Ethereal math.CO 0 1 year ago
3705 ResQue Greedy: Rewiring Sequential Greedy for Improved Submodular Maximization
Joan Vendrell Gallart, Alan Kuhnle, Solmaz Kia
🔮 The Ethereal cs.DM 0 1 year ago
3706 Group Order Logic
Anatole Dahan
🔮 The Ethereal cs.LO 0 1 year ago
3707 Nodal surfaces in $\mathbb{P}^3$ and coding theory
Sascha Kurz
🔮 The Ethereal math.CO 0 1 year ago
3708 Matrix Multiplication in the MPC Model
Lakshya Joshi, Arya Deshmukh, ... (+2 more)
🔮 The Ethereal cs.CC 0 1 year ago
3709 Pathographs and some (un)decidability results
Daniel Carter, Nicolas Trotignon
🔮 The Ethereal math.CO 0 1 year ago
3710 Bounding Width on Graph Classes of Constant Diameter
Konrad K. Dabrowski, Tala Eagling-Vose, ... (+3 more)
🔮 The Ethereal cs.DM 0 1 year ago
3711 $Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
Daniel Augusto Rizzi Salvadori
🔮 The Ethereal cs.LO 0 1 year ago
3712 INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
Suguman Bansal, Ramneet Singh
🔮 The Ethereal cs.LO 0 1 year ago
3713 Fast Compressed-Domain N-Point Discrete Fourier Transform: The "Twiddless" FFT Algorithm
Saulo Queiroz
🔮 The Ethereal cs.CC 0 1 year ago
3714 Representation of Symmetric Shift Registers
Jan Søreng
🔮 The Ethereal math.CO 0 1 year ago
3715 Cover time of random subgraphs of the hypercube
Colin Cooper, Alan Frieze, Wesley Pegden
🔮 The Ethereal math.CO 0 1 year ago
3716 Towards a Characterization of Two-way Bijections in a Reversible Computational Model
Matteo Palazzo, Luca Roversi
🔮 The Ethereal cs.LO 0 1 year ago
3717 Smallest Suffixient Sets: Effectiveness, Resilience, and Calculation
Gonzalo Navarro, Giuseppe Romana, Cristian Urbina
🔮 The Ethereal cs.FL 0 1 year ago
3718 An extension of Dembo-Hammer's reduction algorithm for the 0-1 knapsack problem
Yang Yang
🔮 The Ethereal cs.CC 0 1 year ago
3719 Robust predicate and function computation in continuous chemical reaction networks
Kim Calabrese, David Doty, Mina Latifi
🔮 The Ethereal cs.CC 0 1 year ago
3720 CNFs and DNFs with Exactly $k$ Solutions
L. Sunil Chandran, Rishikesh Gajjala, Kuldeep S. Meel
🔮 The Ethereal cs.DM 0 1 year ago
3721 Circulant TSP: Vertices of the Edge-Length Polytope and Superpolynomial Lower Bounds
Samuel C. Gutekunst
🔮 The Ethereal cs.DM 0 1 year ago
3722 Social Networks: Enumerating Maximal Community Patterns in $c$-Closed Graphs
Gabriela Bourla, Kaixin Wang, ... (+2 more)
🔮 The Ethereal math.CO 0 1 year ago
3723 Positive Sharing and Abstract Machines
Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu
🔮 The Ethereal cs.LO 0 1 year ago
3724 Varanus: Runtime Verification for CSP
Matt Luckcuck, Angelo Ferrando, Fatma Faruq
🔮 The Ethereal cs.LO 0 1 year ago
3725 A survey of Chernoff and Hoeffding bounds
Alexandros V. Gerbessiotis
🔮 The Ethereal cs.DM 0 1 year ago
3726 Perfect phylogenies via the Minimum Uncovering Branching problem: efficiently solvable cases
Narmina Baghirova, Esther Galby, Martin Milanič
🔮 The Ethereal cs.DM 0 1 year ago
3727 Universal Solvability for Robot Motion Planning on Graphs
Anubhav Dhar, Pranav Nyati, ... (+3 more)
🔮 The Ethereal cs.CC 0 1 year ago
3728 Polynomial Fingerprinting for Trees and Formulas
Mihai Prunescu
🔮 The Ethereal math.LO 0 1 year ago
3729 Protocol insecurity with finitely many sessions and XOR
R Ramanujam, Vaishnavi Sundararajan, S P Suresh
🔮 The Ethereal cs.LO 0 1 year ago
3730 Computational Verification of the Buratti--Horak--Rosa Conjecture for Small Integers and Inductive Approaches
Ranjan N Naik
🔮 The Ethereal cs.DM 0 1 year ago
3731 $σ$-Maximal Ancestral Graphs
Binghua Yao, Joris M. Mooij
🔮 The Ethereal cs.DM 0 1 year ago
3732 Hamiltonicity Parameterized by Mim-Width is (Indeed) Para-NP-Hard
Benjamin Bergougnoux, Lars Jaffke
🔮 The Ethereal cs.CC 0 1 year ago
3733 Liar's vertex-edge domination in subclasses of chordal graphs
Debojyoti Bhattacharya, Subhabrata Paul
🔮 The Ethereal math.CO 0 1 year ago
3734 A Note on Runtime Verification of Concurrent Systems
Martin Leucker
🔮 The Ethereal cs.LO 0 1 year ago
3735 Finding a solution to the Erdős-Ginzburg-Ziv theorem in $O(n\log\log\log n)$ time
Yui Hin Arvin Leung
🔮 The Ethereal math.CO 0 1 year ago
3736 On the $(k,\ell)$-multiset anonymity measure for social graphs
Alejandro Estrada-Moreno, Elena Fernández, ... (+4 more)
🔮 The Ethereal math.CO 0 1 year ago
3737 Heterogeneous Dynamic Logic: Provability Modulo Program Theories
Samuel Teuber, Mattias Ulbrich, ... (+2 more)
🔮 The Ethereal cs.LO 0 1 year ago
3738 m-Eternal Domination and Variants on Some Classes of Finite and Infinite Graphs
Tiziana Calamoneri, Federico Corò, ... (+3 more)
🔮 The Ethereal cs.DM 0 1 year ago
3739 Rapid Mixing of Glauber Dynamics for Monotone Systems via Entropic Independence
Weiming Feng, Minji Yang
🔮 The Ethereal cs.DM 0 1 year ago
3740 Syntax Repair as Language Intersection
Breandan Considine
🔮 The Ethereal cs.FL 0 1 year ago
3741 Kernelization for list $H$-coloring for graphs with small vertex cover
Marta Piecyk, Astrid Pieterse, ... (+2 more)
🔮 The Ethereal math.CO 0 1 year ago
3742 Just Verification of Mutual Exclusion Algorithms
Rob van Glabbeek, Bas Luttik, Myrthe Spronck
🔮 The Ethereal cs.LO 0 1 year ago
3743 Computational-Statistical Tradeoffs from NP-hardness
Guy Blanc, Caleb Koch, ... (+2 more)
🔮 The Ethereal cs.CC 0 1 year ago
3744 Treedepth Inapproximability and Exponential ETH Lower Bound
Édouard Bonnet, Daniel Neuen, Marek Sokołowski
🔮 The Ethereal cs.CC 0 1 year ago
3745 Application Placement with Constraint Relaxation
Damiano Azzolini, Marco Duca, ... (+3 more)
🔮 The Ethereal cs.LO 0 1 year ago
3746 Dvorak-Dell-Grohe-Rattan theorem via an asymptotic argument
Alexander Kozachinskiy
🔮 The Ethereal math.CO 0 1 year ago
3747 The Labeled Coupon Collector Problem
Andrew Tan, Oriel Limor, ... (+4 more)
🔮 The Ethereal cs.DM 0 1 year ago
3748 Simulating Evolvability as a Learning Algorithm: Empirical Investigations on Distribution Sensitivity, Robustness, and Constraint Tradeoffs
Nicholas Fidalgo, Puyuan Ye
🔮 The Ethereal cs.CC 0 1 year ago
3749 A Formalization of the Yul Language and Some Verified Yul Code Transformations
Alessandro Coglio, Eric McCarthy
🔮 The Ethereal cs.LO 0 1 year ago
3750 A Formalization of the Correctness of the Floodsub Protocol
Ankit Kumar, Panagiotis Manolios
🔮 The Ethereal cs.LO 0 1 year ago