💀 The Wall of Shame

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

Page 49, showing 50 papers

# Paper Cause of Death Category Citations Published
2401 Towards a Unified Theory of Time-Varying Data
Benjamin Merlin Bumpus, James Fairbanks, ... (+3 more)
🔮 The Ethereal math.CT 2 2 years ago
2402 Sampling List Packings
Evan Camrud, Ewan Davies, ... (+2 more)
🔮 The Ethereal math.CO 2 2 years ago
2403 Modular Assurance of Complex Systems Using Contract-Based Design Principles
Dag McGeorge, Jon Arne Glomsrud
🔮 The Ethereal cs.LO 2 2 years ago
2404 How to Reduce Temporal Cliques to Find Sparse Spanners
Sebastian Angrick, Ben Bals, ... (+8 more)
🔮 The Ethereal cs.DM 2 2 years ago
2405 Lower Bounds for Leaf Rank of Leaf Powers
Svein Høgemo
🔮 The Ethereal cs.DM 2 2 years ago
2406 Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
Kangfeng Ye, Fang Yan, Simos Gerasimou
🔮 The Ethereal cs.LO 2 2 years ago
2407 A new family of $2$-scattered subspaces and related MRD codes
Daniele Bartoli, Francesco Ghiandoni, ... (+2 more)
🔮 The Ethereal math.CO 2 2 years ago
2408 A Type Theory with a Tiny Object
Mitchell Riley
🔮 The Ethereal math.CT 2 2 years ago
2409 Free Doubly-Infinitary Distributive Categories are Cartesian Closed
Fernando Lucatelli Nunes, Matthijs Vákár
🔮 The Ethereal math.CT 2 2 years ago
2410 On a fibrational construction for optics, lenses, and Dialectica categories
Matteo Capucci, Bruno Gavranović, ... (+3 more)
🔮 The Ethereal math.CT 2 2 years ago
2411 Four Formal Models of IEEE 1394 Link Layer
Hubert Garavel, Bas Luttik
🔮 The Ethereal cs.LO 2 2 years ago
2412 Hypergraphs of girth 5 and 6 and coding theory
Kathryn Haymaker, Michael Tait, Craig Timmons
🔮 The Ethereal math.CO 2 2 years ago
2413 Model Checking Probabilistic Operator Precedence Automata
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
🔮 The Ethereal cs.LO 2 2 years ago
2414 GATlab: Modeling and Programming with Generalized Algebraic Theories
Owen Lynch, Kris Brown, ... (+2 more)
🔮 The Ethereal cs.LO 2 2 years ago
2415 Linear Contextual Metaprogramming and Session Types
Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos
🔮 The Ethereal cs.LO 2 2 years ago
2416 Meaningfulness and Genericity in a Subsuming Framework
Delia Kesner, Victor Arrial, Giulio Guerrieri
🔮 The Ethereal cs.LO 2 2 years ago
2417 Asymptotics of relaxed $k$-ary trees
Manosij Ghosh Dastidar, Michael Wallner
🔮 The Ethereal math.CO 2 2 years ago
2418 Almost-Sure Termination by Guarded Refinement
Simon Oddershede Gregersen, Alejandro Aguirre, ... (+3 more)
🔮 The Ethereal cs.LO 2 2 years ago
2419 Hybrid Intersection Types for PCF (Extended Version)
Pablo Barenbaum, Delia Kesner, Mariana Milicich
🔮 The Ethereal cs.LO 2 2 years ago
2420 Solving the Graph Burning Problem for Large Graphs
Felipe de Carvalho Pereira, Pedro Jussieu de Rezende, ... (+2 more)
🔮 The Ethereal cs.DM 2 2 years ago
2421 Half-space separation in monophonic convexity
Mohammed Elaroussi, Lhouari Nourine, Simon Vilmin
🔮 The Ethereal math.CO 2 2 years ago
2422 On classes of bounded tree rank, their interpretations, and efficient sparsification
Jakub Gajarský, Rose McCarty
🔮 The Ethereal cs.DM 2 2 years ago
2423 Extensional and Non-extensional Functions as Processes
Ken Sakayori, Davide Sangiorgi
🔮 The Ethereal cs.LO 2 2 years ago
2424 Concurrent Games over Relational Structures: The Origin of Game Comonads
Yoàv Montacute, Glynn Winskel
🔮 The Ethereal cs.LO 2 2 years ago
2425 Higher weight spectra of ternary codes associated to the quadratic Veronese $3$-fold
Krishna Kaipa, Puspendu Pradhan
🔮 The Ethereal math.CO 2 2 years ago
2426 A tame vs. feral dichotomy for graph classes excluding an induced minor or induced topological minor
Martin Milanič, Nevena Pivač
🔮 The Ethereal math.CO 2 2 years ago
2427 Indexing Finite-State Automata Using Forward-Stable Partitions
Ruben Becker, Sung-Hwan Kim, ... (+2 more)
🔮 The Ethereal cs.FL 2 2 years ago
2428 Computable one-way functions on the reals
George Barmpalias, Xiaoyan Zhang
🔮 The Ethereal cs.CC 2 2 years ago
2429 Greedy Gray Codes for some Restricted Classes of Binary Words
Nathanaël Hassler, Vincent Vajnovszki, Dennis Wong
🔮 The Ethereal cs.DM 2 2 years ago
2430 The periodic structure of local consistency
Lorenzo Ciardo, Stanislav Živný
🔮 The Ethereal cs.CC 2 2 years ago
2431 Alon's transmitting problem and multicolor Beck--Spencer Lemma
Norihide Tokushige
🔮 The Ethereal math.CO 2 2 years ago
2432 Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report
Elias Alevizos, Alexander Artikis, Georgios Paliouras
🔮 The Ethereal cs.FL 2 2 years ago
2433 Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
David Monniaux
🔮 The Ethereal cs.LO 2 2 years ago
2434 Algorithms for the Diverse-k-SAT problem: the geometry of satisfying assignments
Per Austrin, Ioana O. Bercea, ... (+3 more)
🔮 The Ethereal cs.CC 2 1 year ago
2435 The Stable Model Semantics for Higher-Order Logic Programming
Bart Bogaerts, Angelos Charalambidis, ... (+4 more)
🔮 The Ethereal cs.LO 2 1 year ago
2436 Proving Cutoff Bounds for Safety Properties in First-Order Logic
Raz Lotan, Eden Frenkel, Sharon Shoham
🔮 The Ethereal cs.LO 2 1 year ago
2437 Adjacency Labeling Schemes for Small Classes
Édouard Bonnet, Julien Duron, ... (+2 more)
🔮 The Ethereal math.CO 2 1 year ago
2438 Non-Boolean OMv: One More Reason to Believe Lower Bounds for Dynamic Problems
Bingbing Hu, Adam Polak
🔮 The Ethereal cs.CC 2 1 year ago
2439 Interaction Equivalence
Beniamino Accattoli, Adrienne Lancelot, ... (+2 more)
🔮 The Ethereal cs.LO 2 1 year ago
2440 The combinatorial structure and value distributions of plateaued functions
Lukas Kölsch, Alexandr Polujan
🔮 The Ethereal math.CO 2 1 year ago
2441 Asymptotically Optimal Inapproximability of Maxmin $k$-Cut Reconfiguration
Shuichi Hirahara, Naoto Ohsaka
🔮 The Ethereal cs.CC 2 1 year ago
2442 Axiomatization of Compact Initial Value Problems: Open Properties
André Platzer, Long Qian
🔮 The Ethereal cs.LO 2 1 year ago
2443 Formalization of Differential Privacy in Isabelle/HOL
Tetsuya Sato, Yasuhiko Minamide
🔮 The Ethereal cs.LO 2 1 year ago
2444 Variants of Solovay reducibility
Ivan Titov
🔮 The Ethereal math.LO 2 1 year ago
2445 Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
Saketh Ram Kasibatla, Arpan Agarwal, ... (+4 more)
🔮 The Ethereal cs.LO 2 1 year ago
2446 Clustering Coefficient Reflecting Pairwise Relationships within Hyperedges
Rikuya Miyashita, Shiori Hironaka, Kazuyuki Shudo
🔮 The Ethereal cs.DM 2 1 year ago
2447 On the (Classical and Quantum) Fine-Grained Complexity of Log-Approximate CVP and Max-Cut
Jeremy Ahrens Huang, Young Kun Ko, Chunhao Wang
🔮 The Ethereal cs.CC 2 1 year ago
2448 On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
Naoki Kobayashi
🔮 The Ethereal cs.LO 2 1 year ago
2449 Hyperplanes Avoiding Problem and Integer Points Counting in Polyhedra
Grigorii Dakhno, Dmitry Gribanov, ... (+4 more)
🔮 The Ethereal cs.CC 2 1 year ago
2450 Explicit constructions of optimal blocking sets and minimal codes
Anurag Bishnoi, István Tomon
🔮 The Ethereal math.CO 2 1 year ago