💀 The Wall of Shame

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

Page 35, showing 50 papers

# Paper Cause of Death Category Citations Published
1701 MDS codes in the Doob graphs
Evgeny Bespalov, Denis Krotov
🔮 The Ethereal math.CO 4 10 years ago
1702 A Geometric Framework for the Inconsistency in Pairwise Comparisons
Waldemar W. Koczkodaj, Jean-Pierre Magnot
🔮 The Ethereal math.LO 4 10 years ago
1703 Relational lattices via duality
Luigi Santocanale
🔮 The Ethereal cs.LO 4 10 years ago
1704 Generation, Ranking and Unranking of Ordered Trees with Degree Bounds
Mahdi Amani, Abbas Nowzari-Dalini
🔮 The Ethereal cs.CC 4 10 years ago
1705 An Expressive Probabilistic Temporal Logic
Bruno Woltzenlogel Paleo
🔮 The Ethereal cs.LO 4 10 years ago
1706 Weighted Pushdown Systems with Indexed Weight Domains
Yasuhiko Minamide
🔮 The Ethereal cs.FL 4 10 years ago
1707 Variations on Noetherianness
Denis Firsov, Tarmo Uustalu, Niccolò Veltri
🔮 The Ethereal cs.LO 4 10 years ago
1708 Resilience of a synchronized multi-agent system
S. Bereg, L. E. Caraballo, ... (+2 more)
🔮 The Ethereal math.CO 4 10 years ago
1709 Formal Modelling, Testing and Verification of HSA Memory Models using Event-B
Ashish Darbari, Iain Singleton, ... (+2 more)
🔮 The Ethereal cs.LO 4 10 years ago
1710 On minimal distance between q-ary bent functions
Vladimir N. Potapov
🔮 The Ethereal math.CO 4 10 years ago
1711 Approximately coloring graphs without long induced paths
Maria Chudnovsky, Oliver Schaudt, ... (+3 more)
🔮 The Ethereal math.CO 4 10 years ago
1712 Number representations and term rewriting
Boas Kluiving, Wijnand van Woerkom
🔮 The Ethereal cs.LO 4 10 years ago
1713 On the dimension of twisted centralizer codes
S. P. Glasby, Cheryl E. Praeger, Adel Alahmadi
🔮 The Ethereal math.CO 4 10 years ago
1714 A note on "Approximation schemes for a subclass of subset selection problems", and a faster FPTAS for the Minimum Knapsack Problem
Cédric Bentz, Pierre Le Bodic
🔮 The Ethereal cs.CC 4 9 years ago
1715 Verification of Time-Aware Business Processes using Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, ... (+3 more)
🔮 The Ethereal cs.LO 4 9 years ago
1716 Slicing Concurrent Constraint Programs
Moreno Falaschi, Maurizio Gabbrielli, ... (+2 more)
🔮 The Ethereal cs.LO 4 9 years ago
1717 Random Popular Matchings with Incomplete Preference Lists
Suthee Ruangwises, Toshiya Itoh
🔮 The Ethereal cs.DM 4 9 years ago
1718 On Deductive Systems of AC Semantics for Rough Sets
A. Mani
🔮 The Ethereal math.LO 4 9 years ago
1719 Dual-Pivot Quicksort: Optimality, Analysis and Zeros of Associated Lattice Paths
Martin Aumüller, Martin Dietzfelbinger, ... (+3 more)
🔮 The Ethereal math.CO 4 9 years ago
1720 QBF Solving by Counterexample-guided Expansion
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic
🔮 The Ethereal cs.LO 4 9 years ago
1721 LTL Model-Checking for Dynamic Pushdown Networks Communicating via Locks
Fu Song, Tayssir Touili
🔮 The Ethereal cs.LO 4 9 years ago
1722 Formal Languages, Formally and Coinductively
Dmitriy Traytel
🔮 The Ethereal cs.LO 4 9 years ago
1723 On Coloring Random Subgraphs of a Fixed Graph
Igor Shinkar
🔮 The Ethereal math.CO 4 9 years ago
1724 Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack
Rob van Glabbeek, Peter Höfner
🔮 The Ethereal cs.LO 4 9 years ago
1725 Optimal lower bounds for universal relation, samplers, and finding duplicates
Jelani Nelson, Jakub Pachocki, Zhengyu Wang
🔮 The Ethereal cs.CC 4 9 years ago
1726 A polynomial-time randomized reduction from tournament isomorphism to tournament asymmetry
Pascal Schweitzer
🔮 The Ethereal cs.DM 4 9 years ago
1727 Grammatical Inference as a Satisfiability Modulo Theories Problem
Rick Smetsers
🔮 The Ethereal cs.FL 4 9 years ago
1728 Upper bounds on the smallest size of a complete cap in $\mathrm{PG}(N,q)$, $N\ge3$, under a certain probabilistic conjecture
Alexander A. Davydov, Giorgio Faina, ... (+2 more)
🔮 The Ethereal math.CO 4 9 years ago
1729 Tight Euler tours in uniform hypergraphs - computational aspects
Zbigniew Lonc, Paweł Naroski, Paweł Rzążewski
🔮 The Ethereal cs.CC 4 9 years ago
1730 Structure Learning of $H$-colorings
Antonio Blanca, Zongchen Chen, ... (+2 more)
🔮 The Ethereal cs.DM 4 8 years ago
1731 When data mining meets optimization: A case study on the quadratic assignment problem
Yangming Zhou, Jin-Kao Hao, Béatrice Duval
🔮 The Ethereal cs.DM 4 8 years ago
1732 An intensionally fully-abstract sheaf model for $π$ (expanded version)
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
🔮 The Ethereal cs.LO 4 8 years ago
1733 Identification of Strong Edges in AMP Chain Graphs
Jose M. Peña
🔮 The Ethereal math.CO 4 8 years ago
1734 Self-Predicting Boolean Functions
Nir Weinberger, Ofer Shayevitz
🔮 The Ethereal cs.DM 4 8 years ago
1735 Analysis of the Continued Logarithm Algorithm
Pablo Rotondo, Brigitte Vallee, Alfredo Viola
🔮 The Ethereal cs.DM 4 8 years ago
1736 Binary Subspace Codes in Small Ambient Spaces
Daniel Heinlein, Sascha Kurz
🔮 The Ethereal math.CO 4 8 years ago
1737 On linear codes and distinct weights
Alessio Meneghetti
🔮 The Ethereal math.CO 4 8 years ago
1738 Beyond the Lovasz Local Lemma: Point to Set Correlations and Their Algorithmic Applications
Dimitris Achlioptas, Fotis Iliopoulos, Alistair Sinclair
🔮 The Ethereal cs.DM 4 8 years ago
1739 A complete characterization of plateaued Boolean functions in terms of their Cayley graphs
Constanza Riera, Patrick Sole, Pantelimon Stanica
🔮 The Ethereal math.CO 4 8 years ago
1740 Towards Functorial Language-Games
Jules Hedges, Martha Lewis
🔮 The Ethereal cs.LO 4 8 years ago
1741 Hitting times and resistance distances of $q$-triangulation graphs: Accurate results and applications
Yibo Zeng, Zhongzhi Zhang
🔮 The Ethereal math.CO 4 7 years ago
1742 Solving Partition Problems Almost Always Requires Pushing Many Vertices Around
Iyad Kanj, Christian Komusiewicz, ... (+2 more)
🔮 The Ethereal cs.CC 4 7 years ago
1743 Detecting strong cliques
Ademir Hujdurović, Martin Milanič, Bernard Ries
🔮 The Ethereal math.CO 4 7 years ago
1744 Exploring the Landscape of Relational Syllogistic Logics
Alex Kruckman, Lawrence S. Moss
🔮 The Ethereal math.LO 4 7 years ago
1745 Towards a classification of Lindenmayer systems
Diego Krivochen, Douglas Saddy
🔮 The Ethereal cs.FL 4 7 years ago
1746 Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems
David Hardin, Konrad Slind
🔮 The Ethereal cs.LO 4 7 years ago
1747 D-chain tomography of networks: a new structure spectrum and an application to the SIR process
Ricky X. F. Chen, Christian M. Reidys, Andrei C. Bura
🔮 The Ethereal math.CO 4 7 years ago
1748 Toward a Uniform Approach to the Unfolding of Nets
Eric Fabre, G. Michele Pinna
🔮 The Ethereal cs.LO 4 7 years ago
1749 Perfect Codes for Generalized Deletions from Minuscule Elements of Weyl Groups
Manabu Hagiwara
🔮 The Ethereal math.CO 4 7 years ago
1750 Syntax and Typing for Cedille Core
Aaron Stump
🔮 The Ethereal cs.LO 4 7 years ago