💀 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 Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection (Technical Report)
Milan Ceska, Vojtech Havlena, ... (+3 more)
🔮 The Ethereal cs.FL 21 8 years ago
502 Adaptive Lower Bound for Testing Monotonicity on the Line
Aleksandrs Belovs
🔮 The Ethereal cs.CC 21 8 years ago
503 Maximum Realizability for Linear Temporal Logic Specifications
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
🔮 The Ethereal cs.LO 21 8 years ago
504 Doubly transitive lines I: Higman pairs and roux
Joseph W. Iverson, Dustin G. Mixon
🔮 The Ethereal math.CO 21 8 years ago
505 Best-case and Worst-case Sparsifiability of Boolean CSPs
Hubie Chen, Bart M. P. Jansen, Astrid Pieterse
🔮 The Ethereal cs.CC 21 7 years ago
506 Differentiable Causal Computations via Delayed Trace
David Sprunger, Shin-ya Katsumata
🔮 The Ethereal cs.LO 21 7 years ago
507 On the Maximum Weight Independent Set Problem in graphs without induced cycles of length at least five
Maria Chudnovsky, Marcin Pilipczuk, ... (+2 more)
🔮 The Ethereal cs.DM 21 7 years ago
508 Computer Science and Metaphysics: A Cross-Fertilization
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
🔮 The Ethereal cs.LO 21 7 years ago
509 An improved approximation algorithm for ATSP
Vera Traub, Jens Vygen
🔮 The Ethereal cs.DM 21 6 years ago
510 Hardness of Random Optimization Problems for Boolean Circuits, Low-Degree Polynomials, and Langevin Dynamics
David Gamarnik, Aukosh Jagannath, Alexander S. Wein
🔮 The Ethereal cs.CC 21 6 years ago
511 Walking through Doors is Hard, even without Staircases: Proving PSPACE-hardness via Planar Assemblies of Door Gadgets
Hayashi Ani, Jeffrey Bosboom, ... (+4 more)
🔮 The Ethereal cs.CC 21 6 years ago
512 Maximizing coverage while ensuring fairness: a tale of conflicting objective
Abolfazl Asudeh, Tanya Berger-Wolf, ... (+2 more)
🔮 The Ethereal cs.CC 21 6 years ago
513 LTLf Synthesis on Probabilistic Systems
Andrew M. Wells, Morteza Lahijanian, ... (+2 more)
🔮 The Ethereal cs.LO 21 5 years ago
514 Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Pierre Bourhis, Carsten Lutz
🔮 The Ethereal cs.LO 21 5 years ago
515 Client-Server Sessions in Linear Logic
Zesen Qian, G. A. Kavvos, Lars Birkedal
🔮 The Ethereal cs.LO 21 5 years ago
516 A SAT-based Resolution of Lam's Problem
Curtis Bright, Kevin K. H. Cheung, ... (+3 more)
🔮 The Ethereal cs.DM 21 5 years ago
517 Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
Lorenz Leutgeb, Georg Moser, Florian Zuleger
🔮 The Ethereal cs.LO 21 4 years ago
518 Cover Your Bases: How to Minimize the Sequencing Coverage in DNA Storage Systems
Daniella Bar-Lev, Omer Sabary, ... (+2 more)
🔮 The Ethereal cs.DM 21 3 years ago
519 Spatial Interpolants
Aws Albarghouthi, Josh Berdine, ... (+2 more)
🔮 The Ethereal cs.LO 20 11 years ago
520 Inapproximability of $H$-Transversal/Packing
Venkatesan Guruswami, Euiwoong Lee
🔮 The Ethereal cs.CC 20 11 years ago
521 Independent sets and cuts in large-girth regular graphs
Endre Csóka
🔮 The Ethereal math.CO 20 10 years ago
522 Retractable Contracts
Franco Barbanera, Mariangiola Dezani-Ciancaglini, ... (+2 more)
🔮 The Ethereal cs.LO 20 10 years ago
523 A Classical Realizability Model for a Semantical Value Restriction
Rodolphe Lepigre
🔮 The Ethereal cs.LO 20 10 years ago
524 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
525 On the Complexity of Connection Games
Édouard Bonnet, Florian Jamain, Abdallah Saffidine
🔮 The Ethereal cs.CC 20 10 years ago
526 Understanding the complexity of #SAT using knowledge compilation
Florent Capelli
🔮 The Ethereal cs.CC 20 9 years ago
527 [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 9 years ago
528 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
529 Spectral Methods for Immunization of Large Networks
Muhammad Ahmad, Juvaria Tariq, ... (+2 more)
🔮 The Ethereal cs.DM 20 8 years ago
530 Discovering the hidden community structure of public transportation networks
Laszlo Hajdu, Andras Bota, ... (+3 more)
🔮 The Ethereal cs.DM 20 8 years ago
531 Quadratic and symmetric bilinear forms over finite fields and their association schemes
Kai-Uwe Schmidt
🔮 The Ethereal math.CO 20 8 years ago
532 An explicit two-source extractor with min-entropy rate near 4/9
Mark Lewko
🔮 The Ethereal math.CO 20 8 years ago
533 Towards a formal notion of impact metric for cyber-physical attacks (full version)
Ruggero Lanotte, Massimo Merro, Simone Tini
🔮 The Ethereal cs.LO 20 8 years ago
534 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
535 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
536 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
537 Compositional Non-Interference for Fine-Grained Concurrent Programs
Dan Frumin, Robbert Krebbers, Lars Birkedal
🔮 The Ethereal cs.LO 20 6 years ago
538 Pseudo-deterministic Streaming
Shafi Goldwasser, Ofer Grossman, ... (+2 more)
🔮 The Ethereal cs.CC 20 6 years ago
539 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
540 Weighted Additive Spanners
Reyan Ahmed, Greg Bodwin, ... (+3 more)
🔮 The Ethereal cs.DM 20 6 years ago
541 Feedback Edge Sets in Temporal Graphs
Roman Haag, Hendrik Molter, ... (+2 more)
🔮 The Ethereal cs.DM 20 6 years ago
542 Full complexity classification of the list homomorphism problem for bounded-treewidth graphs
Karolina Okrasa, Marta Piecyk, Paweł Rzążewski
🔮 The Ethereal cs.CC 20 6 years ago
543 Logical Separability of Labeled Data Examples under Ontologies
Jean Christoph Jung, Carsten Lutz, ... (+2 more)
🔮 The Ethereal cs.LO 20 6 years ago
544 Efficient List-Decoding with Constant Alphabet and List Sizes
Zeyu Guo, Noga Ron-Zewi
🔮 The Ethereal cs.CC 20 5 years ago
545 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
546 Constructing Near Spanning Trees with Few Local Inspections
Reut Levi, Guy Moshkovitz, ... (+3 more)
🔮 The Ethereal math.CO 19 11 years ago
547 Zero-free regions of partition functions with applications to algorithms and graph limits
Guus Regts
🔮 The Ethereal math.CO 19 11 years ago
548 Tangles and the Mona Lisa
Reinhard Diestel, Geoff Whittle
🔮 The Ethereal math.CO 19 10 years ago
549 Directed Containers as Categories
Danel Ahman, Tarmo Uustalu
🔮 The Ethereal cs.LO 19 10 years ago
550 Weight recursions for any rotation symmetric Boolean functions
Thomas W. Cusick
🔮 The Ethereal math.CO 19 9 years ago