💀 The Wall of Shame

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

Page 40, showing 50 papers

# Paper Cause of Death Category Citations Published
1951 Formal Concept Analysis with Many-sorted Attributes
Robert E. Kent, John Brady
🔮 The Ethereal cs.LO 3 7 years ago
1952 Alignments as Compositional Structures
Sarah J. Berkemer, Christian Höner zu Siederdissen, Peter F. Stadler
🔮 The Ethereal math.CO 3 7 years ago
1953 The FOLE Table
Robert E. Kent
🔮 The Ethereal cs.LO 3 7 years ago
1954 The problem with probabilistic DAG automata for semantic graphs
Ieva Vasiljeva, Sorcha Gilroy, Adam Lopez
🔮 The Ethereal cs.FL 3 7 years ago
1955 Game Tree Search in a Robust Multistage Optimization Framework: Exploiting Pruning Mechanisms
Michael Hartisch, Ulf Lorenz
🔮 The Ethereal cs.DM 3 7 years ago
1956 Target Set Selection parameterized by vertex cover and more
Suman Banerjee, Rogers Mathew, Fahad Panolan
🔮 The Ethereal cs.CC 3 7 years ago
1957 Combinatorics of nondeterministic walks of the Dyck and Motzkin type
Elie De Panafieu, Mohamed Lamine Lamali, Michael Wallner
🔮 The Ethereal math.CO 3 7 years ago
1958 On $(2n/3-1)$-resilient $(n,2)$-functions
Denis S. Krotov
🔮 The Ethereal math.CO 3 7 years ago
1959 Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics
Andrei-Sebastian Buruiană, Ştefan Ciobâcă
🔮 The Ethereal cs.LO 3 7 years ago
1960 Keyed hash function from large girth expander graphs
Eustrat Zhupa, Monika K. Polak
🔮 The Ethereal math.CO 3 7 years ago
1961 An Improved Upper Bound for the Ring Loading Problem
Karl Däubel
🔮 The Ethereal cs.DM 3 7 years ago
1962 A 2-Categorical Study of Graded and Indexed Monads
Soichiro Fujii
🔮 The Ethereal math.CT 3 7 years ago
1963 True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans
Thierry Boy de la Tour, Rachid Echahed
🔮 The Ethereal cs.LO 3 7 years ago
1964 Efficient Black-Box Identity Testing over Free Group Algebra
V. Arvind, Abhranil Chatterjee, ... (+2 more)
🔮 The Ethereal cs.CC 3 7 years ago
1965 Subcubic Equivalences Between Graph Centrality Measures and Complementary Problems
Mahdi Boroujeni, Sina Dehghani, ... (+3 more)
🔮 The Ethereal cs.CC 3 7 years ago
1966 Bialgebraic Semantics for String Diagrams
Filippo Bonchi, Robin Piedeleu, ... (+2 more)
🔮 The Ethereal cs.LO 3 7 years ago
1967 Minimal Session Types (Extended Version)
Alen Arslanagić, Jorge A. Pérez, Erik Voogd
🔮 The Ethereal cs.LO 3 7 years ago
1968 Strong Bisimulation for Control Operators
Eduardo Bonelli, Delia Kesner, Andrés Viso
🔮 The Ethereal cs.LO 3 7 years ago
1969 A unifying framework for continuity and complexity in higher types
Thomas Powell
🔮 The Ethereal cs.LO 3 7 years ago
1970 Interactive Verifiable Polynomial Evaluation
Saeid Sahraei, Mohammad Ali Maddah-Ali, Salman Avestimehr
🔮 The Ethereal cs.CC 3 7 years ago
1971 Symbolic Analysis of Maude Theories with Narval
María Alpuente, Demis Ballis, ... (+2 more)
🔮 The Ethereal cs.LO 3 7 years ago
1972 Topological Interpretation of Interactive Computation
Emanuela Merelli, Anita Wasilewska
🔮 The Ethereal cs.LO 3 6 years ago
1973 Type-two Iteration with Bounded Query Revision
Bruce M. Kapron, Florian Steinberg
🔮 The Ethereal cs.CC 3 6 years ago
1974 A Gentzen-style monadic translation of Gödel's System T
Chuangjie Xu
🔮 The Ethereal cs.LO 3 6 years ago
1975 Sticky matroids and convolution
Laszlo Csirmaz
🔮 The Ethereal math.CO 3 6 years ago
1976 On correctness of an n queens program
Włodzimierz Drabent
🔮 The Ethereal cs.LO 3 6 years ago
1977 A Three-Valued Semantics for Typed Logic Programming
João Barbosa, Mário Florido, Vítor Santos Costa
🔮 The Ethereal cs.LO 3 6 years ago
1978 Towards a Coq-verified Chain of Esterel Semantics
Gérard Berry, Lionel Rieg
🔮 The Ethereal cs.FL 3 6 years ago
1979 The Complexity of Packing Edge-Disjoint Paths
Jan Dreier, Janosch Fuchs, ... (+5 more)
🔮 The Ethereal cs.CC 3 6 years ago
1980 A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT
Gordon Hoi, Sanjay Jain, Frank Stephan
🔮 The Ethereal cs.CC 3 6 years ago
1981 Testing noisy linear functions for sparsity
Xue Chen, Anindya De, Rocco A. Servedio
🔮 The Ethereal cs.CC 3 6 years ago
1982 Multilateration of Random Networks with Community Structure
Richard D. Tillquist, Manuel E. Lladser
🔮 The Ethereal math.CO 3 6 years ago
1983 Optimal group testing
Amin Coja-Oghlan, Oliver Gebhard, ... (+2 more)
🔮 The Ethereal cs.DM 3 6 years ago
1984 The Complexity of Verifying Loop-Free Programs as Differentially Private
Marco Gaboardi, Kobbi Nissim, David Purser
🔮 The Ethereal cs.CC 3 6 years ago
1985 Quantum speedups need structure
Nathan Keller, Ohad Klein
🔮 The Ethereal cs.CC 3 6 years ago
1986 Synthesis of Reduced Asymmetric Choice Petri Nets
Harro Wimmel
🔮 The Ethereal cs.FL 3 6 years ago
1987 On the Mathematical Structure of Cascade Effects and Emergent Phenomena
Elie M. Adam, Munther A. Dahleh
🔮 The Ethereal cs.LO 3 6 years ago
1988 Near-Optimal Algorithm for Distribution-Free Junta Testing
Xiaojin Zhang
🔮 The Ethereal cs.CC 3 6 years ago
1989 Checking Chase Termination over Ontologies of Existential Rules with Equality
David Carral, Jacopo Urbani
🔮 The Ethereal cs.LO 3 6 years ago
1990 LL(1) Parsing with Derivatives and Zippers
Romain Edelmann, Jad Hamza, Viktor Kunčak
🔮 The Ethereal cs.FL 3 6 years ago
1991 Game Description Logic with Integers: A GDL Numerical Extension
Munyque Mittelmann, Laurent Perrussel
🔮 The Ethereal cs.LO 3 6 years ago
1992 Axiomatizing Maximal Progress and Discrete Time
Mario Bravetti
🔮 The Ethereal cs.LO 3 6 years ago
1993 Optimal polynomial-time compression for Boolean Max CSP
Bart M. P. Jansen, Michał Włodarczyk
🔮 The Ethereal cs.CC 3 6 years ago
1994 Unique key Horn functions
Kristóf Bérczi, Endre Boros, ... (+3 more)
🔮 The Ethereal cs.DM 3 6 years ago
1995 Contextual Equivalence for Signal Flow Graphs
Filippo Bonchi, Robin Piedeleu, ... (+2 more)
🔮 The Ethereal cs.LO 3 6 years ago
1996 Improved bounds for coloring locally sparse hypergraphs
Fotis Iliopoulos
🔮 The Ethereal cs.DM 3 6 years ago
1997 Hierarchical and Modularly-Minimal Vertex Colorings
Dulce I. Valdivia, Manuela Geiß, ... (+3 more)
🔮 The Ethereal math.CO 3 6 years ago
1998 Enumerating minimal dominating sets in the (in)comparability graphs of bounded dimension posets
Marthe Bonamy, Oscar Defrain, ... (+2 more)
🔮 The Ethereal cs.DM 3 6 years ago
1999 Some results on Vertex Separator Reconfiguration
Guilherme C. M. Gomes, Sérgio H. Nogueira, Vinicius F. dos Santos
🔮 The Ethereal cs.CC 3 6 years ago
2000 On the weight distribution of some minimal codes
Daniele Bartoli, Matteo Bonini, Marco Timpanella
🔮 The Ethereal math.CO 3 6 years ago