💀 The Wall of Shame

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

Page 10, showing 50 papers

# Paper Cause of Death Category Citations Published
451 Cluster Editing with Vertex Splitting
Faisal N. Abu-Khzam, Emmanuel Arrighi, ... (+8 more)
🔮 The Ethereal cs.CC 23 7 years ago
452 How fast can we reach a target vertex in stochastic temporal graphs?
Eleni C. Akrida, George B. Mertzios, ... (+4 more)
🔮 The Ethereal cs.CC 23 7 years ago
453 Neural network identifiability for a family of sigmoidal nonlinearities
Verner Vlačić, Helmut Bölcskei
🔮 The Ethereal math.CO 23 7 years ago
454 Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
Romain Péchoux, Simon Perdrix, ... (+2 more)
🔮 The Ethereal cs.LO 23 6 years ago
455 Open Diagrams via Coend Calculus
Mario Román
🔮 The Ethereal math.CT 23 6 years ago
456 Towards making formal methods normal: meeting developers where they are
Alastair Reid, Luke Church, ... (+4 more)
🔮 The Ethereal cs.LO 23 5 years ago
457 Graph Tikhonov Regularization and Interpolation via Random Spanning Forests
Yusuf Pilavci, Pierre-Olivier Amblard, ... (+2 more)
🔮 The Ethereal cs.DM 23 5 years ago
458 Optimal-Degree Polynomial Approximations for Exponentials and Gaussian Kernel Density Estimation
Amol Aggarwal, Josh Alman
🔮 The Ethereal cs.CC 23 4 years ago
459 Prophecy Variables for Hyperproperty Verification
Raven Beutner, Bernd Finkbeiner
🔮 The Ethereal cs.LO 23 4 years ago
460 Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)
Upamanyu Sharma, Ralf Jung, ... (+3 more)
🔮 The Ethereal cs.LO 23 2 years ago
461 A natural counting of lambda terms
Maciej Bendkowski, Katarzyna Grygiel, ... (+2 more)
🔮 The Ethereal cs.LO 22 11 years ago
462 Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
🔮 The Ethereal cs.LO 22 11 years ago
463 Symmetries of matrix multiplication algorithms. I
V. P. Burichenko
🔮 The Ethereal cs.CC 22 10 years ago
464 Sparsification Upper and Lower Bounds for Graph Problems and Not-All-Equal SAT
Bart M. P. Jansen, Astrid Pieterse
🔮 The Ethereal cs.CC 22 10 years ago
465 Motivating Time-Inconsistent Agents: A Computational Approach
Susanne Albers, Dennis Kraft
🔮 The Ethereal cs.CC 22 10 years ago
466 Concurrent Data Structures Linked in Time
Germán Andrés Delbianco, Ilya Sergey, ... (+2 more)
🔮 The Ethereal cs.LO 22 10 years ago
467 Biabduction (and Related Problems) in Array Separation Logic
James Brotherston, Nikos Gorogiannis, Max Kanovich
🔮 The Ethereal cs.LO 22 10 years ago
468 Accounting for the Role of Long Walks on Networks via a New Matrix Function
Ernesto Estrada, Grant Silver
🔮 The Ethereal math.CO 22 10 years ago
469 Amplifiers and Suppressors of Selection for the Moran Process on Undirected Graphs
George Giakkoupis
🔮 The Ethereal cs.DM 22 9 years ago
470 Knapsack Problems: A Parameterized Point of View
Carolin Albrecht, Frank Gurski, ... (+2 more)
🔮 The Ethereal cs.CC 22 9 years ago
471 Conflict-Free Coloring of Planar Graphs
Zachary Abel, Victor Alvarez, ... (+6 more)
🔮 The Ethereal cs.DM 22 9 years ago
472 Dynamic Conjunctive Queries
Thomas Zeume, Thomas Schwentick
🔮 The Ethereal cs.LO 22 9 years ago
473 Uniform generation of random graphs with power-law degree sequences
Pu Gao, Nicholas Wormald
🔮 The Ethereal math.CO 22 8 years ago
474 Polynomial Cases for the Vertex Coloring Problem
T. Karthick, Frédéric Maffray, Lucas Pastor
🔮 The Ethereal math.CO 22 8 years ago
475 Facets of Software Doping
Gilles Barthe, Pedro R. D'Argenio, ... (+2 more)
🔮 The Ethereal cs.LO 22 8 years ago
476 A complexity dichotomy for Matching Cut in (bipartite) graphs of fixed diameter
Hoang-Oanh Le, Van Bang Le
🔮 The Ethereal cs.CC 22 8 years ago
477 What is algebraic about algebraic effects and handlers?
Andrej Bauer
🔮 The Ethereal cs.LO 22 8 years ago
478 New lower bound on the Shannon capacity of C7 from circular graphs
Sven Polak, Alexander Schrijver
🔮 The Ethereal math.CO 22 7 years ago
479 Forman's Ricci curvature - From networks to hypernetworks
Emil Saucan, Melanie Weber
🔮 The Ethereal cs.DM 22 7 years ago
480 The hat guessing number of graphs
Noga Alon, Omri Ben-Eliezer, ... (+2 more)
🔮 The Ethereal math.CO 22 7 years ago
481 Junta correlation is testable
Anindya De, Elchanan Mossel, Joe Neeman
🔮 The Ethereal cs.CC 22 7 years ago
482 Verified Optimization in a Quantum Intermediate Representation
Kesha Hietala, Robert Rand, ... (+3 more)
🔮 The Ethereal cs.LO 22 7 years ago
483 Quaternary Hermitian linear complementary dual codes
Makoto Araya, Masaaki Harada, Ken Saito
🔮 The Ethereal math.CO 22 7 years ago
484 Average-based Robustness for Continuous-Time Signal Temporal Logic
Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
🔮 The Ethereal cs.FL 22 6 years ago
485 A Calculus for Modular Loop Acceleration
Florian Frohn
🔮 The Ethereal cs.LO 22 6 years ago
486 Common Complements of Linear Subspaces and the Sparseness of MRD Codes
Anina Gruica, Alberto Ravagnani
🔮 The Ethereal math.CO 22 5 years ago
487 Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers
Danilo Pianini, Roberto Casadei, ... (+3 more)
🔮 The Ethereal cs.LO 22 5 years ago
488 The Existential Theory of the Reals as a Complexity Class: A Compendium
Marcus Schaefer, Jean Cardinal, Tillmann Miltzow
🔮 The Ethereal cs.CC 22 1 year ago
489 Parameterized Algorithms for Deletion to (r,l)-graphs
Sudeshna Kolay, Fahad Panolan
🔮 The Ethereal cs.CC 21 11 years ago
490 LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners
Max Wisniewski, Alexander Steen, Christoph Benzmüller
🔮 The Ethereal cs.LO 21 11 years ago
491 Using Program Synthesis for Program Analysis
Cristina David, Daniel Kroening, Matt Lewis
🔮 The Ethereal cs.LO 21 10 years ago
492 The Complexity of Pattern Matching for $321$-Avoiding and Skew-Merged Permutations
Michael H. Albert, Marie-Louise Lackner, ... (+2 more)
🔮 The Ethereal math.CO 21 10 years ago
493 Future-based Static Analysis of Message Passing Programs
Wytse Oortwijn, Stefan Blom, Marieke Huisman
🔮 The Ethereal cs.LO 21 10 years ago
494 An Abstract Semantics of the Global View of Choreographies
Roberto Guanciale, Emilio Tuosto
🔮 The Ethereal cs.LO 21 9 years ago
495 Homomorphism bounds and edge-colourings of $K_4$-minor-free graphs
Laurent Beaudou, Florent Foucaud, Reza Naserasr
🔮 The Ethereal math.CO 21 9 years ago
496 Certifying coloring algorithms for graphs without long induced paths
Marcin Kamiński, Anna Pstrucha
🔮 The Ethereal math.CO 21 9 years ago
497 The Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard Regime
Jess Banks, Robert Kleinberg, Cristopher Moore
🔮 The Ethereal cs.CC 21 9 years ago
498 Hardness Results for Structured Linear Systems
Rasmus Kyng, Peng Zhang
🔮 The Ethereal cs.CC 21 9 years ago
499 Some restrictions on weight enumerators of singly even self-dual codes II
Masaaki Harada, Akihiro Munemasa
🔮 The Ethereal math.CO 21 9 years ago
500 The Refinement Calculus of Reactive Systems Toolset
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
🔮 The Ethereal cs.LO 21 8 years ago