💀 The Wall of Shame

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

Page 15, showing 50 papers

# Paper Cause of Death Category Citations Published
701 Self-Driving Vehicle Verification Towards a Benchmark
Nima Roohi, Ramneet Kaur, ... (+3 more)
🔮 The Ethereal cs.LO 15 7 years ago
702 On the Complexity of Value Iteration
Nikhil Balaji, Stefan Kiefer, ... (+3 more)
🔮 The Ethereal cs.FL 15 7 years ago
703 Enumerating minimal dominating sets in $K_t$-free graphs and variants
Marthe Bonamy, Oscar Defrain, ... (+3 more)
🔮 The Ethereal cs.DM 15 7 years ago
704 Spectrum graph coloring to improve Wi-Fi channel assignment in a real-world scenario via edge contraction
David Orden, Ivan Marsa-Maestre, ... (+3 more)
🔮 The Ethereal cs.DM 15 7 years ago
705 Finding a planted clique by adaptive probing
Miklós Z. Rácz, Benjamin Schiffer
🔮 The Ethereal math.CO 15 7 years ago
706 Parameterized Complexity of Conflict-free Graph Coloring
Hans L. Bodlaender, Sudeshna Kolay, Astrid Pieterse
🔮 The Ethereal cs.CC 15 7 years ago
707 Doubly transitive lines II: Almost simple symmetries
Joseph W. Iverson, Dustin G. Mixon
🔮 The Ethereal math.CO 15 6 years ago
708 Correlation decay and partition function zeros: Algorithms and phase transitions
Jingcheng Liu, Alistair Sinclair, Piyush Srivastava
🔮 The Ethereal cs.CC 15 6 years ago
709 Provenance Analysis for Logic and Games
Erich Grädel, Val Tannen
🔮 The Ethereal cs.LO 15 6 years ago
710 Cubic bent functions outside the completed Maiorana-McFarland class
Alexandr Polujan, Alexander Pott
🔮 The Ethereal math.CO 15 6 years ago
711 Sequential metric dimension for random graphs
Gergely Ódor, Patrick Thiran
🔮 The Ethereal math.CO 15 6 years ago
712 Verifying OpenJDK's LinkedList using KeY
Hans-Dieter A. Hiep, Olaf Maathuis, ... (+4 more)
🔮 The Ethereal cs.LO 15 6 years ago
713 Exact and approximation algorithms for the expanding search problem
Ben Hermans, Roel Leus, Jannik Matuschke
🔮 The Ethereal cs.DM 15 6 years ago
714 The theory of concatenation over finite models
Dominik D. Freydenberger, Liat Peterfreund
🔮 The Ethereal cs.LO 15 6 years ago
715 Structural Decompositions of Epistemic Logic Programs
Markus Hecher, Michael Morak, Stefan Woltran
🔮 The Ethereal cs.CC 15 6 years ago
716 New bounds for perfect $k$-hashing
Simone Costa, Marco Dalai
🔮 The Ethereal math.CO 15 6 years ago
717 On girth and the parameterized complexity of token sliding and token jumping
Valentin Bartier, Nicolas Bousquet, ... (+3 more)
🔮 The Ethereal cs.CC 15 5 years ago
718 Thirty-seven years of relational Hoare logic: remarks on its principles and history
David A. Naumann
🔮 The Ethereal cs.LO 15 5 years ago
719 Explicit near-fully X-Ramanujan graphs
Ryan O'Donnell, Xinyu Wu
🔮 The Ethereal math.CO 15 5 years ago
720 Quantitative Strongest Post
Linpeng Zhang, Benjamin Lucien Kaminski
🔮 The Ethereal cs.LO 15 4 years ago
721 On Comparable Box Dimension
Zdenek Dvorák, Daniel Goncalves, ... (+3 more)
🔮 The Ethereal cs.DM 15 4 years ago
722 Explicit two-sided unique-neighbor expanders
Jun-Ting Hsieh, Theo McKenzie, ... (+2 more)
🔮 The Ethereal math.CO 15 3 years ago
723 Geometric dual and sum-rank minimal codes
Martino Borello, Ferdinando Zullo
🔮 The Ethereal math.CO 15 3 years ago
724 Certified Hardness vs. Randomness for Log-Space
Edward Pyne, Ran Raz, Wei Zhan
🔮 The Ethereal cs.CC 15 3 years ago
725 Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth or Vertex Cover
Florent Foucaud, Esther Galby, ... (+5 more)
🔮 The Ethereal cs.CC 15 2 years ago
726 Barker sequences of odd length
Kai-Uwe Schmidt, Jürgen Willms
🔮 The Ethereal math.CO 14 11 years ago
727 Efficient Approximation Algorithms for Computing \emph{k} Disjoint Restricted Shortest Paths
Longkun Guo, Kewen Liao, ... (+2 more)
🔮 The Ethereal cs.DM 14 11 years ago
728 Approximation Algorithms for Generalized MST and TSP in Grid Clusters
Binay Bhattacharya, Ante Ćustić, ... (+3 more)
🔮 The Ethereal cs.DM 14 10 years ago
729 A Case Study on Logical Relations using Contextual Types
Andrew Cave, Brigitte Pientka
🔮 The Ethereal cs.LO 14 10 years ago
730 New self-dual additive $\mathbb{F}_4$-codes constructed from circulant graphs
Markus Grassl, Masaaki Harada
🔮 The Ethereal math.CO 14 10 years ago
731 Decoding Reed-Muller codes over product sets
John Kim, Swastik Kopparty
🔮 The Ethereal cs.CC 14 10 years ago
732 Fractals for Kernelization Lower Bounds
Till Fluschnik, Danny Hermelin, ... (+2 more)
🔮 The Ethereal cs.CC 14 10 years ago
733 Reasoning about Algebraic Data Types with Abstractions
Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen
🔮 The Ethereal cs.LO 14 10 years ago
734 An improved algorithm for the vertex cover $P_3$ problem on graphs of bounded treewidth
Zongwen Bai, Jianhua Tu, Yongtang Shi
🔮 The Ethereal math.CO 14 10 years ago
735 A symmetry breaking transition in the edge/triangle network model
Charles Radin, Kui Ren, Lorenzo Sadun
🔮 The Ethereal math.CO 14 10 years ago
736 Tight Sum-of-Squares lower bounds for binary polynomial optimization problems
Adam Kurpisz, Samuli Leppänen, Monaldo Mastrolilli
🔮 The Ethereal cs.CC 14 9 years ago
737 Bent functions and line ovals
Kanat Abdukhalikov
🔮 The Ethereal math.CO 14 9 years ago
738 Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel
Lihao Liang, Paul E. McKenney, ... (+2 more)
🔮 The Ethereal cs.LO 14 9 years ago
739 On the Compositionality of Quantitative Information Flow
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
🔮 The Ethereal cs.LO 14 9 years ago
740 From signatures to monads in UniMath
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
🔮 The Ethereal cs.LO 14 9 years ago
741 Dialectical Rough Sets, Parthood and Figures of Opposition-1
A. Mani
🔮 The Ethereal math.LO 14 9 years ago
742 A subspace code of size $333$ in the setting of a binary $q$-analog of the Fano plane
Daniel Heinlein, Michael Kiermaier, ... (+2 more)
🔮 The Ethereal math.CO 14 8 years ago
743 Asymptotically optimal Boolean functions
Kai-Uwe Schmidt
🔮 The Ethereal math.CO 14 8 years ago
744 Monitoring Data Minimisation
Srinivas Pinisetty, Thibaud Antignac, ... (+2 more)
🔮 The Ethereal cs.LO 14 8 years ago
745 New LMRD bounds for constant dimension codes and improved constructions
Daniel Heinlein
🔮 The Ethereal math.CO 14 8 years ago
746 Colouring Square-Free Graphs without Long Induced Paths
Serge Gaspers, Shenwei Huang, Daniël Paulusma
🔮 The Ethereal math.CO 14 7 years ago
747 On Computing the Multiplicity of Cycles in Bipartite Graphs Using the Degree Distribution and the Spectrum of the Graph
Ali Dehghan, Amir H. Banihashemi
🔮 The Ethereal cs.DM 14 7 years ago
748 Regular omega-Languages with an Informative Right Congruence
Dana Angluin, Dana Fisman
🔮 The Ethereal cs.FL 14 7 years ago
749 Flip distances between graph orientations
Oswin Aichholzer, Jean Cardinal, ... (+5 more)
🔮 The Ethereal math.CO 14 7 years ago
750 Computational Petri Nets: Adjunctions Considered Harmful
Fabrizio Genovese, Alex Gryzlov, ... (+4 more)
🔮 The Ethereal math.CT 14 7 years ago