💀 The Wall of Shame

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

Page 15, showing 50 papers

# Paper Cause of Death Category Citations Published
701 Sensitivity Analysis for Convex Separable Optimization over Integral Polymatroids
Tobias Harks, Max Klimm, Britta Peis
🔮 The Ethereal cs.DM 15 9 years ago
702 Monte Carlo Tableau Proof Search
Michael Färber, Cezary Kaliszyk, Josef Urban
🔮 The Ethereal cs.LO 15 9 years ago
703 Matrix multiplication algorithms from group orbits
Joshua A. Grochow, Cristopher Moore
🔮 The Ethereal cs.CC 15 9 years ago
704 Costas cubes
Jonathan Jedwab, Lily Yen
🔮 The Ethereal math.CO 15 9 years ago
705 On the Computation of Paracoherent Answer Sets
Giovanni Amendola, Carmine Dodaro, ... (+3 more)
🔮 The Ethereal cs.LO 15 9 years ago
706 Confluence in Probabilistic Rewriting
Alejandro Díaz-Caro, Guido Martínez
🔮 The Ethereal cs.LO 15 8 years ago
707 MaxMinSum Steiner Systems for Access-Balancing in Distributed Storage
Hoang Dau, Olgica Milenkovic
🔮 The Ethereal math.CO 15 8 years ago
708 Connectivity in Interdependent Networks
Jianan Zhang, Eytan Modiano
🔮 The Ethereal cs.DM 15 8 years ago
709 A new family of MRD codes in $\mathbb F_q^{2n\times2n}$ with right and middle nuclei $\mathbb F_{q^n}$
Rocco Trombetti, Yue Zhou
🔮 The Ethereal math.CO 15 8 years ago
710 On Hashing-Based Approaches to Approximate DNF-Counting
Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
🔮 The Ethereal cs.LO 15 8 years ago
711 Proving Soundness of Extensional Normal-Form Bisimilarities
Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk
🔮 The Ethereal cs.LO 15 8 years ago
712 Randomized Near Neighbor Graphs, Giant Components, and Applications in Data Science
George C. Linderman, Gal Mishne, ... (+2 more)
🔮 The Ethereal math.CO 15 8 years ago
713 Exploring Approximations for Floating-Point Arithmetic using UppSAT
Aleksandar Zeljic, Peter Backeman, ... (+2 more)
🔮 The Ethereal cs.LO 15 8 years ago
714 Lifting Linear Extension Complexity Bounds to the Mixed-Integer Setting
Alfonso Cevallos, Stefan Weltge, Rico Zenklusen
🔮 The Ethereal cs.DM 15 8 years ago
715 Computing Hitting Set Kernels By AC^0-Circuits
Max Bannach, Till Tantau
🔮 The Ethereal cs.CC 15 8 years ago
716 Tight Hardness Results for Consensus Problems on Circular Strings and Time Series
Laurent Bulteau, Vincent Froese, Rolf Niedermeier
🔮 The Ethereal cs.DM 15 8 years ago
717 Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
Fabrizio Genovese, Jelle Herold
🔮 The Ethereal math.CT 15 8 years ago
718 Finding forbidden minors in sublinear time: a $n^{1/2+o(1)}$-query one-sided tester for minor closed properties on bounded degree graphs
Akash Kumar, C. Seshadhri, Andrew Stolman
🔮 The Ethereal cs.DM 15 8 years ago
719 Self-Driving Vehicle Verification Towards a Benchmark
Nima Roohi, Ramneet Kaur, ... (+3 more)
🔮 The Ethereal cs.LO 15 8 years ago
720 On the Complexity of Value Iteration
Nikhil Balaji, Stefan Kiefer, ... (+3 more)
🔮 The Ethereal cs.FL 15 8 years ago
721 Enumerating minimal dominating sets in $K_t$-free graphs and variants
Marthe Bonamy, Oscar Defrain, ... (+3 more)
🔮 The Ethereal cs.DM 15 7 years ago
722 Spectrum graph coloring to improve Wi-Fi channel assignment in a real-world scenario via edge contraction
David Orden, Ivan Marsa-Maestre, ... (+3 more)
🔮 The Ethereal cs.DM 15 7 years ago
723 Finding a planted clique by adaptive probing
Miklós Z. Rácz, Benjamin Schiffer
🔮 The Ethereal math.CO 15 7 years ago
724 Parameterized Complexity of Conflict-free Graph Coloring
Hans L. Bodlaender, Sudeshna Kolay, Astrid Pieterse
🔮 The Ethereal cs.CC 15 7 years ago
725 Doubly transitive lines II: Almost simple symmetries
Joseph W. Iverson, Dustin G. Mixon
🔮 The Ethereal math.CO 15 7 years ago
726 Correlation decay and partition function zeros: Algorithms and phase transitions
Jingcheng Liu, Alistair Sinclair, Piyush Srivastava
🔮 The Ethereal cs.CC 15 7 years ago
727 Provenance Analysis for Logic and Games
Erich Grädel, Val Tannen
🔮 The Ethereal cs.LO 15 7 years ago
728 Cubic bent functions outside the completed Maiorana-McFarland class
Alexandr Polujan, Alexander Pott
🔮 The Ethereal math.CO 15 6 years ago
729 Sequential metric dimension for random graphs
Gergely Ódor, Patrick Thiran
🔮 The Ethereal math.CO 15 6 years ago
730 Verifying OpenJDK's LinkedList using KeY
Hans-Dieter A. Hiep, Olaf Maathuis, ... (+4 more)
🔮 The Ethereal cs.LO 15 6 years ago
731 Exact and approximation algorithms for the expanding search problem
Ben Hermans, Roel Leus, Jannik Matuschke
🔮 The Ethereal cs.DM 15 6 years ago
732 The theory of concatenation over finite models
Dominik D. Freydenberger, Liat Peterfreund
🔮 The Ethereal cs.LO 15 6 years ago
733 Structural Decompositions of Epistemic Logic Programs
Markus Hecher, Michael Morak, Stefan Woltran
🔮 The Ethereal cs.CC 15 6 years ago
734 New bounds for perfect $k$-hashing
Simone Costa, Marco Dalai
🔮 The Ethereal math.CO 15 6 years ago
735 On girth and the parameterized complexity of token sliding and token jumping
Valentin Bartier, Nicolas Bousquet, ... (+3 more)
🔮 The Ethereal cs.CC 15 6 years ago
736 Thirty-seven years of relational Hoare logic: remarks on its principles and history
David A. Naumann
🔮 The Ethereal cs.LO 15 6 years ago
737 Explicit near-fully X-Ramanujan graphs
Ryan O'Donnell, Xinyu Wu
🔮 The Ethereal math.CO 15 5 years ago
738 Quantitative Strongest Post
Linpeng Zhang, Benjamin Lucien Kaminski
🔮 The Ethereal cs.LO 15 4 years ago
739 On Comparable Box Dimension
Zdenek Dvorák, Daniel Goncalves, ... (+3 more)
🔮 The Ethereal cs.DM 15 4 years ago
740 Explicit two-sided unique-neighbor expanders
Jun-Ting Hsieh, Theo McKenzie, ... (+2 more)
🔮 The Ethereal math.CO 15 3 years ago
741 Geometric dual and sum-rank minimal codes
Martino Borello, Ferdinando Zullo
🔮 The Ethereal math.CO 15 3 years ago
742 Certified Hardness vs. Randomness for Log-Space
Edward Pyne, Ran Raz, Wei Zhan
🔮 The Ethereal cs.CC 15 3 years ago
743 Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth or Vertex Cover
Florent Foucaud, Esther Galby, ... (+5 more)
🔮 The Ethereal cs.CC 15 3 years ago
744 Barker sequences of odd length
Kai-Uwe Schmidt, Jürgen Willms
🔮 The Ethereal math.CO 14 11 years ago
745 Efficient Approximation Algorithms for Computing \emph{k} Disjoint Restricted Shortest Paths
Longkun Guo, Kewen Liao, ... (+2 more)
🔮 The Ethereal cs.DM 14 11 years ago
746 Approximation Algorithms for Generalized MST and TSP in Grid Clusters
Binay Bhattacharya, Ante Ćustić, ... (+3 more)
🔮 The Ethereal cs.DM 14 11 years ago
747 A Case Study on Logical Relations using Contextual Types
Andrew Cave, Brigitte Pientka
🔮 The Ethereal cs.LO 14 10 years ago
748 New self-dual additive $\mathbb{F}_4$-codes constructed from circulant graphs
Markus Grassl, Masaaki Harada
🔮 The Ethereal math.CO 14 10 years ago
749 Decoding Reed-Muller codes over product sets
John Kim, Swastik Kopparty
🔮 The Ethereal cs.CC 14 10 years ago
750 Fractals for Kernelization Lower Bounds
Till Fluschnik, Danny Hermelin, ... (+2 more)
🔮 The Ethereal cs.CC 14 10 years ago