💀 The Wall of Shame

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

Page 43, showing 50 papers

# Paper Cause of Death Category Citations Published
2101 A logarithmic approximation of linearly ordered colourings
Johan Håstad, Björn Martinsson, ... (+2 more)
🔮 The Ethereal math.CO 3 2 years ago
2102 Brooks-type colourings of digraphs in linear time
Daniel Gonçalves, Lucas Picasarri-Arrieta, Amadeus Reinald
🔮 The Ethereal math.CO 3 2 years ago
2103 Local search for valued constraint satisfaction parameterized by treedepth
Artem Kaznatcheev
🔮 The Ethereal cs.DM 3 2 years ago
2104 Practical Modelling with Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani
🔮 The Ethereal cs.LO 3 2 years ago
2105 Superconstant Inapproximability of Decision Tree Learning
Caleb Koch, Carmen Strassle, Li-Yang Tan
🔮 The Ethereal cs.CC 3 2 years ago
2106 Optimal Mixing for Randomly Sampling Edge Colorings on Trees Down to the Max Degree
Charlie Carlson, Xiaoyu Chen, ... (+2 more)
🔮 The Ethereal cs.DM 3 2 years ago
2107 Finite-State Automaton To/From Regular Expression Visualization
Marco T. Morazán, Tijana Minić
🔮 The Ethereal cs.FL 3 2 years ago
2108 A Purely Entropic Approach to the Rainbow Triangle Problem
Ting-Wei Chao, Hung-Hsun Hans Yu
🔮 The Ethereal math.CO 3 2 years ago
2109 Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
Ivan Titov
🔮 The Ethereal math.LO 3 2 years ago
2110 Deterministic approximate counting of colorings with fewer than $2Δ$ colors via absence of zeros
Ferenc Bencs, Khallil Berrekkal, Guus Regts
🔮 The Ethereal math.CO 3 1 year ago
2111 Syntax-Guided Automated Program Repair for Hyperproperties
Raven Beutner, Tzu-Han Hsu, ... (+2 more)
🔮 The Ethereal cs.LO 3 1 year ago
2112 Runtime Verification via Rational Monitor with Imperfect Information
Angelo Ferrando, Vadim Malvone
🔮 The Ethereal cs.FL 3 1 year ago
2113 The Sample Complexity of Smooth Boosting and the Tightness of the Hardcore Theorem
Guy Blanc, Alexandre Hayderi, ... (+2 more)
🔮 The Ethereal cs.CC 3 1 year ago
2114 Sharp estimates for Gowers norms on discrete cubes
Adrian Beker, Tonći Crmarić, Vjekoslav Kovač
🔮 The Ethereal math.CO 3 1 year ago
2115 NP-Completeness and Physical Zero-Knowledge Proofs for Zeiger
Suthee Ruangwises
🔮 The Ethereal cs.CC 3 1 year ago
2116 Rotation distance using flows
Claire Mathieu, William Thurston
🔮 The Ethereal cs.DM 3 1 year ago
2117 Better Boosting of Communication Oracles, or Not
Nathaniel Harms, Artur Riazanov
🔮 The Ethereal cs.CC 3 1 year ago
2118 Exact Exploration
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
🔮 The Ethereal cs.LO 3 1 year ago
2119 New Fault Domains for Conformance Testing of Finite State Machines
Frits Vaandrager, Ivo Melse
🔮 The Ethereal cs.FL 3 1 year ago
2120 Proto-Quipper with Reversing and Control
Peng Fu, Kohei Kishida, ... (+2 more)
🔮 The Ethereal cs.LO 3 1 year ago
2121 Near-Optimal Averaging Samplers and Matrix Samplers
Zhiyang Xun, David Zuckerman
🔮 The Ethereal cs.CC 3 1 year ago
2122 An Expressive Trace Logic for Recursive Programs
Dilian Gurov, Reiner Hähnle
🔮 The Ethereal cs.LO 3 1 year ago
2123 Kleene algebra with commutativity conditions is undecidable
Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi
🔮 The Ethereal math.LO 3 1 year ago
2124 Integer and Unsplittable Multiflows in Series-Parallel Digraphs
Mohammed Majthoub Almoghrabi, Martin Skutella, Philipp Warode
🔮 The Ethereal math.CO 3 1 year ago
2125 Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, ... (+4 more)
🔮 The Ethereal cs.LO 3 1 year ago
2126 A Formal Correctness Proof of Edmonds' Blossom Shrinking Algorithm
Mohammad Abdulaziz, Kurt Mehlhorn
🔮 The Ethereal cs.LO 3 1 year ago
2127 Twin-width one
Jungho Ahn, Hugo Jacob, ... (+4 more)
🔮 The Ethereal cs.DM 3 1 year ago
2128 Mim-Width is paraNP-complete
Benjamin Bergougnoux, Édouard Bonnet, Julien Duron
🔮 The Ethereal cs.CC 3 1 year ago
2129 Complexity of the Virtual Network Embedding with uniform demands
Amal Benhamiche, Pierre Fouilhoux, ... (+3 more)
🔮 The Ethereal cs.DM 3 1 year ago
2130 An exposition of recent list-size bounds of FRS Codes
Abhibhav Garg, Prahladh Harsha, ... (+3 more)
🔮 The Ethereal cs.CC 3 1 year ago
2131 An unconditional lower bound for the active-set method on the hypercube
Yann Disser, Nils Mosis
🔮 The Ethereal cs.DM 3 1 year ago
2132 Improved bounds on the zeros of the chromatic polynomial of graphs and claw-free graphs
Ferenc Bencs, Guus Regts
🔮 The Ethereal math.CO 3 1 year ago
2133 Proof Assistants for Teaching: a Survey
Frédéric Tran Minh, Laure Gonnord, Julien Narboux
🔮 The Ethereal cs.LO 3 1 year ago
2134 Tree-independence number VI. Thetas and pyramids
Maria Chudnovsky, Julien Codsi
🔮 The Ethereal math.CO 3 10 months ago
2135 On Geometric Bipartite Graphs with Asymptotically Smallest Zarankiewicz Numbers
Parinya Chalermsook, Ly Orgo, Minoo Zarsav
🔮 The Ethereal math.CO 3 9 months ago
2136 SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents
Javier Albors, Marisa Navarro
🔮 The Ethereal cs.LO 2 11 years ago
2137 The Dead Cryptographers Society Problem
André Luiz Barbosa
🔮 The Ethereal cs.CC 2 11 years ago
2138 Simultaneous Time-Space Upper Bounds for Certain Problems in Planar Graphs
Diptarka Chakraborty, Raghunath Tewari
🔮 The Ethereal cs.CC 2 11 years ago
2139 Model Checking C Programs with Loops via k-Induction and Invariants
Herbert Rocha, Hussama Ismail, ... (+2 more)
🔮 The Ethereal cs.LO 2 11 years ago
2140 Preferential Attachment Processes Approaching The Rado Multigraph
Richard Elwes
🔮 The Ethereal math.CO 2 11 years ago
2141 Binary-Decision-Diagrams for Set Abstraction
Arlen Cox
🔮 The Ethereal cs.LO 2 11 years ago
2142 Proceedings Seventh Workshop on Intersection Types and Related Systems
Jakob Rehof
🔮 The Ethereal cs.LO 2 11 years ago
2143 Refining Existential Properties in Separation Logic Analyses
Matko Botinčan, Mike Dodds, Stephen Magill
🔮 The Ethereal cs.LO 2 11 years ago
2144 DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability
Miguel Neves, Inês Lynce, Vasco Manquinho
🔮 The Ethereal cs.LO 2 11 years ago
2145 Eliminating Recursion from Monadic Datalog Programs on Trees
Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski
🔮 The Ethereal cs.LO 2 11 years ago
2146 Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value
Santiago Hernández-Orozco, Francisco Hernández-Quiroz, ... (+2 more)
🔮 The Ethereal cs.LO 2 11 years ago
2147 Semi-canonical binary matrices
Krasimir Yordzhev
🔮 The Ethereal math.CO 2 11 years ago
2148 Sorting using non-binary comparisons
Richard A. B. Johnson, Gabor Meszaros
🔮 The Ethereal math.CO 2 11 years ago
2149 The LTS WorkBench
Alceste Scalas, Massimo Bartoletti
🔮 The Ethereal cs.LO 2 10 years ago
2150 Dependency-Based Information Flow Analysis with Declassification in a Program Logic
Bart van Delft, Richard Bubel
🔮 The Ethereal cs.LO 2 10 years ago