💀 The Wall of Shame

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

Page 77, showing 50 papers

# Paper Cause of Death Category Citations Published
3801 Hardness and Algorithmic Results for Roman \{3\}-Domination
Sangam Balchandar Reddy
🔮 The Ethereal cs.CC 0 10 months ago
3802 Delsarte duality on subspaces and applications to rank-metric codes and q-matroids
Martino Borello, Olga Polverino, Ferdinando Zullo
🔮 The Ethereal math.CO 0 10 months ago
3803 Monoid Structures on Indexed Containers
Michele De Pascalis, Tarmo Uustalu, Niccolò Veltrì
🔮 The Ethereal cs.LO 0 9 months ago
3804 The Computational Complexity of Almost Stable Clustering with Penalties
Kamyar Khodamoradi, Farnam Mansouri, Sandra Zilles
🔮 The Ethereal cs.CC 0 9 months ago
3805 Optimized Degree Realization: Minimum Dominating Set & Maximum Matching
Amotz Bar-Noy, Igor Kalinichev, ... (+2 more)
🔮 The Ethereal cs.DM 0 9 months ago
3806 An Empirical Study of Rational Tree Unification for miniKanren
Eridan Domoratskiy, Dmitrii Kosarev, Dmitry Boulytchev
🔮 The Ethereal cs.LO 0 9 months ago
3807 Maximum Biclique for Star 1,2,3 -free and Bounded Bimodularwidth Twin-free Bipartite Graphs $\star$
Fabien de Montgolfier, Renaud Torfs
🔮 The Ethereal cs.DM 0 9 months ago
3808 Trickle-down Theorems via C-Lorentzian Polynomials II: Pairwise Spectral Influence and Improved Dobrushin's Condition
Jonathan Leake, Shayan Oveis Gharan
🔮 The Ethereal math.CO 0 9 months ago
3809 Strong Dinatural Transformations and Generalised Codensity Monads
Maciej Piróg, Filip Sieczkowski
🔮 The Ethereal cs.LO 0 9 months ago
3810 Extending Ghouila-Houri's Characterization of Comparability Graphs to Temporal Graphs
Pierre Charbit, Michel Habib, Amalia Sorondo
🔮 The Ethereal math.CO 0 9 months ago
3811 k-SUM Hardness Implies Treewidth-SETH
Michael Lampis
🔮 The Ethereal cs.CC 0 9 months ago
3812 A Graph Width Perspective on Partially Ordered Hamiltonian Paths and Cycles II: Vertex and Edge Deletion Numbers
Jesse Beisegel, Katharina Klost, ... (+3 more)
🔮 The Ethereal cs.DM 0 9 months ago
3813 Multiparty equality in the local broadcast model
Louis Esperet, Jean-Florent Raymond
🔮 The Ethereal math.CO 0 9 months ago
3814 IECZ-III: Hardcore Condensation Lift with Size-Aware Invariants
Marko Lela
🔮 The Ethereal cs.CC 0 9 months ago
3815 The Algorithmic Regulator
Giulio Ruffini
🔮 The Ethereal cs.CC 0 9 months ago
3816 Nine lower bound conjectures on streaming approximation algorithms for CSPs
Noah G. Singer
🔮 The Ethereal cs.CC 0 9 months ago
3817 Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Kaustuv Chaudhuri, Daniele Nantes-Sobrinho
🔮 The Ethereal cs.LO 0 9 months ago
3818 Tight Quantum Time-Space Tradeoffs for Permutation Inversion
Akshima, Tyler Besselman, ... (+3 more)
🔮 The Ethereal cs.CC 0 9 months ago
3819 Ground Stratification for a Logic of Definitions with Induction
Nathan Guermond, Gopalan Nadathur
🔮 The Ethereal cs.LO 0 9 months ago
3820 VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
Paul D. Hovland
🔮 The Ethereal cs.LO 0 9 months ago
3821 Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I
Junchao Zhang
🔮 The Ethereal cs.LO 0 9 months ago
3822 Decoding Balanced Linear Codes With Preprocessing
Andrej Bogdanov, Rohit Chatterjee, ... (+2 more)
🔮 The Ethereal cs.CC 0 9 months ago
3823 An efficient algorithm for $\mathcal{F}$-subgraph-free Edge Deletion on graphs having a product structure
Shinwoo An, Seonghyuk Im, ... (+2 more)
🔮 The Ethereal cs.DM 0 9 months ago
3824 PLS-complete problems with lexicographic cost functions: Max-$k$-SAT and Abelian Permutation Orbit Minimization
Dominik Scheder, Johannes Tantow
🔮 The Ethereal cs.CC 0 9 months ago
3825 Unifying the Landscape of Super-Logarithmic Dynamic Cell-Probe Lower Bounds
Young Kun Ko
🔮 The Ethereal cs.CC 0 9 months ago
3826 A Lazy, Concurrent Convertibility Checker
Nathanaëlle Courant, Xavier Leroy
🔮 The Ethereal cs.LO 0 9 months ago
3827 Undirected Multicast Network Coding Gaps via Locally Decodable Codes
Mark Braverman, Zhongtian He
🔮 The Ethereal cs.CC 0 9 months ago
3828 Efficiently Batching Unambiguous Interactive Proofs
Bonnie Berger, Rohan Goyal, ... (+2 more)
🔮 The Ethereal cs.CC 0 9 months ago
3829 The maximal hard-core model as a recoverable system: Gibbs measures and phase coexistence
Geyang Wang, Alexander Barg, Navin Kashyap
🔮 The Ethereal math.CO 0 9 months ago
3830 A Freeable Matrix Characterization of Bipartite Graphs of Ferrers Dimension Three
Parinya Chalermsook, Ly Orgo, Minoo Zarsav
🔮 The Ethereal math.CO 0 9 months ago
3831 Relative-error unateness testing
Xi Chen, Diptaksho Palit, ... (+4 more)
🔮 The Ethereal cs.CC 0 9 months ago
3832 Pinwheel Scheduling with Real Periods
Hiroshi Fujiwara, Kota Miyagi, Katsuhisa Ouchi
🔮 The Ethereal cs.DM 0 9 months ago
3833 Fault-Tolerant Multiparty Session Types with Global Escape Loops
Lukas Bartl, Julian Linne, Kirstin Peters
🔮 The Ethereal cs.LO 0 9 months ago
3834 Most Juntas Saturate the Hardcore Lemma
Vinayak M. Kumar
🔮 The Ethereal cs.CC 0 9 months ago
3835 Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
Emanuele De Angelis, Florian Frohn
🔮 The Ethereal cs.LO 0 9 months ago
3836 The Strong Birthday Problem Revisited
Chijul B. Tripathy
🔮 The Ethereal math.CO 0 8 months ago
3837 Finding Regular Herbrand Models for CHCs using Answer Set Programming
Gregoire Maire, Thomas Genet
🔮 The Ethereal cs.LO 0 8 months ago
3838 Semantic Properties of Computations Defined by Elementary Inference Systems
Salvador Lucas
🔮 The Ethereal cs.LO 0 8 months ago
3839 Theta as a Horn Solver
Levente Bajczi, Milán Mondok, Vince Molnár
🔮 The Ethereal cs.LO 0 8 months ago
3840 Tensor decomposition beyond uniqueness, with an application to the minrank problem
Pascal Koiran, Rafael Oliveira
🔮 The Ethereal cs.CC 0 8 months ago
3841 Internalizing Extensions in Lattices of Type Theories
Jonathan Chan
🔮 The Ethereal cs.LO 0 9 months ago
3842 Constructive Characterization and Recognition Algorithm for Grafts with a Connected Minimum Join
Nanano Kita
🔮 The Ethereal cs.DM 0 8 months ago
3843 Unbounded-width CSPs are Untestable in a Sublinear Number of Queries
Yumou Fei
🔮 The Ethereal cs.CC 0 8 months ago
3844 Proceedings Twelfth Workshop on Fixed Points in Computer Science
Alexis Saurin
🔮 The Ethereal cs.LO 0 8 months ago
3845 pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
Elizabeth Dietrich, Hanna Krasowski, ... (+4 more)
🔮 The Ethereal cs.LO 0 8 months ago
3846 Access Hoare Logic
Arnold Beckmann, Anton Setzer
🔮 The Ethereal cs.LO 0 8 months ago
3847 Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
Rémy Cerda
🔮 The Ethereal cs.LO 0 8 months ago
3848 Efficient Testing Implies Structured Symmetry
Cynthia Dwork, Pranay Tankala
🔮 The Ethereal cs.CC 0 8 months ago
3849 Explorability in Pushdown Automata
Ayaan Bedi, Karoliina Lehtinen
🔮 The Ethereal cs.FL 0 8 months ago
3850 Deterministic list decoding of Reed-Solomon codes
Soham Chatterjee, Prahladh Harsha, Mrinal Kumar
🔮 The Ethereal cs.CC 0 8 months ago