💀 The Wall of Shame

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

Page 63, showing 50 papers

# Paper Cause of Death Category Citations Published
3101 Fast Algorithm for Enumerating Diagonal Latin Squares of Small Order
Stepan Kochemazov, Eduard Vatutin, Oleg Zaikin
🔮 The Ethereal math.CO 0 8 years ago
3102 Verification of Asynchronous Systems with an Unspecified Component
Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi
🔮 The Ethereal cs.FL 0 8 years ago
3103 Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types
Ekaterina Komendantskaya, John Power
🔮 The Ethereal cs.LO 0 8 years ago
3104 Embedded-Graph Theory
Atsushi Yokoyama
🔮 The Ethereal cs.DM 0 8 years ago
3105 An improved algorithm for recognizing matroids
Brahim Chaourar
🔮 The Ethereal cs.CC 0 8 years ago
3106 Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies
Alex Groce, Stefan Leue
🔮 The Ethereal cs.LO 0 8 years ago
3107 The Trees of Hanoi
Joost Engelfriet
🔮 The Ethereal cs.FL 0 8 years ago
3108 The Maximum Colorful Arborescence problem parameterized by the structure of its color hierarchy graph
Guillaume Fertin, Julien Fradin, Christian Komusiewicz
🔮 The Ethereal cs.CC 0 8 years ago
3109 Improved approximation of layout problems on random graphs
Kevin K. H. Cheung, Patrick D. Girardet
🔮 The Ethereal math.CO 0 8 years ago
3110 Reversible DNA codes over a family of non-chain rings $R_{k,s}$
Fatmanur Gursoy, Elif Segah Oztas, Bahattin Yildiz
🔮 The Ethereal math.CO 0 8 years ago
3111 Cons-free Programming with Immutable Functions
Cynthia Kop
🔮 The Ethereal cs.LO 0 8 years ago
3112 A Type Checking Algorithm for Higher-rank, Impredicative and Second-order Types
Peng Fu
🔮 The Ethereal cs.LO 0 8 years ago
3113 On $P_5$-free Chordal bipartite graphs
S Aadhavan, P Renjith, N Sadagopan
🔮 The Ethereal cs.DM 0 8 years ago
3114 Schur Number Five
Marijn J. H. Heule
🔮 The Ethereal cs.LO 0 8 years ago
3115 Recovering tree-child networks from shortest inter-taxa distance information
Magnus Bordewich, Katharina T Huber, ... (+2 more)
🔮 The Ethereal math.CO 0 8 years ago
3116 Proceedings Sixth Workshop on Synthesis
Dana Fisman, Swen Jacobs
🔮 The Ethereal cs.LO 0 8 years ago
3117 Proceedings 10th Interaction and Concurrency Experience
Massimo Bartoletti, Laura Bocchi, ... (+2 more)
🔮 The Ethereal cs.LO 0 8 years ago
3118 Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
Catherine Dubois, Bruno Woltzenlogel Paleo
🔮 The Ethereal cs.LO 0 8 years ago
3119 Determinism in the Certification of UNSAT Proofs
Tomer Libal, Xaviera Steele
🔮 The Ethereal cs.LO 0 8 years ago
3120 Exact Algorithms With Worst-case Guarantee For Scheduling: From Theory to Practice
Lei Shang
🔮 The Ethereal cs.CC 0 8 years ago
3121 Efficient enumeration of solutions produced by closure operations
Arnaud Mary, Yann Strozecki
🔮 The Ethereal cs.CC 0 8 years ago
3122 Proceedings Third Workshop on Graphs as Models
Timo Kehrer, Alice Miller
🔮 The Ethereal cs.LO 0 8 years ago
3123 Hats: all or nothing
Theo van Uem
🔮 The Ethereal math.CO 0 8 years ago
3124 QBM - Mapping User-Specified Functions to Programmable Logic through a QBF Satisfiability Problem
Thomas B. Preußer
🔮 The Ethereal cs.LO 0 8 years ago
3125 Finitary-based Domain Theory in Coq: An Early Report
Moez A. AbdelGawad
🔮 The Ethereal cs.LO 0 8 years ago
3126 A Scalable Approach for Hardware Semiformal Verification
Tomas Grimm, Djones Lettnin, Michael Hübner
🔮 The Ethereal cs.LO 0 8 years ago
3127 A Scheme-Driven Approach to Learning Programs from Input/Output Equations
Jochen Burghardt
🔮 The Ethereal cs.LO 0 8 years ago
3128 Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Horatiu Cirstea, David Sabel
🔮 The Ethereal cs.LO 0 8 years ago
3129 Symmetry and Algorithmic Complexity of Polyominoes and Polyhedral Graphs
Hector Zenil, Narsis A. Kiani, Jesper Tegnér
🔮 The Ethereal cs.CC 0 8 years ago
3130 Exact uniform sampling over catalan structures
Alexandros Angelopoulos, Eleni Bakali
🔮 The Ethereal cs.DM 0 8 years ago
3131 Certificates in P and Subquadratic-Time Computation of Radius, Diameter, and all Eccentricities in Graphs
Feodor F. Dragan, Guillaume Ducoffe, ... (+2 more)
🔮 The Ethereal cs.DM 0 8 years ago
3132 A constant-ratio approximation algorithm for a class of hub-and-spoke network design problems and metric labeling problems: star metric case
Yuko Kuroki, Tomomi Matsui
🔮 The Ethereal cs.DM 0 8 years ago
3133 Mixing Time of Markov chain of the Knapsack Problem
Koko K. Kayibi, S. Pirzada, Carrie Rutherford
🔮 The Ethereal math.CO 0 8 years ago
3134 Information and Set Algebras: Interpretation and Uniqueness of Conditional Independence
Juerg Kohlas
🔮 The Ethereal cs.LO 0 8 years ago
3135 Beating the integrality ratio for s-t-tours in graphs
Vera Traub, Jens Vygen
🔮 The Ethereal cs.DM 0 8 years ago
3136 Intersecting edge distinguishing colorings of hypergraphs
Karolina Okrasa, Paweł Rzążewski
🔮 The Ethereal cs.DM 0 8 years ago
3137 Neighborhood inclusions for minimal dominating sets enumeration: linear and polynomial delay algorithms in $P_7$-free and $P_8$-free chordal graphs
Oscar Defrain, Lhouari Nourine
🔮 The Ethereal cs.DM 0 8 years ago
3138 A syllogistic system for propositions with intermediate quantifiers
Pasquale Iero, Allan Third, Paul Piwek
🔮 The Ethereal cs.LO 0 8 years ago
3139 Verifying MITL formulae on Timed Automata considering a Continuous Time Semantics
Claudio Menghi, Marcello Bersani, ... (+2 more)
🔮 The Ethereal cs.LO 0 8 years ago
3140 What Does This Notation Mean Anyway?
David Feller, Joe B. Wells, ... (+2 more)
🔮 The Ethereal cs.LO 0 8 years ago
3141 Almost optimal Boolean matrix multiplication [BMM]-by multi-encoding of rows and columns
Eli Shamir
🔮 The Ethereal math.CO 0 8 years ago
3142 BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets
Kensuke Kojima
🔮 The Ethereal cs.LO 0 8 years ago
3143 Weight distributions of all irreducible $μ$-constacyclic codes of length $\ell^n$
Manjit Singh
🔮 The Ethereal math.CO 0 8 years ago
3144 Well-Scaling Procedure for Deciding Gammoid Class-Membership of Matroids
Immanuel Albrecht
🔮 The Ethereal math.CO 0 8 years ago
3145 Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Frédéric Blanqui, Giselle Reis
🔮 The Ethereal cs.LO 0 8 years ago
3146 Searching for dense subsets in a graph via the partition function
Alexander Barvinok, Anthony Della Pella
🔮 The Ethereal math.CO 0 8 years ago
3147 Rule Formats for Nominal Process Calculi
Luca Aceto, Ignacio Fábregas, ... (+3 more)
🔮 The Ethereal cs.LO 0 8 years ago
3148 Expressing Linear Orders Requires Exponential-Size DNNFs
Ronald de Haan
🔮 The Ethereal cs.CC 0 8 years ago
3149 Searching for network modules
Giovanni Rossi
🔮 The Ethereal cs.DM 0 8 years ago
3150 Generating an ATL Model Checker using an Attribute Grammar
Florin Stoica, Laura Florentina Stoica
🔮 The Ethereal cs.LO 0 8 years ago