💀 The Wall of Shame

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

Page 14, showing 50 papers

# Paper Cause of Death Category Citations Published
651 Relational $\star$-Liftings for Differential Privacy
Gilles Barthe, Thomas Espitau, ... (+3 more)
🔮 The Ethereal cs.LO 16 9 years ago
652 DynASP2.5: Dynamic Programming on Tree Decompositions in Action
Johannes K. Fichte, Markus Hecher, ... (+2 more)
🔮 The Ethereal cs.LO 16 9 years ago
653 Inapproximability of the Standard Pebble Game and Hard to Pebble Graphs
Erik D. Demaine, Quanquan C. Liu
🔮 The Ethereal cs.CC 16 9 years ago
654 The Orthogonal Vectors Conjecture for Branching Programs and Formulas
Daniel Kane, Ryan Williams
🔮 The Ethereal cs.CC 16 8 years ago
655 Entropy Inequalities for Sums in Prime Cyclic Groups
Mokshay Madiman, Liyao Wang, Jae Oh Woo
🔮 The Ethereal math.CO 16 8 years ago
656 Scalable Approximation Algorithm for Network Immunization
Juvaria Tariq, Muhammad Ahmad, ... (+2 more)
🔮 The Ethereal cs.DM 16 8 years ago
657 Distributed coloring in sparse graphs with fewer colors
Pierre Aboulker, Marthe Bonamy, ... (+2 more)
🔮 The Ethereal math.CO 16 8 years ago
658 Parameterized Complexity of Fair Vertex Evaluation Problems
Dušan Knop, Tomáš Masařík, Tomáš Toufar
🔮 The Ethereal cs.CC 16 8 years ago
659 On the Diameter of Tree Associahedra
Jean Cardinal, Stefan Langerman, Pablo Pérez-Lantero
🔮 The Ethereal math.CO 16 8 years ago
660 Polynomial Kernels for Hitting Forbidden Minors under Structural Parameterizations
Bart M. P. Jansen, Astrid Pieterse
🔮 The Ethereal cs.CC 16 8 years ago
661 Approximation Strategies for Incomplete MaxSAT
Saurabh Joshi, Prateek Kumar, ... (+2 more)
🔮 The Ethereal cs.LO 16 8 years ago
662 Reasoning about Parallel Quantum Programs
Mingsheng Ying, Li Zhou, Yangjia Li
🔮 The Ethereal cs.LO 16 7 years ago
663 The External Interface for Extending WASP
Carmine Dodaro, Francesco Ricca
🔮 The Ethereal cs.LO 16 7 years ago
664 Founded World Views with Autoepistemic Equilibrium Logic
Pedro Cabalar, Jorge Fandinno, Luis Fariñas
🔮 The Ethereal cs.LO 16 7 years ago
665 Verification Logics for Quantum Programs
Robert Rand
🔮 The Ethereal cs.LO 16 7 years ago
666 A note on the linkage construction for constant dimension codes
Sascha Kurz
🔮 The Ethereal math.CO 16 7 years ago
667 Metric Dimension Parameterized by Treewidth
Édouard Bonnet, Nidhi Purohit
🔮 The Ethereal cs.CC 16 7 years ago
668 Partial Compilation of ASP Programs
Bernardo Cuteri, Carmine Dodaro, ... (+2 more)
🔮 The Ethereal cs.LO 16 7 years ago
669 Equivalences between triangle and range query problems
Lech Duraj, Krzysztof Kleiner, ... (+2 more)
🔮 The Ethereal cs.CC 16 6 years ago
670 Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
Andreas Abel, Thierry Coquand
🔮 The Ethereal cs.LO 16 6 years ago
671 Multistage s-t Path: Confronting Similarity with Dissimilarity
Till Fluschnik, Rolf Niedermeier, ... (+2 more)
🔮 The Ethereal cs.CC 16 6 years ago
672 Counterexamples to the Low-Degree Conjecture
Justin Holmgren, Alexander S. Wein
🔮 The Ethereal cs.CC 16 6 years ago
673 Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems
Hubie Chen, Georg Gottlob, ... (+2 more)
🔮 The Ethereal cs.CC 16 5 years ago
674 Equilibria for Games with Combined Qualitative and Quantitative Objectives
Julian Gutierrez, Aniello Murano, ... (+4 more)
🔮 The Ethereal cs.LO 16 5 years ago
675 A construction of minimal linear codes from partial difference sets
Ran Tao, Tao Feng, Weicong Li
🔮 The Ethereal math.CO 16 5 years ago
676 Impossibility Results for Grammar-Compressed Linear Algebra
Amir Abboud, Arturs Backurs, ... (+2 more)
🔮 The Ethereal cs.CC 16 5 years ago
677 Tight Dynamic Problem Lower Bounds from Generalized BMM and OMv
Ce Jin, Yinzhan Xu
🔮 The Ethereal cs.CC 16 4 years ago
678 Which arithmetic operations can be performed in constant time in the RAM model with addition?
Étienne Grandjean, Louis Jachiet
🔮 The Ethereal cs.CC 16 4 years ago
679 Finding Matching Cuts in $H$-Free Graphs
Felicia Lucke, Daniël Paulusma, Bernard Ries
🔮 The Ethereal math.CO 16 4 years ago
680 Is Planted Coloring Easier than Planted Clique?
Pravesh K. Kothari, Santosh S. Vempala, ... (+2 more)
🔮 The Ethereal cs.CC 16 3 years ago
681 Constructions and equivalence of Sidon spaces
Chiara Castello, Olga Polverino, ... (+2 more)
🔮 The Ethereal math.CO 16 3 years ago
682 Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Noam Zilberstein, Angelina Saliling, Alexandra Silva
🔮 The Ethereal cs.LO 16 3 years ago
683 Computing maximal autarkies with few and simple oracle queries
Oliver Kullmann, Joao Marques-Silva
🔮 The Ethereal cs.LO 15 11 years ago
684 Perfect codes in the lp metric
Antonio Campello, Grasiele C. Jorge, ... (+2 more)
🔮 The Ethereal math.CO 15 11 years ago
685 Almost Optimal Cover-Free Families
Nader H. Bshouty, Ariel Gabizon
🔮 The Ethereal cs.DM 15 10 years ago
686 Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Stefan Borgwardt, Theofilos Mailis, ... (+2 more)
🔮 The Ethereal cs.LO 15 10 years ago
687 Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)
Felipe R. M. Sousa, Lucas C. Cordeiro, Eddie B. de Lima Filho
🔮 The Ethereal cs.LO 15 10 years ago
688 Binary Codes and Period-2 Orbits of Sequential Dynamical Systems
Colin Defant
🔮 The Ethereal math.CO 15 10 years ago
689 Fast Algorithms for Finding Pattern Avoiders and Counting Pattern Occurrences in Permutations
William Kuszmaul
🔮 The Ethereal cs.DM 15 10 years ago
690 Low Rank Approximation of Binary Matrices: Column Subset Selection and Generalizations
Chen Dan, Kristoffer Arnsfelt Hansen, ... (+3 more)
🔮 The Ethereal cs.CC 15 10 years ago
691 Tight Bounds for the Distribution-Free Testing of Monotone Conjunctions
Xi Chen, Jinyu Xie
🔮 The Ethereal cs.DM 15 10 years ago
692 Dynamic Graph Queries
Pablo Muñoz, Nils Vortmeier, Thomas Zeume
🔮 The Ethereal cs.LO 15 10 years ago
693 A multi-paradigm language for reactive synthesis
Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann
🔮 The Ethereal cs.LO 15 10 years ago
694 A minimum-change version of the Chung-Feller theorem for Dyck paths
Torsten Mütze, Christoph Standke, Veit Wiechert
🔮 The Ethereal math.CO 15 10 years ago
695 Two-level lot-sizing with inventory bounds
Siao-Leu Phouratsamay, Safia Kedad-Sidhoum, Fanny Pascual
🔮 The Ethereal cs.CC 15 10 years ago
696 On Restricted Nonnegative Matrix Factorization
Dmitry Chistikov, Stefan Kiefer, ... (+3 more)
🔮 The Ethereal cs.FL 15 10 years ago
697 Doubly Balanced Connected Graph Partitioning
Saleh Soltan, Mihalis Yannakakis, Gil Zussman
🔮 The Ethereal math.CO 15 10 years ago
698 Trimming and gluing Gray codes
Petr Gregor, Torsten Mütze
🔮 The Ethereal math.CO 15 9 years ago
699 Structural Bounds on the Dyadic Effect
Matteo Cinelli, Giovanna Ferraro, Antonio Iovanella
🔮 The Ethereal math.CO 15 9 years ago
700 Twenty (simple) questions
Yuval Dagan, Yuval Filmus, ... (+2 more)
🔮 The Ethereal cs.DM 15 9 years ago