💀 The Wall of Shame

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

Page 56, showing 50 papers

# Paper Cause of Death Category Citations Published
2751 On 4-general sets in finite projective spaces
Francesco Pavese
🔮 The Ethereal math.CO 1 3 years ago
2752 Coding information into all infinite subsets of a dense set
Matthew Harrison-Trainor, Lu Liu, Patrick Lutz
🔮 The Ethereal math.LO 1 3 years ago
2753 On Approximability of Steiner Tree in $\ell_p$-metrics
Henry Fleischmann, Surya Teja Gavva, Karthik C. S
🔮 The Ethereal cs.CC 1 3 years ago
2754 Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules
Tim S. Lyon, Piotr Ostropolski-Nalewaja
🔮 The Ethereal cs.LO 1 3 years ago
2755 A Term-based Approach for Generating Finite Automata from Interaction Diagrams
Erwan Mahe, Boutheina Bannour, ... (+3 more)
🔮 The Ethereal cs.FL 1 3 years ago
2756 Range-Restricted Interpolation through Clausal Tableaux
Christoph Wernhard
🔮 The Ethereal cs.LO 1 3 years ago
2757 Functional Dependencies with Predicates: What Makes the $g_3$-error Easy to Compute?
Simon Vilmin, Pierre Faure--Giovagnoli, ... (+2 more)
🔮 The Ethereal cs.DM 1 3 years ago
2758 On boundedness of zeros of the independence polynomial of tori
David de Boer, Pjotr Buys, ... (+2 more)
🔮 The Ethereal math.CO 1 3 years ago
2759 Checking Presence Reachability Properties on Parameterized Shared-Memory Systems
Nicolas Waldburger
🔮 The Ethereal cs.FL 1 3 years ago
2760 Optimal Information Encoding in Chemical Reaction Networks
Austin Luchsinger, David Doty, David Soloveichik
🔮 The Ethereal cs.CC 1 3 years ago
2761 Parameterised distance to local irregularity
Foivos Fioravantes, Nikolaos Melissinos, Theofilos Triommatis
🔮 The Ethereal cs.CC 1 3 years ago
2762 Declarative Linearizability Proofs for Descriptor-Based Concurrent Helping Algorithms
Jesús Domínguez, Aleksandar Nanevski
🔮 The Ethereal cs.LO 1 3 years ago
2763 On the Ratio of Shannon Numbers of Graphs
Sharareh Alipour, Amin Gohari, Mehrshad Taziki
🔮 The Ethereal math.CO 1 3 years ago
2764 Contextual Behavioural Metrics (Extended Version)
Ugo Dal Lago, Maurizio Murgia
🔮 The Ethereal cs.FL 1 3 years ago
2765 Polynomial-Delay Enumeration of Large Maximal Common Independent Sets in Two Matroids and Beyond
Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
🔮 The Ethereal math.CO 1 3 years ago
2766 Hadamard matrices of orders 60 and 64 with automorphisms of orders 29 and 31
Makoto Araya, Masaaki Harada, Vladimir D. Tonchev
🔮 The Ethereal math.CO 1 3 years ago
2767 Structural Analysis of GRAFCET Control Specifications
Aron Schnakenbeck, Robin Mroß, ... (+3 more)
🔮 The Ethereal cs.LO 1 3 years ago
2768 Improving Probabilistic Bisimulation for MDPs Using Machine Learning
Mohammadsadegh Mohaghegh, Khayyam Salehi
🔮 The Ethereal cs.LO 1 2 years ago
2769 Distance Labeling for Families of Cycles
Arseny M. Shur, Mikhail Rubinchik
🔮 The Ethereal math.CO 1 2 years ago
2770 Certifying C program correctness with respect to CH2O with VeriFast
Stefan Wils, Bart Jacobs
🔮 The Ethereal cs.LO 1 2 years ago
2771 On the Independencies Hidden in the Structure of a Probabilistic Logic Program
Kilian Rückschloß, Felix Weitkämper
🔮 The Ethereal cs.LO 1 2 years ago
2772 Recursive Error Reduction for Regular Branching Programs
Eshan Chattopadhyay, Jyun-Jie Liao
🔮 The Ethereal cs.CC 1 2 years ago
2773 A Mechanized Theory of the Box Calculus
Joseph Fourment, Yichen Xu
🔮 The Ethereal cs.LO 1 2 years ago
2774 Defensive Alliances in Signed Networks
Emmanuel Arrighi, Zhidan Feng, ... (+4 more)
🔮 The Ethereal cs.CC 1 2 years ago
2775 Sumplete is Hard, Even with Two Different Numbers
Suthee Ruangwises
🔮 The Ethereal cs.CC 1 2 years ago
2776 On the expressive power of mod-$p$ linear forms on the Boolean cube
Thomas Karam
🔮 The Ethereal math.CO 1 2 years ago
2777 Containment for Guarded Monotone Strict NP
Alexey Barsukov, Michael Pinsker, Jakub Rydval
🔮 The Ethereal cs.LO 1 2 years ago
2778 Towards Simpler Sorting Networks and Monotone Circuits for Majority
Natalia Dobrokhotova-Maikova, Alexander Kozachinskiy, Vladimir Podolskii
🔮 The Ethereal cs.CC 1 2 years ago
2779 USSR is in P/poly
Nikhil Balaji, Samir Datta
🔮 The Ethereal cs.CC 1 2 years ago
2780 Retrieving Top-k Hyperedge Triplets: Models and Applications
Jason Niu, Ilya D. Amburg, ... (+2 more)
🔮 The Ethereal cs.DM 1 2 years ago
2781 Gaussian Approximation of Convex Sets by Intersections of Halfspaces
Anindya De, Shivam Nadimpalli, Rocco A. Servedio
🔮 The Ethereal cs.CC 1 2 years ago
2782 Verification of a Rust Implementation of Knuth's Dancing Links using ACL2
David S. Hardin
🔮 The Ethereal cs.LO 1 2 years ago
2783 Learning Deterministic Finite Automata from Confidence Oracles
Wilson Wu
🔮 The Ethereal cs.FL 1 2 years ago
2784 Every latin hypercube of order 5 has transversals
A. L. Perezhogin, V. N. Potapov, S. Yu. Vladimirov
🔮 The Ethereal math.CO 1 2 years ago
2785 Succinct Encodings of Binary Trees with Application to AVL Trees
Jeremy Chizewer, Stephen Melczer, ... (+2 more)
🔮 The Ethereal math.CO 1 2 years ago
2786 Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs
Davide Barbarossa, Paolo Pistone
🔮 The Ethereal cs.LO 1 2 years ago
2787 Rumors with Changing Credibility
Charlotte Out, Nicolás Rivera, ... (+2 more)
🔮 The Ethereal cs.DM 1 2 years ago
2788 Output-sensitive Complexity of Multi-Objective Integer Network Flow Problems
David Könen, Michael Stiglmayr
🔮 The Ethereal cs.CC 1 2 years ago
2789 A Logical Framework with Infinitary Terms
Zhibo Chen
🔮 The Ethereal cs.LO 1 2 years ago
2790 Object-Centric Conformance Alignments with Synchronization (Extended Version)
Alessandro Gianola, Marco Montali, Sarah Winkler
🔮 The Ethereal cs.LO 1 2 years ago
2791 Omega-Regular Decision Processes
Ernst Moritz Hahn, Mateo Perez, ... (+4 more)
🔮 The Ethereal cs.LO 1 2 years ago
2792 Efficient Reactive Synthesis Using Mode Decomposition
Matías Brizzio, César Sánchez
🔮 The Ethereal cs.LO 1 2 years ago
2793 Syntax Monads for the Working Formal Metatheorist
Lawrence Dunn, Val Tannen, Steve Zdancewic
🔮 The Ethereal cs.LO 1 2 years ago
2794 Shannon capacity, Lovász theta number and the Mycielski construction
Bence Csonka, Gábor Simonyi
🔮 The Ethereal math.CO 1 2 years ago
2795 Normality, Relativization, and Randomness
Wesley Calvert, Emma Grunner, ... (+3 more)
🔮 The Ethereal math.LO 1 2 years ago
2796 Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
Yuhao Zhou, Stavros Tripakis
🔮 The Ethereal cs.LO 1 2 years ago
2797 Multicut Problems in Embedded Graphs: The Dependency of Complexity on the Demand Pattern
Jacob Focke, Florian Hörsch, ... (+2 more)
🔮 The Ethereal cs.CC 1 2 years ago
2798 Subsumptions of Algebraic Rewrite Rules
Thierry Boy de la Tour
🔮 The Ethereal cs.LO 1 2 years ago
2799 Total Matching and Subdeterminants
Luca Ferrarini, Samuel Fiorini, ... (+2 more)
🔮 The Ethereal math.CO 1 2 years ago
2800 On the stabilizer of the graph of linear functions over finite fields
Valentino Smaldore, Corrado Zanella, Ferdinando Zullo
🔮 The Ethereal math.CO 1 2 years ago