💀 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 The phases of large networks with edge and triangle constraints
Richard Kenyon, Charles Radin, ... (+2 more)
🔮 The Ethereal math.CO 31 9 years ago
302 A Converse to Banach's Fixed Point Theorem and its CLS Completeness
Constantinos Daskalakis, Christos Tzamos, Manolis Zampetakis
🔮 The Ethereal cs.CC 31 9 years ago
303 On the lengths of divisible codes
Michael Kiermaier, Sascha Kurz
🔮 The Ethereal math.CO 31 9 years ago
304 The Bang Calculus and the Two Girard's Translations
Giulio Guerrieri, Giulio Manzonetto
🔮 The Ethereal cs.LO 31 7 years ago
305 Assignment and Pricing of Shared Rides in Ride-Sourcing using Combinatorial Double Auctions
Renos Karamanis, Eleftherios Anastasiadis, ... (+2 more)
🔮 The Ethereal cs.CC 31 6 years ago
306 Sublinear Algorithms for Gap Edit Distance
Elazar Goldenberg, Robert Krauthgamer, Barna Saha
🔮 The Ethereal cs.CC 31 6 years ago
307 Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput
Zinovy Diskin, Harald König, Mark Lawford
🔮 The Ethereal cs.LO 31 6 years ago
308 Monochromatic Triangles, Intermediate Matrix Products, and Convolutions
Andrea Lincoln, Adam Polak, Virginia Vassilevska Williams
🔮 The Ethereal cs.CC 31 5 years ago
309 Flip-width: Cops and Robber on dense graphs
Szymon Toruńczyk
🔮 The Ethereal math.CO 31 3 years ago
310 Estimation of Laplacian spectra of direct and strong product graphs
Hiroki Sayama
🔮 The Ethereal cs.DM 30 11 years ago
311 Bipodal structure in oversaturated random graphs
Richard Kenyon, Charles Radin, ... (+2 more)
🔮 The Ethereal math.CO 30 10 years ago
312 On the Hardest Problem Formulations for the 0/1 Lasserre Hierarchy
Adam Kurpisz, Samuli Leppänen, Monaldo Mastrolilli
🔮 The Ethereal cs.CC 30 10 years ago
313 Formalization of Quantum Protocols using Coq
Jaap Boender, Florian Kammüller, Rajagopal Nagarajan
🔮 The Ethereal cs.LO 30 10 years ago
314 New extremal binary self-dual codes of length 68 via short kharaghani array over f_2 + uf_2
Abidin Kaya
🔮 The Ethereal math.CO 30 10 years ago
315 Designing a semantic model for a wide-spectrum language with concurrency
Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
🔮 The Ethereal cs.LO 30 9 years ago
316 The Advantage of Truncated Permutations
Shoni Gilboa, Shay Gueron
🔮 The Ethereal math.CO 30 9 years ago
317 How hard is it to satisfy (almost) all roommates?
Jiehua Chen, Danny Hermelin, ... (+2 more)
🔮 The Ethereal cs.CC 30 9 years ago
318 Bounded Quantifier Instantiation for Checking Inductive Invariants
Yotam M. Y. Feldman, Oded Padon, ... (+3 more)
🔮 The Ethereal cs.LO 30 8 years ago
319 Computational Complexity of Motion Planning of a Robot through Simple Gadgets
Erik D. Demaine, Isaac Grosof, ... (+2 more)
🔮 The Ethereal cs.CC 30 8 years ago
320 Shepherding Hordes of Markov Chains
Milan Ceska, Nils Jansen, ... (+2 more)
🔮 The Ethereal cs.LO 30 7 years ago
321 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 7 years ago
322 Simple Strategies in Multi-Objective MDPs (Technical Report)
Florent Delgrange, Joost-Pieter Katoen, ... (+2 more)
🔮 The Ethereal cs.LO 30 6 years ago
323 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
324 A Note on Double Pooling Tests
Andrei Z. Broder, Ravi Kumar
🔮 The Ethereal cs.DM 30 6 years ago
325 Conjunctive Queries: Unique Characterizations and Exact Learnability
Balder ten Cate, Victor Dalmau
🔮 The Ethereal cs.LO 30 5 years ago
326 Range Avoidance for Constant-Depth Circuits: Hardness and Algorithms
Karthik Gajulapalli, Alexander Golovnev, ... (+2 more)
🔮 The Ethereal cs.CC 30 3 years ago
327 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
328 Canonizing Graphs of Bounded Tree Width in Logspace
Michael Elberfeld, Pascal Schweitzer
🔮 The Ethereal cs.CC 29 11 years ago
329 Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)
Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea
🔮 The Ethereal cs.LO 29 10 years ago
330 Approximating permanents and hafnians
Alexander Barvinok
🔮 The Ethereal math.CO 29 10 years ago
331 A general lower bound for collaborative tree exploration
Yann Disser, Frank Mousset, ... (+3 more)
🔮 The Ethereal cs.DM 29 9 years ago
332 Dichotomy for Digraph Homomorphism Problems
Tomás Feder, Jeff Kinne, ... (+2 more)
🔮 The Ethereal cs.CC 29 9 years ago
333 Low-Rank Matrix Approximation in the Infinity Norm
Nicolas Gillis, Yaroslav Shitov
🔮 The Ethereal cs.CC 29 9 years ago
334 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 9 years ago
335 Computer-aided proofs for multiparty computation with active security
Helene Haagh, Aleksandr Karbyshev, ... (+3 more)
🔮 The Ethereal cs.LO 29 8 years ago
336 On the specification and verification of atomic swap smart contracts
Ron van der Meyden
🔮 The Ethereal cs.LO 29 7 years ago
337 Reconstructing Trees from Traces
Sami Davies, Miklos Z. Racz, Cyrus Rashtchian
🔮 The Ethereal cs.CC 29 7 years ago
338 Fast uniform generation of random graphs with given degree sequences
Andrii Arman, Pu Gao, Nicholas Wormald
🔮 The Ethereal math.CO 29 7 years ago
339 Treewidth versus clique number. I. Graph classes with a forbidden structure
Clément Dallard, Martin Milanič, Kenny Štorgel
🔮 The Ethereal math.CO 29 6 years ago
340 ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
Dan Frumin, Robbert Krebbers, Lars Birkedal
🔮 The Ethereal cs.LO 29 6 years ago
341 Counting Subgraphs in Degenerate Graphs
Suman K. Bera, Lior Gishboliner, ... (+3 more)
🔮 The Ethereal cs.CC 29 5 years ago
342 Relatively Complete Verification of Probabilistic Programs
Kevin Batz, Benjamin Lucien Kaminski, ... (+2 more)
🔮 The Ethereal cs.LO 29 5 years ago
343 On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
Ian Cassar, Adrian Francalanza
🔮 The Ethereal cs.LO 28 11 years ago
344 Towards Formal Fault Tree Analysis using Theorem Proving
Waqar Ahmed, Osman Hasan
🔮 The Ethereal cs.LO 28 11 years ago
345 Quantitative information flow under generic leakage functions and adaptive adversaries
M. Boreale, Francesca Pampaloni
🔮 The Ethereal cs.LO 28 11 years ago
346 The Minrank of Random Graphs
Alexander Golovnev, Oded Regev, Omri Weinstein
🔮 The Ethereal cs.CC 28 10 years ago
347 Non interactive simulation of correlated distributions is decidable
Anindya De, Elchanan Mossel, Joe Neeman
🔮 The Ethereal cs.CC 28 9 years ago
348 Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)
Ondrej Lengal, Anthony W. Lin, ... (+2 more)
🔮 The Ethereal cs.LO 28 8 years ago
349 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
350 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