💀 The Wall of Shame

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

Page 31, showing 50 papers

# Paper Cause of Death Category Citations Published
1501 Counting Zeros in Random Walks on the Integers and Analysis of Optimal Dual-Pivot Quicksort
Martin Aumüller, Martin Dietzfelbinger, ... (+3 more)
🔮 The Ethereal math.CO 5 10 years ago
1502 The ERA of FOLE: Superstructure
Robert E. Kent
🔮 The Ethereal cs.LO 5 10 years ago
1503 Symmetry Breaking Predicates for SAT-based DFA Identification
Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto
🔮 The Ethereal cs.FL 5 10 years ago
1504 All binomial identities are orderable
Dmitry N. Kozlov
🔮 The Ethereal cs.DM 5 10 years ago
1505 Separating Sets of Strings by Finding Matching Patterns is Almost Always Hard
Giuseppe Lancia, Luke Mathieson, Pablo Moscato
🔮 The Ethereal cs.CC 5 10 years ago
1506 A heuristic approach for dividing graphs into bi-connected components with a size constraint
Raka Jovanovic, Tatsushi Nishi, Stefan Voss
🔮 The Ethereal cs.DM 5 10 years ago
1507 Approximation Algorithms for the Maximum Carpool Matching Problem
Gilad Kutiel
🔮 The Ethereal cs.DM 5 10 years ago
1508 The number of labeled graphs of bounded treewidth
Julien Baste, Marc Noy, Ignasi Sau
🔮 The Ethereal math.CO 5 10 years ago
1509 Algebraic Problems Equivalent to Beating Exponent 3/2 for Polynomial Factorization over Finite Fields
Zeyu Guo, Anand Kumar Narayanan, Chris Umans
🔮 The Ethereal cs.CC 5 10 years ago
1510 Multi-Party Protocols, Information Complexity and Privacy
Iordanis Kerenidis, Adi Rosén, Florent Urrutia
🔮 The Ethereal cs.CC 5 10 years ago
1511 Convexity and Order in Probabilistic Call-by-Name FPC
Mathys Rennela
🔮 The Ethereal cs.LO 5 10 years ago
1512 Challenges in Decomposing Encodings of Verification Problems
Peter Schrammel
🔮 The Ethereal cs.LO 5 10 years ago
1513 Tight Network Topology Dependent Bounds on Rounds of Communication
Arkadev Chattopadhyay, Michael Langberg, ... (+2 more)
🔮 The Ethereal cs.CC 5 9 years ago
1514 Steiner Network Problems on Temporal Graphs
Alex Khodaverdian, Benjamin Weitz, ... (+2 more)
🔮 The Ethereal cs.CC 5 9 years ago
1515 Counting Answer Sets via Dynamic Programming
Johannes Fichte, Markus Hecher, ... (+2 more)
🔮 The Ethereal cs.LO 5 9 years ago
1516 Ambiguity and Incomplete Information in Categorical Models of Language
Dan Marsden
🔮 The Ethereal cs.LO 5 9 years ago
1517 Quantitative aspects of linear and affine closed lambda terms
Pierre Lescanne
🔮 The Ethereal cs.DM 5 9 years ago
1518 Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version)
Giles Reger, Martin Suda, Andrei Voronkov
🔮 The Ethereal cs.LO 5 9 years ago
1519 On Singleton Arc Consistency for CSPs Defined by Monotone Patterns
Clement Carbonnel, David A. Cohen, ... (+2 more)
🔮 The Ethereal cs.CC 5 9 years ago
1520 Rerouting flows when links fail
Jannik Matuschke, S. Thomas McCormick, Gianpaolo Oriolo
🔮 The Ethereal cs.DM 5 9 years ago
1521 On the Integrality Gap of the Prize-Collecting Steiner Forest LP
Jochen Könemann, Neil Olver, ... (+4 more)
🔮 The Ethereal cs.DM 5 9 years ago
1522 The Reach-Avoid Problem for Constant-Rate Multi-Mode Systems
Shankara Narayanan Krishna, Aviral Kumar, ... (+3 more)
🔮 The Ethereal cs.LO 5 9 years ago
1523 Inspecting Maude Variants with GLINTS
María Alpuente, Angel Cuenca-Ortega, ... (+2 more)
🔮 The Ethereal cs.LO 5 9 years ago
1524 Rook theory of the finite general linear group
Joel Brewster Lewis, Alejandro H. Morales
🔮 The Ethereal math.CO 5 9 years ago
1525 Hamiltonian Maker-Breaker games on small graphs
Miloš Stojaković, Nikola Trkulja
🔮 The Ethereal math.CO 5 8 years ago
1526 Hard and Easy Instances of L-Tromino Tilings
Javier T. Akagi, Carlos F. Gaona, ... (+3 more)
🔮 The Ethereal cs.CC 5 8 years ago
1527 The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes
Stephane Le Roux, Guillermo A. Perez
🔮 The Ethereal cs.LO 5 8 years ago
1528 On Optimal Trees for Irregular Gather and Scatter Collectives
Jesper Larsson Träff
🔮 The Ethereal cs.CC 5 8 years ago
1529 A Decidable Fragment of Second Order Logic With Applications to Synthesis
P. Madhusudan, Umang Mathur, ... (+2 more)
🔮 The Ethereal cs.LO 5 8 years ago
1530 Theory of higher order interpretations and application to Basic Feasible Functions
Emmanuel Hainry, Romain Péchoux
🔮 The Ethereal cs.LO 5 8 years ago
1531 EMME: a formal tool for ECMAScript Memory Model Evaluation
Cristian Mattarei, Clark Barrett, ... (+4 more)
🔮 The Ethereal cs.LO 5 8 years ago
1532 Online Coloring of Short Intervals
Joanna Chybowska-Sokół, Grzegorz Gutowski, ... (+3 more)
🔮 The Ethereal math.CO 5 8 years ago
1533 A note on two-colorability of nonuniform hypergraphs
Lech Duraj, Grzegorz Gutowski, Jakub Kozik
🔮 The Ethereal math.CO 5 8 years ago
1534 The Graph Exploration Problem with Advice
Hans-Joachim Böckenhauer, Janosch Fuchs, Walter Unger
🔮 The Ethereal cs.CC 5 8 years ago
1535 Computable decision making on the reals and other spaces via partiality and nondeterminism
Benjamin Sherman, Luke Sciarappa, ... (+2 more)
🔮 The Ethereal cs.LO 5 8 years ago
1536 Reduction of the Pareto Set in Bicriteria Asymmetric Traveling Salesman Problem
Aleksey O. Zakharov, Yulia V. Kovalenko
🔮 The Ethereal cs.DM 5 8 years ago
1537 Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+
Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou
🔮 The Ethereal cs.LO 5 8 years ago
1538 Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks
Benjamin Cabrera, Tobias Heindel, ... (+2 more)
🔮 The Ethereal cs.LO 5 8 years ago
1539 Coalgebraic Tools for Randomness-Conserving Protocols
Dexter Kozen, Matvey Soloviev
🔮 The Ethereal cs.LO 5 8 years ago
1540 A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems
Pujie Han, Zhengjun Zhai, ... (+2 more)
🔮 The Ethereal cs.LO 5 8 years ago
1541 Level Planarity: Transitivity vs. Even Crossings
Guido Brückner, Ignaz Rutter, Peter Stumpf
🔮 The Ethereal cs.DM 5 7 years ago
1542 Computational Aspects of Optimal Strategic Network Diffusion
Marcin Waniek, Khaled Elbassioni, ... (+3 more)
🔮 The Ethereal cs.CC 5 7 years ago
1543 Hyperplane Sections of Determinantal Varieties over Finite Fields and Linear Codes
Peter Beelen, Sudhir R. Ghorpade
🔮 The Ethereal math.CO 5 7 years ago
1544 Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper
Ekaterina Komendantskaya Dr, Yue Li
🔮 The Ethereal cs.LO 5 7 years ago
1545 Spanoids - an abstraction of spanning structures, and a barrier for LCCs
Zeev Dvir, Sivakanth Gopi, ... (+2 more)
🔮 The Ethereal cs.CC 5 7 years ago
1546 Convex Functions in ACL2(r)
Carl Kwan, Mark R. Greenstreet
🔮 The Ethereal cs.LO 5 7 years ago
1547 On the complexity of color-avoiding site and bond percolation
Roland Molontay, Kitti Varga
🔮 The Ethereal cs.DM 5 7 years ago
1548 A Network Reliability Approach to the Analysis of Combinatorial Repairable Threshold Schemes
Bailey Kacsmar, Douglas R. Stinson
🔮 The Ethereal math.CO 5 7 years ago
1549 Consistency for 0-1 Programming
Danial Davarnia, J. N. Hooker
🔮 The Ethereal cs.CC 5 7 years ago
1550 Efficiently list-edge coloring multigraphs asymptotically optimally
Fotis Iliopoulos, Alistair Sinclair
🔮 The Ethereal cs.DM 5 7 years ago