💀 The Wall of Shame

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

Page 8, showing 50 papers

# Paper Cause of Death Category Citations Published
351 Understanding and Extending Incremental Determinization for 2QBF
Markus N. Rabe, Leander Tentrup, ... (+2 more)
🔮 The Ethereal cs.LO 28 7 years ago
352 Verifying Tight Logic Programs with anthem and Vampire
Jorge Fandinno, Vladimir Lifschitz, ... (+2 more)
🔮 The Ethereal cs.LO 28 5 years ago
353 New Techniques for Proving Fine-Grained Average-Case Hardness
Mina Dalirrooyfard, Andrea Lincoln, Virginia Vassilevska Williams
🔮 The Ethereal cs.CC 28 5 years ago
354 On Approximability of Clustering Problems Without Candidate Centers
Vincent Cohen-Addad, Karthik C. S., Euiwoong Lee
🔮 The Ethereal cs.CC 28 5 years ago
355 The Strongish Planted Clique Hypothesis and Its Consequences
Pasin Manurangsi, Aviad Rubinstein, Tselil Schramm
🔮 The Ethereal cs.CC 28 5 years ago
356 The Computational Limits of State-Space Models and Mamba via the Lens of Circuit Complexity
Yifang Chen, Xiaoyu Li, ... (+3 more)
🔮 The Ethereal cs.CC 28 1 year ago
357 Learning Regular Languages over Large Ordered Alphabets
Irini-Eleftheria Mens, Oded Maler
🔮 The Ethereal cs.LO 27 11 years ago
358 Polyhedral aspects of Submodularity, Convexity and Concavity
Rishabh Iyer, Jeff Bilmes
🔮 The Ethereal cs.DM 27 11 years ago
359 Type-based Self-stabilisation for Computational Fields
Ferruccio Damiani, Mirko Viroli
🔮 The Ethereal cs.LO 27 10 years ago
360 NTCCRT: A concurrent constraint framework for real-time interaction (extended version)
Mauricio Toro, Camilo Rueda, ... (+2 more)
🔮 The Ethereal cs.LO 27 10 years ago
361 Constructive noncommutative rank computation is in deterministic polynomial time
Gábor Ivanyos, Youming Qiao, K. V. Subrahmanyam
🔮 The Ethereal cs.CC 27 10 years ago
362 Modularity of regular and treelike graphs
Colin McDiarmid, Fiona Skerman
🔮 The Ethereal math.CO 27 10 years ago
363 Improved Hardness for Cut, Interdiction, and Firefighter Problems
Euiwoong Lee
🔮 The Ethereal cs.CC 27 10 years ago
364 lpopt: A Rule Optimization Tool for Answer Set Programming
Manuel Bichler, Michael Morak, Stefan Woltran
🔮 The Ethereal cs.LO 27 9 years ago
365 Faster Greedy MAP Inference for Determinantal Point Processes
Insu Han, Prabhanjan Kambadur, ... (+2 more)
🔮 The Ethereal cs.DM 27 9 years ago
366 Limits on representing Boolean functions by linear combinations of simple functions: thresholds, ReLUs, and low-degree polynomials
R. Ryan Williams
🔮 The Ethereal cs.CC 27 8 years ago
367 Sampling in Uniqueness from the Potts and Random-Cluster Models on Random Regular Graphs
Antonio Blanca, Andreas Galanis, ... (+4 more)
🔮 The Ethereal cs.DM 27 8 years ago
368 Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
🔮 The Ethereal cs.LO 27 8 years ago
369 Modularity of Erdős-Rényi random graphs
Colin McDiarmid, Fiona Skerman
🔮 The Ethereal math.CO 27 7 years ago
370 Hard to Solve Instances of the Euclidean Traveling Salesman Problem
Stefan Hougardy, Xianghui Zhong
🔮 The Ethereal cs.DM 27 7 years ago
371 Sparse Hypergraphs with Applications to Coding Theory
Chong Shangguan, Itzhak Tamo
🔮 The Ethereal math.CO 27 7 years ago
372 Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Meng Wu, Jingbo Wang, ... (+2 more)
🔮 The Ethereal cs.LO 27 6 years ago
373 UTxO- vs account-based smart contract blockchain programming paradigms
Lars Brunjes, Murdoch J. Gabbay
🔮 The Ethereal cs.LO 27 6 years ago
374 Learning sums of powers of low-degree polynomials in the non-degenerate case
Ankit Garg, Neeraj Kayal, Chandan Saha
🔮 The Ethereal cs.CC 27 6 years ago
375 Efficiently Testing Simon's Congruence
Pawel Gawrychowski, Maria Kosche, ... (+3 more)
🔮 The Ethereal cs.FL 27 6 years ago
376 Better $s$-$t$-Tours by Gao Trees
Corinna Gottschalk, Jens Vygen
🔮 The Ethereal cs.DM 26 10 years ago
377 Constructions and Bounds for Mixed-Dimension Subspace Codes
Thomas Honold, Michael Kiermaier, Sascha Kurz
🔮 The Ethereal math.CO 26 10 years ago
378 Internal Guidance for Satallax
Michael Färber, Chad Brown
🔮 The Ethereal cs.LO 26 10 years ago
379 Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Gerhard Brewka, Stefan Ellmauthaler, ... (+4 more)
🔮 The Ethereal cs.LO 26 9 years ago
380 BliStrTune: Hierarchical Invention of Theorem Proving Strategies
Jan Jakubuv, Josef Urban
🔮 The Ethereal cs.LO 26 9 years ago
381 Runtime enforcement of reactive systems using synchronous enforcers
Srinivas Pinisetty, Partha S Roop, ... (+3 more)
🔮 The Ethereal cs.FL 26 9 years ago
382 An efficient algorithm for finding all possible input nodes for controlling complex networks
Xizhe Zhang, Jianfei Han, Weixiong Zhang
🔮 The Ethereal cs.DM 26 9 years ago
383 A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations
Benjamin Lucien Kaminski, Joost-Pieter Katoen
🔮 The Ethereal cs.LO 26 9 years ago
384 A $o(d) \cdot \text{polylog}~n$ Monotonicity Tester for Boolean Functions over the Hypergrid $[n]^d$
Hadley Black, Deeparnab Chakrabarty, C. Seshadhri
🔮 The Ethereal cs.DM 26 8 years ago
385 Generalizing inference systems by coaxioms
Francesco Dagnino
🔮 The Ethereal cs.LO 26 8 years ago
386 Streaming Hardness of Unique Games
Venkatesan Guruswami, Runzhou Tao
🔮 The Ethereal cs.CC 26 7 years ago
387 Automata Learning: An Algebraic Approach
Henning Urbat, Lutz Schröder
🔮 The Ethereal cs.FL 26 6 years ago
388 Learning Concise Models from Long Execution Traces
Natasha Yogananda Jeppu, Tom Melham, ... (+2 more)
🔮 The Ethereal cs.FL 26 6 years ago
389 A simple and sharper proof of the hypergraph Moore bound
Jun-Ting Hsieh, Pravesh K. Kothari, Sidhanth Mohanty
🔮 The Ethereal math.CO 26 3 years ago
390 An efficient tree decomposition method for permanents and mixed discriminants
Diego Cifuentes, Pablo A. Parrilo
🔮 The Ethereal cs.DM 25 11 years ago
391 Lower bounds for the parameterized complexity of Minimum Fill-in and other completion problems
Ivan Bliznets, Marek Cygan, ... (+3 more)
🔮 The Ethereal cs.CC 25 10 years ago
392 Undecidability of the Lambek calculus with a relevant modality
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
🔮 The Ethereal math.LO 25 10 years ago
393 Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)
Anthony W. Lin, Philipp Ruemmer
🔮 The Ethereal cs.LO 25 10 years ago
394 Optimizing tree decompositions in MSO
Mikołaj Bojańczyk, Michał Pilipczuk
🔮 The Ethereal cs.LO 25 9 years ago
395 Simply Exponential Approximation of the Permanent of Positive Semidefinite Matrices
Nima Anari, Leonid Gurvits, ... (+2 more)
🔮 The Ethereal math.CO 25 9 years ago
396 Denotational semantics of recursive types in synthetic guarded domain theory
Rasmus E. Møgelberg, Marco Paviotti
🔮 The Ethereal cs.LO 25 8 years ago
397 Affine Sessions
Dimitris Mostrous, Vasco T. Vasconcelos
🔮 The Ethereal cs.LO 25 7 years ago
398 The Arboricity Captures the Complexity of Sampling Edges
Talya Eden, Dana Ron, Will Rosenbaum
🔮 The Ethereal cs.CC 25 7 years ago
399 Improved bounds for the excluded-minor approximation of treedepth
Wojciech Czerwiński, Wojciech Nadara, Marcin Pilipczuk
🔮 The Ethereal cs.DM 25 7 years ago
400 Kendall Tau Sequence Distance: Extending Kendall Tau from Ranks to Sequences
Vincent A. Cicirello
🔮 The Ethereal cs.DM 25 7 years ago