💀 The Wall of Shame

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

Page 5, showing 50 papers

# Paper Cause of Death Category Citations Published
201 Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency
Mario Lezoche, Hervé Panetto
🔮 The Ethereal cs.LO 40 7 years ago
202 Optimal Joint Subcarrier and Power Allocation in NOMA is Strongly NP-Hard
Lou Salaun, Chung Shue Chen, Marceau Coupechoux
🔮 The Ethereal cs.CC 40 6 years ago
203 Scattered subspaces and related codes
Giovanni Zini, Ferdinando Zullo
🔮 The Ethereal math.CO 40 5 years ago
204 On construction and (non)existence of $c$-(almost) perfect nonlinear functions
Daniele Bartoli, Marco Calderini
🔮 The Ethereal math.CO 40 5 years ago
205 Combinatorial Characterizations of Algebraic Manipulation Detection Codes Involving Generalized Difference Families
Maura B. Paterson, Douglas R. Stinson
🔮 The Ethereal math.CO 39 10 years ago
206 Discrete Gaussian Sampling Reduces to CVP and SVP
Noah Stephens-Davidowitz
🔮 The Ethereal cs.CC 39 10 years ago
207 On space efficiency of algorithms working on structural decompositions of graphs
Michał Pilipczuk, Marcin Wrochna
🔮 The Ethereal cs.CC 39 10 years ago
208 Asking the metaquestions in constraint tractability
Hubie Chen, Benoit Larose
🔮 The Ethereal cs.CC 39 10 years ago
209 Proving Liveness of Parameterized Programs
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
🔮 The Ethereal cs.LO 39 9 years ago
210 Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Cristina Feier, Antti Kuusisto, Carsten Lutz
🔮 The Ethereal cs.LO 39 9 years ago
211 Temporal Cliques Admit Sparse Spanners
Arnaud Casteigts, Joseph G. Peters, Jason Schoeters
🔮 The Ethereal cs.DM 39 7 years ago
212 Spatial Logics and Model Checking for Medical Imaging (Extended Version)
Fabrizio Banci Buonamici, Gina Belmonte, ... (+3 more)
🔮 The Ethereal cs.LO 39 7 years ago
213 Aiming Low Is Harder -- Induction for Lower Bounds in Probabilistic Program Verification
Marcel Hark, Benjamin Lucien Kaminski, ... (+2 more)
🔮 The Ethereal cs.LO 39 7 years ago
214 Bounded Model Checking for Hyperproperties
Tzu-Han Hsu, Cesar Sanchez, Borzoo Bonakdarpour
🔮 The Ethereal cs.FL 39 5 years ago
215 Sparse universal graphs for planarity
Louis Esperet, Gwenaël Joret, Pat Morin
🔮 The Ethereal math.CO 39 5 years ago
216 Three Combinatorial Perspectives on Minimal Codes
Gianira N. Alfarano, Martino Borello, ... (+2 more)
🔮 The Ethereal math.CO 39 5 years ago
217 Algorithms for the minimum sum coloring problem: a review
Yan Jin, Jean-Philippe Hamiez, Jin-Kao Hao
🔮 The Ethereal cs.DM 38 10 years ago
218 Differential Hybrid Games
André Platzer
🔮 The Ethereal cs.LO 38 10 years ago
219 On the classification of linear complementary dual codes
Makoto Araya, Masaaki Harada
🔮 The Ethereal math.CO 38 8 years ago
220 Lifting Sum-of-Squares Lower Bounds: Degree-$2$ to Degree-$4$
Sidhanth Mohanty, Prasad Raghavendra, Jeff Xu
🔮 The Ethereal cs.CC 38 6 years ago
221 Computational Feasibility of Clustering under Clusterability Assumptions
Shai Ben-David
🔮 The Ethereal cs.CC 37 11 years ago
222 Relational reasoning via probabilistic coupling
Gilles Barthe, Thomas Espitau, ... (+4 more)
🔮 The Ethereal cs.LO 37 10 years ago
223 Deterministic Regular Expressions With Back-References
Dominik D. Freydenberger, Markus L. Schmid
🔮 The Ethereal cs.FL 37 8 years ago
224 Finer Tight Bounds for Coloring on Clique-Width
Michael Lampis
🔮 The Ethereal cs.CC 37 8 years ago
225 Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
Gil Lederman, Markus N. Rabe, ... (+2 more)
🔮 The Ethereal cs.LO 37 7 years ago
226 ADDMC: Weighted Model Counting with Algebraic Decision Diagrams
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
🔮 The Ethereal cs.LO 37 6 years ago
227 Treewidth versus clique number. III. Tree-independence number of graphs with a forbidden structure
Clément Dallard, Martin Milanič, Kenny Štorgel
🔮 The Ethereal math.CO 37 3 years ago
228 A structural approach to kernels for ILPs: Treewidth and Total Unimodularity
Bart M. P. Jansen, Stefan Kratsch
🔮 The Ethereal cs.CC 36 10 years ago
229 An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
Daniel Neider, Ufuk Topcu
🔮 The Ethereal cs.FL 36 10 years ago
230 Montre: A Tool for Monitoring Timed Regular Expressions
Dogan Ulus
🔮 The Ethereal cs.FL 36 9 years ago
231 The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving
Stefan Mitsch, André Platzer
🔮 The Ethereal cs.LO 36 9 years ago
232 Assigning times to minimise reachability in temporal graphs
Jessica Enright, Kitty Meeks, Fiona Skerman
🔮 The Ethereal cs.CC 36 8 years ago
233 Nearly orthogonal vectors and small antipodal spherical codes
Boris Bukh, Christopher Cox
🔮 The Ethereal math.CO 36 8 years ago
234 Fine-grained Complexity Meets IP = PSPACE
Lijie Chen, Shafi Goldwasser, ... (+3 more)
🔮 The Ethereal cs.CC 36 7 years ago
235 Location of zeros for the partition function of the Ising model on bounded degree graphs
Han Peters, Guus Regts
🔮 The Ethereal math.CO 36 7 years ago
236 On an open problem about a class of optimal ternary cyclic codes
Dongchun Han, Haode Yan
🔮 The Ethereal math.CO 36 7 years ago
237 MRD-codes arising from the trinomial $x^q+x^{q^3}+cx^{q^5}\in\mathbb{F}_{q^6}[x]$
Giuseppe Marino, Maria Montanucci, Ferdinando Zullo
🔮 The Ethereal math.CO 36 6 years ago
238 The Imandra Automated Reasoning System (system description)
Grant Olney Passmore, Simon Cruanes, ... (+7 more)
🔮 The Ethereal cs.LO 36 6 years ago
239 Planar Graphs that Need Four Pages
Mihalis Yannakakis
🔮 The Ethereal math.CO 36 5 years ago
240 Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
Marthe Bonamy, Édouard Bonnet, ... (+6 more)
🔮 The Ethereal math.CO 36 3 years ago
241 Near-optimal bounds on bounded-round quantum communication complexity of disjointness
Mark Braverman, Ankit Garg, ... (+3 more)
🔮 The Ethereal cs.CC 35 10 years ago
242 Approximation Algorithm for Minimum Weight $(k,m)$-CDS Problem in Unit Disk Graph
Yishuo Shi, Zhao Zhang, Ding-Zhu Du
🔮 The Ethereal cs.DM 35 10 years ago
243 Algebraic Databases
Patrick Schultz, David I. Spivak, ... (+2 more)
🔮 The Ethereal math.CT 35 10 years ago
244 Non-Malleable Codes for Small-Depth Circuits
Marshall Ball, Dana Dachman-Soled, ... (+3 more)
🔮 The Ethereal cs.CC 35 8 years ago
245 An Assertion-Based Program Logic for Probabilistic Programs
Gilles Barthe, Thomas Espitau, ... (+4 more)
🔮 The Ethereal cs.LO 35 8 years ago
246 PPP-Completeness with Connections to Cryptography
Katerina Sotiraki, Manolis Zampetakis, Giorgos Zirdelis
🔮 The Ethereal cs.CC 35 7 years ago
247 Clique-Width for Hereditary Graph Classes
Konrad K. Dabrowski, Matthew Johnson, Daniël Paulusma
🔮 The Ethereal math.CO 35 7 years ago
248 The Bang Calculus Revisited
Antonio Bucciarelli, Delia Kesner, ... (+2 more)
🔮 The Ethereal cs.LO 35 6 years ago
249 Spectral Planting and the Hardness of Refuting Cuts, Colorability, and Communities in Random Graphs
Afonso S. Bandeira, Jess Banks, ... (+3 more)
🔮 The Ethereal cs.CC 35 5 years ago
250 Training Fully Connected Neural Networks is $\exists\mathbb{R}$-Complete
Daniel Bertschinger, Christoph Hertrich, ... (+3 more)
🔮 The Ethereal cs.CC 35 4 years ago