💀 The Wall of Shame

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

Page 68, showing 50 papers

# Paper Cause of Death Category Citations Published
3351 Proceedings of the Sixth Working Formal Methods Symposium
Vlad Rusu
🔮 The Ethereal cs.LO 0 3 years ago
3352 Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
Igor Khmelnitsky, Serge Haddad, ... (+6 more)
🔮 The Ethereal cs.FL 0 3 years ago
3353 Characterizing the Decidability of Finite State Automata Team Games with Communication
Michael Coulombe, Jayson Lynch
🔮 The Ethereal cs.CC 0 3 years ago
3354 Answer-Set Programs for Repair Updates and Counterfactual Interventions
Leopoldo Bertossi
🔮 The Ethereal cs.LO 0 3 years ago
3355 On the Cryptomorphism between Davis' Subset Lattices, Atomic Lattices, and Closure Systems under T1 Separation Axiom
Dmitry I. Ignatov
🔮 The Ethereal cs.DM 0 3 years ago
3356 Abductive forgetting
Paolo Liberatore
🔮 The Ethereal cs.LO 0 3 years ago
3357 Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke Semantics
Xinyu Wang, Momoka Fujieda
🔮 The Ethereal cs.LO 0 3 years ago
3358 Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)
Matt Luckcuck, Marie Farrell
🔮 The Ethereal cs.LO 0 3 years ago
3359 Highly unbreakable graph with a fixed excluded minor are almost rigid
Daniel Lokshtanov, Marcin Pilipczuk, ... (+2 more)
🔮 The Ethereal math.CO 0 3 years ago
3360 Reconfiguration of colorings in triangulations of the sphere
Takehiro Ito, Yuni Iwamasa, ... (+5 more)
🔮 The Ethereal math.CO 0 3 years ago
3361 Certification with an NP Oracle
Guy Blanc, Caleb Koch, ... (+3 more)
🔮 The Ethereal cs.CC 0 3 years ago
3362 Computational Short Cuts in Infinite Domain Constraint Satisfaction
Peter Jonsson, Victor Lagerkvist, Sebastian Ordyniak
🔮 The Ethereal cs.CC 0 3 years ago
3363 OptiRica: Towards an Efficient Optimizing Horn Solver
Hossein Hojjat, Philipp Rümmer
🔮 The Ethereal cs.LO 0 3 years ago
3364 Multiple Query Satisfiability of Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
🔮 The Ethereal cs.LO 0 3 years ago
3365 Internal Closedness and von Neumann-Morgenstern Stability in Matching Theory: Structures and Complexity
Yuri Faenza, Clifford Stein, Jia Wan
🔮 The Ethereal math.CO 0 3 years ago
3366 Graph Convolutional Neural Networks as Parametric CoKleisli morphisms
Bruno Gavranović, Mattia Villani
🔮 The Ethereal math.CT 0 3 years ago
3367 P(Expression|Grammar): Probability of deriving an algebraic expression with a probabilistic context-free grammar
Urh Primožič, Ljupčo Todorovski, Matej Petković
🔮 The Ethereal cs.FL 0 3 years ago
3368 Why the equivalence problem for unambiguous grammars has not been solved back in 1966?
Vladislav Makarov
🔮 The Ethereal cs.FL 0 3 years ago
3369 Cocke--Younger--Kasami--Schwartz--Zippel algorithm and relatives
Vladislav Makarov
🔮 The Ethereal cs.FL 0 3 years ago
3370 Proceedings of the Thirteenth International Workshop on Graph Computation Models
Reiko Heckel, Christopher M. Poskitt
🔮 The Ethereal cs.LO 0 3 years ago
3371 Sum Labelling Graphs of Maximum Degree Two
Henning Fernau, Kshitij Gajjar
🔮 The Ethereal math.CO 0 3 years ago
3372 Exceeding Computational Complexity Trial-and-Error Dynamic Action and Intelligence
Chuyu Xiong
🔮 The Ethereal cs.CC 0 3 years ago
3373 Redundancy of Codes with Graph Constraints
Ghurumuruhan Ganesan
🔮 The Ethereal math.CO 0 3 years ago
3374 On a conjecture of Knuth about forward and back arcs
Zipei Nie
🔮 The Ethereal math.CO 0 3 years ago
3375 On lattice tilings of $\mathbb{Z}^{n}$ by limited magnitude error balls $\mathcal{B}(n,2,1,1)$
Tao Zhang, Yanlu Lian, Gennian Ge
🔮 The Ethereal math.CO 0 3 years ago
3376 The umbilical cord of finite model theory
Yuri Gurevich
🔮 The Ethereal cs.LO 0 3 years ago
3377 Treewidth is NP-Complete on Cubic Graphs (and related results)
Hans L. Bodlaender, Édouard Bonnet, ... (+7 more)
🔮 The Ethereal cs.CC 0 3 years ago
3378 Stack-Aware Hyperproperties
Ali Bajwa, Minjian Zhang, ... (+2 more)
🔮 The Ethereal cs.LO 0 3 years ago
3379 A Formal Algebraic Framework for DSL Composition
Zachary Flores, Angelo Taranto, Eric Bond
🔮 The Ethereal math.CT 0 3 years ago
3380 $t$-sails and sparse hereditary classes of unbounded tree-width
Daniel Cocks
🔮 The Ethereal math.CO 0 3 years ago
3381 Computation with Large Advice
Hiroki Morizumi
🔮 The Ethereal cs.CC 0 3 years ago
3382 A Logic for Veracity
Steve Reeves
🔮 The Ethereal cs.LO 0 3 years ago
3383 SAT Requires Exhaustive Search
Ke Xu, Guangyan Zhou
🔮 The Ethereal cs.CC 0 3 years ago
3384 A modest proposal: explicit support for foundational pluralism
Martin Berger, Dominic P. Mulligan
🔮 The Ethereal cs.LO 0 3 years ago
3385 A Deforestation of Reducts: Refocusing
Olivier Danvy
🔮 The Ethereal cs.LO 0 3 years ago
3386 Approximability of the Four-Vertex Model
Zhiguo Fu, Tianyu Liu, Xiongxin Yang
🔮 The Ethereal cs.CC 0 3 years ago
3387 Posets are easily testable
Panna Tímea Fekete, Gábor Kun
🔮 The Ethereal math.CO 0 3 years ago
3388 On the non-existence of perfect codes in the Niederreiter-Rosenbloom-Tsfasman metric
Viviana Gubitosi, Aldo Portela, Claudio Qureshi
🔮 The Ethereal math.CO 0 3 years ago
3389 Simultaneous Drawing of Layered Trees
Julia Katheder, Stephen G. Kobourov, ... (+3 more)
🔮 The Ethereal cs.DM 0 3 years ago
3390 Constraint Optimization over Semirings
A. Pavan, Kuldeep S. Meel, ... (+2 more)
🔮 The Ethereal cs.LO 0 3 years ago
3391 An Educational Tool for Exploring the Pumping Lemma Property for Regular Languages
Josue N. Rivera, Haiping Xu
🔮 The Ethereal cs.FL 0 3 years ago
3392 Friedman's "Long Finite Sequences'': The End of the Busy Beaver Contest
Michael Vielhaber, Mónica del Pilar Canales Chacón, Sergio Jara Ceballos
🔮 The Ethereal math.CO 0 3 years ago
3393 Complete Log Concavity of Coverage-Like Functions
Dorna Abdolazimi, Shayan Oveis Gharan
🔮 The Ethereal math.CO 0 3 years ago
3394 A Formalization of Operads in Coq
Zachary Flores, Angelo Taranto, ... (+2 more)
🔮 The Ethereal math.CT 0 3 years ago
3395 Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T
Martin Escardo
🔮 The Ethereal math.LO 0 3 years ago
3396 Can Few Lines of Code Change Society ? Beyond fack-checking and moderation : how recommender systems toxifies social networking sites
David Chavalarias, Paul Bouchaud, Maziyar Panahi
🔮 The Ethereal cs.DM 0 3 years ago
3397 Sum-of-Squares Lower Bounds for Densest $k$-Subgraph
Chris Jones, Aaron Potechin, ... (+2 more)
🔮 The Ethereal cs.CC 0 3 years ago
3398 Algorithms for Construction, Classification and Enumeration of Closed Knight's Paths
Stoyan Kapralov, Valentin Bakoev, Kaloyan Kapralov
🔮 The Ethereal math.CO 0 3 years ago
3399 $L_{\infty}$ norm minimization for nowhere-zero integer eigenvectors of the block graphs of Steiner triple systems and Johnson graphs
E. A. Bespalov, I. Yu. Mogilnykh, K. V. Vorob'ev
🔮 The Ethereal math.CO 0 3 years ago
3400 Temporalizing digraphs via linear-size balanced bi-trees
Stéphane Bessy, Stéphan Thomassé, Laurent Viennot
🔮 The Ethereal math.CO 0 3 years ago