💀 The Wall of Shame

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

Page 17, showing 50 papers

# Paper Cause of Death Category Citations Published
801 Linear-Time Tree Containment in Phylogenetic Networks
Mathias Weller
🔮 The Ethereal cs.CC 13 9 years ago
802 Towards Efficient Verification of Population Protocols
Michael Blondin, Javier Esparza, ... (+2 more)
🔮 The Ethereal cs.LO 13 9 years ago
803 Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height
Antoine Genitrini, Bernhard Gittenberger, ... (+2 more)
🔮 The Ethereal math.CO 13 9 years ago
804 More on additive triples of bijections
Sean Eberhard
🔮 The Ethereal math.CO 13 9 years ago
805 Binary extremal self-dual codes of length $60$ and related codes
Masaaki Harada
🔮 The Ethereal math.CO 13 9 years ago
806 Boolean dimension and tree-width
Stefan Felsner, Tamás Mészáros, Piotr Micek
🔮 The Ethereal math.CO 13 9 years ago
807 Privacy by typing in the $π$-calculus
Dimitrios Kouzapas, Anna Philippou
🔮 The Ethereal cs.LO 13 8 years ago
808 On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
Bernardo Toninho, Nobuko Yoshida
🔮 The Ethereal cs.LO 13 8 years ago
809 Tensor network complexity of multilinear maps
Per Austrin, Petteri Kaski, Kaie Kubjas
🔮 The Ethereal cs.CC 13 8 years ago
810 Call-by-Need, Neededness and All That
Delia Kesner, Alejandro Ríos, Andrés Viso
🔮 The Ethereal cs.LO 13 8 years ago
811 On the Relative Succinctness of Sentential Decision Diagrams
Beate Bollig, Matthias Buttkus
🔮 The Ethereal cs.CC 13 8 years ago
812 Clique-Based Lower Bounds for Parsing Tree-Adjoining Grammars
Karl Bringmann, Philip Wellnitz
🔮 The Ethereal cs.CC 13 8 years ago
813 A theory of linear typings as flows on 3-valent graphs
Noam Zeilberger
🔮 The Ethereal cs.LO 13 8 years ago
814 Swendsen-Wang Dynamics for General Graphs in the Tree Uniqueness Region
Antonio Blanca, Zongchen Chen, Eric Vigoda
🔮 The Ethereal cs.DM 13 8 years ago
815 Is your function low-dimensional?
Anindya De, Elchanan Mossel, Joe Neeman
🔮 The Ethereal cs.CC 13 8 years ago
816 On the Enumeration and Counting of Bicriteria Temporal Paths
Petra Mutzel, Lutz Oettershagen
🔮 The Ethereal cs.CC 13 7 years ago
817 Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic
Mohamed Yousri Mahmoud, Amy P. Felty
🔮 The Ethereal cs.LO 13 7 years ago
818 Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Thomas Brihaye, Florent Delgrange, ... (+2 more)
🔮 The Ethereal cs.LO 13 7 years ago
819 Knowledge compilation languages as proof systems
Florent Capelli
🔮 The Ethereal cs.CC 13 7 years ago
820 Best-of-Three Voting on Dense Graphs
Nan Kang, Nicolas Rivera
🔮 The Ethereal cs.DM 13 7 years ago
821 Tracking Paths in Planar Graphs
David Eppstein, Michael T. Goodrich, ... (+2 more)
🔮 The Ethereal cs.DM 13 6 years ago
822 Compacted binary trees admit a stretched exponential
Andrew Elvey Price, Wenjie Fang, Michael Wallner
🔮 The Ethereal math.CO 13 6 years ago
823 On the k-synchronizability of systems
Cinzia Di Giusto, Cinzia Giusto, ... (+2 more)
🔮 The Ethereal cs.FL 13 6 years ago
824 Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema
Isabela Drămnesc, Tudor Jebelean
🔮 The Ethereal cs.LO 13 6 years ago
825 BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion
Ariyam Das, Youfu Li, ... (+3 more)
🔮 The Ethereal cs.LO 13 6 years ago
826 A Relational Program Logic with Data Abstraction and Dynamic Framing
Anindya Banerjee, Ramana Nagasamudram, ... (+2 more)
🔮 The Ethereal cs.LO 13 6 years ago
827 Interaction laws of monads and comonads
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
🔮 The Ethereal cs.LO 13 6 years ago
828 Codes with few weights arising from linear sets
Vito Napolitano, Ferdinando Zullo
🔮 The Ethereal math.CO 13 6 years ago
829 Combinatorial and computational investigations of Neighbor-Joining bias
Ruth Davidson, Abraham Martin del Campo
🔮 The Ethereal math.CO 13 6 years ago
830 Foundations of Reasoning with Uncertainty via Real-valued Logics
Ronald Fagin, Ryan Riegel, Alexander Gray
🔮 The Ethereal cs.LO 13 5 years ago
831 Reactive Synthesis from Extended Bounded Response LTL Specifications
Alessandro Cimatti, Luca Geatti, ... (+3 more)
🔮 The Ethereal cs.FL 13 5 years ago
832 On Hardness of Approximation of Parameterized Set Cover and Label Cover: Threshold Graphs from Error Correcting Codes
Karthik C. S., Inbal Livni-Navon
🔮 The Ethereal cs.CC 13 5 years ago
833 Strongly refuting all semi-random Boolean CSPs
Jackson Abascal, Venkatesan Guruswami, Pravesh K. Kothari
🔮 The Ethereal cs.CC 13 5 years ago
834 Image sets of perfectly nonlinear maps
Lukas Kölsch, Björn Kriepke, Gohar M. Kyureghyan
🔮 The Ethereal math.CO 13 5 years ago
835 Efficient Enumeration Algorithms for Annotated Grammars
Antoine Amarilli, Louis Jachiet, ... (+2 more)
🔮 The Ethereal cs.FL 13 4 years ago
836 On The Complexity of Matching Cut for Graphs of Bounded Radius and $H$-Free Graphs
Felicia Lucke, Daniël Paulusma, Bernard Ries
🔮 The Ethereal math.CO 13 4 years ago
837 On graphs coverable by k shortest paths
Maël Dumas, Florent Foucaud, ... (+2 more)
🔮 The Ethereal cs.DM 13 4 years ago
838 Killing a Vortex
Dimitrios M. Thilikos, Sebastian Wiederrecht
🔮 The Ethereal math.CO 13 4 years ago
839 MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
Sarah Kleest-Meißner, Jonas Marasus, Matthias Niewerth
🔮 The Ethereal cs.LO 13 3 years ago
840 Combinatorial Algorithms for Subsequence Matching: A Survey
Maria Kosche, Tore Koß, ... (+2 more)
🔮 The Ethereal cs.FL 13 3 years ago
841 Induced Cycles and Paths Are Harder Than You Think
Mina Dalirrooyfard, Virginia Vassilevska Williams
🔮 The Ethereal cs.CC 13 3 years ago
842 On the zeroes of hypergraph independence polynomials
David Galvin, Gwen McKinley, ... (+3 more)
🔮 The Ethereal math.CO 13 3 years ago
843 Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
Petr A. Golovach, Giannos Stamoulis, Dimitrios M. Thilikos
🔮 The Ethereal cs.LO 13 3 years ago
844 Bipartite unique-neighbour expanders via Ramanujan graphs
Ron Asherov, Irit Dinur
🔮 The Ethereal math.CO 13 3 years ago
845 Mutual-visibility in distance-hereditary graphs: a linear-time algorithm
Serafino Cicerone, Gabriele Di Stefano
🔮 The Ethereal math.CO 13 3 years ago
846 Rigidity matroids and linear algebraic matroids with applications to matrix completion and tensor codes
Joshua Brakensiek, Manik Dhar, ... (+3 more)
🔮 The Ethereal math.CO 13 2 years ago
847 An asymptotic formula for the number of irreducible transformation shift registers
Stephen D. Cohen, Sartaj Ul Hasan, ... (+2 more)
🔮 The Ethereal math.CO 12 11 years ago
848 Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
Wendelin Serwe
🔮 The Ethereal cs.LO 12 10 years ago
849 Search-to-Decision Reductions for Lattice Problems with Approximation Factors (Slightly) Greater Than One
Noah Stephens-Davidowitz
🔮 The Ethereal cs.CC 12 10 years ago
850 On extremal double circulant self-dual codes of lengths $90$-$96$
T. Aaron Gulliver, Masaaki Harada
🔮 The Ethereal math.CO 12 10 years ago