💀 The Wall of Shame

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

Page 19, showing 50 papers

# Paper Cause of Death Category Citations Published
901 Conditional lower bounds for sparse parameterized 2-CSP: A streamlined proof
Karthik C. S., Dániel Marx, ... (+2 more)
🔮 The Ethereal cs.CC 12 2 years ago
902 Some easy optimization problems have the overlap-gap property
Shuangping Li, Tselil Schramm
🔮 The Ethereal cs.CC 12 1 year ago
903 Linear Codes associated to Determinantal Varieties
Peter Beelen, Sudhir R. Ghorpade, Sartaj Ul Hasan
🔮 The Ethereal math.CO 11 11 years ago
904 Blocking optimal arborescences
Attila Bernáth, Gyula Pap
🔮 The Ethereal math.CO 11 11 years ago
905 Maximum weighted independent sets with a budget
Tushar Kalra, Rogers Mathew, ... (+2 more)
🔮 The Ethereal cs.CC 11 11 years ago
906 Idempotents in intensional type theory
Michael Shulman
🔮 The Ethereal math.LO 11 11 years ago
907 Extending ACL2 with SMT Solvers
Yan Peng, Mark Greenstreet
🔮 The Ethereal cs.LO 11 10 years ago
908 A short note on Merlin-Arthur protocols for subset sum
Jesper Nederlof
🔮 The Ethereal cs.CC 11 10 years ago
909 Loopless Gray Code Enumeration and the Tower of Bucharest
Felix Herter, Günter Rote
🔮 The Ethereal cs.DM 11 10 years ago
910 Program Derivation by Correctness Enhacements
Nafi Diallo, Wided Ghardallou, ... (+2 more)
🔮 The Ethereal cs.LO 11 10 years ago
911 From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging
Gina Belmonte, Vincenzo Ciancia, ... (+2 more)
🔮 The Ethereal cs.LO 11 10 years ago
912 $r-$Bell polynomials in combinatorial Hopf algebras
Ali Chouria, Jean-Gabriel Luque
🔮 The Ethereal math.CO 11 10 years ago
913 Hierarchical State Machines as Modular Horn Clauses
Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux
🔮 The Ethereal cs.LO 11 10 years ago
914 Improving and extending the testing of distributions for shape-restricted properties
Eldar Fischer, Oded Lachish, Yadu Vasudev
🔮 The Ethereal cs.CC 11 9 years ago
915 Subgaussian Tail Bounds via Stability Arguments
Thomas Steinke, Jonathan Ullman
🔮 The Ethereal cs.DM 11 9 years ago
916 The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
Christoph Wernhard
🔮 The Ethereal cs.LO 11 9 years ago
917 Line Hermitian Grassmann Codes and their Parameters
Ilaria Cardinali, Luca Giuzzi
🔮 The Ethereal math.CO 11 9 years ago
918 Predicate Pairing for Program Verification
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
🔮 The Ethereal cs.LO 11 8 years ago
919 Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
Dominik Klein, Rasmus K. Rendsvig
🔮 The Ethereal cs.LO 11 8 years ago
920 Model Checking Social Network Models
Raúl Pardo, Gerardo Schneider
🔮 The Ethereal cs.LO 11 8 years ago
921 Computing permanents of complex diagonally dominant matrices and tensors
Alexander Barvinok
🔮 The Ethereal math.CO 11 8 years ago
922 On the nonexistence of linear perfect Lee codes
Tao Zhang, Yue Zhou
🔮 The Ethereal math.CO 11 8 years ago
923 The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter
Koko Muroya, Dan R. Ghica
🔮 The Ethereal cs.LO 11 8 years ago
924 Resolution with Counting: Dag-Like Lower Bounds and Different Moduli
Fedor Part, Iddo Tzameret
🔮 The Ethereal cs.CC 11 8 years ago
925 A family of neighborhood contingency logics
Jie Fan
🔮 The Ethereal math.LO 11 7 years ago
926 Model-Based Safety and Security Engineering
Vivek Nigam, Alexander Pretschner, Harald Ruess
🔮 The Ethereal cs.LO 11 7 years ago
927 Topological Bounds on the Dimension of Orthogonal Representations of Graphs
Ishay Haviv
🔮 The Ethereal math.CO 11 7 years ago
928 A Linear Programming Based Approach to the Steiner Tree Problem with a Fixed Number of Terminals
Matias Siebert, Shabbir Ahmed, George Nemhauser
🔮 The Ethereal math.CO 11 7 years ago
929 Efficiently factoring polynomials modulo $p^4$
Ashish Dwivedi, Rajat Mittal, Nitin Saxena
🔮 The Ethereal cs.CC 11 7 years ago
930 Linear-Time and Efficient Distributed Algorithms for List Coloring Graphs on Surfaces
Luke Postle
🔮 The Ethereal math.CO 11 7 years ago
931 Taking Linear Logic Apart
Wen Kokke, Fabrizio Montesi, Marco Peressotti
🔮 The Ethereal cs.LO 11 7 years ago
932 An extremal problem for integer sparse recovery
Sergei Konyagin, Benny Sudakov
🔮 The Ethereal math.CO 11 7 years ago
933 Gray-box Monitoring of Hyperproperties (Extended Version)
Sandro Stucki, César Sánchez, ... (+2 more)
🔮 The Ethereal cs.LO 11 7 years ago
934 Runtime Verification For Timed Event Streams With Partial Information
Martin Leucker, César Sánchez, ... (+3 more)
🔮 The Ethereal cs.LO 11 7 years ago
935 The $k$-Dimensional Weisfeiler-Leman Algorithm
Neil Immerman, Rik Sengupta
🔮 The Ethereal cs.CC 11 7 years ago
936 Incremental Bounded Model Checking of Artificial Neural Networks in CUDA
Luiz H. Sena, Iury V. Bessa, ... (+3 more)
🔮 The Ethereal cs.LO 11 6 years ago
937 Learning Concepts Definable in First-Order Logic with Counting
Steffen van Bergerem
🔮 The Ethereal cs.LO 11 6 years ago
938 Equivalence of Systematic Linear Data Structures and Matrix Rigidity
Sivaramakrishnan Natarajan Ramamoorthy, Cyrus Rashtchian
🔮 The Ethereal cs.CC 11 6 years ago
939 Formal composition of hybrid systems
Jared Culbertson, Paul Gustafson, ... (+2 more)
🔮 The Ethereal math.CT 11 6 years ago
940 Clustering powers of sparse graphs
Jaroslav Nešetřil, Patrice Ossona de Mendez, ... (+2 more)
🔮 The Ethereal cs.DM 11 6 years ago
941 Fair allocation of indivisible items with conflict graphs
Nina Chiarelli, Matjaž Krnc, ... (+4 more)
🔮 The Ethereal cs.DM 11 6 years ago
942 Session Type Systems based on Linear Logic: Classical versus Intuitionistic
Bas van den Heuvel, Jorge A. Pérez
🔮 The Ethereal cs.LO 11 6 years ago
943 Stolarsky's invariance principle for finite metric spaces
Alexander Barg
🔮 The Ethereal math.CO 11 6 years ago
944 The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains
Caterina Viola, Stanislav Zivny
🔮 The Ethereal cs.CC 11 6 years ago
945 eclingo: A solver for Epistemic Logic Programs
Pedro Cabalar, Jorge Fandinno, ... (+3 more)
🔮 The Ethereal cs.LO 11 5 years ago
946 Incremental maintenance of overgrounded logic programs with tailored simplifications
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
🔮 The Ethereal cs.LO 11 5 years ago
947 Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs
Pascal Baumann, Rupak Majumdar, ... (+2 more)
🔮 The Ethereal cs.FL 11 5 years ago
948 On the cut dimension of a graph
Troy Lee, Tongyang Li, ... (+2 more)
🔮 The Ethereal cs.CC 11 5 years ago
949 Focal points and their implications for Möbius Transforms and Dempster-Shafer Theory
Maxime Chaveroche, Franck Davoine, Véronique Cherfaoui
🔮 The Ethereal cs.DM 11 5 years ago
950 Optimal labelling schemes for adjacency, comparability, and reachability
Marthe Bonamy, Louis Esperet, ... (+2 more)
🔮 The Ethereal math.CO 11 5 years ago