💀 The Wall of Shame

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

Page 18, showing 50 papers

# Paper Cause of Death Category Citations Published
851 Hitting Families of Schedules for Asynchronous Programs
Dmitry Chistikov, Rupak Majumdar, Filip Niksic
🔮 The Ethereal cs.DM 12 10 years ago
852 The Power of Local Information in PageRank
Marco Bressan, Enoch Peserico, Luca Pretto
🔮 The Ethereal cs.DM 12 10 years ago
853 The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
Martin C. Cooper, Stanislav Živný
🔮 The Ethereal cs.CC 12 10 years ago
854 Induced Minor Free Graphs: Isomorphism and Clique-width
Rémy Belmonte, Yota Otachi, Pascal Schweitzer
🔮 The Ethereal cs.DM 12 10 years ago
855 Calculi for Intuitionistic Normal Modal Logic
Yoshihiko Kakutani
🔮 The Ethereal cs.LO 12 10 years ago
856 Reversible Sessions Using Monitors
Claudio A. Mezzina, Jorge A. Pérez
🔮 The Ethereal cs.LO 12 10 years ago
857 Undecidability of the Lambek calculus with subexponential and bracket modalities
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
🔮 The Ethereal math.LO 12 9 years ago
858 Constructing Orthogonal Latin Squares from Linear Cellular Automata
Luca Mariot, Enrico Formenti, Alberto Leporati
🔮 The Ethereal cs.DM 12 9 years ago
859 Improved Bounds on Sidon Sets via Lattice Packings of Simplices
Mladen Kovačević, Vincent Y. F. Tan
🔮 The Ethereal math.CO 12 9 years ago
860 Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets
Navid Nasr Esfahani, Ian Goldberg, Douglas R. Stinson
🔮 The Ethereal math.CO 12 9 years ago
861 Evaluating the Stream Control Transmission Protocol Using Uppaal
Shruti Saini, Ansgar Fehnker
🔮 The Ethereal cs.LO 12 9 years ago
862 Approximations from Anywhere and General Rough Sets
A. Mani
🔮 The Ethereal math.LO 12 9 years ago
863 Fast exact algorithms for some connectivity problems parametrized by clique-width
Benjamin Bergougnoux, Mamadou Moustapha Kanté
🔮 The Ethereal cs.CC 12 9 years ago
864 Dimension Reduction for Polynomials over Gaussian Space and Applications
Badih Ghazi, Pritish Kamath, Prasad Raghavendra
🔮 The Ethereal cs.CC 12 8 years ago
865 New extremal singly even self-dual codes of lengths $64$ and $66$
Damyan Anev, Masaaki Harada, Nikolay Yankov
🔮 The Ethereal math.CO 12 8 years ago
866 The Refinement Calculus of Reactive Systems
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
🔮 The Ethereal cs.LO 12 8 years ago
867 Clique-width and Well-Quasi-Ordering of Triangle-Free Graph Classes
Konrad K. Dabrowski, Vadim V. Lozin, Daniël Paulusma
🔮 The Ethereal math.CO 12 8 years ago
868 Inductive $k$-independent graphs and $c$-colorable subgraphs in scheduling: A review
Matthias Bentert, René van Bevern, Rolf Niedermeier
🔮 The Ethereal cs.DM 12 8 years ago
869 Randomized sliding window algorithms for regular languages
Moses Ganardi, Danny Hucke, Markus Lohrey
🔮 The Ethereal cs.FL 12 8 years ago
870 Connectivity in Random Annulus Graphs and the Geometric Block Model
Sainyam Galhotra, Arya Mazumdar, ... (+2 more)
🔮 The Ethereal cs.DM 12 8 years ago
871 Structural Rounding: Approximation Algorithms for Graphs Near an Algorithmically Tractable Class
Erik D. Demaine, Timothy D. Goodrich, ... (+6 more)
🔮 The Ethereal cs.CC 12 8 years ago
872 Formal Small-step Verification of a Call-by-value Lambda Calculus Machine
Fabian Kunze, Gert Smolka, Yannick Forster
🔮 The Ethereal cs.LO 12 8 years ago
873 Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth
Bas A. M. van Geffen, Bart M. P. Jansen, ... (+2 more)
🔮 The Ethereal cs.CC 12 8 years ago
874 Planning and Synthesis Under Assumptions
Benjamin Aminof, Giuseppe De Giacomo, ... (+2 more)
🔮 The Ethereal cs.LO 12 8 years ago
875 Fair redistricting is hard
Richard Kueng, Dustin G. Mixon, Soledad Villar
🔮 The Ethereal cs.CC 12 7 years ago
876 The lengths of projective triply-even binary codes
Thomas Honold, Michael Kiermaier, ... (+2 more)
🔮 The Ethereal math.CO 12 7 years ago
877 Multi-Criteria Dimensionality Reduction with Applications to Fairness
Uthaipon Tantipongpipat, Samira Samadi, ... (+3 more)
🔮 The Ethereal cs.DM 12 7 years ago
878 The Iterated Local Model for Social Networks
Anthony Bonato, Huda Chuangpishit, ... (+3 more)
🔮 The Ethereal math.CO 12 7 years ago
879 Improved Strong Spatial Mixing for Colorings on Trees
Charilaos Efthymiou, Andreas Galanis, ... (+3 more)
🔮 The Ethereal cs.DM 12 6 years ago
880 Random $k$-out subgraph leaves only $O(n/k)$ inter-component edges
Jacob Holm, Valerie King, ... (+3 more)
🔮 The Ethereal cs.DM 12 6 years ago
881 Inferring Lower Runtime Bounds for Integer Programs
Florian Frohn, Matthias Naaf, ... (+2 more)
🔮 The Ethereal cs.LO 12 6 years ago
882 LinCode -- computer classification of linear codes
Sascha Kurz
🔮 The Ethereal math.CO 12 6 years ago
883 Common Information, Matroid Representation, and Secret Sharing for Matroid Ports
Michael Bamiloshin, Aner Ben-Efraim, ... (+2 more)
🔮 The Ethereal math.CO 12 6 years ago
884 Experiences from Exporting Major Proof Assistant Libraries
Michael Kohlhase, Florian Rabe
🔮 The Ethereal cs.LO 12 6 years ago
885 Lee-Yang zeros and the complexity of the ferromagnetic Ising model on bounded-degree graphs
Pjotr Buys, Andreas Galanis, ... (+2 more)
🔮 The Ethereal cs.CC 12 6 years ago
886 Homotopy Theoretic and Categorical Models of Neural Information Networks
Yuri Manin, Matilde Marcolli
🔮 The Ethereal cs.LO 12 6 years ago
887 $2$-Layer $k$-Planar Graphs: Density, Crossing Lemma, Relationships, and Pathwidth
Patrizio Angelini, Giordano Da Lozzo, ... (+2 more)
🔮 The Ethereal cs.DM 12 5 years ago
888 Sparsity of weighted networks: measures and applications
Swati Goswami, Asit K. Das, Subhas C. Nandy
🔮 The Ethereal cs.DM 12 5 years ago
889 Expressive power of linear algebra query languages
Floris Geerts, Thomas Muñoz, ... (+2 more)
🔮 The Ethereal cs.CC 12 5 years ago
890 Detecting and Counting Small Subgraphs, and Evaluating a Parameterized Tutte Polynomial: Lower Bounds via Toroidal Grids and Cayley Graph Expanders
Marc Roth, Johannes Schmitt, Philip Wellnitz
🔮 The Ethereal cs.CC 12 5 years ago
891 Integer Programming and Incidence Treedepth
Eduard Eiben, Robert Ganian, ... (+4 more)
🔮 The Ethereal cs.CC 12 5 years ago
892 Formalising Decentralised Exchanges in Coq
Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
🔮 The Ethereal cs.LO 12 4 years ago
893 Galactic Token Sliding
Valentin Bartier, Nicolas Bousquet, Amer E. Mouawad
🔮 The Ethereal cs.CC 12 4 years ago
894 Slim Tree-Cut Width
Robert Ganian, Viktoriia Korchemna
🔮 The Ethereal cs.CC 12 4 years ago
895 Matching Cuts in Graphs of High Girth and H-Free Graphs
Carl Feghali, Felicia Lucke, ... (+2 more)
🔮 The Ethereal math.CO 12 3 years ago
896 Algebraic Model Management: A Survey
Patrick Schultz, David I. Spivak, Ryan Wisnesky
🔮 The Ethereal cs.LO 12 3 years ago
897 Being an Influencer is Hard: The Complexity of Influence Maximization in Temporal Graphs with a Fixed Source
Argyrios Deligkas, Michelle Döring, ... (+3 more)
🔮 The Ethereal cs.CC 12 3 years ago
898 Matching Patterns with Variables Under Simon's Congruence
Pamela Fleischmann, Sungmin Kim, ... (+5 more)
🔮 The Ethereal cs.FL 12 2 years ago
899 Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
Martin Grohe, Moritz Lichter, ... (+2 more)
🔮 The Ethereal cs.DM 12 2 years ago
900 On Induced Versions of Menger's Theorem on Sparse Graphs
Peter Gartland, Tuukka Korhonen, Daniel Lokshtanov
🔮 The Ethereal math.CO 12 2 years ago