💀 The Wall of Shame

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

Page 29, showing 50 papers

# Paper Cause of Death Category Citations Published
1401 Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)
Carl Kwan, Mark R. Greenstreet
🔮 The Ethereal cs.LO 6 7 years ago
1402 Description of sup- and inf-preserving aggregation functions via families of clusters in data tables
Radomír Halaš, Radko Mesiar, Jozef Pócs
🔮 The Ethereal cs.LO 6 7 years ago
1403 Efficient constructions of convex combinations for 2-edge-connected subgraphs on fundamental classes
Arash Haddadan, Alantha Newman
🔮 The Ethereal cs.DM 6 7 years ago
1404 On multifold packings of radius-1 balls in Hamming graphs
Denis S. Krotov, Vladimir N. Potapov
🔮 The Ethereal cs.DM 6 7 years ago
1405 New Results on Directed Edge Dominating Set
Rémy Belmonte, Tesshu Hanaka, ... (+3 more)
🔮 The Ethereal cs.CC 6 7 years ago
1406 Planar Polynomials arising from Linearized polynomials
Daniele Bartoli, Matteo Bonini
🔮 The Ethereal math.CO 6 7 years ago
1407 A Model Counter's Guide to Probabilistic Systems
Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia
🔮 The Ethereal cs.LO 6 7 years ago
1408 Samplers and Extractors for Unbounded Functions
Rohit Agrawal
🔮 The Ethereal cs.CC 6 7 years ago
1409 Subspace code constructions
Antonio Cossidente, Giuseppe Marino, Francesco Pavese
🔮 The Ethereal math.CO 6 7 years ago
1410 Approximating the Orthogonality Dimension of Graphs and Hypergraphs
Ishay Haviv
🔮 The Ethereal cs.CC 6 7 years ago
1411 The Complexity of Helly-$B_{1}$ EPG Graph Recognition
Claudson F. Bornstein, Martin Charles Golumbic, ... (+3 more)
🔮 The Ethereal cs.DM 6 7 years ago
1412 Parametric Verification: An Introduction
Étienne André, Michał Knapik, ... (+3 more)
🔮 The Ethereal cs.LO 6 7 years ago
1413 Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
Michele Boreale, Daniele Gorla
🔮 The Ethereal cs.LO 6 7 years ago
1414 Makespan Minimization with OR-Precedence Constraints
Felix Happach
🔮 The Ethereal cs.DM 6 7 years ago
1415 Revisiting Explicit Negation in Answer Set Programming
Felicidad Aguado, Pedro Cabalar, ... (+4 more)
🔮 The Ethereal cs.LO 6 6 years ago
1416 Strengthening Gossip Protocols using Protocol-Dependent Knowledge
Hans van Ditmarsch, Malvin Gattinger, ... (+2 more)
🔮 The Ethereal cs.LO 6 6 years ago
1417 Local Graph Stability in Exponential Family Random Graph Models
Yue Yu, Gianmarc Grazioli, ... (+2 more)
🔮 The Ethereal cs.DM 6 6 years ago
1418 Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees
K. Tuncay Tekle, Yanhong A. Liu
🔮 The Ethereal cs.LO 6 6 years ago
1419 A new family of maximum scattered linear sets in $\mathrm{PG}(1,q^6)$
Daniele Bartoli, Corrado Zanella, Ferdinando Zullo
🔮 The Ethereal math.CO 6 6 years ago
1420 Improved (In-)Approximability Bounds for d-Scattered Set
Ioannis Katsikarelis, Michael Lampis, Vangelis Th. Paschos
🔮 The Ethereal cs.CC 6 6 years ago
1421 Constructing Minimal Perfect Hash Functions Using SAT Technology
Sean Weaver, Marijn Heule
🔮 The Ethereal cs.LO 6 6 years ago
1422 Dynamic Toolbox for ETRINV
Mikkel Abrahamsen, Tillmann Miltzow
🔮 The Ethereal cs.CC 6 6 years ago
1423 Conjunctive Regular Path Queries with String Variables
Markus L. Schmid
🔮 The Ethereal cs.FL 6 6 years ago
1424 Multi-transversals for Triangles and the Tuza's Conjecture
Parinya Chalermsook, Samir Khuller, ... (+2 more)
🔮 The Ethereal cs.DM 6 6 years ago
1425 Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
Sen Zheng, Renate A. Schmidt
🔮 The Ethereal cs.LO 6 6 years ago
1426 Generalized Fitch Graphs III: Symmetrized Fitch maps and Sets of Symmetric Binary Relations that are explained by Unrooted Edge-labeled Trees
Marc Hellmuth, Carsten R. Seemann, Peter F. Stadler
🔮 The Ethereal cs.DM 6 6 years ago
1427 Counting directed acyclic and elementary digraphs
Élie de Panafieu, Sergey Dovgal
🔮 The Ethereal math.CO 6 6 years ago
1428 A lower bound on the number of inequivalent APN functions
Christian Kaspers, Yue Zhou
🔮 The Ethereal math.CO 6 6 years ago
1429 Cover Combinatorial Filters and their Minimization Problem (Extended Version)
Yulin Zhang, Dylan A. Shell
🔮 The Ethereal cs.DM 6 6 years ago
1430 On the intersection distribution of degree three polynomials and related topics
Gohar Kyureghyan, Shuxing Li, Alexander Pott
🔮 The Ethereal math.CO 6 6 years ago
1431 Nearest neighbor representations of Boolean functions
Péter Hajnal, Zhihao Liu, György Turán
🔮 The Ethereal math.CO 6 6 years ago
1432 The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability
Thomas Bläsius, Tobias Friedrich, ... (+3 more)
🔮 The Ethereal cs.CC 6 6 years ago
1433 Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
Michael Blondin, Javier Esparza, ... (+3 more)
🔮 The Ethereal cs.LO 6 6 years ago
1434 List homomorphism problems for signed trees
Jan Bok, Richard Brewster, ... (+3 more)
🔮 The Ethereal math.CO 6 6 years ago
1435 On the Power of Unambiguity in Büchi Complementation
Yong Li, Moshe Y. Vardi, Lijun Zhang
🔮 The Ethereal cs.FL 6 6 years ago
1436 Planarity can be Verified by an Approximate Proof Labeling Scheme in Constant-Time
Gábor Elek
🔮 The Ethereal math.CO 6 6 years ago
1437 Formally Verified Trades in Financial Markets
Suneel Sarswat, Abhishek Kr Singh
🔮 The Ethereal cs.LO 6 6 years ago
1438 Superregular matrices over small finite fields
Paulo Almeida, Diego Napp
🔮 The Ethereal math.CO 6 5 years ago
1439 SOS Rules for Equivalences of Reaction Systems
Linda Brodo, Roberto Bruni, Moreno Falaschi
🔮 The Ethereal cs.LO 6 5 years ago
1440 Deriving Theorems in Implicational Linear Logic, Declaratively
Paul Tarau, Valeria de Paiva
🔮 The Ethereal cs.LO 6 5 years ago
1441 The algebra of non-deterministic programs: demonic operators, orders and axioms
Robin Hirsch, Szabolcs Mikulás, Tim Stokes
🔮 The Ethereal cs.LO 6 5 years ago
1442 On symmetric and Hermitian rank distance codes
Antonio Cossidente, Giuseppe Marino, Francesco Pavese
🔮 The Ethereal math.CO 6 5 years ago
1443 Reconfiguration of Connected Graph Partitions via Recombination
Hugo A. Akitaya, Matias Korman, ... (+3 more)
🔮 The Ethereal cs.DM 6 5 years ago
1444 Finding the Second-Best Candidate under the Mallows Model
Xujun Liu, Olgica Milenkovic
🔮 The Ethereal math.CO 6 5 years ago
1445 Few Induced Disjoint Paths for $H$-Free Graphs
Barnaby Martin, Daniël Paulusma, ... (+2 more)
🔮 The Ethereal math.CO 6 4 years ago
1446 Tight Bounds for Repeated Balls-into-Bins
Dimitrios Los, Thomas Sauerwald
🔮 The Ethereal cs.DM 6 4 years ago
1447 Token sliding on graphs of girth five
Valentin Bartier, Nicolas Bousquet, ... (+3 more)
🔮 The Ethereal cs.CC 6 4 years ago
1448 Hardness Results for Weaver's Discrepancy Problem
Daniel A. Spielman, Peng Zhang
🔮 The Ethereal cs.CC 6 4 years ago
1449 Control hubs of complex networks and a polynomial-time identification algorithm
Xizhe Zhang, Chunyu Pan, Weixiong Zhang
🔮 The Ethereal cs.DM 6 4 years ago
1450 Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting
Amar Hadzihasanovic, Diana Kessler
🔮 The Ethereal math.CT 6 3 years ago