💀 The Wall of Shame

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

Page 20, showing 50 papers

# Paper Cause of Death Category Citations Published
951 FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
Margarida Ferreira, Miguel Terra-Neves, ... (+3 more)
🔮 The Ethereal cs.FL 11 5 years ago
952 Automating Reasoning with Standpoint Logic via Nested Sequents
Tim S. Lyon, Lucía Gómez Álvarez
🔮 The Ethereal cs.LO 11 4 years ago
953 String Attractors and Infinite Words
Antonio Restivo, Giuseppe Romana, Marinella Sciortino
🔮 The Ethereal cs.FL 11 4 years ago
954 Outer Strong Blocking Sets
Gianira N. Alfarano, Martino Borello, Alessandro Neri
🔮 The Ethereal math.CO 11 3 years ago
955 Dichotomies for Maximum Matching Cut: $H$-Freeness, Bounded Diameter, Bounded Radius
Felicia Lucke, Daniël Paulusma, Bernard Ries
🔮 The Ethereal math.CO 11 3 years ago
956 Sidon sets, sum-free sets and linear codes
Ingo Czerwinski, Alexander Pott
🔮 The Ethereal math.CO 11 3 years ago
957 Increasing subsequences, matrix loci, and Viennot shadows
Brendon Rhoades
🔮 The Ethereal math.CO 11 3 years ago
958 Towards a Certified Proof Checker for Deep Neural Network Verification
Remi Desmartin, Omri Isac, ... (+4 more)
🔮 The Ethereal cs.LO 11 3 years ago
959 Internal parametricity, without an interval
Thorsten Altenkirch, Yorgo Chamoun, ... (+2 more)
🔮 The Ethereal cs.LO 11 3 years ago
960 Non-Clashing Teaching Maps for Balls in Graphs
Jérémie Chalopin, Victor Chepoi, ... (+2 more)
🔮 The Ethereal cs.CC 11 2 years ago
961 Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
Anitha Murugesan, Isaac Wong, ... (+7 more)
🔮 The Ethereal cs.LO 11 1 year ago
962 Modern Hopfield Networks Require Chain-of-Thought to Solve $\mathsf{NC}^1$-Hard Problems
Yang Cao, Xiaoyu Li, ... (+4 more)
🔮 The Ethereal cs.CC 11 1 year ago
963 On metric properties of maps between Hamming spaces and related graph homomorphisms
Yury Polyanskiy
🔮 The Ethereal math.CO 10 11 years ago
964 Remarks on pointed digital homotopy
Laurence Boxer, P. Christopher Staecker
🔮 The Ethereal math.CO 10 11 years ago
965 Random intersection graphs and their applications in security, wireless communication, and social networks
Jun Zhao, Osman Yağan, Virgil Gligor
🔮 The Ethereal cs.DM 10 11 years ago
966 Further Results on the Classification of MDS Codes
Janne I. Kokkala, Patric R. J. Östergård
🔮 The Ethereal math.CO 10 11 years ago
967 Communication Complexity of Permutation-Invariant Functions
Badih Ghazi, Pritish Kamath, Madhu Sudan
🔮 The Ethereal cs.CC 10 11 years ago
968 On the Computational Complexity of Limit Cycles in Dynamical Systems
Christos H. Papadimitriou, Nisheeth K. Vishnoi
🔮 The Ethereal cs.CC 10 10 years ago
969 TP1-valid Transformation Functions for Operations on ordered n-ary Trees
Tim Jungnickel, Tobias Herb
🔮 The Ethereal cs.LO 10 10 years ago
970 The Expurgation-Augmentation Method for Constructing Good Plane Subspace Codes
Jingmei Ai, Thomas Honold, Haiteng Liu
🔮 The Ethereal math.CO 10 10 years ago
971 Average Shortest Path Length of Graphs of Diameter 3
Nobutaka Shimizu, Ryuhei Mori
🔮 The Ethereal cs.DM 10 10 years ago
972 Half-integral linkages in highly connected directed graphs
Katherine Edwards, Irene Muzi, Paul Wollan
🔮 The Ethereal math.CO 10 9 years ago
973 Detecting communities is hard, and counting them is even harder
Aviad Rubinstein
🔮 The Ethereal cs.CC 10 9 years ago
974 Number Balancing is as hard as Minkowski's Theorem and Shortest Vector
Rebecca Hoberg, Harishchandra Ramadas, ... (+2 more)
🔮 The Ethereal cs.DM 10 9 years ago
975 Dynamic Complexity under Definable Changes
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
🔮 The Ethereal cs.LO 10 9 years ago
976 Parameterized Shifted Combinatorial Optimization
Jakub Gajarský, Petr Hliněný, ... (+2 more)
🔮 The Ethereal cs.CC 10 9 years ago
977 Featured Weighted Automata
Uli Fahrenberg, Axel Legay
🔮 The Ethereal cs.FL 10 9 years ago
978 Towards a Topology-Shape-Metrics Framework for Ortho-Radial Drawings
Lukas Barth, Benjamin Niedermann, ... (+2 more)
🔮 The Ethereal cs.DM 10 9 years ago
979 Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol
Kaylash Chaudhary, Ansgar Fehnker, Vinay Mehta
🔮 The Ethereal cs.LO 10 9 years ago
980 Cayley graphs and symmetric interconnection networks
Ashwin Ganesan
🔮 The Ethereal math.CO 10 9 years ago
981 Generalized Ideals and Co-Granular Rough Sets
A Mani
🔮 The Ethereal math.LO 10 9 years ago
982 An Alon-Boppana Type Bound for Weighted Graphs and Lowerbounds for Spectral Sparsification
Nikhil Srivastava, Luca Trevisan
🔮 The Ethereal cs.DM 10 9 years ago
983 The Tu--Deng Conjecture holds almost surely
Lukas Spiegelhofer, Michael Wallner
🔮 The Ethereal math.CO 10 8 years ago
984 Common Knowledge in a Logic of Gossips
Krzysztof R. Apt, Dominik Wojtczak
🔮 The Ethereal cs.LO 10 8 years ago
985 On the Complexity of Robust Stable Marriage
Begum Genc, Mohamed Siala, ... (+2 more)
🔮 The Ethereal cs.CC 10 8 years ago
986 A recognition algorithm for simple-triangle graphs
Asahi Takaoka
🔮 The Ethereal cs.DM 10 8 years ago
987 (Biased) Majority Rule Cellular Automata
Bernd Gärtner, Ahad N. Zehmakan
🔮 The Ethereal cs.FL 10 8 years ago
988 Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version)
Aleksandar S. Dimovski
🔮 The Ethereal cs.LO 10 8 years ago
989 Fine-Grained Complexity of Safety Verification
Peter Chini, Roland Meyer, Prakash Saivasan
🔮 The Ethereal cs.LO 10 8 years ago
990 Pure gaps on curves with many rational places
Daniele Bartoli, Ariane M. Masuda, ... (+2 more)
🔮 The Ethereal math.CO 10 8 years ago
991 On the Bias of Reed-Muller Codes over Odd Prime Fields
Paul Beame, Shayan Oveis Gharan, Xin Yang
🔮 The Ethereal cs.DM 10 8 years ago
992 A new distance-regular graph of diameter 3 on 1024 vertices
Minjia Shi, Denis Krotov, Patrick Solé
🔮 The Ethereal math.CO 10 8 years ago
993 The RedPRL Proof Assistant (Invited Paper)
Carlo Angiuli, Evan Cavallo, ... (+3 more)
🔮 The Ethereal cs.LO 10 8 years ago
994 An improved upper bound on the integrality ratio for the $s$-$t$-path TSP
Vera Traub, Jens Vygen
🔮 The Ethereal cs.DM 10 7 years ago
995 The Minrank of Random Graphs over Arbitrary Fields
Noga Alon, Igor Balla, ... (+3 more)
🔮 The Ethereal math.CO 10 7 years ago
996 Unlabeled Compression Schemes Exceeding the VC-dimension
Dömötör Pálvölgyi, Gábor Tardos
🔮 The Ethereal math.CO 10 7 years ago
997 A static higher-order dependency pair framework
Carsten Fuhs, Cynthia Kop
🔮 The Ethereal cs.LO 10 7 years ago
998 An algorithmic approach to the existence of ideal objects in commutative algebra
Thomas Powell, Peter M Schuster, Franziskus Wiesnet
🔮 The Ethereal cs.LO 10 7 years ago
999 Almost Tight Lower Bounds for Hard Cutting Problems in Embedded Graphs
Vincent Cohen-Addad, Éric Colin de Verdière, ... (+2 more)
🔮 The Ethereal cs.CC 10 7 years ago
1000 Approximation algorithms and an integer program for multi-level graph spanners
Reyan Ahmed, Keaton Hamm, ... (+4 more)
🔮 The Ethereal cs.DM 10 7 years ago