💀 The Wall of Shame

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

Page 59, showing 50 papers

# Paper Cause of Death Category Citations Published
2901 Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni
🔮 The Ethereal cs.LO 1 1 year ago
2902 Eliminating Majority Illusions
Foivos Fioravantes, Abhiruk Lahiri, ... (+4 more)
🔮 The Ethereal cs.CC 1 1 year ago
2903 Partial Incorrectness Logic
Lena Verscht, Ānrán Wáng, Benjamin Lucien Kaminski
🔮 The Ethereal cs.LO 1 1 year ago
2904 Partial and Exact Recovery of a Random Hypergraph from its Graph Projection
Guy Bresler, Chenghao Guo, ... (+2 more)
🔮 The Ethereal math.CO 1 1 year ago
2905 From descriptive to distributed
Jan Grebík, Zoltán Vidnyánszky
🔮 The Ethereal math.LO 1 1 year ago
2906 Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
Kevin Batz, Joost-Pieter Katoen, ... (+2 more)
🔮 The Ethereal cs.LO 1 1 year ago
2907 Optimal Trickle-Down Theorems for Path Complexes via C-Lorentzian Polynomials with Applications to Sampling and Log-Concave Sequences
Jonathan Leake, Kasper Lindberg, Shayan Oveis Gharan
🔮 The Ethereal math.CO 1 1 year ago
2908 Random Variables, Conditional Independence and Categories of Abstract Sample Spaces
Dario Stein
🔮 The Ethereal math.CT 1 1 year ago
2909 Substructural Parametricity
C. B. Aberlé, Chris Martens, Frank Pfenning
🔮 The Ethereal cs.LO 1 1 year ago
2910 Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
Kwing Hei Li, Alejandro Aguirre, ... (+4 more)
🔮 The Ethereal cs.LO 1 1 year ago
2911 Graph parameters that are coarsely equivalent to path-length
Feodor F. Dragan, Ekkehard Köhler
🔮 The Ethereal math.CO 1 1 year ago
2912 A Probabilistic Choreography Language for PRISM
Marco Carbone, Adele Veschetti
🔮 The Ethereal cs.LO 1 1 year ago
2913 Confluence of Conditional Rewriting Modulo
Salvador Lucas
🔮 The Ethereal cs.LO 1 1 year ago
2914 On the twin-width of near-regular graphs
Irene Heinrich, Ferdinand Ihringer, ... (+2 more)
🔮 The Ethereal math.CO 1 1 year ago
2915 On Average Distance, Level-1 Fourier Weight, and Chang's Lemma
Lei Yu
🔮 The Ethereal math.CO 1 1 year ago
2916 Ineffectiveness for Search and Undecidability of PCSP Meta-Problems
Alberto Larrauri
🔮 The Ethereal cs.CC 1 1 year ago
2917 A Customized SAT-based Solver for Graph Coloring
Timo Brand, Daniel Faber, ... (+2 more)
🔮 The Ethereal cs.DM 1 1 year ago
2918 When is the partial map classifier a Sierpiński cone?
Leoni Pugh, Jonathan Sterling
🔮 The Ethereal cs.LO 1 1 year ago
2919 Deterministic factorization of constant-depth algebraic circuits in subexponential time
Somnath Bhattacharjee, Mrinal Kumar, ... (+3 more)
🔮 The Ethereal cs.CC 1 1 year ago
2920 What is a monoid?
Paul Blain Levy, Morgan Rogers
🔮 The Ethereal math.CT 1 1 year ago
2921 Efficient Matching of Some Fundamental Regular Expressions with Backreferences
Taisei Nogami, Tachio Terauchi
🔮 The Ethereal cs.FL 1 1 year ago
2922 On constrained intersection representations of graphs and digraphs
Ferdinando Cicalese, Clément Dallard, Martin Milanič
🔮 The Ethereal cs.DM 1 1 year ago
2923 Lower bounds on collective additive spanners
Derek G. Corneil, Feodor F. Dragan, ... (+2 more)
🔮 The Ethereal math.CO 1 1 year ago
2924 Faithful universal graphs for minor-closed classes
Paul Bastide, Louis Esperet, ... (+4 more)
🔮 The Ethereal math.CO 1 1 year ago
2925 On the Complexity of Identifying Groups without Abelian Normal Subgroups: Parallel, First Order, and GI-Hardness
Joshua A. Grochow, Dan Johnson, Michael Levet
🔮 The Ethereal cs.CC 1 1 year ago
2926 The Metric Dimension of Sparse Random Graphs
Josep Díaz, Harrison Hartle, Cristopher Moore
🔮 The Ethereal math.CO 1 1 year ago
2927 An Intermediate Program Representation for Optimizing Stream-Based Languages
Jan Baumeister, Arthur Correnson, ... (+2 more)
🔮 The Ethereal cs.LO 1 1 year ago
2928 Maximum list $r$-colorable induced subgraphs in $kP_3$-free graphs
Esther Galby, Paloma T. Lima, ... (+2 more)
🔮 The Ethereal math.CO 1 1 year ago
2929 The generalized trifference problem
Anurag Bishnoi, Bartłomiej Kielak, ... (+5 more)
🔮 The Ethereal math.CO 1 1 year ago
2930 Reconfiguration of List Colourings
Stijn Cambie, Wouter Cames van Batenburg, ... (+3 more)
🔮 The Ethereal math.CO 1 1 year ago
2931 A categorical and logical framework for iterated protocols
Eric Goubault, Bernardo Hummes Flores, ... (+3 more)
🔮 The Ethereal cs.LO 1 1 year ago
2932 Prefix-bounded matrices
Nóra A. Borsik, András Frank, ... (+2 more)
🔮 The Ethereal math.CO 1 1 year ago
2933 A Graphical Interface for Category Theory Proofs in Coq
Luc Chabassier
🔮 The Ethereal cs.LO 1 1 year ago
2934 Restricted Chase Termination: You Want More than Fairness
David Carral, Lukas Gerlach, ... (+2 more)
🔮 The Ethereal cs.LO 1 1 year ago
2935 A Formal Analysis of Algorithms for Matroids and Greedoids
Mohammad Abdulaziz, Thomas Ammer, ... (+2 more)
🔮 The Ethereal cs.LO 1 1 year ago
2936 GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
Soham Chakraborty, S. Krishna, ... (+2 more)
🔮 The Ethereal cs.LO 1 1 year ago
2937 Counting Small Induced Subgraphs: Scorpions Are Easy but Not Trivial
Radu Curticapean, Simon Döring, Daniel Neuen
🔮 The Ethereal cs.CC 1 1 year ago
2938 Combinatorial $t$-Designs from Finite Abelian Groups and Their Applications to Elliptic Curve Codes
Hengfeng Liu, Chunming Tang, ... (+2 more)
🔮 The Ethereal math.CO 1 1 year ago
2939 Identity Testing for Circuits with Exponentiation Gates
Jiatu Li, Mengdi Wu
🔮 The Ethereal cs.CC 1 1 year ago
2940 Leakage-Resilient Extractors against Number-on-Forehead Protocols
Eshan Chattopadhyay, Jesse Goodman
🔮 The Ethereal cs.CC 1 1 year ago
2941 Asymptotically Smaller Encodings for Graph Problems and Scheduling
Bernardo Subercaseaux
🔮 The Ethereal cs.LO 1 1 year ago
2942 A Generic Construction of $q$-ary Near-MDS Codes Supporting 2-Designs with Lengths Beyond $q+1$
Hengfeng Liu, Chunming Tang, ... (+3 more)
🔮 The Ethereal math.CO 1 1 year ago
2943 Linear rank-metric intersecting codes
Daniele Bartoli, Martino Borello, ... (+2 more)
🔮 The Ethereal math.CO 1 1 year ago
2944 Combination generators with optimal cache utilization and communication free parallel execution
Xi He, Max. A. Little
🔮 The Ethereal cs.DM 1 1 year ago
2945 A Formal Refutation of the Blockchain Trilemma
Craig Wright
🔮 The Ethereal cs.CC 1 1 year ago
2946 A Myhill-Nerode Type Characterization of 2detLIN Languages
Benedek Nagy
🔮 The Ethereal cs.FL 1 1 year ago
2947 Quantum Programming in Polylogarithmic Time
Florent Ferrari, Emmanuel Hainry, ... (+2 more)
🔮 The Ethereal cs.LO 1 1 year ago
2948 Certificate-Sensitive Subset Sum: Realizing Instance Complexity
Jesus Salas
🔮 The Ethereal cs.CC 1 1 year ago
2949 Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
Varun Bharti, Shashwat Jha, ... (+2 more)
🔮 The Ethereal cs.LO 1 11 months ago
2950 A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
Meghyn Bienvenu, Camille Bourgaux, ... (+2 more)
🔮 The Ethereal cs.LO 1 11 months ago