💀 The Wall of Shame

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

Page 46, showing 50 papers

# Paper Cause of Death Category Citations Published
2251 The far side of the cube
Dan R. Ghica
🔮 The Ethereal cs.LO 2 6 years ago
2252 On the Elementary Affine Lambda-Calculus with and Without Fixed Points
Lê Thành Dũng Nguyen
🔮 The Ethereal cs.LO 2 6 years ago
2253 Corona product of signed graphs and its application to signed network modelling
Bibhas Adhikari, Amrik Singh, Sandeep Kumar Yadav
🔮 The Ethereal math.CO 2 6 years ago
2254 Cellular Monads from Positive GSOS Specifications
Tom Hirschowitz
🔮 The Ethereal cs.LO 2 6 years ago
2255 Verifying the DPLL Algorithm in Dafny
Cezar-Constantin Andrici, Ştefan Ciobâcă
🔮 The Ethereal cs.LO 2 6 years ago
2256 The Essence of Petri Net Gluings
Fabrizio Genovese, Fosco Loregian, Daniele Palombi
🔮 The Ethereal math.CT 2 6 years ago
2257 Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata -- Technical Report
Lars Luthmann, Hendrik Göttmann, Malte Lochau
🔮 The Ethereal cs.LO 2 6 years ago
2258 The Minimization of Random Hypergraphs
Thomas Bläsius, Tobias Friedrich, Martin Schirneck
🔮 The Ethereal cs.DM 2 6 years ago
2259 A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions
Diego Agustín Ambrossio, Marcos Cramer
🔮 The Ethereal cs.LO 2 6 years ago
2260 Relational Test Tables: A Practical Specification Language for Evolution and Security
Alexander Weigl, Mattias Ulbrich, ... (+3 more)
🔮 The Ethereal cs.LO 2 6 years ago
2261 The Lattice Structure of Linear Subspace Codes
Pranab Basu, Navin Kashyap
🔮 The Ethereal cs.DM 2 6 years ago
2262 Extended Formulation Lower Bounds for Refuting Random CSPs
Jonah Brown-Cohen, Prasad Raghavendra
🔮 The Ethereal cs.CC 2 6 years ago
2263 Classical linear logic, cobordisms and categorial grammars
Sergey Slavnov
🔮 The Ethereal math.LO 2 6 years ago
2264 The Lexicographic Method for the Threshold Cover Problem
Mathew C. Francis, Dalu Jacob
🔮 The Ethereal cs.DM 2 6 years ago
2265 Formal Verification of Debates in Argumentation Theory
Ria Jha, Francesco Belardinelli, Francesca Toni
🔮 The Ethereal cs.LO 2 6 years ago
2266 Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
Yihao Huang, Jincao Feng, ... (+6 more)
🔮 The Ethereal cs.FL 2 6 years ago
2267 Johnson Graph Codes
Iwan Duursma, Xiao Li
🔮 The Ethereal math.CO 2 6 years ago
2268 A Polynomial Time Algorithm for the $k$-Disjoint Shortest Paths Problem
William Lochet
🔮 The Ethereal math.CO 2 6 years ago
2269 Bringing Belief Base Change into Dynamic Epistemic Logic
Marlo Souza, Álvaro Moreira
🔮 The Ethereal cs.LO 2 6 years ago
2270 Boldly Going Where No Prover Has Gone Before
Giles Reger
🔮 The Ethereal cs.LO 2 6 years ago
2271 Moser-Tardos resampling algorithm, entropy compression method and the subset gas
Paula M. S. Fialho, Bernardo N. B. de Lima, Aldo Procacci
🔮 The Ethereal math.CO 2 6 years ago
2272 Edge-Isoperimetric Inequalities and Ball-Noise Stability: Linear Programming and Probabilistic Approaches
Lei Yu
🔮 The Ethereal math.CO 2 6 years ago
2273 Quantitative Coding and Complexity Theory of Continuous Data
Donghyun Lim, Martin Ziegler
🔮 The Ethereal math.LO 2 6 years ago
2274 Synthesis in Presence of Dynamic Links
Béatrice Bérard, Benedikt Bollig, ... (+3 more)
🔮 The Ethereal cs.FL 2 6 years ago
2275 Edge corona product as an approach to modeling complex simplical networks
Yucheng Wang, Yuhao Yi, ... (+2 more)
🔮 The Ethereal cs.DM 2 6 years ago
2276 Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
🔮 The Ethereal math.CO 2 6 years ago
2277 Reappraising the distribution of the number of edge crossings of graphs on a sphere
Lluís Alemany-Puig, Mercè Mora, Ramon Ferrer-i-Cancho
🔮 The Ethereal cs.DM 2 6 years ago
2278 Improved Lower Bounds for Permutation Arrays Using Permutation Rational Functions
Sergey Bereg, Brian Malouf, ... (+3 more)
🔮 The Ethereal math.CO 2 6 years ago
2279 On the decoding of 1-Fibonacci error correcting codes
Emanuele Bellini, Chiara Marcolla, Nadir Murru
🔮 The Ethereal math.CO 2 6 years ago
2280 Classification of optimal quaternary Hermitian LCD codes of dimension $2$
Keita Ishizuka
🔮 The Ethereal math.CO 2 6 years ago
2281 Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
Radu Mateescu, Wendelin Serwe, ... (+2 more)
🔮 The Ethereal cs.LO 2 6 years ago
2282 An Almost Exact Linear Complexity Algorithm of the Shortest Transformation of Chain-Cycle Graphs
K. Yu. Gorbunov, V. A. Lyubetsky
🔮 The Ethereal math.CO 2 6 years ago
2283 A Linear Time Algorithm for Computing the Eternal Vertex Cover Number of Cactus Graphs
Jasine Babu, Veena Prabhakaran, Arko Sharma
🔮 The Ethereal cs.DM 2 6 years ago
2284 No-Go Theorems for Data Privacy
Thomas Studer
🔮 The Ethereal cs.LO 2 6 years ago
2285 Characterisation of the parameters of maximum weight spectrum codes according to their spread
Alessio Meneghetti, Wrya K. Kadir
🔮 The Ethereal math.CO 2 6 years ago
2286 S-semantics -- an example
Włodzimierz Drabent
🔮 The Ethereal cs.LO 2 6 years ago
2287 Total Coloring for some classes of Cayley graphs
Prajnanaswaroopa S, Geetha J, Somasundaram K
🔮 The Ethereal math.CO 2 6 years ago
2288 Grading Adjoint Logic
Harley Eades, Dominic Orchard
🔮 The Ethereal cs.LO 2 6 years ago
2289 Bounds of the sum of edge lengths in linear arrangements of trees
Ramon Ferrer-i-Cancho, Carlos Gómez-Rodríguez, Juan Luis Esteban
🔮 The Ethereal cs.DM 2 6 years ago
2290 RNA-2QCFA: Evolving Two-way Quantum Finite Automata with Classical States for RNA Secondary Structures
Amandeep Singh Bhatia, Shenggen Zheng
🔮 The Ethereal cs.FL 2 6 years ago
2291 Bounding the trace function of a hypergraph with applications
Farhad Shahrokhi
🔮 The Ethereal math.CO 2 6 years ago
2292 Hierarchical Clusterings of Unweighted Graphs
Svein Høgemo, Christophe Paul, Jan Arne Telle
🔮 The Ethereal cs.CC 2 5 years ago
2293 The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
🔮 The Ethereal cs.LO 2 5 years ago
2294 On Testability of First-Order Properties in Bounded-Degree Graphs
Isolde Adler, Noleen Köhler, Pan Peng
🔮 The Ethereal cs.LO 2 5 years ago
2295 An explicit construction of graphs of bounded degree that are far from being Hamiltonian
Isolde Adler, Noleen Köhler
🔮 The Ethereal cs.DM 2 5 years ago
2296 Is the space complexity of planted clique recovery the same as that of detection?
Jay Mardia
🔮 The Ethereal cs.CC 2 5 years ago
2297 Ambiguity Hierarchy of Regular Infinite Tree Languages
Alexander Rabinovich, Doron Tiferet
🔮 The Ethereal cs.LO 2 5 years ago
2298 Information Hiding Using Matroid Theory
Ragnar Freij-Hollanti, Olga Kuznetsova
🔮 The Ethereal math.CO 2 5 years ago
2299 A Finitist's Manifesto: Do we need to Reformulate the Foundations of Mathematics?
Jonathan Lenchner
🔮 The Ethereal math.LO 2 5 years ago
2300 Towards Refinable Choreographies
Ugo de'Liguoro, Hernán Melgratti, Emilio Tuosto
🔮 The Ethereal cs.LO 2 5 years ago