💀 The Wall of Shame

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

Page 25, showing 50 papers

# Paper Cause of Death Category Citations Published
1201 Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters
Esther Galby, Liana Khazaliya, ... (+3 more)
🔮 The Ethereal cs.DM 8 4 years ago
1202 Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving
Christoph Wernhard
🔮 The Ethereal cs.LO 8 3 years ago
1203 Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian
🔮 The Ethereal cs.FL 8 3 years ago
1204 A refinement on the structure of vertex-critical ($P_5$, gem)-free graphs
Ben Cameron, Chính T. Hoàng
🔮 The Ethereal math.CO 8 3 years ago
1205 A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Tobias Kappé, Todd Schmid, Alexandra Silva
🔮 The Ethereal cs.LO 8 3 years ago
1206 A Logical Account of Subtyping for Session Types
Ross Horne, Luca Padovani
🔮 The Ethereal cs.LO 8 3 years ago
1207 Hardness of Finding Combinatorial Shortest Paths on Graph Associahedra
Takehiro Ito, Naonori Kakimura, ... (+5 more)
🔮 The Ethereal math.CO 8 3 years ago
1208 Complexity Framework for Forbidden Subgraphs IV: The Steiner Forest Problem
Hans L. Bodlaender, Matthew Johnson, ... (+6 more)
🔮 The Ethereal math.CO 8 3 years ago
1209 Relaxed Local Correctability from Local Testing
Vinayak M. Kumar, Geoffrey Mon
🔮 The Ethereal cs.CC 8 3 years ago
1210 A note on $t$-designs in isodual codes
Madoka Awada, Tsuyoshi Miezaki, ... (+2 more)
🔮 The Ethereal math.CO 8 2 years ago
1211 Improved bounds for the zeros of the chromatic polynomial via Whitney's Broken Circuit Theorem
Matthew Jenssen, Viresh Patel, Guus Regts
🔮 The Ethereal math.CO 8 2 years ago
1212 Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
Étienne André, Engel Lefaucheux, ... (+3 more)
🔮 The Ethereal cs.LO 8 2 years ago
1213 Semidefinite programming and linear equations vs. homomorphism problems
Lorenzo Ciardo, Stanislav Živný
🔮 The Ethereal cs.CC 8 2 years ago
1214 Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems
Srajan Goyal, Alberto Griggio, ... (+2 more)
🔮 The Ethereal cs.LO 8 2 years ago
1215 The NFA Acceptance Hypothesis: Non-Combinatorial and Dynamic Lower Bounds
Karl Bringmann, Allan Grønlund, ... (+2 more)
🔮 The Ethereal cs.CC 8 2 years ago
1216 Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Linpeng Zhang, Noam Zilberstein, ... (+2 more)
🔮 The Ethereal cs.LO 8 2 years ago
1217 A universal sequence of tensors for the asymptotic rank conjecture
Petteri Kaski, Mateusz Michałek
🔮 The Ethereal cs.CC 8 2 years ago
1218 Near Optimal Alphabet-Soundness Tradeoff PCPs
Dor Minzer, Kai Zhe Zheng
🔮 The Ethereal cs.CC 8 2 years ago
1219 Eigenvalue bounds for the distance-$t$ chromatic number of a graph and their application to Lee codes
Aida Abiad, Alessandro Neri, Luuk Reijnders
🔮 The Ethereal math.CO 8 2 years ago
1220 Computational hardness of detecting graph lifts and certifying lift-monotone properties of random regular graphs
Dmitriy Kunisky, Xifan Yu
🔮 The Ethereal cs.CC 8 2 years ago
1221 Counting Small Induced Subgraphs: Hardness via Fourier Analysis
Radu Curticapean, Daniel Neuen
🔮 The Ethereal cs.CC 8 2 years ago
1222 Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
Andoni Rodríguez, Felipe Gorostiaga, César Sánchez
🔮 The Ethereal cs.LO 8 2 years ago
1223 Approximate Relational Reasoning for Higher-Order Probabilistic Programs
Philipp G. Haselwarter, Kwing Hei Li, ... (+4 more)
🔮 The Ethereal cs.LO 8 2 years ago
1224 A Demonic Outcome Logic for Randomized Nondeterminism
Noam Zilberstein, Dexter Kozen, ... (+2 more)
🔮 The Ethereal cs.LO 8 1 year ago
1225 Graph classes through the lens of logic
Michał Pilipczuk
🔮 The Ethereal math.CO 8 1 year ago
1226 Explicit Lossless Vertex Expanders
Jun-Ting Hsieh, Alexander Lubotzky, ... (+3 more)
🔮 The Ethereal math.CO 8 1 year ago
1227 A Linear/Producer/Consumer Model of Classical Linear Logic
Jennifer Paykin, Steve Zdancewic
🔮 The Ethereal cs.LO 7 11 years ago
1228 A Linear Time Algorithm for the $3$-neighbour Traveling Salesman Problem on Halin graphs and extensions
Brad Woods, Abraham Punnen, Tamon Stephen
🔮 The Ethereal cs.DM 7 11 years ago
1229 Communication with Contextual Uncertainty
Badih Ghazi, Ilan Komargodski, ... (+2 more)
🔮 The Ethereal cs.CC 7 11 years ago
1230 On the Connectedness of Clash-free Timetables
Moritz Mühlenthaler, Rolf Wanka
🔮 The Ethereal cs.DM 7 11 years ago
1231 Dual-normal Logic Programs - the Forgotten Class
Johannes K. Fichte, Miroslaw Truszczynski, Stefan Woltran
🔮 The Ethereal cs.CC 7 11 years ago
1232 An Open Challenge Problem Repository for Systems Supporting Binders
Amy Felty, Alberto Momigliano, Brigitte Pientka
🔮 The Ethereal cs.LO 7 10 years ago
1233 Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie B. de Lima Filho
🔮 The Ethereal cs.LO 7 10 years ago
1234 Quantum Oracle Classification - The Case of Group Structure
Mark Zhandry
🔮 The Ethereal cs.CC 7 10 years ago
1235 Permutations sortable by two stacks in series
Andrew Elvey Price, Anthony J Guttmann
🔮 The Ethereal math.CO 7 10 years ago
1236 The minimum volume of subspace trades
Denis Krotov
🔮 The Ethereal cs.DM 7 10 years ago
1237 New Deterministic Algorithms for Solving Parity Games
Matthias Mnich, Heiko Röglin, Clemens Rösner
🔮 The Ethereal cs.CC 7 10 years ago
1238 Verifying Temporal Properties of Reactive Systems by Transformation
Geoff Hamilton
🔮 The Ethereal cs.LO 7 10 years ago
1239 Strong Backdoors for Default Logic
Johannes K. Fichte, Arne Meier, Irina Schindler
🔮 The Ethereal cs.LO 7 10 years ago
1240 On the Implicit Graph Conjecture
Maurice Chandoo
🔮 The Ethereal cs.CC 7 10 years ago
1241 Prediction of Infinite Words with Automata
Tim Smith
🔮 The Ethereal cs.FL 7 10 years ago
1242 Uniqueness Trees: A Possible Polynomial Approach to the Graph Isomorphism Problem
Jonathan Gorard
🔮 The Ethereal cs.DM 7 10 years ago
1243 Ceteris paribus logic in counterfactual reasoning
Patrick Girard, Marcus Anthony Triplett
🔮 The Ethereal cs.LO 7 10 years ago
1244 From Weak to Strong LP Gaps for all CSPs
Mrinalkanti Ghosh, Madhur Tulsiani
🔮 The Ethereal cs.CC 7 9 years ago
1245 Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
🔮 The Ethereal math.LO 7 9 years ago
1246 A Modular Formalization of Reversibility for Concurrent Models and Languages
Alexis Bernadet, Ivan Lanese
🔮 The Ethereal cs.LO 7 9 years ago
1247 Twisted Centralizer Codes
Adel Alahmadi, S. P. Glasby, ... (+3 more)
🔮 The Ethereal math.CO 7 9 years ago
1248 Harder-Narasimhan theory for linear codes
Hugues Randriambololona
🔮 The Ethereal math.CO 7 9 years ago
1249 Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
Franz Baader, Stefan Borgwardt, Barbara Morawska
🔮 The Ethereal cs.LO 7 9 years ago
1250 Preserving Randomness for Adaptive Algorithms
William M. Hoza, Adam R. Klivans
🔮 The Ethereal cs.CC 7 9 years ago