💀 The Wall of Shame

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

Page 52, showing 50 papers

# Paper Cause of Death Category Citations Published
2551 Complete Call-by-Value Calculi of Control Operators, I
Ryu Hasegawa
🔮 The Ethereal cs.LO 1 9 years ago
2552 A Family of Metrics for Clustering Algorithms
Clark Alexander, Sofya Akhmametyeva
🔮 The Ethereal cs.DM 1 8 years ago
2553 Normalized Information Distance and the Oscillation Hierarchy
Klaus Ambos-Spies, Wolfgang Merkle, Sebastiaan A. Terwijn
🔮 The Ethereal math.LO 1 8 years ago
2554 Inverse of a Special Matrix and Application
Thuan Nguyen
🔮 The Ethereal cs.DM 1 8 years ago
2555 Plain stopping time and conditional complexities revisited
Mikhail Andreev, Gleb Posobin, Alexander Shen
🔮 The Ethereal cs.CC 1 8 years ago
2556 Efficient Algorithms for Checking Fast Termination in VASS
Tomáš Brázdil, Krishnendu Chatterjee, ... (+3 more)
🔮 The Ethereal cs.LO 1 8 years ago
2557 Neural Network Based Nonlinear Weighted Finite Automata
Tianyu Li, Guillaume Rabusseau, Doina Precup
🔮 The Ethereal cs.FL 1 8 years ago
2558 Enhancing Predicate Pairing with Abstraction for Relational Verification
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
🔮 The Ethereal cs.LO 1 8 years ago
2559 Random Overlapping Communities: Approximating Motif Densities of Large Graphs
Samantha Petti, Santosh Vempala
🔮 The Ethereal cs.DM 1 8 years ago
2560 Combinatorial Miller-Hagberg Algorithm for Randomization of Dense Networks
Hiroki Sayama
🔮 The Ethereal cs.DM 1 8 years ago
2561 Adaptive Network Flow with $k$-Arc Destruction
Thomas Ridremont, Dimitri Watel, ... (+2 more)
🔮 The Ethereal math.CO 1 8 years ago
2562 On the Parallel Parameterized Complexity of the Graph Isomorphism Problem
Bireswar Das, Murali Krishna Enduri, I. Vinod Reddy
🔮 The Ethereal cs.CC 1 8 years ago
2563 Keep it Fair: Equivalences
Tobias Prehn, Stephan Mennicke
🔮 The Ethereal cs.LO 1 8 years ago
2564 A Formalization of Unique Solutions of Equations in Process Algebra
Chun Tian
🔮 The Ethereal cs.LO 1 8 years ago
2565 On the Decision Tree Complexity of String Matching
Xiaoyu He, Neng Huang, Xiaoming Sun
🔮 The Ethereal cs.CC 1 8 years ago
2566 Causal Linearizability: Compositionality for Partially Ordered Executions
Simon Doherty, John Derrick, ... (+2 more)
🔮 The Ethereal cs.LO 1 8 years ago
2567 On tradeoffs between width- and fill-like graph parameters
Dariusz Dereniowski, Adam Stański
🔮 The Ethereal cs.DM 1 8 years ago
2568 Exploiting symmetry in network analysis
Rubén J. Sánchez-García
🔮 The Ethereal math.CO 1 8 years ago
2569 Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation
John P. Gallagher, Rob van Glabbeek, Wendelin Serwe
🔮 The Ethereal cs.LO 1 8 years ago
2570 Comparing Dependencies in Probability Theory and General Rough Sets: Part-A
A Mani
🔮 The Ethereal math.LO 1 8 years ago
2571 A Tight Extremal Bound on the Lovász Cactus Number in Planar Graphs
Parinya Chalermsook, Andreas Schmid, Sumedha Uniyal
🔮 The Ethereal cs.DM 1 8 years ago
2572 Cheap Non-standard Analysis and Computability
Olivier Bournez, Sabrina Ouazzani
🔮 The Ethereal cs.LO 1 8 years ago
2573 Symbolic Automata with Memory: a Computational Model for Complex Event Processing
Elias Alevizos, Alexander Artikis, Georgios Paliouras
🔮 The Ethereal cs.FL 1 8 years ago
2574 State Diagrams of a Class of Singular LFSR and Their Applications to the Construction of de Bruijn Cycles
XiaoFang Wang, YuJuan Sun, WeiGuo Zhang
🔮 The Ethereal math.CO 1 8 years ago
2575 New quantum codes constructed from some self-dual additive $\mathbb{F}_4$-codes
Masaaki Harada
🔮 The Ethereal math.CO 1 8 years ago
2576 Schematic Polymorphism in the Abella Proof Assistant
Gopalan Nadathur, Yuting Wang
🔮 The Ethereal cs.LO 1 8 years ago
2577 Digital Geometry, a Survey
Li Chen, David Coeurjolly
🔮 The Ethereal cs.DM 1 8 years ago
2578 A note on regular subgroups of the automorphism group of the linear Hadamard code
I. Yu. Mogilnykh
🔮 The Ethereal math.CO 1 8 years ago
2579 Computing Minimum Weight Cycles to Leverage Mispricings in Cryptocurrency Market Networks
Francesco Bortolussi, Zeger Hoogeboom, Frank W. Takes
🔮 The Ethereal cs.DM 1 8 years ago
2580 Supermodular Locality Sensitive Hashes
Maxim Berman, Matthew B. Blaschko
🔮 The Ethereal cs.DM 1 8 years ago
2581 Parameterized Orientable Deletion
Tesshu Hanaka, Ioannis Katsikarelis, ... (+3 more)
🔮 The Ethereal cs.CC 1 7 years ago
2582 Explicit Auditing
Wilmer Ricciotti, James Cheney
🔮 The Ethereal cs.LO 1 7 years ago
2583 Optimal conditions for connectedness of discretized sets
Boris Brimkov, Valentin E. Brimkov
🔮 The Ethereal cs.DM 1 7 years ago
2584 Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics
Jorge A. Pérez, Simone Tini
🔮 The Ethereal cs.LO 1 7 years ago
2585 Complexity of MLDP
Nancy A. Arellano-Arriaga, Julián Molina, ... (+3 more)
🔮 The Ethereal cs.CC 1 7 years ago
2586 Shift-Inequivalent Decimations of the Sidelnikov-Lempel-Cohn-Eastman Sequences
Saban Alaca, Goldwyn Millar
🔮 The Ethereal math.CO 1 7 years ago
2587 Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis
Temesghen Kahsai, German Vidal
🔮 The Ethereal cs.LO 1 7 years ago
2588 Equivalence between pathbreadth and strong pathbreadth
Guillaume Ducoffe, Arne Leitert
🔮 The Ethereal cs.CC 1 7 years ago
2589 Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
Zeynep G. Saribatur, Thomas Eiter
🔮 The Ethereal cs.LO 1 7 years ago
2590 Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data
Akitoshi Kawamura, Donghyun Lim, ... (+2 more)
🔮 The Ethereal cs.LO 1 7 years ago
2591 Probabilistic Analysis of Edge Elimination for Euclidean TSP
Xianghui Zhong
🔮 The Ethereal cs.DM 1 7 years ago
2592 Polynomial-time Recognition of 4-Steiner Powers
Guillaume Ducoffe
🔮 The Ethereal cs.CC 1 7 years ago
2593 On components of a Kerdock code and the dual of the BCH code $C_{1,3}$
I. Yu. Mogilnykh, F. I. Solov'eva
🔮 The Ethereal math.CO 1 7 years ago
2594 Algorithm for $\mathcal{B}$-partitions, parameterized complexity of the matrix determinant and permanent
Ranveer Singh, Vivek Vijay, RB Bapat
🔮 The Ethereal cs.CC 1 7 years ago
2595 Simple game semantics and Day convolution
Clovis Eberhart, Tom Hirschowitz, Alexis Laouar
🔮 The Ethereal cs.LO 1 7 years ago
2596 Direct and Binary Direct Bases for One-set Updates of a Closure System
Kira Adaricheva, Taylor Ninesling
🔮 The Ethereal cs.LO 1 7 years ago
2597 Proceedings 18th Refinement Workshop
John Derrick, Brijesh Dongol, Steve Reeves
🔮 The Ethereal cs.LO 1 7 years ago
2598 Minimum Reload Cost Graph Factors
Julien Baste, Didem Gözüpek, ... (+2 more)
🔮 The Ethereal cs.CC 1 7 years ago
2599 Algorithmic information distortions and incompressibility in uniform multidimensional networks
Felipe S. Abrahão, Klaus Wehmuth, ... (+2 more)
🔮 The Ethereal cs.DM 1 7 years ago
2600 Relation of Web Service Orchestration, Abstract Process, Web Service and Choreography
Yong Wang
🔮 The Ethereal cs.LO 1 7 years ago