💀 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 Modularity of Erdős-Rényi random graphs
Colin McDiarmid, Fiona Skerman
🔮 The Ethereal math.CO 27 7 years ago
352 Hard to Solve Instances of the Euclidean Traveling Salesman Problem
Stefan Hougardy, Xianghui Zhong
🔮 The Ethereal cs.DM 27 7 years ago
353 Sparse Hypergraphs with Applications to Coding Theory
Chong Shangguan, Itzhak Tamo
🔮 The Ethereal math.CO 27 7 years ago
354 Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
Meng Wu, Jingbo Wang, ... (+2 more)
🔮 The Ethereal cs.LO 27 6 years ago
355 UTxO- vs account-based smart contract blockchain programming paradigms
Lars Brunjes, Murdoch J. Gabbay
🔮 The Ethereal cs.LO 27 6 years ago
356 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
357 Efficiently Testing Simon's Congruence
Pawel Gawrychowski, Maria Kosche, ... (+3 more)
🔮 The Ethereal cs.FL 27 5 years ago
358 Better $s$-$t$-Tours by Gao Trees
Corinna Gottschalk, Jens Vygen
🔮 The Ethereal cs.DM 26 10 years ago
359 Constructions and Bounds for Mixed-Dimension Subspace Codes
Thomas Honold, Michael Kiermaier, Sascha Kurz
🔮 The Ethereal math.CO 26 10 years ago
360 Internal Guidance for Satallax
Michael Färber, Chad Brown
🔮 The Ethereal cs.LO 26 9 years ago
361 Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Gerhard Brewka, Stefan Ellmauthaler, ... (+4 more)
🔮 The Ethereal cs.LO 26 9 years ago
362 BliStrTune: Hierarchical Invention of Theorem Proving Strategies
Jan Jakubuv, Josef Urban
🔮 The Ethereal cs.LO 26 9 years ago
363 Runtime enforcement of reactive systems using synchronous enforcers
Srinivas Pinisetty, Partha S Roop, ... (+3 more)
🔮 The Ethereal cs.FL 26 9 years ago
364 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
365 A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations
Benjamin Lucien Kaminski, Joost-Pieter Katoen
🔮 The Ethereal cs.LO 26 9 years ago
366 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
367 Generalizing inference systems by coaxioms
Francesco Dagnino
🔮 The Ethereal cs.LO 26 8 years ago
368 Streaming Hardness of Unique Games
Venkatesan Guruswami, Runzhou Tao
🔮 The Ethereal cs.CC 26 7 years ago
369 Automata Learning: An Algebraic Approach
Henning Urbat, Lutz Schröder
🔮 The Ethereal cs.FL 26 6 years ago
370 Learning Concise Models from Long Execution Traces
Natasha Yogananda Jeppu, Tom Melham, ... (+2 more)
🔮 The Ethereal cs.FL 26 6 years ago
371 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
372 An efficient tree decomposition method for permanents and mixed discriminants
Diego Cifuentes, Pablo A. Parrilo
🔮 The Ethereal cs.DM 25 10 years ago
373 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
374 Undecidability of the Lambek calculus with a relevant modality
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
🔮 The Ethereal math.LO 25 10 years ago
375 Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)
Anthony W. Lin, Philipp Ruemmer
🔮 The Ethereal cs.LO 25 9 years ago
376 Optimizing tree decompositions in MSO
Mikołaj Bojańczyk, Michał Pilipczuk
🔮 The Ethereal cs.LO 25 9 years ago
377 Simply Exponential Approximation of the Permanent of Positive Semidefinite Matrices
Nima Anari, Leonid Gurvits, ... (+2 more)
🔮 The Ethereal math.CO 25 9 years ago
378 Denotational semantics of recursive types in synthetic guarded domain theory
Rasmus E. Møgelberg, Marco Paviotti
🔮 The Ethereal cs.LO 25 7 years ago
379 Affine Sessions
Dimitris Mostrous, Vasco T. Vasconcelos
🔮 The Ethereal cs.LO 25 7 years ago
380 The Arboricity Captures the Complexity of Sampling Edges
Talya Eden, Dana Ron, Will Rosenbaum
🔮 The Ethereal cs.CC 25 7 years ago
381 Improved bounds for the excluded-minor approximation of treedepth
Wojciech Czerwiński, Wojciech Nadara, Marcin Pilipczuk
🔮 The Ethereal cs.DM 25 6 years ago
382 Kendall Tau Sequence Distance: Extending Kendall Tau from Ranks to Sequences
Vincent A. Cicirello
🔮 The Ethereal cs.DM 25 6 years ago
383 Circular Proofs as Session-Typed Processes: A Local Validity Condition
Farzaneh Derakhshan, Frank Pfenning
🔮 The Ethereal cs.LO 25 6 years ago
384 Lower Bounds for QBFs of Bounded Treewidth
Johannes Klaus Fichte, Markus Hecher, Andreas Pfandler
🔮 The Ethereal cs.CC 25 6 years ago
385 Smart Contract Interactions in Coq
Jakob Botsch Nielsen, Bas Spitters
🔮 The Ethereal cs.LO 25 6 years ago
386 On the computational power and complexity of Spiking Neural Networks
Johan Kwisthout, Nils Donselaar
🔮 The Ethereal cs.CC 25 6 years ago
387 Flip-sort and combinatorial aspects of pop-stack sorting
Andrei Asinowski, Cyril Banderier, Benjamin Hackl
🔮 The Ethereal math.CO 25 6 years ago
388 DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
🔮 The Ethereal cs.LO 25 5 years ago
389 Quickly excluding a non-planar graph
Ken-ichi Kawarabayashi, Robin Thomas, Paul Wollan
🔮 The Ethereal math.CO 25 5 years ago
390 Flipper games for monadically stable graph classes
Jakub Gajarský, Nikolas Mählmann, ... (+7 more)
🔮 The Ethereal cs.LO 25 3 years ago
391 New Bounds on Optimal Sorting Networks
Thorsten Ehlers, Mike Müller
🔮 The Ethereal cs.DM 24 11 years ago
392 Comparing Deadlock-Free Session Typed Processes
Ornela Dardha, Jorge A. Pérez
🔮 The Ethereal cs.LO 24 10 years ago
393 Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
Ilya Sergey, Aleksandar Nanevski, ... (+2 more)
🔮 The Ethereal cs.LO 24 10 years ago
394 Modeling and Verification of the Bitcoin Protocol
Kaylash Chaudhary, Ansgar Fehnker, ... (+2 more)
🔮 The Ethereal cs.LO 24 10 years ago
395 A Load-Buffer Semantics for Total Store Ordering
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+2 more)
🔮 The Ethereal cs.FL 24 9 years ago
396 AG codes and AG quantum codes from the GGS curve
Daniele Bartoli, Maria Montanucci, Giovanni Zini
🔮 The Ethereal math.CO 24 9 years ago
397 Inverse Lyndon words and Inverse Lyndon factorizations of words
Paola Bonizzoni, Clelia De Felice, ... (+2 more)
🔮 The Ethereal cs.FL 24 8 years ago
398 Approaching $\frac{3}{2}$ for the $s$-$t$-path TSP
Vera Traub, Jens Vygen
🔮 The Ethereal cs.DM 24 8 years ago
399 Polynomial tuning of multiparametric combinatorial samplers
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
🔮 The Ethereal math.CO 24 8 years ago
400 Complexity of Scheduling Charging in the Smart Grid
Mathijs de Weerdt, Michael Albert, Vincent Conitzer
🔮 The Ethereal cs.CC 24 8 years ago