💀 The Wall of Shame

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

Page 64, showing 50 papers

# Paper Cause of Death Category Citations Published
3151 A Note on Clustering Aggregation for Binary Clusterings
Jiehua Chen, Danny Hermelin, Manuel Sorge
🔮 The Ethereal cs.CC 0 8 years ago
3152 Supercompiling String Programs Using Word Equations as Constraints
Antonina Nepeivoda
🔮 The Ethereal cs.LO 0 8 years ago
3153 Proceedings of the 9th International Workshop on Physics and Computation
Michael Cuffaro, Philippos Papayannopoulos
🔮 The Ethereal cs.CC 0 8 years ago
3154 Enumerating Cryptarithms Using Deterministic Finite Automata
Yuki Nozaki, Diptarama Hendrian, ... (+3 more)
🔮 The Ethereal cs.FL 0 8 years ago
3155 A Parameterized Complexity View on Description Logic Reasoning
Ronald de Haan
🔮 The Ethereal cs.LO 0 7 years ago
3156 Stream Reasoning on Expressive Logics
Gulay Unel
🔮 The Ethereal cs.LO 0 7 years ago
3157 Local Coloring and its Complexity
Jie You, Yixin Cao, Jianxin Wang
🔮 The Ethereal math.CO 0 7 years ago
3158 Parameterized Verification of Coverability in Well-Structured Broadcast Networks
A. R. Balasubramanian
🔮 The Ethereal cs.LO 0 7 years ago
3159 Trading information complexity for error II: the case of a large error and external information complexity
Yaqiao Li
🔮 The Ethereal cs.CC 0 7 years ago
3160 Entropy versions of additive inequalities
Alberto Espuny Díaz, Oriol Serra
🔮 The Ethereal math.CO 0 7 years ago
3161 Classical linear logic, cobordisms and categorical semantics of categorial grammars
Sergey Slavnov
🔮 The Ethereal cs.LO 0 7 years ago
3162 Proceedings 11th Interaction and Concurrency Experience
Massimo Bartoletti, Sophia Knight
🔮 The Ethereal cs.LO 0 7 years ago
3163 A note on spanoid rank
Yuzhou Gu
🔮 The Ethereal math.CO 0 7 years ago
3164 DeFind: A Protege Plugin for Computing Concept Definitions in EL Ontologies
Denis Ponomaryov, Stepan Yakovenko
🔮 The Ethereal cs.LO 0 7 years ago
3165 Enumerative and Structural Aspects Of Anagrams Without Fixed Letters
Kiril Bangachev
🔮 The Ethereal math.CO 0 7 years ago
3166 Ordering Strict Partial Orders to Model Behavioral Refinement
Mathieu Montin, Marc Pantel
🔮 The Ethereal cs.LO 0 7 years ago
3167 Finding dissimilar explanations in Bayesian networks: Complexity results
Johan Kwisthout
🔮 The Ethereal cs.CC 0 7 years ago
3168 On the Maximum Distance Sublattice Problem and Closest Vector Problem
Rajendra Kumar, Shashank K Mehta, Mahesh Sreekumar Rajasree
🔮 The Ethereal cs.CC 0 7 years ago
3169 An output-sensitive Algorithm to partition a Sequence of Integers into Subsets with equal Sums
Alexander Büchel, Ulrich Gilleßen, Kurt-Ulrich Witt
🔮 The Ethereal math.CO 0 7 years ago
3170 High Granular Operator Spaces, and Less-Contaminated General Rough Mereologies
A. Mani
🔮 The Ethereal cs.LO 0 7 years ago
3171 Gems of Corrado Böhm
Henk P. Barendregt
🔮 The Ethereal cs.LO 0 7 years ago
3172 Generalizations of Laver tables
Joseph Van Name
🔮 The Ethereal math.LO 0 7 years ago
3173 Mind the Independence Gap
Tınaz Ekim, Didem Gözüpek, ... (+2 more)
🔮 The Ethereal math.CO 0 7 years ago
3174 Using First Hitting Times to Find Sets that Maximize the Convergence Rate to Consensus
Fern Y. Hunt
🔮 The Ethereal cs.DM 0 7 years ago
3175 Induction, Coinduction, and Fixed Points: A Concise Comparative Survey
Moez A. AbdelGawad
🔮 The Ethereal cs.LO 0 7 years ago
3176 Characterizing Watermark Numbers encoded as Reducible Permutation Graphs against Malicious Attacks
Anna Mpanti, Stavros D. Nikolopoulos, Leonidas Palios
🔮 The Ethereal cs.DM 0 7 years ago
3177 Some Enumeration Problems in the Duplication-Loss Model of Genome Rearrangement
Mladen Kovačević, Sanja Brdar, Vladimir Crnojević
🔮 The Ethereal cs.DM 0 7 years ago
3178 On Solving Reachability in Grid Digraphs using a Psuedoseparator
Rahul Jain, Raghunath Tewari
🔮 The Ethereal cs.CC 0 7 years ago
3179 On Quasi Ordinal Diagram Systems
Mitsuhiro Okada, Yuta Takahashi
🔮 The Ethereal cs.LO 0 7 years ago
3180 On modeling hard combinatorial optimization problems as linear programs: Refutations of the "unconditional impossibility" claims
Moustapha Diaby, Mark H. Karwan, Lei Sun
🔮 The Ethereal cs.CC 0 7 years ago
3181 Differentials and distances in probabilistic coherence spaces
Thomas Ehrhard
🔮 The Ethereal cs.LO 0 7 years ago
3182 Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics
Kees van Berkel, Tim Lyon
🔮 The Ethereal cs.LO 0 7 years ago
3183 Jacobi Sums and Correlations of Sidelnikov Sequences
Ayse Alaca, Goldwyn Millar
🔮 The Ethereal math.CO 0 7 years ago
3184 The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space
Yannick Forster, Fabian Kunze, Marc Roth
🔮 The Ethereal cs.CC 0 7 years ago
3185 Experimental Study on CTL model checking using Machine Learning
Weijun ZHU
🔮 The Ethereal cs.LO 0 7 years ago
3186 Proceedings 7th International Workshop on Theorem proving components for Educational software
Pedro Quaresma, Walther Neuper
🔮 The Ethereal cs.LO 0 7 years ago
3187 Divergent permutations
Emanuela Fachini, János Körner
🔮 The Ethereal math.CO 0 7 years ago
3188 Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications
Thomas Ehrhard, Maribel Fernández, ... (+2 more)
🔮 The Ethereal cs.LO 0 7 years ago
3189 An extended description logic system with knowledge element based on ALC
Bin Wen, Jianhou Gan, ... (+2 more)
🔮 The Ethereal cs.LO 0 7 years ago
3190 Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
Michele Pagani, Sandra Alves
🔮 The Ethereal cs.LO 0 7 years ago
3191 Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus
Giulio Guerrieri
🔮 The Ethereal cs.LO 0 7 years ago
3192 On the fixed-parameter tractability of the maximum connectivity improvement problem
Federico Corò, Gianlorenzo D'Angelo, Vahan Mkrtchyan
🔮 The Ethereal cs.DM 0 7 years ago
3193 On a conditional inequality in Kolmogorov complexity and its applications in communication complexity
Andrei Romashchenko, Marius Zimand
🔮 The Ethereal cs.CC 0 7 years ago
3194 A reconstruction of the multipreference closure
Laura Giordano, Valentina Gliozzi
🔮 The Ethereal cs.LO 0 7 years ago
3195 Rough Contact in General Rough Mereology
A. Mani
🔮 The Ethereal cs.LO 0 7 years ago
3196 Quantitative Logic Reasoning
Marcelo Finger
🔮 The Ethereal cs.LO 0 7 years ago
3197 Extensions to Justification Theory
Simon Marynissen
🔮 The Ethereal cs.LO 0 7 years ago
3198 Properties and Extensions of Alternating Path Relevance - I
David A. Plaisted
🔮 The Ethereal cs.LO 0 7 years ago
3199 A Hypergraph Based Approach for the 4-Constraint Satisfaction Problem Tractability
Rachid Oucheikh, Ismail Berrada, Outman El Hichami
🔮 The Ethereal cs.DM 0 7 years ago
3200 A Note on Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility
Loris Bozzato, Thomas Eiter, Luciano Serafini
🔮 The Ethereal cs.LO 0 7 years ago