💀 The Wall of Shame

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

Page 26, showing 50 papers

# Paper Cause of Death Category Citations Published
1251 Rounds in a combinatorial search problem
Dániel Gerbner, Máté Vizer
🔮 The Ethereal math.CO 7 9 years ago
1252 The Half-integral Erdös-Pósa Property for Non-null Cycles
Daniel Lokshtanov, M. S. Ramanujan, Saket Saurabh
🔮 The Ethereal cs.DM 7 9 years ago
1253 Process algebra with strategic interleaving
J. A. Bergstra, C. A. Middelburg
🔮 The Ethereal cs.LO 7 9 years ago
1254 Scavenger 0.1: A Theorem Prover Based on Conflict Resolution
Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo
🔮 The Ethereal cs.LO 7 9 years ago
1255 A polynomial time algorithm for the Lambek calculus with brackets of bounded order
Max Kanovich, Stepan Kuznetsov, ... (+2 more)
🔮 The Ethereal cs.LO 7 9 years ago
1256 Emptiness Problems for Distributed Automata
Antti Kuusisto, Fabian Reiter
🔮 The Ethereal cs.FL 7 9 years ago
1257 A fast algorithm for the gas station problem
Kleitos Papadopoulos, Demetres Christofides
🔮 The Ethereal math.CO 7 9 years ago
1258 Some intriguing upper bounds for separating hash families
Gennian Ge, Chong Shangguan, Xin Wang
🔮 The Ethereal math.CO 7 9 years ago
1259 A characterization of testable hypergraph properties
Felix Joos, Jaehoon Kim, ... (+2 more)
🔮 The Ethereal math.CO 7 9 years ago
1260 Control-Flow Residual Analysis for Symbolic Automata
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
🔮 The Ethereal cs.LO 7 8 years ago
1261 A note on the complexity of Feedback Vertex Set parameterized by mim-width
Lars Jaffke, O-joung Kwon, Jan Arne Telle
🔮 The Ethereal cs.CC 7 8 years ago
1262 The cover time of a biased random walk on a random cubic graph
Colin Cooper, Alan Frieze, Tony Johansson
🔮 The Ethereal math.CO 7 8 years ago
1263 The $b$-branching problem in digraphs
Naonori Kakimura, Naoyuki Kamiyama, Kenjiro Takazawa
🔮 The Ethereal cs.DM 7 8 years ago
1264 Attributed Hierarchical Port Graphs and Applications
Nneka Chinelo Ene, Maribel Fernández, Bruno Pinaud
🔮 The Ethereal cs.LO 7 8 years ago
1265 Parameterized verification of synchronization in constrained reconfigurable broadcast networks
A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
🔮 The Ethereal cs.LO 7 8 years ago
1266 Characterizing and decomposing classes of threshold, split, and bipartite graphs via 1-Sperner hypergraphs
Endre Boros, Vladimir Gurvich, Martin Milanič
🔮 The Ethereal math.CO 7 8 years ago
1267 On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
Ronald de Haan, Iris van de Pol
🔮 The Ethereal cs.CC 7 8 years ago
1268 Bounds and algorithms for graph trusses
Paul Burkhardt, Vance Faber, David G. Harris
🔮 The Ethereal math.CO 7 8 years ago
1269 Realisability of Pomsets via Communicating Automata
Roberto Guanciale Dr, Emilio Tuosto Dr
🔮 The Ethereal cs.LO 7 7 years ago
1270 Enumerating models of DNF faster: breaking the dependency on the formula size
Florent Capelli, Yann Strozecki
🔮 The Ethereal cs.CC 7 7 years ago
1271 Intersections between the norm-trace curve and some low degree curves
Matteo Bonini, Massimiliano Sala
🔮 The Ethereal math.CO 7 7 years ago
1272 On the Complexity of Exact Pattern Matching in Graphs: Binary Strings and Bounded Degree
Massimo Equi, Roberto Grossi, Veli Mäkinen
🔮 The Ethereal cs.CC 7 7 years ago
1273 Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
Marlo Souza, Álvaro Moreira, Renata Vieira
🔮 The Ethereal cs.LO 7 7 years ago
1274 Linearly-growing Reductions of Karp's 21 NP-complete Problems
Jerzy A Filar, Michael Haythorpe, Richard Taylor
🔮 The Ethereal math.CO 7 7 years ago
1275 Equivalence classes of Niho bent functions
K. Abdukhalikov
🔮 The Ethereal math.CO 7 7 years ago
1276 From DB-nets to Coloured Petri Nets with Priorities (Extended Version)
Marco Montali, Andrey Rivkin
🔮 The Ethereal cs.LO 7 7 years ago
1277 On the Lambek Calculus with an Exchange Modality
Jiaming Jiang, Harley Eades, Valeria de Paiva
🔮 The Ethereal cs.LO 7 7 years ago
1278 Cut-free Calculi and Relational Semantics for Temporal STIT Logics
Kees van Berkel, Tim Lyon
🔮 The Ethereal cs.LO 7 7 years ago
1279 Symmetry Properties of Nested Canalyzing Functions
Daniel J. Rosenkrantz, Madhav V. Marathe, ... (+2 more)
🔮 The Ethereal cs.DM 7 7 years ago
1280 A Complete Language for Faceted Dataflow Programs
Antonin Delpeuch
🔮 The Ethereal cs.LO 7 7 years ago
1281 Efficient Circuit Simulation in MapReduce
Fabian Frei, Koichi Wada
🔮 The Ethereal cs.CC 7 7 years ago
1282 Subspaces intersecting in at most a point
Sascha Kurz
🔮 The Ethereal math.CO 7 7 years ago
1283 Linear programming bounds for cliques in Paley graphs
Mark Magsino, Dustin G. Mixon, Hans Parshall
🔮 The Ethereal math.CO 7 7 years ago
1284 Tangles in the social sciences
Reinhard Diestel
🔮 The Ethereal math.CO 7 7 years ago
1285 Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
Jorge Fandinno
🔮 The Ethereal cs.LO 7 7 years ago
1286 Towards Logical Specification of Statistical Machine Learning
Yusuke Kawamoto
🔮 The Ethereal cs.LO 7 7 years ago
1287 Vector spaces as Kripke frames
Giuseppe Greco, Fei Liang, ... (+3 more)
🔮 The Ethereal cs.LO 7 6 years ago
1288 Learning definable hypotheses on trees
Emilie Grienenberger, Martin Ritzert
🔮 The Ethereal cs.LO 7 6 years ago
1289 Formalizing the Dependency Pair Criterion for Innermost Termination
Ariane Alves Almeida, Mauricio Ayala-Rincon
🔮 The Ethereal cs.LO 7 6 years ago
1290 Optimal adaptive group testing
Max Hahn-Klimroth, Philipp Loick
🔮 The Ethereal cs.DM 7 6 years ago
1291 Constructions of Pairs of Orthogonal Latin Cubes
Vladimir N. Potapov
🔮 The Ethereal math.CO 7 6 years ago
1292 Infinite families of $2$-designs from a class of non-binary Kasami cyclic codes
Rong Wang, Xiaoni Du, Cuiling Fan
🔮 The Ethereal math.CO 7 6 years ago
1293 (Newtonian) Space-Time Algebra
James E. Smith
🔮 The Ethereal cs.LO 7 6 years ago
1294 Time-Space Tradeoffs for Distinguishing Distributions and Applications to Security of Goldreich's PRG
Sumegha Garg, Pravesh K. Kothari, Ran Raz
🔮 The Ethereal cs.CC 7 6 years ago
1295 On the inverses of Kasami and Bracken-Leander exponents
Lukas Kölsch
🔮 The Ethereal math.CO 7 6 years ago
1296 A note on the Assmus--Mattson theorem for some binary codes
Tsuyoshi Miezaki, Hiroyuki Nakasora
🔮 The Ethereal math.CO 7 6 years ago
1297 On Tilings of Asymmetric Limited-Magnitude Balls
Hengjia Wei, Moshe Schwartz
🔮 The Ethereal math.CO 7 6 years ago
1298 A New Integer Programming Formulation of the Graphical Traveling Salesman Problem
Robert D. Carr, Neil Simonetti
🔮 The Ethereal cs.DM 7 6 years ago
1299 Almost Affinely Disjoint Subspaces
Hedongliang Liu, Nikita Polyanskii, ... (+2 more)
🔮 The Ethereal math.CO 7 6 years ago
1300 Partially Observable Concurrent Kleene Algebra
Jana Wagemaker, Paul Brunet, ... (+4 more)
🔮 The Ethereal cs.LO 7 6 years ago