💀 The Wall of Shame

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

Page 7, showing 50 papers

# Paper Cause of Death Category Citations Published
301 Computational Complexity of Motion Planning of a Robot through Simple Gadgets
Erik D. Demaine, Isaac Grosof, ... (+2 more)
🔮 The Ethereal cs.CC 30 7 years ago
302 Shepherding Hordes of Markov Chains
Milan Ceska, Nils Jansen, ... (+2 more)
🔮 The Ethereal cs.LO 30 7 years ago
303 Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
🔮 The Ethereal cs.LO 30 6 years ago
304 Simple Strategies in Multi-Objective MDPs (Technical Report)
Florent Delgrange, Joost-Pieter Katoen, ... (+2 more)
🔮 The Ethereal cs.LO 30 6 years ago
305 Fine-grained hardness of CVP(P) -- Everything that we can prove (and nothing else)
Divesh Aggarwal, Huck Bennett, ... (+2 more)
🔮 The Ethereal cs.CC 30 6 years ago
306 A Note on Double Pooling Tests
Andrei Z. Broder, Ravi Kumar
🔮 The Ethereal cs.DM 30 6 years ago
307 Conjunctive Queries: Unique Characterizations and Exact Learnability
Balder ten Cate, Victor Dalmau
🔮 The Ethereal cs.LO 30 5 years ago
308 Range Avoidance for Constant-Depth Circuits: Hardness and Algorithms
Karthik Gajulapalli, Alexander Golovnev, ... (+2 more)
🔮 The Ethereal cs.CC 30 3 years ago
309 A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation
Omar Alrabiah, Venkatesan Guruswami, ... (+2 more)
🔮 The Ethereal cs.CC 30 2 years ago
310 Canonizing Graphs of Bounded Tree Width in Logspace
Michael Elberfeld, Pascal Schweitzer
🔮 The Ethereal cs.CC 29 10 years ago
311 Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)
Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea
🔮 The Ethereal cs.LO 29 10 years ago
312 Approximating permanents and hafnians
Alexander Barvinok
🔮 The Ethereal math.CO 29 10 years ago
313 A general lower bound for collaborative tree exploration
Yann Disser, Frank Mousset, ... (+3 more)
🔮 The Ethereal cs.DM 29 9 years ago
314 Dichotomy for Digraph Homomorphism Problems
Tomás Feder, Jeff Kinne, ... (+2 more)
🔮 The Ethereal cs.CC 29 9 years ago
315 Low-Rank Matrix Approximation in the Infinity Norm
Nicolas Gillis, Yaroslav Shitov
🔮 The Ethereal cs.CC 29 8 years ago
316 Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
Pavel Dvořák, Eduard Eiben, ... (+3 more)
🔮 The Ethereal cs.DM 29 8 years ago
317 Computer-aided proofs for multiparty computation with active security
Helene Haagh, Aleksandr Karbyshev, ... (+3 more)
🔮 The Ethereal cs.LO 29 7 years ago
318 On the specification and verification of atomic swap smart contracts
Ron van der Meyden
🔮 The Ethereal cs.LO 29 7 years ago
319 Reconstructing Trees from Traces
Sami Davies, Miklos Z. Racz, Cyrus Rashtchian
🔮 The Ethereal cs.CC 29 7 years ago
320 Fast uniform generation of random graphs with given degree sequences
Andrii Arman, Pu Gao, Nicholas Wormald
🔮 The Ethereal math.CO 29 6 years ago
321 Treewidth versus clique number. I. Graph classes with a forbidden structure
Clément Dallard, Martin Milanič, Kenny Štorgel
🔮 The Ethereal math.CO 29 5 years ago
322 ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
Dan Frumin, Robbert Krebbers, Lars Birkedal
🔮 The Ethereal cs.LO 29 5 years ago
323 Counting Subgraphs in Degenerate Graphs
Suman K. Bera, Lior Gishboliner, ... (+3 more)
🔮 The Ethereal cs.CC 29 5 years ago
324 Relatively Complete Verification of Probabilistic Programs
Kevin Batz, Benjamin Lucien Kaminski, ... (+2 more)
🔮 The Ethereal cs.LO 29 5 years ago
325 On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
Ian Cassar, Adrian Francalanza
🔮 The Ethereal cs.LO 28 11 years ago
326 Towards Formal Fault Tree Analysis using Theorem Proving
Waqar Ahmed, Osman Hasan
🔮 The Ethereal cs.LO 28 10 years ago
327 Quantitative information flow under generic leakage functions and adaptive adversaries
M. Boreale, Francesca Pampaloni
🔮 The Ethereal cs.LO 28 10 years ago
328 The Minrank of Random Graphs
Alexander Golovnev, Oded Regev, Omri Weinstein
🔮 The Ethereal cs.CC 28 9 years ago
329 Non interactive simulation of correlated distributions is decidable
Anindya De, Elchanan Mossel, Joe Neeman
🔮 The Ethereal cs.CC 28 9 years ago
330 Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)
Ondrej Lengal, Anthony W. Lin, ... (+2 more)
🔮 The Ethereal cs.LO 28 8 years ago
331 A Simply Exponential Upper Bound on the Maximum Number of Stable Matchings
Anna R. Karlin, Shayan Oveis Gharan, Robbie Weber
🔮 The Ethereal cs.DM 28 8 years ago
332 Temporal Logics Over Finite Traces with Uncertainty (Technical Report)
Fabrizio M. Maggi, Marco Montali, Rafael Peñaloza
🔮 The Ethereal cs.LO 28 7 years ago
333 Understanding and Extending Incremental Determinization for 2QBF
Markus N. Rabe, Leander Tentrup, ... (+2 more)
🔮 The Ethereal cs.LO 28 6 years ago
334 Verifying Tight Logic Programs with anthem and Vampire
Jorge Fandinno, Vladimir Lifschitz, ... (+2 more)
🔮 The Ethereal cs.LO 28 5 years ago
335 New Techniques for Proving Fine-Grained Average-Case Hardness
Mina Dalirrooyfard, Andrea Lincoln, Virginia Vassilevska Williams
🔮 The Ethereal cs.CC 28 5 years ago
336 On Approximability of Clustering Problems Without Candidate Centers
Vincent Cohen-Addad, Karthik C. S., Euiwoong Lee
🔮 The Ethereal cs.CC 28 5 years ago
337 The Strongish Planted Clique Hypothesis and Its Consequences
Pasin Manurangsi, Aviad Rubinstein, Tselil Schramm
🔮 The Ethereal cs.CC 28 5 years ago
338 The Computational Limits of State-Space Models and Mamba via the Lens of Circuit Complexity
Yifang Chen, Xiaoyu Li, ... (+3 more)
🔮 The Ethereal cs.CC 28 1 year ago
339 Learning Regular Languages over Large Ordered Alphabets
Irini-Eleftheria Mens, Oded Maler
🔮 The Ethereal cs.LO 27 10 years ago
340 Polyhedral aspects of Submodularity, Convexity and Concavity
Rishabh Iyer, Jeff Bilmes
🔮 The Ethereal cs.DM 27 10 years ago
341 Type-based Self-stabilisation for Computational Fields
Ferruccio Damiani, Mirko Viroli
🔮 The Ethereal cs.LO 27 10 years ago
342 NTCCRT: A concurrent constraint framework for real-time interaction (extended version)
Mauricio Toro, Camilo Rueda, ... (+2 more)
🔮 The Ethereal cs.LO 27 10 years ago
343 Constructive noncommutative rank computation is in deterministic polynomial time
Gábor Ivanyos, Youming Qiao, K. V. Subrahmanyam
🔮 The Ethereal cs.CC 27 10 years ago
344 Modularity of regular and treelike graphs
Colin McDiarmid, Fiona Skerman
🔮 The Ethereal math.CO 27 9 years ago
345 Improved Hardness for Cut, Interdiction, and Firefighter Problems
Euiwoong Lee
🔮 The Ethereal cs.CC 27 9 years ago
346 lpopt: A Rule Optimization Tool for Answer Set Programming
Manuel Bichler, Michael Morak, Stefan Woltran
🔮 The Ethereal cs.LO 27 9 years ago
347 Faster Greedy MAP Inference for Determinantal Point Processes
Insu Han, Prabhanjan Kambadur, ... (+2 more)
🔮 The Ethereal cs.DM 27 9 years ago
348 Limits on representing Boolean functions by linear combinations of simple functions: thresholds, ReLUs, and low-degree polynomials
R. Ryan Williams
🔮 The Ethereal cs.CC 27 8 years ago
349 Sampling in Uniqueness from the Potts and Random-Cluster Models on Random Regular Graphs
Antonio Blanca, Andreas Galanis, ... (+4 more)
🔮 The Ethereal cs.DM 27 8 years ago
350 Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
🔮 The Ethereal cs.LO 27 8 years ago