💀 The Wall of Shame

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

Page 53, showing 50 papers

# Paper Cause of Death Category Citations Published
2601 How many matchings cover the nodes of a graph?
Dehia Ait Ferhat, Zoltán Király, ... (+2 more)
🔮 The Ethereal math.CO 1 7 years ago
2602 Formal FocusST Specification of CAN
Maria Spichkova
🔮 The Ethereal cs.FL 1 7 years ago
2603 Towards Machine Learning Induction
Yutaka Nagashima
🔮 The Ethereal cs.LO 1 7 years ago
2604 In Praise of Sequence (Co-)Algebra and its implementation in Haskell
Kieran Clenaghan
🔮 The Ethereal math.CO 1 7 years ago
2605 Minuet: A method to solve Sudoku puzzles by hand
Carlos F. Daganzo
🔮 The Ethereal cs.DM 1 7 years ago
2606 The content correlation of multiple streaming edges
Michel de Rougemont, Guillaume Vimont
🔮 The Ethereal cs.LO 1 7 years ago
2607 A modified greedy algorithm to improve bounds for the vertex cover number
R. Dharmarajan, D. Ramachandran
🔮 The Ethereal math.CO 1 7 years ago
2608 Longest Common Subsequence on Weighted Sequences
Evangelos Kipouridis, Kostas Tsichlas
🔮 The Ethereal cs.CC 1 7 years ago
2609 Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
Normann Decker, Anton Pirogov
🔮 The Ethereal cs.LO 1 7 years ago
2610 Modular Verification for Almost-Sure Termination of Probabilistic Programs
Mingzhang Huang, Hongfei Fu, ... (+2 more)
🔮 The Ethereal cs.LO 1 7 years ago
2611 Totality for Mixed Inductive and Coinductive Types
Pierre Hyvernat
🔮 The Ethereal cs.LO 1 7 years ago
2612 Proceedings Tenth International Workshop on Computing with Terms and Graphs
Maribel Fernández, Ian Mackie
🔮 The Ethereal cs.LO 1 7 years ago
2613 Types by Need (Extended Version)
Beniamino Accattoli, Giulio Guerrieri, Maico Leberle
🔮 The Ethereal cs.LO 1 7 years ago
2614 Information-theoretic lower bounds for quantum sorting
Jean Cardinal, Gwenaël Joret, Jérémie Roland
🔮 The Ethereal cs.CC 1 7 years ago
2615 From Sharma-Mittal to von-Neumann Entropy of a Graph
Souma Mazumdar, Amrik Singh, ... (+3 more)
🔮 The Ethereal cs.DM 1 7 years ago
2616 A linear-time algorithm and analysis of graph Relative Hausdorff distance
Sinan G. Aksoy, Kathleen E. Nowak, Stephen J. Young
🔮 The Ethereal math.CO 1 7 years ago
2617 A linear bound on the k-rendezvous time for primitive sets of NZ matrices
Costanza Catalano, Umer Azfar, ... (+2 more)
🔮 The Ethereal cs.DM 1 7 years ago
2618 Towards Intuitive Reasoning in Axiomatic Geometry
Maximilian Doré, Krysia Broda
🔮 The Ethereal cs.LO 1 7 years ago
2619 Steiner systems $S(2,4,2^m)$ supported by a family of extended cyclic codes
Qi Wang
🔮 The Ethereal math.CO 1 7 years ago
2620 Shortest-Path-Preserving Rounding
Herman Haverkort, David Kübel, Elmar Langetepe
🔮 The Ethereal cs.CC 1 7 years ago
2621 On Mappings on the Hypercube with Small Average Stretch
Lucas Boczkowski, Igor Shinkar
🔮 The Ethereal math.CO 1 7 years ago
2622 Average Bias and Polynomial Sources
Arnab Bhattacharyya, Philips George John, ... (+2 more)
🔮 The Ethereal cs.CC 1 7 years ago
2623 Schur ring and Codes for $S$-subgroups over $\Z_{2}^{n}$
Ronald Orozco López
🔮 The Ethereal math.CO 1 7 years ago
2624 A Linear Algorithm for Minimum Dominator Colorings of Orientations of Paths
Michael Cary
🔮 The Ethereal cs.DM 1 7 years ago
2625 Fault-Tolerant Path-Embedding of Twisted Hypercube-Like Networks THLNs
Huifeng Zhang, Xirong Xu, ... (+2 more)
🔮 The Ethereal math.CO 1 7 years ago
2626 Link Dimension and Exact Construction of a Graph
Gunjan S. Mahindre, Anura P. Jayasumana
🔮 The Ethereal cs.DM 1 7 years ago
2627 Parallelism Theorem and Derived Rules for Parallel Coherent Transformations
Thierry Boy de la Tour
🔮 The Ethereal math.CT 1 7 years ago
2628 Formal verification of trading in financial markets
Suneel Sarswat, Abhishek Kr Singh
🔮 The Ethereal cs.LO 1 7 years ago
2629 Robust Approach to Restricted Items Selection Problem
Maciej Drwal
🔮 The Ethereal cs.DM 1 7 years ago
2630 Social Choice Methods for Database Aggregation
Francesco Belardinelli, Umberto Grandi
🔮 The Ethereal cs.LO 1 7 years ago
2631 Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations
Carmen Leticia García-Mata, Pedro Rafael Márquez-Gutiérrez
🔮 The Ethereal cs.LO 1 6 years ago
2632 Characterization and classification of optimal LCD codes
Makoto Araya, Masaaki Harada, Ken Saito
🔮 The Ethereal math.CO 1 6 years ago
2633 An Efficient Algorithm to Test Potentially Bipartiteness of Graphical Degree Sequences
Kai Wang
🔮 The Ethereal math.CO 1 6 years ago
2634 Explaining SDN Failures via Axiomatisations
Georgiana Caltais
🔮 The Ethereal cs.FL 1 6 years ago
2635 Reasoning about call-by-value: a missing result in the history of Hoare's logic
Krzysztof R. Apt, Frank S. de Boer
🔮 The Ethereal cs.LO 1 6 years ago
2636 Exact solutions for geodesic distance on treelike models with some constraints
Xudong Luo, Fei Ma, Wentao Xu
🔮 The Ethereal math.CO 1 6 years ago
2637 The Computational Complexity of Fire Emblem Series and similar Tactical Role-Playing Games
Jiawei Gao
🔮 The Ethereal cs.CC 1 6 years ago
2638 On the Strong Equivalences of LPMLN Programs
Bin Wang, Jun Shen, ... (+2 more)
🔮 The Ethereal cs.LO 1 6 years ago
2639 A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation
Felicidad Aguado, Pedro Cabalar, ... (+4 more)
🔮 The Ethereal cs.LO 1 6 years ago
2640 Advances in Big Data Bio Analytics
Nicos Angelopoulos, Jan Wielemaker
🔮 The Ethereal cs.LO 1 6 years ago
2641 Towards declarative comparabilities: application to functional dependencies
Lhouari Nourine, Jean Marc Petit, Simon Vilmin
🔮 The Ethereal cs.LO 1 6 years ago
2642 On the Approximation Ratio of the $k$-Opt and Lin-Kernighan Algorithm
Xianghui Zhong
🔮 The Ethereal cs.DM 1 6 years ago
2643 Types for Parallel Complexity in the Pi-calculus
Patrick Baillot, Alexis Ghyselen
🔮 The Ethereal cs.LO 1 6 years ago
2644 Reflections on "Incremental Cardinality Constraints for MaxSAT"
Ruben Martins, Saurabh Joshi, ... (+2 more)
🔮 The Ethereal cs.LO 1 6 years ago
2645 Hamming Distances in Vector Spaces over Finite Fields
Esen Aksoy Yazici
🔮 The Ethereal math.CO 1 6 years ago
2646 The Distribution Function of the Longest Path Length in Constant Treewidth DAGs with Random Edge Length
Ei Ando
🔮 The Ethereal cs.CC 1 6 years ago
2647 A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille
Aaron Stump
🔮 The Ethereal cs.LO 1 6 years ago
2648 Statistical EL is ExpTime-complete
Bartosz Bednarczyk
🔮 The Ethereal cs.LO 1 6 years ago
2649 Classifying Pattern and Feature Properties to Get a $Θ(n)$ Checker and Reformulation for Sliding Time-Series Constraints
Nicolas Beldiceanu, Mats Carlsson, ... (+2 more)
🔮 The Ethereal cs.FL 1 6 years ago
2650 An algorithm for bounding extremal functions of forbidden sequences
Jesse Geneson
🔮 The Ethereal cs.DM 1 6 years ago