💀 The Wall of Shame

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

Page 36, showing 50 papers

# Paper Cause of Death Category Citations Published
1751 Ordered Graph Limits and Their Applications
Omri Ben-Eliezer, Eldar Fischer, ... (+2 more)
🔮 The Ethereal math.CO 4 7 years ago
1752 Minimum Guesswork with an Unreliable Oracle
Natan Ardimanov, Ofer Shayevitz, Itzhak Tamo
🔮 The Ethereal cs.DM 4 7 years ago
1753 A Schur Complement Cheeger Inequality
Aaron Schild
🔮 The Ethereal cs.DM 4 7 years ago
1754 Hardy-Muckenhoupt Bounds for Laplacian Eigenvalues
Gary L. Miller, Noel J. Walkington, Alex L. Wang
🔮 The Ethereal cs.DM 4 7 years ago
1755 Time-reversal homotopical properties of concurrent systems
Cameron Calk, Eric Goubault, Philippe Malbos
🔮 The Ethereal math.CT 4 7 years ago
1756 Model-Checking on Ordered Structures
Kord Eickmeyer, Jan van den Heuvel, ... (+7 more)
🔮 The Ethereal cs.LO 4 7 years ago
1757 Unconstrained Church-Turing thesis cannot possibly be true
Yuri Gurevich
🔮 The Ethereal cs.LO 4 7 years ago
1758 A Pre-Expectation Calculus for Probabilistic Sensitivity
Alejandro Aguirre, Gilles Barthe, ... (+4 more)
🔮 The Ethereal cs.LO 4 7 years ago
1759 Local approximation of the Maximum Cut in regular graphs
Étienne Bamas, Louis Esperet
🔮 The Ethereal math.CO 4 7 years ago
1760 On the dualization in distributive lattices and related problems
Oscar Defrain, Lhouari Nourine, Takeaki Uno
🔮 The Ethereal cs.DM 4 7 years ago
1761 New doubly even self-dual codes having minimum weight 20
Masaaki Harada
🔮 The Ethereal math.CO 4 7 years ago
1762 Trace Equivalence and Epistemic Logic to Express Security Properties
Kiraku Minami
🔮 The Ethereal cs.LO 4 7 years ago
1763 Parameterized algorithms for Partial vertex covers in bipartite graphs
Vahan Mkrtchyan, Garik Petrosyan, K. Subramani
🔮 The Ethereal cs.DM 4 7 years ago
1764 Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report)
Eduard Kamburjan
🔮 The Ethereal cs.LO 4 7 years ago
1765 Benchmark Instances and Branch-and-Cut Algorithm for the Hashiwokakero Puzzle
Leandro C. Coelho, Gilbert Laporte, ... (+2 more)
🔮 The Ethereal cs.DM 4 7 years ago
1766 Robustness: a New Form of Heredity Motivated by Dynamic Networks
Arnaud Casteigts, Swan Dubois, ... (+2 more)
🔮 The Ethereal cs.DM 4 7 years ago
1767 Generic Encodings of Constructor Rewriting Systems
Horatiu Cirstea, Pierre-Etienne Moreau
🔮 The Ethereal cs.LO 4 7 years ago
1768 Lasserre Integrality Gaps for Graph Spanners and Related Problems
Michael Dinitz, Yasamin Nazari, Zeyu Zhang
🔮 The Ethereal cs.CC 4 7 years ago
1769 Is Free Choice Permission Admissible in Classical Deontic Logic?
Guido Governatori, Antonino Rotolo
🔮 The Ethereal cs.LO 4 7 years ago
1770 Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development
Philipp Berger, Johanna Nellen, ... (+4 more)
🔮 The Ethereal cs.LO 4 7 years ago
1771 FSM Error Messages
Marco T. Morazán, Josephine A. Des Rosiers
🔮 The Ethereal cs.FL 4 7 years ago
1772 The directed 2-linkage problem with length constraints
Jørgen Bang-Jensen, Thomas Bellitto, ... (+2 more)
🔮 The Ethereal cs.CC 4 7 years ago
1773 Vector Colorings of Random, Ramanujan, and Large-Girth Irregular Graphs
Jess Banks, Luca Trevisan
🔮 The Ethereal cs.CC 4 7 years ago
1774 Inapproximability Results for Scheduling with Interval and Resource Restrictions
Marten Maack, Klaus Jansen
🔮 The Ethereal cs.CC 4 7 years ago
1775 Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
🔮 The Ethereal cs.LO 4 7 years ago
1776 Pointers in Recursion: Exploring the Tropics
Paulin Jacobé de Naurois
🔮 The Ethereal cs.CC 4 6 years ago
1777 Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
🔮 The Ethereal cs.LO 4 6 years ago
1778 Spectral properties of generalized Paley graphs and their associated irreducible cyclic codes
Ricardo A. Podestá, Denis E. Videla
🔮 The Ethereal math.CO 4 6 years ago
1779 A Type-Based HFL Model Checking Algorithm
Youkichi Hosoi, Naoki Kobayashi, Takeshi Tsukada
🔮 The Ethereal cs.LO 4 6 years ago
1780 Simplifying Neural Networks using Formal Verification
Sumathi Gokulanathan, Alexander Feldsher, ... (+3 more)
🔮 The Ethereal cs.LO 4 6 years ago
1781 Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms
Tuhin Sahai, Anurag Mishra, ... (+2 more)
🔮 The Ethereal cs.DM 4 6 years ago
1782 A 2-approximation for the $k$-prize-collecting Steiner tree problem
Lehilton Lelis Chaves Pedrosa, Hugo Kooki Kasuya Rosado
🔮 The Ethereal cs.CC 4 6 years ago
1783 Degree-Bounded Generalized Polymatroids and Approximating the Metric Many-Visits TSP
Kristóf Bérczi, André Berger, ... (+2 more)
🔮 The Ethereal cs.DM 4 6 years ago
1784 Tree search algorithms for the Sequential Ordering Problem
Luc Libralesso, Abdel-Malik Bouhassoun, ... (+2 more)
🔮 The Ethereal cs.DM 4 6 years ago
1785 On the relation between structured $d$-DNNFs and SDDs
Beate Bollig, Martin Farenholtz
🔮 The Ethereal cs.CC 4 6 years ago
1786 A Constructive Formalization of the Weak Perfect Graph Theorem
Abhishek Kr Singh, Raja Natarajan
🔮 The Ethereal cs.LO 4 6 years ago
1787 Probabilistic process algebra and strategic interleaving
C. A. Middelburg
🔮 The Ethereal cs.LO 4 6 years ago
1788 Induced odd cycle packing number, independent sets, and chromatic number
Zdeněk Dvořák, Jakub Pekárek
🔮 The Ethereal cs.DM 4 6 years ago
1789 Algorithms for the rainbow vertex coloring problem on graph classes
Paloma T. Lima, Erik Jan van Leeuwen, Marieke van der Wegen
🔮 The Ethereal cs.DM 4 6 years ago
1790 Approximation algorithm for the Multicovering Problem
Abbass Gorgi, Mourad El Ouali, ... (+2 more)
🔮 The Ethereal math.CO 4 6 years ago
1791 Complete Edge-Colored Permutation Graphs
Tom Hartmann, Max Bannach, ... (+4 more)
🔮 The Ethereal math.CO 4 6 years ago
1792 Generating collection transformations from proofs
Michael Benedikt, Cécilia Pradic
🔮 The Ethereal cs.LO 4 6 years ago
1793 Linear transformations between dominating sets in the TAR-model
Nicolas Bousquet, Alice Joffard, Paul Ouvrard
🔮 The Ethereal cs.DM 4 6 years ago
1794 Concave Aspects of Submodular Functions
Rishabh Iyer, Jeff Bilmes
🔮 The Ethereal cs.DM 4 6 years ago
1795 Smart Choices and the Selection Monad
Martin Abadi, Gordon Plotkin
🔮 The Ethereal cs.LO 4 6 years ago
1796 Proof-Carrying Plans: a Resource Logic for AI Planning
Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
🔮 The Ethereal cs.LO 4 5 years ago
1797 Multi-Player Games with LDL Goals over Finite Traces
Julian Gutierrez, Giuseppe Perelli, Michael Wooldridge
🔮 The Ethereal cs.LO 4 5 years ago
1798 Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics
Tobias Geibinger, Hans Tompits
🔮 The Ethereal cs.LO 4 5 years ago
1799 Separation Results for Boolean Function Classes
Aniruddha Biswas, Palash Sarkar
🔮 The Ethereal cs.CC 4 5 years ago
1800 A Cyclic Proof System for HFLN
Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi
🔮 The Ethereal cs.LO 4 5 years ago