💀 The Wall of Shame

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

Page 47, showing 50 papers

# Paper Cause of Death Category Citations Published
2301 Burning Geometric Graphs
Arya Tanmay Gupta
🔮 The Ethereal cs.DM 2 5 years ago
2302 Dynamic Query Evaluation Over Structures with Low Degree
Alexandre Vigny
🔮 The Ethereal cs.LO 2 5 years ago
2303 A Semantic Framework for PEGs
Sérgio Medeiros, Carlos Olarte
🔮 The Ethereal cs.FL 2 5 years ago
2304 Learning Languages with Decidable Hypotheses
Julian Berger, Maximilian Böther, ... (+10 more)
🔮 The Ethereal cs.LO 2 5 years ago
2305 The Difference Lambda-Calculus: A Language for Difference Categories
Mario Alvarez-Picallo, C. -H. Luke Ong
🔮 The Ethereal cs.LO 2 5 years ago
2306 A new perspective of paramodulation complexity by solving massive 8 puzzles
Ruo Ando, Yoshiyasu Takefuji
🔮 The Ethereal cs.CC 2 5 years ago
2307 Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes
David H. Wolpert, David Kinney
🔮 The Ethereal math.LO 2 5 years ago
2308 Efficient computation of the oriented chromatic number of recursively defined digraphs
Frank Gurski, Dominique Komander, Marvin Lindemann
🔮 The Ethereal math.CO 2 5 years ago
2309 Efficient Approximations for Many-Visits Multiple Traveling Salesman Problems
Kristóf Bérczi, Matthias Mnich, Roland Vincze
🔮 The Ethereal cs.DM 2 4 years ago
2310 Matching Orderable and Separable Hypergraphs
Shmuel Onn
🔮 The Ethereal math.CO 2 4 years ago
2311 Edge-coloured graphs with only monochromatic perfect matchings and their connection to quantum physics
L. Sunil Chandran, Rishikesh Gajjala
🔮 The Ethereal cs.DM 2 4 years ago
2312 Permutation rotation-symmetric S-boxes, liftings and affine equivalence
Tron Omland, Pantelimon Stanica
🔮 The Ethereal math.CO 2 4 years ago
2313 Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
Lina Marsso, Radu Mateescu, ... (+2 more)
🔮 The Ethereal cs.LO 2 4 years ago
2314 The Power of Filling in Balanced Allocations
Dimitrios Los, Thomas Sauerwald, John Sylvester
🔮 The Ethereal cs.DM 2 4 years ago
2315 Partitioning into degenerate graphs in linear time
Timothée Corsini, Quentin Deschamps, ... (+4 more)
🔮 The Ethereal math.CO 2 4 years ago
2316 On Algebraic Constructions of Neural Networks with Small Weights
Kordag Mehmet Kilic, Jin Sima, Jehoshua Bruck
🔮 The Ethereal cs.CC 2 4 years ago
2317 DPO: Dynamic-Programming Optimization on Hybrid Constraints
Vu H. N. Phan, Moshe Y. Vardi
🔮 The Ethereal cs.LO 2 4 years ago
2318 An Enumeration Algorithm for Binary Coprime Polynomials with Nonzero Constant Term
Enrico Formenti, Luca Mariot
🔮 The Ethereal math.CO 2 4 years ago
2319 Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic
Sara Mohammadinejad, Jesse Thomason, Jyotirmoy V. Deshmukh
🔮 The Ethereal cs.FL 2 4 years ago
2320 On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version)
Ugo Dal Lago, Giulia Giusti
🔮 The Ethereal cs.LO 2 4 years ago
2321 TestSelector: Automatic Test Suite Selection for Student Projects -- Extended Version
Filipe Marques, António Morgado, ... (+2 more)
🔮 The Ethereal cs.LO 2 4 years ago
2322 Categorification of Negative Information using Enrichment
Andrea Censi, Emilio Frazzoli, ... (+2 more)
🔮 The Ethereal math.CT 2 3 years ago
2323 A Compositional Approach to Verifying Modular Robotic Systems
Matt Luckcuck, Marie Farrell, ... (+4 more)
🔮 The Ethereal cs.LO 2 3 years ago
2324 Recognizing Geometric Intersection Graphs Stabbed by a Line
Dibyayan Chakraborty, Kshitij Gajjar, Irena Rusu
🔮 The Ethereal cs.DM 2 3 years ago
2325 Routing permutations on spectral expanders via matchings
Rajko Nenadov
🔮 The Ethereal math.CO 2 3 years ago
2326 Convergence of the number of period sets in strings
Eric Rivals, Michelle Sweering, Pengfei Wang
🔮 The Ethereal cs.DM 2 3 years ago
2327 Computing the Best Case Energy Complexity of Satisfying Assignments in Monotone Circuits
Janio Carlos Nascimento Silva, Uéverton S. Souza
🔮 The Ethereal cs.CC 2 3 years ago
2328 On the distance-edge-monitoring numbers of graphs
Chengxu Yang, Ralf Klasing, ... (+2 more)
🔮 The Ethereal math.CO 2 3 years ago
2329 Hypercubes and Hamilton cycles of display sets of rooted phylogenetic networks
Janosch Döcker, Simone Linz, Charles Semple
🔮 The Ethereal math.CO 2 3 years ago
2330 The RED-BLUE SEPARATION problem on graphs
Subhadeep Ranjan Dev, Sanjana Dey, ... (+3 more)
🔮 The Ethereal cs.DM 2 3 years ago
2331 Automata Cascades: Expressivity and Sample Complexity
Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo
🔮 The Ethereal cs.FL 2 3 years ago
2332 Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles
Matthew Anderson, Zongliang Ji, Anthony Yang Xu
🔮 The Ethereal cs.CC 2 3 years ago
2333 Quantitative Verification with Neural Networks
Alessandro Abate, Alec Edwards, ... (+3 more)
🔮 The Ethereal cs.LO 2 3 years ago
2334 A New Construction of the Vietoris-Rips Complex
Antonio Rieser
🔮 The Ethereal math.CO 2 3 years ago
2335 Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings
V. Ironmonger, N. Ruskuc
🔮 The Ethereal math.CO 2 3 years ago
2336 A Log-Sensitive Encoding of Turing Machines in the $λ$-Calculus
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
🔮 The Ethereal cs.LO 2 3 years ago
2337 Algorithms for computing the permutation resemblance of functions over finite groups
Li-An Chen, Robert S. Coulter
🔮 The Ethereal math.CO 2 3 years ago
2338 Right-Adjoints for Datalog Programs, and Homomorphism Dualities over Restricted Classes
Balder ten Cate, Víctor Dalmau, Jakub Opršal
🔮 The Ethereal cs.LO 2 3 years ago
2339 Generative Models of Huge Objects
Lunjia Hu, Inbal Livni-Navon, Omer Reingold
🔮 The Ethereal cs.CC 2 3 years ago
2340 Dynamic Logic of Communicating Hybrid Programs
Marvin Brieger, Stefan Mitsch, André Platzer
🔮 The Ethereal cs.LO 2 3 years ago
2341 A combinatorial proof for the secretary problem with multiple choices
Xujun Liu, Olgica Milenkovic, George V. Moustakides
🔮 The Ethereal math.CO 2 3 years ago
2342 Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode
Klaus Miesenberger, Walther Neuper, ... (+2 more)
🔮 The Ethereal cs.LO 2 3 years ago
2343 Reproduction Report for SV-COMP 2023
Marcus Gerhold, Arnd Hartmanns
🔮 The Ethereal cs.LO 2 3 years ago
2344 Enumerating all minimal hitting sets in polynomial total time
Marcel Wild
🔮 The Ethereal math.CO 2 3 years ago
2345 Quadratic rotation symmetric Boolean functions
Alexandru Chirvasitu, Thomas W. Cusick
🔮 The Ethereal math.CO 2 3 years ago
2346 Data-Parallel Algorithms for String Diagrams
Paul Wilson, Fabio Zanasi
🔮 The Ethereal math.CT 2 3 years ago
2347 'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
Samuel Judson, Matthew Elacqua, ... (+5 more)
🔮 The Ethereal cs.LO 2 3 years ago
2348 Recursive properties of the characteristic polynomial of weighted lattices
Gianira N. Alfarano, Eimear Byrne
🔮 The Ethereal math.CO 2 3 years ago
2349 Stretch-width
Édouard Bonnet, Julien Duron
🔮 The Ethereal cs.DM 2 3 years ago
2350 Simply typed convertibility is TOWER-complete even for safe lambda-terms
Lê Thành Dũng Nguyên
🔮 The Ethereal cs.LO 2 3 years ago