💀 The Wall of Shame

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

Page 28, showing 50 papers

# Paper Cause of Death Category Citations Published
1351 Provenance Analysis and Semiring Semantics for First-Order Logic
Erich Grädel, Val Tannen
🔮 The Ethereal cs.LO 7 1 year ago
1352 Bipartite Matching is in Catalytic Logspace
Aryan Agarwala, Ian Mertz
🔮 The Ethereal cs.CC 7 1 year ago
1353 Online Computation of Abelian Runs
Gabriele Fici, Thierry Lecroq, ... (+2 more)
🔮 The Ethereal cs.FL 6 11 years ago
1354 Confluence Detection for Transformations of Labelled Transition Systems
Anton Wijs
🔮 The Ethereal cs.LO 6 11 years ago
1355 On the readability of overlap digraphs
Rayan Chikhi, Paul Medvedev, ... (+2 more)
🔮 The Ethereal cs.DM 6 11 years ago
1356 On the complexity of computing prime tables
Martin Farach-Colton, Meng-Tsung Tsai
🔮 The Ethereal cs.CC 6 11 years ago
1357 Structure Formation in Large Theories
Serge Autexier, Dieter Hutter
🔮 The Ethereal cs.LO 6 11 years ago
1358 General Caching Is Hard: Even with Small Pages
Lukáš Folwarczný, Jiří Sgall
🔮 The Ethereal cs.CC 6 11 years ago
1359 An Efficient Parallel Algorithm for Spectral Sparsification of Laplacian and SDDM Matrix Polynomials
Gorav Jindal, Pavel Kolev
🔮 The Ethereal cs.DM 6 10 years ago
1360 Testing Consumer Rationality using Perfect Graphs and Oriented Discs
Shant Boodaghians, Adrian Vetta
🔮 The Ethereal cs.CC 6 10 years ago
1361 Fishing out Winners from Vote Streams
Arnab Bhattacharyya, Palash Dey
🔮 The Ethereal cs.CC 6 10 years ago
1362 There is exactly one Z2Z4-cyclic 1-perfect code
Joaquim Borges, Cristina Fernández-Córdoba
🔮 The Ethereal math.CO 6 10 years ago
1363 Forkable Regular Expressions
Martin Sulzmann, Peter Thiemann
🔮 The Ethereal cs.FL 6 10 years ago
1364 Multi-Clique-Width
Martin Fürer
🔮 The Ethereal cs.DM 6 10 years ago
1365 Linear Size Constant-Composition Codes Meeting the Johnson Bound
Yeow Meng Chee, Xiande Zhang
🔮 The Ethereal math.CO 6 10 years ago
1366 New Integrality Gap Results for the Firefighters Problem on Trees
Parinya Chalermsook, Daniel Vaz
🔮 The Ethereal cs.DM 6 10 years ago
1367 Fuzzy Maximum Satisfiability
Mohamed El Halaby, Areeg Abdalla
🔮 The Ethereal cs.LO 6 10 years ago
1368 The Salesman's Improved Paths: 3/2+1/34 Integrality Gap and Approximation Ratio
András Sebő, Anke van Zuylen
🔮 The Ethereal cs.DM 6 10 years ago
1369 Minimum distance of Line Orthogonal Grassmann Codes in even characteristic
Ilaria Cardinali, Luca Giuzzi
🔮 The Ethereal math.CO 6 10 years ago
1370 The parameterized complexity of finding secluded solutions to some classical optimization problems on graphs
René van Bevern, Till Fluschnik, ... (+4 more)
🔮 The Ethereal cs.CC 6 10 years ago
1371 Edge-Orders
Lena Schlipf, Jens M. Schmidt
🔮 The Ethereal cs.DM 6 10 years ago
1372 Solving Laplacian Systems in Logarithmic Space
François Le Gall
🔮 The Ethereal cs.CC 6 9 years ago
1373 Sound Probabilistic #SAT with Projection
Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth
🔮 The Ethereal cs.LO 6 9 years ago
1374 Compositional Reasoning for Shared-variable Concurrent Programs
Fuyuan Zhang, Yongwang Zhao, ... (+5 more)
🔮 The Ethereal cs.FL 6 9 years ago
1375 Well-Quasi-Ordering versus Clique-Width: New Results on Bigenic Classes
Konrad K. Dabrowski, Vadim V. Lozin, Daniël Paulusma
🔮 The Ethereal math.CO 6 9 years ago
1376 Symbolic BDD and ADD Algorithms for Energy Games
Shahar Maoz, Or Pistiner, Jan Oliver Ringert
🔮 The Ethereal cs.LO 6 9 years ago
1377 On 1-factorizations of Bipartite Kneser Graphs
Kai Jin
🔮 The Ethereal cs.DM 6 9 years ago
1378 A Unification Algorithm for GP 2 (Long Version)
Ivaylo Hristakiev, Detlef Plump
🔮 The Ethereal cs.LO 6 9 years ago
1379 Concurrent Constraint Conditional-Branching Timed Interactive Scores
Mauricio Toro, Myriam Desainte-Catherine
🔮 The Ethereal cs.LO 6 9 years ago
1380 Power domination in maximal planar graphs
Paul Dorbec, Antonio González, Claire Pennarun
🔮 The Ethereal cs.DM 6 9 years ago
1381 Multiple Context-Free Tree Grammars: Lexicalization and Characterization
Joost Engelfriet, Andreas Maletti, Sebastian Maneth
🔮 The Ethereal cs.FL 6 9 years ago
1382 The Power of Constraint Grammars Revisited
Anssi Yli-Jyrä
🔮 The Ethereal cs.FL 6 9 years ago
1383 The complexity of general-valued CSPs seen from the other side
Clement Carbonnel, Miguel Romero, Stanislav Zivny
🔮 The Ethereal cs.CC 6 8 years ago
1384 Kernelization Lower Bounds for Finding Constant-Size Subgraphs
Till Fluschnik, George B. Mertzios, André Nichterlein
🔮 The Ethereal cs.CC 6 8 years ago
1385 Timed Concurrent State Machines
Wiktor B. Daszczuk
🔮 The Ethereal cs.LO 6 8 years ago
1386 Probabilistic Pursuits on Graphs
Michael Amir, Alfred M. Bruckstein
🔮 The Ethereal cs.DM 6 8 years ago
1387 Quantum versus Classical Online Streaming Algorithms with Logarithmic Size of Memory
Kamil Khadiev, Aliya Khadieva, ... (+4 more)
🔮 The Ethereal cs.CC 6 8 years ago
1388 Formal Feature Interpretation of Hybrid Systems
Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
🔮 The Ethereal cs.LO 6 8 years ago
1389 What's in a game? A theory of game models
Clovis Eberhart, Tom Hirschowitz
🔮 The Ethereal cs.LO 6 8 years ago
1390 A Light Modality for Recursion
Paula Severi
🔮 The Ethereal cs.LO 6 8 years ago
1391 Generalizing the Kawaguchi-Kyan bound to stochastic parallel machine scheduling
Sven Jäger, Martin Skutella
🔮 The Ethereal cs.DM 6 8 years ago
1392 Embedding a $θ$-invariant code into a complete one
Jean Néraud, Carla Selmi
🔮 The Ethereal cs.DM 6 8 years ago
1393 Relational Equivalence Proofs Between Imperative and MapReduce Algorithms
Bernhard Beckert, Timo Bingmann, ... (+4 more)
🔮 The Ethereal cs.LO 6 8 years ago
1394 The $b$-bibranching Problem: TDI System, Packing, and Discrete Convexity
Kenjiro Takazawa
🔮 The Ethereal cs.DM 6 8 years ago
1395 Minimum weight codewords in dual Algebraic-Geometric codes from the Giulietti-Korchmáros curve
Daniele Bartoli, Matteo Bonini
🔮 The Ethereal math.CO 6 8 years ago
1396 Counter Machines and Distributed Automata: A Story about Exchanging Space and Time
Olivier Carton, Bruno Guillon, Fabian Reiter
🔮 The Ethereal cs.FL 6 8 years ago
1397 Average Case Analysis of Leaf-Centric Binary Tree Sources
Louisa Seelbach Benkner, Markus Lohrey, Stephan Wagner
🔮 The Ethereal cs.DM 6 8 years ago
1398 Encoding fairness in a synchronous concurrent program algebra: extended version with proofs
Ian J. Hayes, Larissa A. Meinicke
🔮 The Ethereal cs.LO 6 8 years ago
1399 Automatic Analysis of Expected Termination Time for Population Protocols
Michael Blondin, Javier Esparza, Antonín Kučera
🔮 The Ethereal cs.LO 6 8 years ago
1400 Reoptimization of Parameterized Problems
Hans-Joachim Böckenhauer, Elisabet Burjons, ... (+2 more)
🔮 The Ethereal cs.CC 6 7 years ago