💀 The Wall of Shame

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

Page 51, showing 50 papers

# Paper Cause of Death Category Citations Published
2501 Sorting Networks: The Final Countdown
Martin Marinov, David Gregg
🔮 The Ethereal cs.DM 1 11 years ago
2502 A new upper bound for the clique cover number with applications
Farhad Shahrokhi
🔮 The Ethereal math.CO 1 11 years ago
2503 DAG-width of Control Flow Graphs with Applications to Model Checking
Therese Biedl, Sebastian Fischmeister, Neeraj Kumar
🔮 The Ethereal cs.DM 1 11 years ago
2504 Revisable Justified Belief: Preliminary Report
Alexandru Baltag, Bryan Renne, Sonja Smets
🔮 The Ethereal cs.LO 1 11 years ago
2505 Heuristic algorithms for obtaining Polynomial Threshold Functions with low densities
Can Eren Sezener, Erhan Oztop
🔮 The Ethereal cs.CC 1 11 years ago
2506 Some constructions of cyclic and quasi-cyclic subspaces codes
Ismael Gutierrez, Ivan Molina
🔮 The Ethereal math.CO 1 11 years ago
2507 Phase Transitions for the Uniform Distribution in the PML Problem and its Bethe Approximation
Chun Lam Chan, Winston Fernandes, ... (+2 more)
🔮 The Ethereal cs.DM 1 11 years ago
2508 NP-hardness of sortedness constraints
Irena Rusu
🔮 The Ethereal cs.CC 1 11 years ago
2509 Marimba: A Tool for Verifying Properties of Hidden Markov Models
Noe Hernandez, Kerstin Eder, ... (+3 more)
🔮 The Ethereal cs.LO 1 11 years ago
2510 On connectivity in a general random intersection graph
Jun Zhao
🔮 The Ethereal cs.DM 1 10 years ago
2511 Reasoning About LLVM Code Using Codewalker
David S. Hardin
🔮 The Ethereal cs.LO 1 10 years ago
2512 Efficient Algorithms for Morphisms over Omega-Regular Languages
Lukas Fleischer, Manfred Kufleitner
🔮 The Ethereal cs.FL 1 10 years ago
2513 A coloring of the square of the 8-cube with 13 colors
Janne I. Kokkala, Patric R. J. Östergård
🔮 The Ethereal math.CO 1 10 years ago
2514 Approximation Algorithm for Minimum Weight Connected $m$-Fold Dominating Set
Zhao Zhang, Jiao Zhou, ... (+2 more)
🔮 The Ethereal cs.DM 1 10 years ago
2515 Decidability and Complexity for Quiescent Consistency and its Variations
Brijesh Dongol, Robert M. Hierons
🔮 The Ethereal cs.LO 1 10 years ago
2516 On the shelling antimatroids of split graphs
Jean Cardinal, Jean-Paul Doignon, Keno Merckx
🔮 The Ethereal cs.DM 1 10 years ago
2517 The weight distribution of the self-dual $[128,64]$ polarity design code
Masaaki Harada, Ethan Novak, Vladimir D. Tonchev
🔮 The Ethereal math.CO 1 10 years ago
2518 Bounded Model Checking of Pointer Programs Revisited
Witold Charatonik, Piotr Witkowski
🔮 The Ethereal cs.LO 1 10 years ago
2519 Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity
M. Praveen, B. Srivathsan
🔮 The Ethereal cs.LO 1 10 years ago
2520 New Lower Bounds for van der Waerden Numbers Using Distributed Computing
Daniel Monroe
🔮 The Ethereal math.CO 1 10 years ago
2521 LDPC Codes Based on the Space of Symmetric Matrices over Finite Fields
Meng Zhao, Changli Ma, Qi Wang
🔮 The Ethereal math.CO 1 10 years ago
2522 Perspectives for proof unwinding by programming languages techniques
Danko Ilik
🔮 The Ethereal math.LO 1 10 years ago
2523 Towards linking correctness conditions for concurrent objects and contextual trace refinement
Brijesh Dongol, Lindsay Groves
🔮 The Ethereal cs.LO 1 10 years ago
2524 Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems
Maurice H. ter Beek, Michele Loreti
🔮 The Ethereal cs.LO 1 10 years ago
2525 Characterization and recognition of proper tagged probe interval graphs
Sanchita Paul, Shamik Ghosh, ... (+2 more)
🔮 The Ethereal math.CO 1 10 years ago
2526 The quasiequational theory of relational lattices, in the pure lattice signature (embeddability into relational lattices is undecidable)
Luigi Santocanale
🔮 The Ethereal cs.LO 1 10 years ago
2527 Best-case Analysis of MergeSort with an Application to the Sum of Digits Problem, A manuscript (MS) v2
Marek A. Suchenek
🔮 The Ethereal cs.DM 1 10 years ago
2528 An Extended Note on the Comparison-optimal Dual Pivot Quickselect
Daniel Krenn
🔮 The Ethereal math.CO 1 10 years ago
2529 Unique Parallel Decomposition for the Pi-calculus
Matias David Lee, Bas Luttik
🔮 The Ethereal cs.LO 1 9 years ago
2530 On Information-Theoretic Characterizations of Markov Random Fields and Subfields
Raymond W. Yeung, Ali Al-Bashabsheh, ... (+3 more)
🔮 The Ethereal cs.DM 1 9 years ago
2531 A note on Beckett-Gray codes and the relationship of Gray codes to data structures
Mark Cooke, Chris North, ... (+2 more)
🔮 The Ethereal math.CO 1 9 years ago
2532 Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies
Gregor Gössler, Oleg Sokolsky
🔮 The Ethereal cs.LO 1 9 years ago
2533 List approximation for increasing Kolmogorov complexity
Marius Zimand
🔮 The Ethereal cs.CC 1 9 years ago
2534 Finding long simple paths in a weighted digraph using pseudo-topological orderings
Miguel Raggi
🔮 The Ethereal cs.DM 1 9 years ago
2535 Distributed Searching of Partial Grids
Dariusz Dereniowski, Dorota Urbańska
🔮 The Ethereal cs.DM 1 9 years ago
2536 The design of efficient algorithms for enumeration
Andrew R. Conway
🔮 The Ethereal math.CO 1 9 years ago
2537 Invertibility and Largest Eigenvalue of Symmetric Matrix Signings
Charles Carlson, Karthekeyan Chandrasekaran, ... (+2 more)
🔮 The Ethereal cs.DM 1 9 years ago
2538 Bounds and Constructions for $\overline{3}$-Strongly Separable Codes with Length $3$
Xuli Zhang, Jing Jiang, Minquan Cheng
🔮 The Ethereal cs.DM 1 9 years ago
2539 Variable Neighborhood Search Algorithms for the multi-depot dial-a-ride problem with heterogeneous vehicles and users
Paolo Detti, Garazi Zabalo Manrique de Lara
🔮 The Ethereal cs.DM 1 9 years ago
2540 Stream Packing for Asynchronous Multi-Context Systems using ASP
Stefan Ellmauthaler, Jörg Pührer
🔮 The Ethereal cs.LO 1 9 years ago
2541 On Mixing in Pairwise Markov Random Fields with Application to Social Networks
Konstantin Avrachenkov, Lenar Iskhakov, Maksim Mironov
🔮 The Ethereal cs.DM 1 9 years ago
2542 A new cut-based genetic algorithm for graph partitioning applied to cell formation
Boulif Menouar
🔮 The Ethereal cs.DM 1 9 years ago
2543 Proceedings Eighth Workshop on Intersection Types and Related Systems
Naoki Kobayashi
🔮 The Ethereal cs.LO 1 9 years ago
2544 A new lower bound for the on-line coloring of intervals with bandwidth
Patryk Mikos
🔮 The Ethereal math.CO 1 9 years ago
2545 Automata theory on sliding windows
Moses Ganardi, Danny Hucke, ... (+3 more)
🔮 The Ethereal cs.FL 1 9 years ago
2546 Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms
Jean Néraud, Carla Selmi
🔮 The Ethereal cs.DM 1 9 years ago
2547 Minimizing the Cost of Team Exploration
Dorota Osula
🔮 The Ethereal cs.DM 1 9 years ago
2548 Extremal Type II $\mathbb{Z}_4$-codes constructed from binary doubly even self-dual codes of length $40$
Masaaki Harada
🔮 The Ethereal math.CO 1 9 years ago
2549 Distributed compression through the lens of algorithmic information theory: a primer
Marius Zimand
🔮 The Ethereal cs.CC 1 9 years ago
2550 A heuristic algorithm for the Bin Packing Problem with Conflicts on Interval Graphs
Tiziano Bacci, Sara Nicoloso
🔮 The Ethereal math.CO 1 9 years ago