💀 The Wall of Shame

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

Page 16, showing 50 papers

# Paper Cause of Death Category Citations Published
751 Reasoning about Algebraic Data Types with Abstractions
Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen
🔮 The Ethereal cs.LO 14 10 years ago
752 An improved algorithm for the vertex cover $P_3$ problem on graphs of bounded treewidth
Zongwen Bai, Jianhua Tu, Yongtang Shi
🔮 The Ethereal math.CO 14 10 years ago
753 A symmetry breaking transition in the edge/triangle network model
Charles Radin, Kui Ren, Lorenzo Sadun
🔮 The Ethereal math.CO 14 10 years ago
754 Tight Sum-of-Squares lower bounds for binary polynomial optimization problems
Adam Kurpisz, Samuli Leppänen, Monaldo Mastrolilli
🔮 The Ethereal cs.CC 14 10 years ago
755 Bent functions and line ovals
Kanat Abdukhalikov
🔮 The Ethereal math.CO 14 9 years ago
756 Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel
Lihao Liang, Paul E. McKenney, ... (+2 more)
🔮 The Ethereal cs.LO 14 9 years ago
757 On the Compositionality of Quantitative Information Flow
Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
🔮 The Ethereal cs.LO 14 9 years ago
758 From signatures to monads in UniMath
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg
🔮 The Ethereal cs.LO 14 9 years ago
759 Dialectical Rough Sets, Parthood and Figures of Opposition-1
A. Mani
🔮 The Ethereal math.LO 14 9 years ago
760 A subspace code of size $333$ in the setting of a binary $q$-analog of the Fano plane
Daniel Heinlein, Michael Kiermaier, ... (+2 more)
🔮 The Ethereal math.CO 14 8 years ago
761 Asymptotically optimal Boolean functions
Kai-Uwe Schmidt
🔮 The Ethereal math.CO 14 8 years ago
762 Monitoring Data Minimisation
Srinivas Pinisetty, Thibaud Antignac, ... (+2 more)
🔮 The Ethereal cs.LO 14 8 years ago
763 New LMRD bounds for constant dimension codes and improved constructions
Daniel Heinlein
🔮 The Ethereal math.CO 14 8 years ago
764 Colouring Square-Free Graphs without Long Induced Paths
Serge Gaspers, Shenwei Huang, Daniël Paulusma
🔮 The Ethereal math.CO 14 8 years ago
765 On Computing the Multiplicity of Cycles in Bipartite Graphs Using the Degree Distribution and the Spectrum of the Graph
Ali Dehghan, Amir H. Banihashemi
🔮 The Ethereal cs.DM 14 8 years ago
766 Regular omega-Languages with an Informative Right Congruence
Dana Angluin, Dana Fisman
🔮 The Ethereal cs.FL 14 7 years ago
767 Flip distances between graph orientations
Oswin Aichholzer, Jean Cardinal, ... (+5 more)
🔮 The Ethereal math.CO 14 7 years ago
768 Computational Petri Nets: Adjunctions Considered Harmful
Fabrizio Genovese, Alex Gryzlov, ... (+4 more)
🔮 The Ethereal math.CT 14 7 years ago
769 Parameterized inapproximability for Steiner Orientation by Gap Amplification
Michał Włodarczyk
🔮 The Ethereal cs.CC 14 7 years ago
770 Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
Tim Lyon, Kees van Berkel
🔮 The Ethereal cs.LO 14 6 years ago
771 A Quantitative Understanding of Pattern Matching
Sandra Alves, Delia Kesner, Daniel Ventura
🔮 The Ethereal cs.LO 14 6 years ago
772 Decomposing Probabilistic Lambda-calculi
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
🔮 The Ethereal cs.LO 14 6 years ago
773 The number of almost perfect nonlinear functions grows exponentially
Christian Kaspers, Yue Zhou
🔮 The Ethereal math.CO 14 6 years ago
774 Compositional Scientific Computing with Catlab and SemanticModels
Micah Halter, Evan Patterson, ... (+2 more)
🔮 The Ethereal math.CT 14 6 years ago
775 Generating Functions for Probabilistic Programs
Lutz Klinkenberg, Kevin Batz, ... (+4 more)
🔮 The Ethereal cs.LO 14 6 years ago
776 Modular Answer Set Programming as a Formal Specification Language
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
🔮 The Ethereal cs.LO 14 5 years ago
777 Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
Adithya Murali, Lucas Peña, ... (+3 more)
🔮 The Ethereal cs.LO 14 5 years ago
778 Learning Concepts Described by Weight Aggregation Logic
Steffen van Bergerem, Nicole Schweikardt
🔮 The Ethereal cs.LO 14 5 years ago
779 Ranked enumeration of MSO logic on words
Pierre Bourhis, Alejandro Grez, ... (+2 more)
🔮 The Ethereal cs.FL 14 5 years ago
780 Hardness for Triangle Problems under Even More Believable Hypotheses: Reductions from Real APSP, Real 3SUM, and OV
Timothy M. Chan, Virginia Vassilevska Williams, Yinzhan Xu
🔮 The Ethereal cs.CC 14 4 years ago
781 Balanced Allocations with the Choice of Noise
Dimitrios Los, Thomas Sauerwald
🔮 The Ethereal cs.DM 14 4 years ago
782 Flow-augmentation III: Complexity dichotomy for Boolean CSPs parameterized by the number of unsatisfied constraints
Eun Jung Kim, Stefan Kratsch, ... (+2 more)
🔮 The Ethereal cs.CC 14 4 years ago
783 Tight Complexity Bounds for Counting Generalized Dominating Sets in Bounded-Treewidth Graphs Part I: Algorithmic Results
Jacob Focke, Dániel Marx, ... (+5 more)
🔮 The Ethereal cs.CC 14 3 years ago
784 Average-Case Complexity of Tensor Decomposition for Low-Degree Polynomials
Alexander S. Wein
🔮 The Ethereal cs.CC 14 3 years ago
785 Complexity Framework For Forbidden Subgraphs I: The Framework
Matthew Johnson, Barnaby Martin, ... (+5 more)
🔮 The Ethereal math.CO 14 3 years ago
786 Automaton-Based Representations of Task Knowledge from Generative Language Models
Yunhao Yang, Jean-Raphaël Gaglione, ... (+2 more)
🔮 The Ethereal cs.FL 14 3 years ago
787 veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
Guy Amir, Ziv Freund, ... (+3 more)
🔮 The Ethereal cs.LO 14 3 years ago
788 Asynchronous Multiparty Session Type Implementability is Decidable -- Lessons Learned from Message Sequence Charts
Felix Stutz
🔮 The Ethereal cs.FL 14 3 years ago
789 A stronger connection between the asymptotic rank conjecture and the set cover conjecture
Kevin Pratt
🔮 The Ethereal cs.CC 14 2 years ago
790 Triadic analysis of affiliation networks
Jason Cory Brunson
🔮 The Ethereal math.CO 13 11 years ago
791 Merit factors of polynomials derived from difference sets
Christian Günther, Kai-Uwe Schmidt
🔮 The Ethereal math.CO 13 11 years ago
792 Finite Open-World Query Answering with Number Restrictions (Extended Version)
Antoine Amarilli, Michael Benedikt
🔮 The Ethereal cs.LO 13 11 years ago
793 Continuity as a computational effect
Renato Neves, Luis S. Barbosa, ... (+2 more)
🔮 The Ethereal cs.LO 13 11 years ago
794 A Type-Directed Negation Elimination
Etienne Lozes
🔮 The Ethereal cs.LO 13 10 years ago
795 On the uniform one-dimensional fragment
Antti Kuusisto
🔮 The Ethereal cs.LO 13 10 years ago
796 Proof-relevant $π$-calculus: a constructive account of concurrency and causality
Roly Perera, James Cheney
🔮 The Ethereal cs.LO 13 10 years ago
797 Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing
Isabella Mastroeni, Damiano Zanardini
🔮 The Ethereal cs.LO 13 10 years ago
798 Nonnegative Matrix Factorization Requires Irrationality
Dmitry Chistikov, Stefan Kiefer, ... (+3 more)
🔮 The Ethereal cs.CC 13 10 years ago
799 Optimality of Correlated Sampling Strategies
Mohammad Bavarian, Badih Ghazi, ... (+4 more)
🔮 The Ethereal cs.CC 13 9 years ago
800 A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker
Dirk Beyer, Karlheinz Friedberger
🔮 The Ethereal cs.LO 13 9 years ago