💀 The Wall of Shame

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

Page 11, showing 50 papers

# Paper Cause of Death Category Citations Published
501 Spatial Interpolants
Aws Albarghouthi, Josh Berdine, ... (+2 more)
🔮 The Ethereal cs.LO 20 11 years ago
502 Inapproximability of $H$-Transversal/Packing
Venkatesan Guruswami, Euiwoong Lee
🔮 The Ethereal cs.CC 20 10 years ago
503 Independent sets and cuts in large-girth regular graphs
Endre Csóka
🔮 The Ethereal math.CO 20 10 years ago
504 Retractable Contracts
Franco Barbanera, Mariangiola Dezani-Ciancaglini, ... (+2 more)
🔮 The Ethereal cs.LO 20 10 years ago
505 A Classical Realizability Model for a Semantical Value Restriction
Rodolphe Lepigre
🔮 The Ethereal cs.LO 20 10 years ago
506 Approximation Algorithm for Fault-Tolerant Virtual Backbone in Wireless Sensor Networks
Jiao Zhou, Zhao Zhang, ... (+2 more)
🔮 The Ethereal cs.DM 20 10 years ago
507 On the Complexity of Connection Games
Édouard Bonnet, Florian Jamain, Abdallah Saffidine
🔮 The Ethereal cs.CC 20 9 years ago
508 Understanding the complexity of #SAT using knowledge compilation
Florent Capelli
🔮 The Ethereal cs.CC 20 9 years ago
509 [1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms
Amir Kafshdar Goharshady, Mohammad Reza Hooshmandasl, Mohsen Alambardar Meybodi
🔮 The Ethereal math.CO 20 8 years ago
510 A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
Ian J. Hayes, Larissa A. Meinicke, ... (+2 more)
🔮 The Ethereal cs.LO 20 8 years ago
511 Spectral Methods for Immunization of Large Networks
Muhammad Ahmad, Juvaria Tariq, ... (+2 more)
🔮 The Ethereal cs.DM 20 8 years ago
512 Discovering the hidden community structure of public transportation networks
Laszlo Hajdu, Andras Bota, ... (+3 more)
🔮 The Ethereal cs.DM 20 8 years ago
513 Quadratic and symmetric bilinear forms over finite fields and their association schemes
Kai-Uwe Schmidt
🔮 The Ethereal math.CO 20 8 years ago
514 An explicit two-source extractor with min-entropy rate near 4/9
Mark Lewko
🔮 The Ethereal math.CO 20 8 years ago
515 Towards a formal notion of impact metric for cyber-physical attacks (full version)
Ruggero Lanotte, Massimo Merro, Simone Tini
🔮 The Ethereal cs.LO 20 7 years ago
516 SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer
Mikhail R. Gadelha, Enrico Steffinlongo, ... (+3 more)
🔮 The Ethereal cs.LO 20 7 years ago
517 Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata
Milan Češka, Vojtěch Havlena, ... (+7 more)
🔮 The Ethereal cs.FL 20 7 years ago
518 Medians in median graphs and their cube complexes in linear time
Laurine Bénéteau, Jérémie Chalopin, ... (+2 more)
🔮 The Ethereal cs.DM 20 6 years ago
519 Compositional Non-Interference for Fine-Grained Concurrent Programs
Dan Frumin, Robbert Krebbers, Lars Birkedal
🔮 The Ethereal cs.LO 20 6 years ago
520 Pseudo-deterministic Streaming
Shafi Goldwasser, Ofer Grossman, ... (+2 more)
🔮 The Ethereal cs.CC 20 6 years ago
521 On $Δ$-Modular Integer Linear Problems In The Canonical Form And Equivalent Problems
D. V. Gribanov, I. A. Shumilov, ... (+2 more)
🔮 The Ethereal cs.CC 20 6 years ago
522 Weighted Additive Spanners
Reyan Ahmed, Greg Bodwin, ... (+3 more)
🔮 The Ethereal cs.DM 20 6 years ago
523 Feedback Edge Sets in Temporal Graphs
Roman Haag, Hendrik Molter, ... (+2 more)
🔮 The Ethereal cs.DM 20 6 years ago
524 Full complexity classification of the list homomorphism problem for bounded-treewidth graphs
Karolina Okrasa, Marta Piecyk, Paweł Rzążewski
🔮 The Ethereal cs.CC 20 5 years ago
525 Logical Separability of Labeled Data Examples under Ontologies
Jean Christoph Jung, Carsten Lutz, ... (+2 more)
🔮 The Ethereal cs.LO 20 5 years ago
526 Efficient List-Decoding with Constant Alphabet and List Sizes
Zeyu Guo, Noga Ron-Zewi
🔮 The Ethereal cs.CC 20 5 years ago
527 A survey on the parameterized complexity of the independent set and (connected) dominating set reconfiguration problems
Nicolas Bousquet, Amer E. Mouawad, ... (+2 more)
🔮 The Ethereal cs.CC 20 4 years ago
528 Constructing Near Spanning Trees with Few Local Inspections
Reut Levi, Guy Moshkovitz, ... (+3 more)
🔮 The Ethereal math.CO 19 11 years ago
529 Zero-free regions of partition functions with applications to algorithms and graph limits
Guus Regts
🔮 The Ethereal math.CO 19 10 years ago
530 Tangles and the Mona Lisa
Reinhard Diestel, Geoff Whittle
🔮 The Ethereal math.CO 19 10 years ago
531 Directed Containers as Categories
Danel Ahman, Tarmo Uustalu
🔮 The Ethereal cs.LO 19 10 years ago
532 Weight recursions for any rotation symmetric Boolean functions
Thomas W. Cusick
🔮 The Ethereal math.CO 19 9 years ago
533 Does robustness imply tractability? A lower bound for planted clique in the semi-random model
Jacob Steinhardt
🔮 The Ethereal cs.CC 19 9 years ago
534 Lower Bound On the Computational Complexity of Discounted Markov Decision Problems
Yichen Chen, Mengdi Wang
🔮 The Ethereal cs.CC 19 8 years ago
535 Lower Bounds for Tolerant Junta and Unateness Testing via Rejection Sampling of Graphs
Amit Levi, Erik Waingarten
🔮 The Ethereal cs.CC 19 7 years ago
536 Everybody's Got To Be Somewhere
Conor McBride
🔮 The Ethereal cs.LO 19 7 years ago
537 Reasoning in Bayesian Opinion Exchange Networks Is PSPACE-Hard
Jan Hązła, Ali Jadbabaie, ... (+2 more)
🔮 The Ethereal cs.CC 19 7 years ago
538 A Type Theory for Defining Logics and Proofs
Brigitte Pientka, David Thibodeau, ... (+3 more)
🔮 The Ethereal cs.LO 19 6 years ago
539 The Demand Query Model for Bipartite Matching
Noam Nisan
🔮 The Ethereal cs.CC 19 6 years ago
540 Verifying that a compiler preserves concurrent value-dependent information-flow security
Robert Sison, Toby Murray
🔮 The Ethereal cs.LO 19 6 years ago
541 Crumbling Abstract Machines
Beniamino Accattoli, Andrea Condoluci, ... (+2 more)
🔮 The Ethereal cs.LO 19 6 years ago
542 Directed Homotopy in Non-Positively Curved Spaces
Eric Goubault, Samuel Mimram
🔮 The Ethereal cs.LO 19 6 years ago
543 Aggregate Queries on Sparse Databases
Szymon Toruńczyk
🔮 The Ethereal cs.LO 19 6 years ago
544 Probabilistic Hyperproperties with Nondeterminism
Erika Abraham, Ezio Bartocci, ... (+2 more)
🔮 The Ethereal cs.LO 19 5 years ago
545 Enhancing SAT solvers with glue variable predictions
Jesse Michael Han
🔮 The Ethereal cs.LO 19 5 years ago
546 Equitable Scheduling on a Single Machine
Klaus Heeger, Danny Hermelin, ... (+4 more)
🔮 The Ethereal cs.DM 19 5 years ago
547 On cutting blocking sets and their codes
Daniele Bartoli, Antonio Cossidente, ... (+2 more)
🔮 The Ethereal math.CO 19 5 years ago
548 Linearly ordered colourings of hypergraphs
Tamio-Vesa Nakajima, Stanislav Živný
🔮 The Ethereal cs.CC 19 4 years ago
549 Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
Simon Oddershede Gregersen, Alejandro Aguirre, ... (+3 more)
🔮 The Ethereal cs.LO 19 3 years ago
550 Geometric Barriers for Stable and Online Algorithms for Discrepancy Minimization
David Gamarnik, Eren C. Kızıldağ, ... (+2 more)
🔮 The Ethereal cs.CC 19 3 years ago