💀 The Wall of Shame

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

Page 37, showing 50 papers

# Paper Cause of Death Category Citations Published
1801 PTAS for Sparse General-Valued CSPs
Balázs F. Mezei, Marcin Wrochna, Stanislav Živný
🔮 The Ethereal cs.DM 4 5 years ago
1802 Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Luca Aceto, Ian Cassar, ... (+2 more)
🔮 The Ethereal cs.LO 4 4 years ago
1803 A New Temporal Interpretation of Cluster Editing
Cristiano Bocci, Chiara Capresi, ... (+2 more)
🔮 The Ethereal cs.DM 4 4 years ago
1804 Globally Minimal Defensive Alliances: A Parameterized Perspective
Ajinkya Gaikwad, Soumen Maity
🔮 The Ethereal cs.CC 4 4 years ago
1805 Hardness Results for Laplacians of Simplicial Complexes via Sparse-Linear Equation Complete Gadgets
Ming Ding, Rasmus Kyng, ... (+2 more)
🔮 The Ethereal cs.CC 4 4 years ago
1806 Induced Disjoint Paths and Connected Subgraphs for $H$-Free Graphs
Barnaby Martin, Daniël Paulusma, ... (+2 more)
🔮 The Ethereal math.CO 4 4 years ago
1807 1-Extendability of independent sets
Pierre Bergé, Anthony Busson, ... (+2 more)
🔮 The Ethereal cs.CC 4 4 years ago
1808 Is the Algorithmic Kadison-Singer Problem Hard?
Ben Jourdan, Peter Macgregor, He Sun
🔮 The Ethereal cs.CC 4 4 years ago
1809 Reactive Synthesis of Smart Contract Control Flows
Bernd Finkbeiner, Jana Hofmann, ... (+2 more)
🔮 The Ethereal cs.LO 4 4 years ago
1810 Distributed domination on sparse graph classes
Ozan Heydt, Simeon Kublenz, ... (+3 more)
🔮 The Ethereal cs.DM 4 4 years ago
1811 The Two-Stripe Symmetric Circulant TSP is in P
Samuel C. Gutekunst, Billy Jin, David P. Williamson
🔮 The Ethereal cs.DM 4 4 years ago
1812 An Approximate Generalization of the Okamura-Seymour Theorem
Nikhil Kumar
🔮 The Ethereal cs.DM 4 3 years ago
1813 Tensor Reconstruction Beyond Constant Rank
Shir Peleg, Amir Shpilka, Ben Lee Volk
🔮 The Ethereal cs.CC 4 3 years ago
1814 A Note on the Quickest Minimum Cost Transshipment Problem
Martin Skutella
🔮 The Ethereal cs.DM 4 3 years ago
1815 Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata
Gleifer Vaz Alves, Maike Schwammberger
🔮 The Ethereal cs.LO 4 3 years ago
1816 A Multivariate Complexity Analysis of Qualitative Reasoning Problems
Leif Eriksson, Victor Lagerkvist
🔮 The Ethereal cs.CC 4 3 years ago
1817 On the complexity of symmetric vs. functional PCSPs
Tamio-Vesa Nakajima, Stanislav Živný
🔮 The Ethereal cs.CC 4 3 years ago
1818 Verifying And Interpreting Neural Networks using Finite Automata
Marco Sälzer, Eric Alsmann, ... (+2 more)
🔮 The Ethereal cs.FL 4 3 years ago
1819 Computable Bounds and Monte Carlo Estimates of the Expected Edit Distance
Gianfranco Bilardi, Michele Schimd
🔮 The Ethereal cs.FL 4 3 years ago
1820 The unstable formula theorem revisited via algorithms
Maryanthe Malliaris, Shay Moran
🔮 The Ethereal math.LO 4 3 years ago
1821 Category Theory for Quantum Natural Language Processing
Alexis Toumi
🔮 The Ethereal math.CT 4 3 years ago
1822 Excluding Single-Crossing Matching Minors in Bipartite Graphs
Archontia C. Giannopoulou, Dimitrios M. Thilikos, Sebastian Wiederrecht
🔮 The Ethereal math.CO 4 3 years ago
1823 Some Results on Approximability of Minimum Sum Vertex Cover
Aleksa Stanković
🔮 The Ethereal cs.CC 4 3 years ago
1824 Nonlinear Random Matrices and Applications to the Sum of Squares Hierarchy
Goutham Rajendran
🔮 The Ethereal cs.CC 4 3 years ago
1825 Secret Sharing on Superconcentrator
Yuan Li
🔮 The Ethereal cs.CC 4 3 years ago
1826 A note on small weight codewords of projective geometric codes and on the smallest sets of even type
Sam Adriaensen
🔮 The Ethereal math.CO 4 3 years ago
1827 Now It Compiles! Certified Automatic Repair of Uncompilable Protocols
Luís Cruz-Filipe, Fabrizio Montesi
🔮 The Ethereal cs.LO 4 3 years ago
1828 Scarf's algorithm and stable marriages
Yuri Faenza, Chengyue He, Jay Sethuraman
🔮 The Ethereal math.CO 4 3 years ago
1829 Descriptive complexity for distributed computing with circuits
Veeti Ahvonen, Damian Heiman, ... (+2 more)
🔮 The Ethereal cs.LO 4 3 years ago
1830 Normal Form Bisimulations By Value
Beniamino Accattoli, Adrienne Lancelot, Claudia Faggian
🔮 The Ethereal cs.LO 4 3 years ago
1831 Semitopology: a topological approach to decentralised collaborative action
Murdoch Gabbay
🔮 The Ethereal cs.LO 4 3 years ago
1832 On the Information Capacity of Nearest Neighbor Representations
Kordag Mehmet Kilic, Jin Sima, Jehoshua Bruck
🔮 The Ethereal cs.CC 4 3 years ago
1833 Can You Solve Closest String Faster than Exhaustive Search?
Amir Abboud, Nick Fischer, ... (+3 more)
🔮 The Ethereal cs.CC 4 3 years ago
1834 On the algebraic proof complexity of Tensor Isomorphism
Nicola Galesi, Joshua A. Grochow, ... (+2 more)
🔮 The Ethereal cs.CC 4 3 years ago
1835 Degree-$M$ Bethe and Sinkhorn Permanent Based Bounds on the Permanent of a Non-negative Matrix
Yuwen Huang, Navin Kashyap, Pascal O. Vontobel
🔮 The Ethereal math.CO 4 3 years ago
1836 A Fast Algorithm for Computing Prefix Probabilities
Franz Nowak, Ryan Cotterell
🔮 The Ethereal cs.FL 4 3 years ago
1837 Sleptsov Nets are Turing-complete
Bernard Berthomieu, Dmitry A. Zaitsev
🔮 The Ethereal cs.CC 4 3 years ago
1838 Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
Amr Alanwar, Frank J. Jiang, Karl H. Johansson
🔮 The Ethereal cs.LO 4 3 years ago
1839 Parameterized Complexity of Domination Problems Using Restricted Modular Partitions
Manuel Lafond, Weidong Luo
🔮 The Ethereal cs.CC 4 3 years ago
1840 Universal lower bound for community structure of sparse graphs
Vilhelm Agdur, Nina Kamčev, Fiona Skerman
🔮 The Ethereal math.CO 4 3 years ago
1841 Canonical Gradings of Monads
Flavien Breuvart, Dylan McDermott, Tarmo Uustalu
🔮 The Ethereal cs.LO 4 2 years ago
1842 Randomized and quantum query complexities of finding a king in a tournament
Nikhil S. Mande, Manaswi Paraashar, Nitin Saurabh
🔮 The Ethereal cs.CC 4 2 years ago
1843 Ehrenfeucht-Fraïssé Games in Semiring Semantics
Sophie Brinke, Erich Grädel, Lovro Mrkonjić
🔮 The Ethereal cs.LO 4 2 years ago
1844 Cartesian Differential Kleisli Categories
Jean-Simon Pacaud Lemay
🔮 The Ethereal math.CT 4 2 years ago
1845 Symbolic Automata: $ω$-Regularity Modulo Theories
Margus Veanes, Thomas Ball, ... (+2 more)
🔮 The Ethereal cs.FL 4 2 years ago
1846 A near-optimal zero-free disk for the Ising model
Viresh Patel, Guus Regts, Ayla Stam
🔮 The Ethereal math.CO 4 2 years ago
1847 Model Checking for Closed-Loop Robot Reactive Planning
Christopher Chandler, Bernd Porr, ... (+2 more)
🔮 The Ethereal cs.LO 4 2 years ago
1848 On the Congruency-Constrained Matroid Base
Siyue Liu, Chao Xu
🔮 The Ethereal math.CO 4 2 years ago
1849 Continuous optimization methods for the graph isomorphism problem
Stefan Klus, Patrick Gelß
🔮 The Ethereal cs.DM 4 2 years ago
1850 Divisible minimal codes
Vladimir Chubenko, Sascha Kurz
🔮 The Ethereal math.CO 4 2 years ago