💀 The Wall of Shame

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

Page 48, showing 50 papers

# Paper Cause of Death Category Citations Published
2351 Infinite Eulerian paths are computable on graphs with vertices of infinite degree
Nicanor Carrasco-Vargas
🔮 The Ethereal math.CO 2 3 years ago
2352 Small codes
Igor Balla
🔮 The Ethereal math.CO 2 3 years ago
2353 Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
Lucie Guillou, Corto Mascle, Nicolas Waldburger
🔮 The Ethereal cs.LO 2 3 years ago
2354 On the $k$-Hamming and $k$-Edit Distances
Chiara Epifanio, Luca Forlizzi, ... (+4 more)
🔮 The Ethereal cs.CC 2 3 years ago
2355 Counting occurrences of patterns in permutations
Andrew R Conway, Anthony J Guttmann
🔮 The Ethereal math.CO 2 3 years ago
2356 Learning Broadcast Protocols
Dana Fisman, Noa Izsak, Swen Jacobs
🔮 The Ethereal cs.FL 2 3 years ago
2357 An FPT Algorithm for Splitting a Necklace Among Two Thieves
Michaela Borzechowski, Patrick Schnider, Simon Weber
🔮 The Ethereal math.CO 2 3 years ago
2358 Sparse Graphs of Twin-width 2 Have Bounded Tree-width
Benjamin Bergougnoux, Jakub Gajarský, ... (+4 more)
🔮 The Ethereal math.CO 2 3 years ago
2359 Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond
Jan Dreier, Daniel Mock, Peter Rossmanith
🔮 The Ethereal cs.LO 2 3 years ago
2360 Maximum edge colouring problem on graphs that exclude a fixed minor
Zdeněk Dvořák, Abhiruk Lahiri
🔮 The Ethereal cs.DM 2 3 years ago
2361 Towards a Formal Verification of the Lightning Network with TLA+
Matthias Grundmann, Hannes Hartenstein
🔮 The Ethereal cs.LO 2 3 years ago
2362 Deductive Controller Synthesis for Probabilistic Hyperproperties
Roman Andriushchenko, Ezio Bartocci, ... (+3 more)
🔮 The Ethereal cs.LO 2 3 years ago
2363 Comparing the Update Expressivity of Communication Patterns and Action Models
Armando Castañeda, Hans van Ditmarsch, ... (+2 more)
🔮 The Ethereal cs.LO 2 3 years ago
2364 Computing Subset Vertex Covers in $H$-Free Graphs
Nick Brettell, Jelle J. Oostveen, ... (+4 more)
🔮 The Ethereal math.CO 2 3 years ago
2365 Smoothed Analysis of the Komlós Conjecture: Rademacher Noise
Elad Aigner-Horev, Dan Hefetz, Michael Trushkin
🔮 The Ethereal math.CO 2 3 years ago
2366 Graph Search Trees and Their Leaves
Robert Scheffler
🔮 The Ethereal cs.DM 2 3 years ago
2367 Phase Transitions of Structured Codes of Graphs
Bo Bai, Yu Gao, ... (+2 more)
🔮 The Ethereal math.CO 2 3 years ago
2368 Explaining Emergence
Hervé Zwirn
🔮 The Ethereal cs.CC 2 2 years ago
2369 Testing Junta Truncation
William He, Shivam Nadimpalli
🔮 The Ethereal cs.CC 2 2 years ago
2370 Conformal Hypergraphs: Duality and Implications for the Upper Clique Transversal Problem
Endre Boros, Vladimir Gurvich, ... (+2 more)
🔮 The Ethereal math.CO 2 2 years ago
2371 On 3-Coloring Circle Graphs
Patricia Bachmann, Ignaz Rutter, Peter Stumpf
🔮 The Ethereal cs.DM 2 2 years ago
2372 Formal Verification of Chase-Lev Deque in Concurrent Separation Logic
Jaemin Choi
🔮 The Ethereal cs.LO 2 3 years ago
2373 Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
Chenhao Shi, Hao Chen, ... (+2 more)
🔮 The Ethereal cs.FL 2 2 years ago
2374 A Diamond Machine For Strong Evaluation
Beniamino Accattoli, Pablo Barenbaum
🔮 The Ethereal cs.LO 2 2 years ago
2375 A Truly Concurrent Semantics for Reversible CCS
Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna
🔮 The Ethereal cs.LO 2 2 years ago
2376 Black-Box Identity Testing of Noncommutative Rational Formulas in Deterministic Quasipolynomial Time
V. Arvind, Abhranil Chatterjee, Partha Mukhopadhyay
🔮 The Ethereal cs.CC 2 2 years ago
2377 Bandwidth of Timed Automata: 3 Classes
Eugene Asarin, Aldric Degorre, ... (+2 more)
🔮 The Ethereal cs.FL 2 2 years ago
2378 An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
Amar Shah, Federico Mora, Sanjit A. Seshia
🔮 The Ethereal cs.LO 2 2 years ago
2379 Algebraic combinatorial optimization on the degree of determinants of noncommutative symbolic matrices
Hiroshi Hirai, Yuni Iwamasa, ... (+2 more)
🔮 The Ethereal math.CO 2 2 years ago
2380 Simple and tight complexity lower bounds for solving Rabin games
Antonio Casares, Marcin Pilipczuk, ... (+3 more)
🔮 The Ethereal cs.FL 2 2 years ago
2381 Verification of GossipSub in ACL2s
Ankit Kumar, Max von Hippel, ... (+2 more)
🔮 The Ethereal cs.LO 2 2 years ago
2382 Comparing Differentiable Logics for Learning Systems: A Research Preview
Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan
🔮 The Ethereal cs.LO 2 2 years ago
2383 Unambiguity and Fewness for Nonuniform Families of Polynomial-Size Nondeterministic Finite Automata
Tomoyuki Yamakami
🔮 The Ethereal cs.FL 2 2 years ago
2384 Parallel Verification of Natural Deduction Proof Graphs
James T. Oswald, Brandon Rozek
🔮 The Ethereal cs.LO 2 2 years ago
2385 Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity
Jacob Focke, Leslie Ann Goldberg, ... (+2 more)
🔮 The Ethereal cs.DM 2 2 years ago
2386 First-Order Model Checking on Monadically Stable Graph Classes
Jan Dreier, Ioannis Eleftheriadis, ... (+4 more)
🔮 The Ethereal cs.LO 2 2 years ago
2387 When Input Integers are Given in the Unary Numeral Representation
Tomoyuki Yamakami
🔮 The Ethereal cs.CC 2 2 years ago
2388 Memory Simulations, Security and Optimization in a Verified Compiler
David Monniaux
🔮 The Ethereal cs.LO 2 2 years ago
2389 Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond
Lena Verscht, Benjamin Kaminski
🔮 The Ethereal cs.LO 2 2 years ago
2390 Auditable Algorithms for Approximate Model Counting
Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
🔮 The Ethereal cs.LO 2 2 years ago
2391 Deciding Foot-sortability and Minimal 2-bounded Non-foot-sortable Sock Orderings
Hung-Hsun Hans Yu
🔮 The Ethereal math.CO 2 2 years ago
2392 Complexity of Local Search for Euclidean Clustering Problems
Bodo Manthey, Nils Morawietz, ... (+2 more)
🔮 The Ethereal cs.CC 2 2 years ago
2393 Non-Numerical Weakly Relational Domains
Helmut Seidl, Julian Erhard, ... (+2 more)
🔮 The Ethereal cs.LO 2 2 years ago
2394 An Optimal Randomized Algorithm for Finding the Saddlepoint
Justin Dallant, Frederik Haagensen, ... (+3 more)
🔮 The Ethereal cs.CC 2 2 years ago
2395 Rabin Games and Colourful Universal Trees
Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
🔮 The Ethereal cs.LO 2 2 years ago
2396 On the formalization of the notion of an algorithm
C. A. Middelburg
🔮 The Ethereal cs.CC 2 2 years ago
2397 An Introduction to Different Approaches to Initial Semantics
Thomas Lamiaux, Benedikt Ahrens
🔮 The Ethereal cs.LO 2 2 years ago
2398 Generation of weighted trees, block trees and block graphs
Tınaz Ekim, Mordechai Shalom, Mehmet Aziz Yirik
🔮 The Ethereal cs.DM 2 2 years ago
2399 Constructing rotatable permutations of $\mathbb{F}_{2^m}^3$ with $3$-homogeneous functions
Yunwen Chi, Kangquan Li, Longjiang Qu
🔮 The Ethereal math.CO 2 2 years ago
2400 A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
Victoria Vollmer, Danielle Marshall, ... (+2 more)
🔮 The Ethereal cs.LO 2 2 years ago