💀 The Wall of Shame

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

Page 60, showing 50 papers

# Paper Cause of Death Category Citations Published
2951 $\mathrm{TIME}[t]\subseteq \mathrm{SPACE}[O(\sqrt{t})]$ via Tree Height Compression
Logan Nye
🔮 The Ethereal cs.CC 1 11 months ago
2952 The second minimum weight of Grassmann codes
Mrinmoy Datta, Tiasa Dutta
🔮 The Ethereal math.CO 1 11 months ago
2953 Measuring Ransomware Lateral Movement Susceptibility via Privilege-Weighted Adjacency Matrix Exponentiation
Satyam Tyagi, Ganesh Murugesan
🔮 The Ethereal cs.DM 1 11 months ago
2954 Continuous Petri Nets for Fast Yield Computation: Polynomial-Time and MILP Approaches
Addie Jordon, Juri Kolčák, Daniel Merkle
🔮 The Ethereal cs.DM 1 10 months ago
2955 Improved Bounds for Twin-Width Parameter Variants with Algorithmic Applications to Counting Graph Colorings
Ambroise Baril, Miguel Couceiro, Victor Lagerkvist
🔮 The Ethereal cs.CC 1 10 months ago
2956 Scalable Learning of One-Counter Automata via State-Merging Algorithms
Shibashis Guha, Anirban Majumdar, ... (+2 more)
🔮 The Ethereal cs.FL 1 10 months ago
2957 A General Framework for Low Soundness Homomorphism Testing
Tushant Mittal, Sourya Roy
🔮 The Ethereal cs.CC 1 10 months ago
2958 Degree Realization by Bipartite Cactus Graphs
Amotz Bar-Noy, Toni Bohnlein, ... (+3 more)
🔮 The Ethereal cs.DM 1 10 months ago
2959 On the recognition problem for limits of entropy functions
Geva Yashfe
🔮 The Ethereal math.CO 1 10 months ago
2960 The Eigenvalue Method in Coding Theory
Aida Abiad, Loes Peters, Alberto Ravagnani
🔮 The Ethereal math.CO 1 10 months ago
2961 Parameterized Complexity of Vehicle Routing
Michelle Döring, Jan Fehse, ... (+7 more)
🔮 The Ethereal cs.CC 1 10 months ago
2962 Efficient Algorithms for Partitioning Circulant Graphs with Optimal Spectral Approximation
Surya Teja Gavva, Peng Zhang
🔮 The Ethereal math.CO 1 10 months ago
2963 Weighted Automata for Exact Inference in Discrete Probabilistic Programs
Dominik Geißler, Tobias Winkler
🔮 The Ethereal cs.FL 1 10 months ago
2964 Supersimulators
Cynthia Dwork, Pranay Tankala
🔮 The Ethereal cs.CC 1 10 months ago
2965 Polynomial Invariants of q-Matroids and Rank-Metric Codes
Heide Gluesing-Luerssen, Benjamin Jany
🔮 The Ethereal math.CO 1 10 months ago
2966 Discrete scalar curvature as a weighted sum of Ollivier-Ricci curvatures
Abigail Hickok, Andrew J. Blumberg
🔮 The Ethereal cs.DM 1 9 months ago
2967 Parameterized Complexity of s-Club Cluster Edge Deletion: When Is the Diameter Bound Necessary?
Ajinkya Gaikwad
🔮 The Ethereal cs.DM 1 9 months ago
2968 Homomorphism Problems in Graph Databases and Automatic Structures
Rémi Morvan
🔮 The Ethereal cs.LO 1 9 months ago
2969 The Structure of In-Place Space-Bounded Computation
James Cook, Surendra Ghentiyala, ... (+3 more)
🔮 The Ethereal cs.CC 1 9 months ago
2970 On the Walsh spectra of quadratic APN functions
Sophie Hannah Bénéteau, Nicolas Goluboff, ... (+2 more)
🔮 The Ethereal math.CO 1 9 months ago
2971 Deterministic Hardness of Approximation of Unique-SVP and GapSVP in $\ell_p$ norms for $p>2$
Yahli Hecht, Muli Safra
🔮 The Ethereal cs.CC 1 9 months ago
2972 SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
Zachary Hansen, Yuliya Lierler
🔮 The Ethereal cs.LO 1 8 months ago
2973 ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
Eric Vin, Kyle A. Miller, ... (+3 more)
🔮 The Ethereal cs.LO 1 8 months ago
2974 Boolean function monotonicity testing requires (almost) $n^{1/2}$ queries
Mark Chen, Xi Chen, ... (+3 more)
🔮 The Ethereal cs.CC 1 8 months ago
2975 Awesome graph parameters
Kenny Bešter Štorgel, Clément Dallard, ... (+3 more)
🔮 The Ethereal math.CO 1 8 months ago
2976 Generalized Security-Preserving Refinement for Concurrent Systems
Huan Sun, David Sanán, ... (+4 more)
🔮 The Ethereal cs.LO 1 8 months ago
2977 Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
Diana C. Benjumea, Marie Farrell, Louise A. Dennis
🔮 The Ethereal cs.LO 1 8 months ago
2978 A linear k-fold Cheeger inequality
Franklin Kenter, Mary Radcliffe
🔮 The Ethereal math.CO 0 11 years ago
2979 The ModelCC Model-Based Parser Generator
Luis Quesada, Fernando Berzal, Juan-Carlos Cubero
🔮 The Ethereal cs.FL 0 11 years ago
2980 Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates
Radhakrishnan Delhibabu
🔮 The Ethereal cs.LO 0 11 years ago
2981 Distributed Verification of Rare Properties using Importance Splitting Observers
Cyrille Jegourel, Axel Legay, ... (+2 more)
🔮 The Ethereal cs.LO 0 11 years ago
2982 Derandomized Construction of Combinatorial Batch Codes
Srimanta Bhattacharya
🔮 The Ethereal cs.DM 0 11 years ago
2983 Wave-Style Token Machines and Quantum Lambda Calculi
Ugo Dal Lago, Margherita Zorzi
🔮 The Ethereal cs.LO 0 11 years ago
2984 A Sampling Technique of Proving Lower Bounds for Noisy Computations
Chinmoy Dutta, Jaikumar Radhakrishnan
🔮 The Ethereal cs.CC 0 11 years ago
2985 Guarding Networks Through Heterogeneous Mobile Guards
Waseem Abbas, Sajal Bhatia, Xenofon Koutsoukos
🔮 The Ethereal cs.DM 0 11 years ago
2986 Lucretia - intersection type polymorphism for scripting languages
Marcin Benke, Viviana Bono, Aleksy Schubert
🔮 The Ethereal cs.LO 0 11 years ago
2987 ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing
Claire Lefèvre, Christopher Béatrix, ... (+2 more)
🔮 The Ethereal cs.LO 0 11 years ago
2988 The complexity of computation in bit streams
Raphael Clifford, Markus Jalsenius, Benjamin Sach
🔮 The Ethereal cs.CC 0 11 years ago
2989 Proceedings Tenth International Workshop on Developments in Computational Models
Ugo Dal Lago, Russ Harmer
🔮 The Ethereal cs.LO 0 11 years ago
2990 Modular Action Language ALM
Daniela Inclezan, Michael Gelfond
🔮 The Ethereal cs.LO 0 11 years ago
2991 Processing XML for Domain Specific Languages
Tony Clark
🔮 The Ethereal cs.FL 0 11 years ago
2992 A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations
Paul Tarau
🔮 The Ethereal cs.LO 0 11 years ago
2993 Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice
Iliano Cervesato, Kaustuv Chaudhuri
🔮 The Ethereal cs.LO 0 11 years ago
2994 Extending SROIQ with Constraint Networks and Grounded Circumscription
Arjun Bhardwaj
🔮 The Ethereal cs.LO 0 10 years ago
2995 Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek, Alberto Lluch Lafuente
🔮 The Ethereal cs.LO 0 10 years ago
2996 Unsatisfiable Cores and Lower Bounding for Constraint Programming
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
🔮 The Ethereal cs.LO 0 10 years ago
2997 Formalizing Termination Proofs under Polynomial Quasi-interpretations
Naohi Eguchi
🔮 The Ethereal cs.LO 0 10 years ago
2998 Self-Correlation and Maximum Independence in Finite Relations
Dilian Gurov, Minko Markov
🔮 The Ethereal cs.DM 0 10 years ago
2999 Minimum parametric flow over time
Mircea Parpalea, Nicoleta Avesalon, Eleonor Ciurea
🔮 The Ethereal cs.DM 0 10 years ago
3000 Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications
Matt Kaufmann, David L. Rager
🔮 The Ethereal cs.LO 0 10 years ago