💀 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 Parameterized inapproximability for Steiner Orientation by Gap Amplification
Michał Włodarczyk
🔮 The Ethereal cs.CC 14 6 years ago
752 Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
Tim Lyon, Kees van Berkel
🔮 The Ethereal cs.LO 14 6 years ago
753 A Quantitative Understanding of Pattern Matching
Sandra Alves, Delia Kesner, Daniel Ventura
🔮 The Ethereal cs.LO 14 6 years ago
754 Decomposing Probabilistic Lambda-calculi
Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
🔮 The Ethereal cs.LO 14 6 years ago
755 The number of almost perfect nonlinear functions grows exponentially
Christian Kaspers, Yue Zhou
🔮 The Ethereal math.CO 14 6 years ago
756 Compositional Scientific Computing with Catlab and SemanticModels
Micah Halter, Evan Patterson, ... (+2 more)
🔮 The Ethereal math.CT 14 5 years ago
757 Generating Functions for Probabilistic Programs
Lutz Klinkenberg, Kevin Batz, ... (+4 more)
🔮 The Ethereal cs.LO 14 5 years ago
758 Modular Answer Set Programming as a Formal Specification Language
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
🔮 The Ethereal cs.LO 14 5 years ago
759 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
760 Learning Concepts Described by Weight Aggregation Logic
Steffen van Bergerem, Nicole Schweikardt
🔮 The Ethereal cs.LO 14 5 years ago
761 Ranked enumeration of MSO logic on words
Pierre Bourhis, Alejandro Grez, ... (+2 more)
🔮 The Ethereal cs.FL 14 5 years ago
762 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
763 Balanced Allocations with the Choice of Noise
Dimitrios Los, Thomas Sauerwald
🔮 The Ethereal cs.DM 14 3 years ago
764 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 3 years ago
765 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
766 Average-Case Complexity of Tensor Decomposition for Low-Degree Polynomials
Alexander S. Wein
🔮 The Ethereal cs.CC 14 3 years ago
767 Complexity Framework For Forbidden Subgraphs I: The Framework
Matthew Johnson, Barnaby Martin, ... (+5 more)
🔮 The Ethereal math.CO 14 3 years ago
768 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
769 veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
Guy Amir, Ziv Freund, ... (+3 more)
🔮 The Ethereal cs.LO 14 3 years ago
770 Asynchronous Multiparty Session Type Implementability is Decidable -- Lessons Learned from Message Sequence Charts
Felix Stutz
🔮 The Ethereal cs.FL 14 3 years ago
771 A stronger connection between the asymptotic rank conjecture and the set cover conjecture
Kevin Pratt
🔮 The Ethereal cs.CC 14 2 years ago
772 Triadic analysis of affiliation networks
Jason Cory Brunson
🔮 The Ethereal math.CO 13 11 years ago
773 Merit factors of polynomials derived from difference sets
Christian Günther, Kai-Uwe Schmidt
🔮 The Ethereal math.CO 13 11 years ago
774 Finite Open-World Query Answering with Number Restrictions (Extended Version)
Antoine Amarilli, Michael Benedikt
🔮 The Ethereal cs.LO 13 10 years ago
775 Continuity as a computational effect
Renato Neves, Luis S. Barbosa, ... (+2 more)
🔮 The Ethereal cs.LO 13 10 years ago
776 A Type-Directed Negation Elimination
Etienne Lozes
🔮 The Ethereal cs.LO 13 10 years ago
777 On the uniform one-dimensional fragment
Antti Kuusisto
🔮 The Ethereal cs.LO 13 10 years ago
778 Proof-relevant $π$-calculus: a constructive account of concurrency and causality
Roly Perera, James Cheney
🔮 The Ethereal cs.LO 13 10 years ago
779 Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing
Isabella Mastroeni, Damiano Zanardini
🔮 The Ethereal cs.LO 13 9 years ago
780 Nonnegative Matrix Factorization Requires Irrationality
Dmitry Chistikov, Stefan Kiefer, ... (+3 more)
🔮 The Ethereal cs.CC 13 9 years ago
781 Optimality of Correlated Sampling Strategies
Mohammad Bavarian, Badih Ghazi, ... (+4 more)
🔮 The Ethereal cs.CC 13 9 years ago
782 A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker
Dirk Beyer, Karlheinz Friedberger
🔮 The Ethereal cs.LO 13 9 years ago
783 Linear-Time Tree Containment in Phylogenetic Networks
Mathias Weller
🔮 The Ethereal cs.CC 13 9 years ago
784 Towards Efficient Verification of Population Protocols
Michael Blondin, Javier Esparza, ... (+2 more)
🔮 The Ethereal cs.LO 13 9 years ago
785 Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height
Antoine Genitrini, Bernhard Gittenberger, ... (+2 more)
🔮 The Ethereal math.CO 13 9 years ago
786 More on additive triples of bijections
Sean Eberhard
🔮 The Ethereal math.CO 13 9 years ago
787 Binary extremal self-dual codes of length $60$ and related codes
Masaaki Harada
🔮 The Ethereal math.CO 13 8 years ago
788 Boolean dimension and tree-width
Stefan Felsner, Tamás Mészáros, Piotr Micek
🔮 The Ethereal math.CO 13 8 years ago
789 Privacy by typing in the $π$-calculus
Dimitrios Kouzapas, Anna Philippou
🔮 The Ethereal cs.LO 13 8 years ago
790 On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
Bernardo Toninho, Nobuko Yoshida
🔮 The Ethereal cs.LO 13 8 years ago
791 Tensor network complexity of multilinear maps
Per Austrin, Petteri Kaski, Kaie Kubjas
🔮 The Ethereal cs.CC 13 8 years ago
792 Call-by-Need, Neededness and All That
Delia Kesner, Alejandro Ríos, Andrés Viso
🔮 The Ethereal cs.LO 13 8 years ago
793 On the Relative Succinctness of Sentential Decision Diagrams
Beate Bollig, Matthias Buttkus
🔮 The Ethereal cs.CC 13 8 years ago
794 Clique-Based Lower Bounds for Parsing Tree-Adjoining Grammars
Karl Bringmann, Philip Wellnitz
🔮 The Ethereal cs.CC 13 8 years ago
795 A theory of linear typings as flows on 3-valent graphs
Noam Zeilberger
🔮 The Ethereal cs.LO 13 8 years ago
796 Swendsen-Wang Dynamics for General Graphs in the Tree Uniqueness Region
Antonio Blanca, Zongchen Chen, Eric Vigoda
🔮 The Ethereal cs.DM 13 7 years ago
797 Is your function low-dimensional?
Anindya De, Elchanan Mossel, Joe Neeman
🔮 The Ethereal cs.CC 13 7 years ago
798 On the Enumeration and Counting of Bicriteria Temporal Paths
Petra Mutzel, Lutz Oettershagen
🔮 The Ethereal cs.CC 13 7 years ago
799 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
800 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