💀 The Wall of Shame

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

Page 12, showing 50 papers

# Paper Cause of Death Category Citations Published
551 Strong blocking sets and minimal codes from expander graphs
Noga Alon, Anurag Bishnoi, ... (+2 more)
🔮 The Ethereal math.CO 19 2 years ago
552 Complete Multiparty Session Type Projection with Automata
Elaine Li, Felix Stutz, ... (+2 more)
🔮 The Ethereal cs.FL 19 2 years ago
553 Eigenvalue Bounds for Sum-Rank-Metric Codes
Aida Abiad, Antonina P. Khramova, Alberto Ravagnani
🔮 The Ethereal math.CO 19 2 years ago
554 Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, ... (+2 more)
🔮 The Ethereal cs.FL 19 2 years ago
555 Variable and value elimination in binary constraint satisfaction via forbidden patterns
David A. Cohen, Martin C. Cooper, ... (+2 more)
🔮 The Ethereal cs.CC 18 11 years ago
556 Computing with Tangles
Martin Grohe, Pascal Schweitzer
🔮 The Ethereal cs.DM 18 11 years ago
557 PDE Approaches to Graph Analysis
Justin Solomon
🔮 The Ethereal cs.DM 18 11 years ago
558 All or Nothing at All
Paolo D'Arco, Navid Nasr Esfahani, Douglas R. Stinson
🔮 The Ethereal math.CO 18 10 years ago
559 Protection of flows under targeted attacks
Jannik Matuschke, S. Thomas McCormick, ... (+3 more)
🔮 The Ethereal cs.DM 18 10 years ago
560 On universal partial words
Herman Z. Q. Chen, Sergey Kitaev, ... (+2 more)
🔮 The Ethereal math.CO 18 10 years ago
561 Noisy population recovery in polynomial time
Anindya De, Michael Saks, Sijian Tang
🔮 The Ethereal cs.CC 18 10 years ago
562 Perfect snake-in-the-box codes for rank modulation
Alexander E. Holroyd
🔮 The Ethereal math.CO 18 10 years ago
563 Shotgun Assembly of Random Jigsaw Puzzles
Charles Bordenave, Uriel Feige, Elchanan Mossel
🔮 The Ethereal math.CO 18 9 years ago
564 Hardness of Permutation Pattern Matching
Vít Jelínek, Jan Kynčl
🔮 The Ethereal math.CO 18 9 years ago
565 On the Group and Color Isomorphism Problems
François Le Gall, David J. Rosenbaum
🔮 The Ethereal cs.CC 18 9 years ago
566 Asynchronous Distributed Automata: A Characterization of the Modal Mu-Fragment
Fabian Reiter
🔮 The Ethereal cs.FL 18 9 years ago
567 The flip Markov chain for connected regular graphs
Colin Cooper, Martin Dyer, ... (+2 more)
🔮 The Ethereal cs.DM 18 9 years ago
568 Optimal Data Reduction for Graph Coloring Using Low-Degree Polynomials
Bart M. P. Jansen, Astrid Pieterse
🔮 The Ethereal cs.CC 18 8 years ago
569 Priority Evacuation from a Disk Using Mobile Robots
J. Czyzowicz, K. Georgiou, ... (+6 more)
🔮 The Ethereal cs.DM 18 7 years ago
570 Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Alexander Semenov, Ilya Otpuschennikov, ... (+3 more)
🔮 The Ethereal cs.LO 18 7 years ago
571 Correlation Clustering Generalized
David F. Gleich, Nate Veldt, Anthony Wirth
🔮 The Ethereal cs.CC 18 7 years ago
572 Debugging Smart Contract's Business Logic Using Symbolic Model-Checking
Evgeniy Shishkin
🔮 The Ethereal cs.LO 18 7 years ago
573 Determinantal conditions for homomorphic sensing
Manolis C. Tsakiris
🔮 The Ethereal math.CO 18 7 years ago
574 Token Swapping on Trees
Ahmad Biniaz, Kshitij Jain, ... (+7 more)
🔮 The Ethereal cs.CC 18 7 years ago
575 SMT-based Constraint Answer Set Solver EZSMT+
Da Shen, Yuliya Lierler
🔮 The Ethereal cs.LO 18 6 years ago
576 Towards Finding Longer Proofs
Zsolt Zombori, Adrián Csiszárik, ... (+3 more)
🔮 The Ethereal cs.LO 18 6 years ago
577 Relative Hausdorff Distance for Network Analysis
Sinan G. Aksoy, Kathleen E. Nowak, ... (+2 more)
🔮 The Ethereal cs.DM 18 6 years ago
578 Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs
Shahin Kamali, Avery Miller, Kenny Zhang
🔮 The Ethereal math.CO 18 6 years ago
579 FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints
Anastasios Kyrillidis, Anshumali Shrivastava, ... (+2 more)
🔮 The Ethereal cs.LO 18 6 years ago
580 Intuitionistic Linear Temporal Logics
Philippe Balbiani, Joseph Boudou, ... (+2 more)
🔮 The Ethereal cs.LO 18 6 years ago
581 APX-Hardness and Approximation for the k-Burning Number Problem
Debajyoti Mondal, N. Parthiban, ... (+2 more)
🔮 The Ethereal cs.CC 18 5 years ago
582 Asymptotically Optimal Vertex Ranking of Planar Graphs
Prosenjit Bose, Vida Dujmović, ... (+2 more)
🔮 The Ethereal math.CO 18 5 years ago
583 Using a geometric lens to find k disjoint shortest paths
Matthias Bentert, André Nichterlein, ... (+2 more)
🔮 The Ethereal math.CO 18 5 years ago
584 A Bunched Logic for Conditional Independence
Jialu Bao, Simon Docherty, ... (+2 more)
🔮 The Ethereal cs.LO 18 5 years ago
585 Simple Reductions from Formula-SAT to Pattern Matching on Labeled Graphs and Subtree Isomorphism
Daniel Gibney, Gary Hoppenworth, Sharma V. Thankachan
🔮 The Ethereal cs.CC 18 5 years ago
586 Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Jonas Kastberg Hinrichsen, Jesper Bengtson, Robbert Krebbers
🔮 The Ethereal cs.LO 18 5 years ago
587 Training Neural Networks is NP-Hard in Fixed Dimension
Vincent Froese, Christoph Hertrich
🔮 The Ethereal cs.CC 18 3 years ago
588 Mutual visibility in hypercube-like graphs
Serafino Cicerone, Alessia Di Fonso, ... (+3 more)
🔮 The Ethereal math.CO 18 2 years ago
589 Treewidth versus clique number. IV. Tree-independence number of graphs excluding an induced star
Clément Dallard, Matjaž Krnc, ... (+5 more)
🔮 The Ethereal math.CO 18 2 years ago
590 The Discrete Cosine Transform over Prime Finite Fields
M. M. Campello de Souza, H. M. de Oliveira, ... (+2 more)
🔮 The Ethereal cs.DM 17 11 years ago
591 Dominating induced matchings in graphs containing no long claw
Alain Hertz, Vadim Lozin, ... (+3 more)
🔮 The Ethereal cs.DM 17 10 years ago
592 Systematic Verification of the Modal Logic Cube in Isabelle/HOL
Christoph Benzmüller, Maximilian Claus, Nik Sultana
🔮 The Ethereal cs.LO 17 10 years ago
593 Extremal Distances for Subtree Transfer Operations in Binary Trees
Ross Atkins, Colin McDiarmid
🔮 The Ethereal math.CO 17 10 years ago
594 Hardness of RNA Folding Problem with Four Symbols
Yi-Jun Chang
🔮 The Ethereal cs.CC 17 10 years ago
595 Parameterizing edge modification problems above lower bounds
René van Bevern, Vincent Froese, Christian Komusiewicz
🔮 The Ethereal cs.DM 17 10 years ago
596 Complexity of ITL model checking: some well-behaved fragments of the interval logic HS
A. Molinari, A. Montanari, A. Peron
🔮 The Ethereal cs.LO 17 10 years ago
597 Quasi-4-Connected Components
Martin Grohe
🔮 The Ethereal cs.DM 17 10 years ago
598 On the limitations of analysing worst-case dynamic energy of processing
Jeremy Morse, Steve Kerrison, Kerstin Eder
🔮 The Ethereal cs.CC 17 10 years ago
599 Structural Synthesis for GXW Specifications
Chih-Hong Cheng, Yassine Hamza, Harald Ruess
🔮 The Ethereal cs.LO 17 10 years ago
600 A Timed Process Algebra for Wireless Networks
Emile Bres, Rob van Glabbeek, Peter Höfner
🔮 The Ethereal cs.LO 17 9 years ago