💀 The Wall of Shame

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

Page 55, showing 50 papers

# Paper Cause of Death Category Citations Published
2701 Constructing Segmented Differentiable Quadratics to Determine Algorithmic Run Times and Model Non-Polynomial Functions
Ananth Goyal
🔮 The Ethereal cs.CC 1 5 years ago
2702 Concerning Iterative Graph Normalization and Maximum Weight Independent Sets
Laurent Guigues
🔮 The Ethereal cs.DM 1 5 years ago
2703 A Standard Grammar for Temporal Logics on Finite Traces
Marco Favorito
🔮 The Ethereal cs.LO 1 5 years ago
2704 Isomorphism testing of $k$-spanning tournaments is Fixed Parameter Tractable
Vikraman Arvind, Ilia Ponomarenko, Grigory Ryabov
🔮 The Ethereal math.CO 1 4 years ago
2705 Sorting Balls and Water: Equivalence and Computational Complexity
Takehiro Ito, Jun Kawahara, ... (+8 more)
🔮 The Ethereal cs.CC 1 4 years ago
2706 Enumeration of chordal planar graphs and maps
Jordi Castellví, Marc Noy, Clément Requilé
🔮 The Ethereal math.CO 1 4 years ago
2707 Edge Intersection Graphs of Paths on a Triangular Grid
Vitor T. F. de Luca, María Pía Mazzoleni, ... (+3 more)
🔮 The Ethereal cs.DM 1 4 years ago
2708 A BAT-based Exact-Solution Algorithm for the Series-Parallel Redundancy Allocation Problem with Mixed Components
Wei-Chang Yeh
🔮 The Ethereal cs.DM 1 4 years ago
2709 Determinants from homomorphisms
Radu Curticapean
🔮 The Ethereal math.CO 1 4 years ago
2710 Enumerating Connected Dominating Sets
Faisal Abu-Khzam, Henning Fernau, ... (+3 more)
🔮 The Ethereal cs.CC 1 4 years ago
2711 Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns
Yanni Kouskoulas, T. J. Machado, ... (+4 more)
🔮 The Ethereal cs.LO 1 4 years ago
2712 An approach to translating Haskell programs to Agda and reasoning about them
Harold Carr, Christa Jenkins, ... (+3 more)
🔮 The Ethereal cs.LO 1 4 years ago
2713 A Complex Java Code Generator for ACL2 Based on a Shallow Embedding of ACL2 in Java
Alessandro Coglio
🔮 The Ethereal cs.LO 1 4 years ago
2714 A closer look at TDFA
Angelo Borsotti, Ulya Trafimovich
🔮 The Ethereal cs.FL 1 4 years ago
2715 A transient equivalence between Aldous-Broder and Wilson's algorithms and a two-stage framework for generating uniform spanning trees
Igor Nunes, Giulio Iacobelli, Daniel Ratton Figueiredo
🔮 The Ethereal math.CO 1 4 years ago
2716 Hardness of Interval Scheduling on Unrelated Machines
Danny Hermelin, Yuval Itzhaki, ... (+2 more)
🔮 The Ethereal cs.CC 1 4 years ago
2717 Auto-active Verification of Floating-point Programs via Nonlinear Real Provers
Junaid Rasheed, Michal Konečný
🔮 The Ethereal cs.LO 1 4 years ago
2718 Knowledge Authoring with Factual English
Yuheng Wang, Giorgian Borca-Tasciuc, ... (+3 more)
🔮 The Ethereal cs.LO 1 3 years ago
2719 A note on independent sets in sparse-dense graphs
Uéverton S. Souza
🔮 The Ethereal cs.DM 1 3 years ago
2720 CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
Dalton Chichester, Wei Du, ... (+9 more)
🔮 The Ethereal cs.LO 1 3 years ago
2721 Low-Latency Sliding Window Algorithms for Formal Languages
Moses Ganardi, Louis Jachiet, ... (+2 more)
🔮 The Ethereal cs.FL 1 3 years ago
2722 Edge-Cuts and Rooted Spanning Trees
Mohit Daga
🔮 The Ethereal math.CO 1 3 years ago
2723 Complexity of Simon's problem in classical sense
Hans Zantema
🔮 The Ethereal cs.CC 1 3 years ago
2724 Rounding via Low Dimensional Embeddings
Mark Braverman, Dor Minzer
🔮 The Ethereal cs.CC 1 3 years ago
2725 Edge Multiway Cut and Node Multiway Cut are NP-complete on subcubic graphs
Matthew Johnson, Barnaby Martin, ... (+4 more)
🔮 The Ethereal cs.CC 1 3 years ago
2726 Hardness Results for Minimizing the Covariance of Randomly Signed Sum of Vectors
Peng Zhang
🔮 The Ethereal cs.CC 1 3 years ago
2727 Flexible Correct-by-Construction Programming
Tobias Runge, Tabea Bordis, ... (+3 more)
🔮 The Ethereal cs.LO 1 3 years ago
2728 Learning Temporal Logic Properties: an Overview of Two Recent Methods
Jean-Raphaël Gaglione, Rajarshi Roy, ... (+4 more)
🔮 The Ethereal cs.LO 1 3 years ago
2729 Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper)
Mark Utting, Brae J. Webb, Ian J. Hayes
🔮 The Ethereal cs.LO 1 3 years ago
2730 System $F^μ_ω$ with Context-free Session Types
Diana Costa, Andreia Mordido, ... (+2 more)
🔮 The Ethereal cs.LO 1 3 years ago
2731 A Strongly Polynomial-Time Algorithm for Weighted General Factors with Three Feasible Degrees
Shuai Shao, Stanislav Živný
🔮 The Ethereal cs.DM 1 3 years ago
2732 1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise
Lorenzo Ciardo, Marcin Kozik, ... (+3 more)
🔮 The Ethereal cs.CC 1 3 years ago
2733 Timed I/O Automata: It is never too late to complete your timed specification theory
Martijn A. Goorden, Kim G. Larsen, ... (+4 more)
🔮 The Ethereal cs.FL 1 3 years ago
2734 Dynamic Flows with Time-Dependent Capacities
Thomas Bläsius, Adrian Feilhauer, Jannik Westenfelder
🔮 The Ethereal cs.DM 1 3 years ago
2735 On Existence of Must-Include Paths and Cycles in Undirected Graphs
Yefim Dinitz, Solomon Eyal Shimony
🔮 The Ethereal math.CO 1 3 years ago
2736 Denotational Semantics and a Fast Interpreter for jq
Michael Färber
🔮 The Ethereal cs.LO 1 3 years ago
2737 Snakes and Ladders: a Treewidth Story
Steven Chaplick, Steven Kelk, ... (+3 more)
🔮 The Ethereal math.CO 1 3 years ago
2738 Categorical magnitude and entropy
Stephanie Chen, Juan Pablo Vigneaux
🔮 The Ethereal math.CT 1 3 years ago
2739 Dynamic discretization discovery under hard node storage constraints
Madison Van Dyk, Jochen Koenemann
🔮 The Ethereal cs.DM 1 3 years ago
2740 Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
Kangfeng Ye, Jim Woodcock, Simon Foster
🔮 The Ethereal cs.LO 1 3 years ago
2741 A Cheeger Inequality for Size-Specific Conductance
Yufan Huang, David F. Gleich
🔮 The Ethereal cs.DM 1 3 years ago
2742 Degree Sequence Optimization in Bounded Treewidth
Shmuel Onn
🔮 The Ethereal math.CO 1 3 years ago
2743 On complete $m$-arcs
Luca Bastioni, Giacomo Micheli
🔮 The Ethereal math.CO 1 3 years ago
2744 Decidability of Querying First-Order Theories via Countermodels of Finite Width
Thomas Feller, Tim S. Lyon, ... (+2 more)
🔮 The Ethereal cs.LO 1 3 years ago
2745 Pseudorandom Finite Models
Jan Dreier, Jamie Tucker-Foltz
🔮 The Ethereal cs.LO 1 3 years ago
2746 Parameterized Verification of Coverability in Infinite State Broadcast Networks
A. R. Balasubramanian
🔮 The Ethereal cs.LO 1 3 years ago
2747 RDF Surfaces: Computer Says No
Patrick Hochstenbach, Jos De Roo, Ruben Verborgh
🔮 The Ethereal cs.LO 1 3 years ago
2748 Automatic and Incremental Repair for Speculative Information Leaks
Joachim Bard, Swen Jacobs, Yakir Vizel
🔮 The Ethereal cs.LO 1 3 years ago
2749 New bounds for covering codes of radius 3 and codimension 3t+1
Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco
🔮 The Ethereal math.CO 1 3 years ago
2750 Marriage and Roommate
Kazuo Iwama, Shuichi Miyazaki
🔮 The Ethereal cs.CC 1 3 years ago