💀 The Wall of Shame

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

Page 33, showing 50 papers

# Paper Cause of Death Category Citations Published
1601 Liar's Domination in Unit Disk Graphs
Ramesh K. Jallu, Sangram K. Jena, Gautam K. Das
🔮 The Ethereal cs.CC 5 6 years ago
1602 A 3/2-Approximation for the Metric Many-visits Path TSP
Kristóf Bérczi, Matthias Mnich, Roland Vincze
🔮 The Ethereal cs.DM 5 6 years ago
1603 Concolic Testing in CLP
Fred Mesnard, Etienne Payet, German Vidal
🔮 The Ethereal cs.LO 5 5 years ago
1604 Tree Automata for Extracting Consensus from Partial Replicas of a Structured Document
Maurice Tchoupé Tchendji, Milliam Maxime Zekeng Ndadji
🔮 The Ethereal cs.FL 5 5 years ago
1605 A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Tobias Reinhard, Amin Timany, Bart Jacobs
🔮 The Ethereal cs.LO 5 6 years ago
1606 A symmetric attractor-decomposition lifting algorithm for parity games
Marcin Jurdziński, Rémi Morvan, ... (+2 more)
🔮 The Ethereal cs.LO 5 5 years ago
1607 Glauber dynamics for colourings of chordal graphs and graphs of bounded treewidth
Marc Heinrich
🔮 The Ethereal math.CO 5 5 years ago
1608 Two-Commodity Flow is Equivalent to Linear Programming under Nearly-Linear Time Reductions
Ming Ding, Rasmus Kyng, Peng Zhang
🔮 The Ethereal cs.CC 5 4 years ago
1609 Short and local transformations between ($Δ+1$)-colorings
Nicolas Bousquet, Laurent Feuilloley, ... (+2 more)
🔮 The Ethereal cs.DM 5 4 years ago
1610 Modules in Robinson Spaces
Mikhael Carmona, Victor Chepoi, ... (+2 more)
🔮 The Ethereal cs.DM 5 4 years ago
1611 Taming graphs with no large creatures and skinny ladders
Jakub Gajarský, Lars Jaffke, ... (+5 more)
🔮 The Ethereal math.CO 5 4 years ago
1612 Reconfiguration of Digraph Homomorphisms
Benjamin Lévêque, Moritz Mühlenthaler, Thomas Suzan
🔮 The Ethereal cs.DM 5 4 years ago
1613 SAT Preprocessors and Symmetry
Markus Anders
🔮 The Ethereal cs.LO 5 4 years ago
1614 How to Compose Shortest Paths
Jade Master
🔮 The Ethereal cs.DM 5 4 years ago
1615 Linearizing Partial Search Orders
Robert Scheffler
🔮 The Ethereal cs.DM 5 4 years ago
1616 An Improved Trickle-Down Theorem for Partite Complexes
Dorna Abdolazimi, Shayan Oveis Gharan
🔮 The Ethereal cs.DM 5 3 years ago
1617 On finding short reconfiguration sequences between independent sets
Akanksha Agrawal, Soumita Hait, Amer E. Mouawad
🔮 The Ethereal cs.CC 5 3 years ago
1618 Truth and Preferences -- A Game Approach for Qualitative Choice Logic
Robert Freiman, Michael Bernreiter
🔮 The Ethereal cs.LO 5 3 years ago
1619 SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems
Baptiste Pelletier, Charles Lesire, ... (+3 more)
🔮 The Ethereal cs.FL 5 3 years ago
1620 How to construct the symmetric cycle of length 5 using Hajós construction with an adapted Rank Genetic Algorithm
Juan Carlos García-Altamirano, Mika Olsen, Jorge Cervantes-Ojeda
🔮 The Ethereal math.CO 5 3 years ago
1621 A Categorical Framework for Modeling with Stock and Flow Diagrams
John C. Baez, Xiaoyan Li, ... (+3 more)
🔮 The Ethereal cs.LO 5 3 years ago
1622 Streaming Zero-Knowledge Proofs
Graham Cormode, Marcel Dall'Agnol, ... (+2 more)
🔮 The Ethereal cs.CC 5 3 years ago
1623 Perturbation results for distance-edge-monitoring numbers
Chenxu Yang, Ralf Klasing, ... (+2 more)
🔮 The Ethereal cs.DM 5 3 years ago
1624 Balanced Allocations with Heterogeneous Bins: The Power of Memory
Dimitrios Los, Thomas Sauerwald, John Sylvester
🔮 The Ethereal cs.DM 5 3 years ago
1625 Improved Pseudorandom Generators for $\mathsf{AC}^0$ Circuits
Xin Lyu
🔮 The Ethereal cs.CC 5 3 years ago
1626 Parameterized Verification under TSO with Data Types
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+5 more)
🔮 The Ethereal cs.FL 5 3 years ago
1627 Maximum Flag-Rank Distance Codes
Gianira N. Alfarano, Alessandro Neri, Ferdinando Zullo
🔮 The Ethereal math.CO 5 3 years ago
1628 Optimal Testing of Generalized Reed-Muller Codes in Fewer Queries
Dor Minzer, Kai Zheng
🔮 The Ethereal cs.CC 5 3 years ago
1629 On Solution Discovery via Reconfiguration
Michael R. Fellows, Mario Grobler, ... (+6 more)
🔮 The Ethereal cs.CC 5 3 years ago
1630 Testing versus estimation of graph properties, revisited
Lior Gishboliner, Nick Kushnir, Asaf Shapira
🔮 The Ethereal math.CO 5 3 years ago
1631 The Sharp Power Law of Local Search on Expanders
Simina Brânzei, Davin Choo, Nicholas Recker
🔮 The Ethereal cs.CC 5 3 years ago
1632 Combining Global and Local Merges in Logic-based Entity Resolution
Meghyn Bienvenu, Gianluca Cima, ... (+2 more)
🔮 The Ethereal cs.LO 5 3 years ago
1633 Irreducibility of Recombination Markov Chains in the Triangular Lattice
Sarah Cannon
🔮 The Ethereal cs.DM 5 3 years ago
1634 Solving NP-hard Problems on \textsc{GaTEx} Graphs: Linear-Time Algorithms for Perfect Orderings, Cliques, Colorings, and Independent Sets
Marc Hellmuth, Guillaume E. Scholz
🔮 The Ethereal cs.DM 5 3 years ago
1635 Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers
Myrthe Spronck, Bas Luttik
🔮 The Ethereal cs.LO 5 3 years ago
1636 Full LTL Synthesis over Infinite-state Arenas
Shaun Azzopardi, Luca Di Stefano, ... (+2 more)
🔮 The Ethereal cs.LO 5 3 years ago
1637 Factoring Pattern-Free Permutations into Separable ones
Édouard Bonnet, Romain Bourneuf, ... (+2 more)
🔮 The Ethereal math.CO 5 2 years ago
1638 On generalized corners and matrix multiplication
Kevin Pratt
🔮 The Ethereal math.CO 5 2 years ago
1639 Btor2MLIR: A Format and Toolchain for Hardware Verification
Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel
🔮 The Ethereal cs.LO 5 2 years ago
1640 Deterministic Algorithms for Low Degree Factors of Constant Depth Circuits
Mrinal Kumar, Varun Ramanathan, Ramprasad Saptharishi
🔮 The Ethereal cs.CC 5 2 years ago
1641 The Complexity of Resilience Problems via Valued Constraint Satisfaction
Manuel Bodirsky, Žaneta Semanišinová, Carsten Lutz
🔮 The Ethereal math.LO 5 2 years ago
1642 Enumerating minimal solution sets for metric graph problems
Benjamin Bergougnoux, Oscar Defrain, Fionn Mc Inerney
🔮 The Ethereal cs.DM 5 2 years ago
1643 The Parameterised Complexity of Integer Multicommodity Flow
Hans L. Bodlaender, Isja Mannens, ... (+3 more)
🔮 The Ethereal cs.DM 5 2 years ago
1644 Equational Anti-Unification over Absorption Theories
Mauricio Ayala-Rincon, David M. Cerna, ... (+2 more)
🔮 The Ethereal cs.LO 5 2 years ago
1645 An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
Neta Elad, Oded Padon, Sharon Shoham
🔮 The Ethereal cs.LO 5 2 years ago
1646 The Weisfeiler-Leman Dimension of Conjunctive Queries
Andreas Göbel, Leslie Ann Goldberg, Marc Roth
🔮 The Ethereal cs.DM 5 2 years ago
1647 $k$-Universality of Regular Languages
Duncan Adamson, Pamela Fleischmann, ... (+4 more)
🔮 The Ethereal cs.FL 5 2 years ago
1648 Solution discovery via reconfiguration for problems in P
Mario Grobler, Stephanie Maaz, ... (+5 more)
🔮 The Ethereal cs.DM 5 2 years ago
1649 Matrix Multiplication in Quadratic Time and Energy? Towards a Fine-Grained Energy-Centric Church-Turing Thesis
Gregory Valiant
🔮 The Ethereal cs.CC 5 2 years ago
1650 In search of the lost tree: Hardness and relaxation of spanning trees in temporal graphs
Arnaud Casteigts, Timothée Corsini
🔮 The Ethereal cs.DM 5 2 years ago