💀 The Wall of Shame

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

Page 54, showing 50 papers

# Paper Cause of Death Category Citations Published
2651 New binary self-dual codes via a generalization of the four circulant construction
Joe Gildea, Abidin Kaya, Bahattin Yildiz
🔮 The Ethereal math.CO 1 6 years ago
2652 Bitopological Duality for Algebras of Fittings logic and Natural Duality extension
Litan Kumar Das, Kumar Sankar Ray
🔮 The Ethereal cs.LO 1 6 years ago
2653 Streaming Transformations of Infinite Ordered-Data Words
Xiaokang Qiu
🔮 The Ethereal cs.FL 1 6 years ago
2654 Modular coinduction up-to for higher-order languages via first-order transition systems
Jean-Marie Madiot, Damien Pous, Davide Sangiorgi
🔮 The Ethereal cs.LO 1 6 years ago
2655 The Abstract Machinery of Interaction (Long Version)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
🔮 The Ethereal cs.LO 1 6 years ago
2656 Four-valued monitorability of $ω$-regular languages
Zhe Chen, Yunyun Chen, ... (+2 more)
🔮 The Ethereal cs.FL 1 6 years ago
2657 On Higher-Order Cryptography (Long Version)
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
🔮 The Ethereal cs.LO 1 6 years ago
2658 Generating random bigraphs with preferential attachment
Dominik Grzelak, Barbara Priwitzer, Uwe Aßmann
🔮 The Ethereal cs.DM 1 6 years ago
2659 An Easy-to-implement Construction for $(k,n)$-threshold Progressive Visual Secret Sharing Schemes
Hong-Bin Chen, Hsiang-Chun Hsu, Justie Su-Tzu Juan
🔮 The Ethereal math.CO 1 6 years ago
2660 Process algebra, process scheduling, and mutual exclusion
C. A. Middelburg
🔮 The Ethereal cs.LO 1 6 years ago
2661 A homological characterization of generalized multinomial coefficients related to the entropic chain rule
Juan Pablo Vigneaux
🔮 The Ethereal math.CO 1 6 years ago
2662 The Fine-Grained Complexity of Computing the Tutte Polynomial of a Linear Matroid
Andreas Björklund, Petteri Kaski
🔮 The Ethereal cs.CC 1 6 years ago
2663 Exact capacitated domination: on the computational complexity of uniqueness
Gregory Gutin, Philip R Neary, Anders Yeo
🔮 The Ethereal math.CO 1 6 years ago
2664 On subspaces of Kloosterman zeros and permutations of the form $L_1(x^{-1})+L_2(x)$
Faruk Göloğlu, Lukas Kölsch, ... (+2 more)
🔮 The Ethereal math.CO 1 6 years ago
2665 Graph Distances and Clustering
Pierre Miasnikof, Alexander Y. Shestopaloff, ... (+2 more)
🔮 The Ethereal cs.DM 1 6 years ago
2666 Polynomial-delay Enumeration Algorithms in Set Systems
Kazuya Haraguchi, Hiroshi Nagamochi
🔮 The Ethereal cs.DM 1 6 years ago
2667 Combining predicate transformer semantics for effects: a case study in parsing regular languages
Anne Baanen, Wouter Swierstra
🔮 The Ethereal cs.LO 1 6 years ago
2668 Featured Games
Uli Fahrenberg, Axel Legay
🔮 The Ethereal cs.LO 1 6 years ago
2669 How to generate random lambda terms?
Maciej Bendkowski
🔮 The Ethereal math.CO 1 6 years ago
2670 Maximum $w$-cyclic holely group divisible packings with block size three and applications to optical orthogonal codes
Zenghui Fang, Junling Zhou, Lidong Wang
🔮 The Ethereal math.CO 1 6 years ago
2671 Graphs with Multiple Sources per Vertex
Martin van Harmelen, Jonas Groschwitz
🔮 The Ethereal cs.LO 1 6 years ago
2672 A Fast Distributed Algorithm for $(Δ+ 1)$-Edge-Coloring
Anton Bernshteyn
🔮 The Ethereal math.CO 1 6 years ago
2673 Binary intersection formalized
Štěpán Holub, Štěpán Starosta
🔮 The Ethereal cs.FL 1 6 years ago
2674 Reasoning with Contextual Knowledge and Influence Diagrams
Erman Acar, Rafael Peñaloza
🔮 The Ethereal cs.LO 1 6 years ago
2675 Incremental methods for checking real-time consistency
Thierry Jéron, Nicolas Markey, ... (+3 more)
🔮 The Ethereal cs.FL 1 6 years ago
2676 Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling
Yong Li, Andrea Turrini, ... (+2 more)
🔮 The Ethereal cs.FL 1 6 years ago
2677 Logic of computational semi-effects and categorical gluing for equivariant functors
Yuichi Nishiwaki, Toshiya Asai
🔮 The Ethereal cs.LO 1 6 years ago
2678 Dominated Minimal Separators are Tame (Nearly All Others are Feral)
Peter Gartland, Daniel Lokshtanov
🔮 The Ethereal cs.DM 1 6 years ago
2679 Independence versus Indetermination: basis of two canonical clustering criteria
Pierre Bertrand, Michel Broniatowski, Jean-François Marcotorchino
🔮 The Ethereal cs.DM 1 6 years ago
2680 Abstract Interpretation in Formal Argumentation: with a Galois Connection for Abstract Dialectical Frameworks and May-Must Argumentation (First Report)
Ryuta Arisaka, Takayuki Ito
🔮 The Ethereal cs.LO 1 6 years ago
2681 A polynomial-time algorithm to determine (almost) Hamiltonicity of dense regular graphs
Viresh Patel, Fabian Stroh
🔮 The Ethereal math.CO 1 5 years ago
2682 Automorphism groups of maps in linear time
Ken-ichi Kawarabayashi, Bojan Mohar, ... (+2 more)
🔮 The Ethereal math.CO 1 5 years ago
2683 Glushkov's construction for functional subsequential transducers
Aleksander Mendoza-Drosik
🔮 The Ethereal cs.FL 1 5 years ago
2684 Cons-free Programs and Complexity Classes between LOGSPACE and PTIME
Neil D. Jones, Siddharth Bhaskar, ... (+2 more)
🔮 The Ethereal cs.CC 1 5 years ago
2685 A unified algorithm for colouring graphs of bounded clique-width
Bruno Courcelle, Irène Durand, Michael Raskin
🔮 The Ethereal cs.CC 1 5 years ago
2686 A Heuristic Approach to Two Level Boolean Minimization Derived from Karnaugh Mapping
Ethan L. Childerhose, Jingzhou Liu
🔮 The Ethereal math.LO 1 5 years ago
2687 Haystack Hunting Hints and Locker Room Communication
Artur Czumaj, George Kontogeorgiou, Mike Paterson
🔮 The Ethereal math.CO 1 5 years ago
2688 Combining Determinism and Indeterminism
Michael Stephen Fiske
🔮 The Ethereal math.LO 1 5 years ago
2689 Faster Property Testers in a Variation of the Bounded Degree Model
Isolde Adler, Polly Fahey
🔮 The Ethereal cs.LO 1 5 years ago
2690 SHACL Satisfiability and Containment (Extended Paper)
Paolo Pareti, George Konstantinidis, ... (+2 more)
🔮 The Ethereal cs.LO 1 5 years ago
2691 LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories
Wolf De Wulf, Bart Bogaerts
🔮 The Ethereal cs.LO 1 5 years ago
2692 Emergence of complex data from simple local rules in a network game
Felipe S. Abrahão, Klaus Wehmuth, Artur Ziviani
🔮 The Ethereal cs.LO 1 5 years ago
2693 On the Approximability of Robust Network Design
Yacine Al-Najjar, Walid Ben-Ameur, Jeremie Leguay
🔮 The Ethereal cs.CC 1 5 years ago
2694 A spatial model checker in GPU (extended version)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
🔮 The Ethereal cs.LO 1 5 years ago
2695 The Graphs of Stably Matchable Pairs
David Eppstein
🔮 The Ethereal cs.DM 1 5 years ago
2696 Leader Election And Local Identifiers For 3D Programmable Matter
Nicolas Gastineau, Wahabou Abdou, ... (+2 more)
🔮 The Ethereal cs.DM 1 5 years ago
2697 The computational inevitability of life: self-replication under resource-bounded nested algorithmic probability
Aritra Sarkar
🔮 The Ethereal cs.LO 1 5 years ago
2698 The clustered selected-internal Steiner tree problem
Yen Hung Chen
🔮 The Ethereal math.CO 1 5 years ago
2699 The Long, the Short and the Random
Giorgio Camerani
🔮 The Ethereal cs.CC 1 5 years ago
2700 A Deductive Verification Framework For Higher Order Programs
Tiago Lopes Soares
🔮 The Ethereal cs.LO 1 5 years ago