💀 The Wall of Shame

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

Page 34, showing 50 papers

# Paper Cause of Death Category Citations Published
1651 Milner's Lambda-Calculus with Partial Substitutions
Delia Kesner, Shane Ó Conchúir
🔮 The Ethereal cs.LO 5 2 years ago
1652 Genericity Through Stratification
Victor Arrial, Giulio Guerrieri, Delia Kesner
🔮 The Ethereal cs.LO 5 2 years ago
1653 Bialgebraic Reasoning on Higher-Order Program Equivalence
Sergey Goncharov, Stefan Milius, ... (+2 more)
🔮 The Ethereal cs.LO 5 2 years ago
1654 Induced Minor Models. I. Structural Properties and Algorithmic Consequences
Nicolas Bousquet, Clément Dallard, ... (+5 more)
🔮 The Ethereal math.CO 5 2 years ago
1655 Optimal PSPACE-hardness of Approximating Set Cover Reconfiguration
Shuichi Hirahara, Naoto Ohsaka
🔮 The Ethereal cs.CC 5 2 years ago
1656 Self-adhesivity in lattices of abstract conditional independence models
Tobias Boege, Janneke H. Bolt, Milan Studený
🔮 The Ethereal math.CO 5 2 years ago
1657 Automated Software Verification of Hyperliveness
Raven Beutner
🔮 The Ethereal cs.LO 5 2 years ago
1658 Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
Tim S. Lyon, Jonas Karge
🔮 The Ethereal cs.LO 5 2 years ago
1659 Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
Fernando Lucatelli Nunes, Matthijs Vákár
🔮 The Ethereal math.CT 5 2 years ago
1660 Sparse Induced Subgraphs of Large Treewidth
Édouard Bonnet
🔮 The Ethereal math.CO 5 2 years ago
1661 The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
Louis Lemonnier
🔮 The Ethereal cs.LO 5 2 years ago
1662 Algorithmic Results for Weak Roman Domination Problem in Graphs
Kaustav Paul, Ankit Sharma, Arti Pandey
🔮 The Ethereal cs.DM 5 2 years ago
1663 PolyQEnt: A Polynomial Quantified Entailment Solver
Krishnendu Chatterjee, Amir Kafshdar Goharshady, ... (+5 more)
🔮 The Ethereal cs.LO 5 1 year ago
1664 How to Verify Any (Reasonable) Distribution Property: Computationally Sound Argument Systems for Distributions
Tal Herman, Guy Rothblum
🔮 The Ethereal cs.CC 5 1 year ago
1665 Asymptotically Optimal Hardness for $k$-Set Packing and $k$-Matroid Intersection
Euiwoong Lee, Ola Svensson, Theophile Thiery
🔮 The Ethereal cs.CC 5 1 year ago
1666 Algorithms and complexity for monitoring edge-geodetic sets in graphs
Florent Foucaud, Clara Marcille, ... (+3 more)
🔮 The Ethereal cs.CC 5 1 year ago
1667 Inapproximability of Finding Sparse Vectors in Codes, Subspaces, and Lattices
Vijay Bhattiprolu, Venkatesan Guruswami, ... (+2 more)
🔮 The Ethereal cs.CC 5 1 year ago
1668 Attempting the impossible: enumerating extremal submodular functions for n=6
Elod P. Csirmaz, Laszlo Csirmaz
🔮 The Ethereal math.CO 5 1 year ago
1669 Lower Bounds for Convexity Testing
Xi Chen, Anindya De, ... (+3 more)
🔮 The Ethereal cs.CC 5 1 year ago
1670 Reconstruction of multiple strings of constant weight from prefix-suffix compositions
Yaoyu Yang, Zitan Chen
🔮 The Ethereal cs.DM 5 1 year ago
1671 Improved PIR Schemes using Matching Vectors and Derivatives
Fatemeh Ghasemi, Swastik Kopparty, Madhu Sudan
🔮 The Ethereal cs.CC 5 1 year ago
1672 Explicit Two-Sided Vertex Expanders Beyond the Spectral Barrier
Jun-Ting Hsieh, Ting-Chun Lin, ... (+3 more)
🔮 The Ethereal math.CO 5 1 year ago
1673 Near-Optimal Time-Sparsity Trade-Offs for Solving Noisy Linear Equations
Kiril Bangachev, Guy Bresler, ... (+2 more)
🔮 The Ethereal cs.CC 5 1 year ago
1674 Comparing semantic frameworks for dependently-sorted algebraic theories
Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North
🔮 The Ethereal math.CT 5 1 year ago
1675 Simple, Strict, Proper, and Directed: Comparing Reachability in Directed and Undirected Temporal Graphs
Michelle Döring
🔮 The Ethereal cs.DM 5 1 year ago
1676 Weighted Pseudorandom Generators for Read-Once Branching Programs via Weighted Pseudorandom Reductions
Kuan Cheng, Ruiyang Wu
🔮 The Ethereal cs.CC 5 1 year ago
1677 The Quasi-Polynomial Low-Degree Conjecture is False
Rares-Darius Buhai, Jun-Ting Hsieh, ... (+2 more)
🔮 The Ethereal cs.CC 5 1 year ago
1678 Excluding an induced wheel minor in graphs without large induced stars
Mujin Choi, Claire Hilaire, ... (+2 more)
🔮 The Ethereal math.CO 5 1 year ago
1679 The Complexity of Counting Small Sub-Hypergraphs
Marco Bressan, Julian Brinkmann, ... (+3 more)
🔮 The Ethereal cs.CC 5 1 year ago
1680 Generalized and Unified Equivalences between Hardness and Pseudoentropy
Lunjia Hu, Salil Vadhan
🔮 The Ethereal cs.CC 5 1 year ago
1681 Decoupling via Affine Spectral-Independence: Beck-Fiala and Komlós Bounds Beyond Banaszczyk
Nikhil Bansal, Haotian Jiang
🔮 The Ethereal math.CO 5 11 months ago
1682 A Dichotomy Theorem for Multi-Pass Streaming CSPs
Yumou Fei, Dor Minzer, Shuo Wang
🔮 The Ethereal cs.CC 5 10 months ago
1683 Relational semantics of linear logic and higher-order model-checking
Charles Grellois, Paul-André Melliès
🔮 The Ethereal cs.LO 4 11 years ago
1684 A Note on the Uniform Kan Condition in Nominal Cubical Sets
Robert Harper, Kuen-Bang Hou
🔮 The Ethereal math.LO 4 11 years ago
1685 A Type System for proving Depth Boundedness in the pi-calculus
Emanuele D'Osualdo, Luke Ong
🔮 The Ethereal cs.LO 4 11 years ago
1686 Skipping Refinement
Mitesh Jain, Panagiotis Manolios
🔮 The Ethereal cs.LO 4 11 years ago
1687 The exp-log normal form of types
Danko Ilik
🔮 The Ethereal cs.LO 4 11 years ago
1688 Uniform Proofs of Normalisation and Approximation for Intersection Types
Kentaro Kikuchi
🔮 The Ethereal cs.LO 4 11 years ago
1689 Polynomial-time Algorithm for Isomorphism of Graphs with Clique-width at most Three
Bireswar Das, Murali Krishna Enduri, I. Vinod Reddy
🔮 The Ethereal cs.CC 4 11 years ago
1690 On approximating tree spanners that are breadth first search trees
Ioannis Papoutsakis
🔮 The Ethereal cs.CC 4 11 years ago
1691 The computational complexity of calculating partition functions of optimal medians with Hamming distance
István Miklós, Heather Smith
🔮 The Ethereal cs.CC 4 11 years ago
1692 On Compensation Primitives as Adaptable Processes
Jovana Dedeić, Jovanka Pantović, Jorge A. Pérez
🔮 The Ethereal cs.LO 4 10 years ago
1693 SOS rule formats for convex and abstract probabilistic bisimulations
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler
🔮 The Ethereal cs.LO 4 10 years ago
1694 De Bruijn entropy and string similarity
Steve Huntsman, Arman Rezaee
🔮 The Ethereal cs.DM 4 10 years ago
1695 Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou
🔮 The Ethereal cs.LO 4 10 years ago
1696 Semiring-based Specification Approaches for Quantitative Security
Fabio Martinelli, Ilaria Matteucci, Francesco Santini
🔮 The Ethereal cs.LO 4 10 years ago
1697 Distance-2 MDS codes and latin colorings in the Doob graphs
Denis Krotov, Evgeny Bespalov
🔮 The Ethereal math.CO 4 10 years ago
1698 Note on Perfect Forests in Digraphs
Gregory Gutin, Anders Yeo
🔮 The Ethereal cs.DM 4 10 years ago
1699 Rényi Information Complexity and an Information Theoretic Characterization of the Partition Bound
Manoj M. Prabhakaran, Vinod M. Prabhakaran
🔮 The Ethereal cs.CC 4 10 years ago
1700 The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics
Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada
🔮 The Ethereal cs.LO 4 10 years ago