💀 The Wall of Shame

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

Page 69, showing 50 papers

# Paper Cause of Death Category Citations Published
3401 Alon-Tarsi Number of Some Regular Graphs
S. Prajnanaswaroopa
🔮 The Ethereal math.CO 0 3 years ago
3402 A Hall-type theorem with algorithmic consequences in planar graphs
Ebrahim Ghorbani, Hossein Jowhari
🔮 The Ethereal cs.DM 0 3 years ago
3403 Decoding twisted permutation codes
Robert F. Bailey, Keenan B. Nicholson
🔮 The Ethereal math.CO 0 3 years ago
3404 On modeling NP-Complete problems as polynomial-sized linear programs: Escaping/Side-stepping the "barriers"
Moustapha Diaby, Mark Karwan, Lei Sun
🔮 The Ethereal cs.CC 0 3 years ago
3405 PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
Diego Figueira, Santiago Figueira, Edwin Pin
🔮 The Ethereal cs.LO 0 3 years ago
3406 Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
Ziyan Luo, Xujie Si
🔮 The Ethereal cs.LO 0 3 years ago
3407 Approximate Evaluation of Quantitative Second Order Queries
Jan Dreier, Robert Ganian, Thekla Hamm
🔮 The Ethereal cs.CC 0 3 years ago
3408 Random Schreier graphs as expanders
Geoffroy Caillat-Grenier
🔮 The Ethereal math.CO 0 3 years ago
3409 $L$ is unequal $NL$ under the Strong Exponential Time Hypothesis
Reiner Czerwinski
🔮 The Ethereal cs.CC 0 3 years ago
3410 On Optimization and Counting of Non-Broken Bases of Matroids
Dorna Abdolazimi, Kasper Lindberg, Shayan Oveis Gharan
🔮 The Ethereal cs.CC 0 3 years ago
3411 On MSR Subspace Families of Lines
Ferdinand Ihringer
🔮 The Ethereal math.CO 0 3 years ago
3412 Layered Modal Type Theories
Jason Z. S. Hu, Brigitte Pientka
🔮 The Ethereal cs.LO 0 3 years ago
3413 On Complexity Bounds and Confluence of Parallel Term Rewriting
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
🔮 The Ethereal cs.LO 0 3 years ago
3414 String Diagrams for $λ$-calculi and Functional Computation
Dan Ghica, Fabio Zanasi
🔮 The Ethereal cs.LO 0 3 years ago
3415 The union-closed sets conjecture for non-uniform distributions
Masoud Zargar
🔮 The Ethereal math.CO 0 3 years ago
3416 Best $L_p$ Isotonic Regressions, $p \in \{0, 1, \infty\}$
Quentin F. Stout
🔮 The Ethereal cs.DM 0 3 years ago
3417 The Maximum Matrix Contraction Problem
Dimitri Watel, Pierre-Louis Poirion
🔮 The Ethereal cs.CC 0 3 years ago
3418 $\varepsilon$-Almost collision-flat universal hash functions and mosaics of designs
Moritz Wiese, Holger Boche
🔮 The Ethereal math.CO 0 3 years ago
3419 Generalized four person hat game
Theo van Uem
🔮 The Ethereal math.CO 0 3 years ago
3420 Towards an induction principle for nested data types
Peng Fu, Peter Selinger
🔮 The Ethereal cs.LO 0 3 years ago
3421 Planar graphs are acyclically edge $(Δ+ 5)$-colorable
Qiaojun Shu, Guohui Lin
🔮 The Ethereal cs.DM 0 3 years ago
3422 Proving Confluence in the Confluence Framework with CONFident
Raúl Gutiérrez, Salvador Lucas, Miguel Vítores
🔮 The Ethereal cs.LO 0 3 years ago
3423 Structural and Combinatorial Properties of 2-swap Word Permutation Graphs
Duncan Adamson, Nathan Flaherty, ... (+2 more)
🔮 The Ethereal math.CO 0 3 years ago
3424 A Logical Way to Negotiate Services
Glenn Bruns, Mauricio Cortes
🔮 The Ethereal cs.LO 0 3 years ago
3425 Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack: Extended Version
Jesús Domínguez, Aleksandar Nanevski
🔮 The Ethereal cs.LO 0 3 years ago
3426 Model-checking parametric lock-sharing systems against regular constraints
Corto Mascle, Anca Muscholl, Igor Walukiewicz
🔮 The Ethereal cs.LO 0 3 years ago
3427 Concerto Grosso for Sessions: Fair Termination of Sessions
Luca Ciccone
🔮 The Ethereal cs.LO 0 3 years ago
3428 Efficiently-Verifiable Strong Uniquely Solvable Puzzles and Matrix Multiplication
Matthew Anderson, Vu Le
🔮 The Ethereal cs.CC 0 3 years ago
3429 Computing all monomials of degree $n-1$ using $2n-3$ AND gates
Thomas Häner
🔮 The Ethereal cs.CC 0 3 years ago
3430 Exhaustive Generation of Linear Orthogonal Cellular Automata
Enrico Formenti, Luca Mariot
🔮 The Ethereal cs.DM 0 3 years ago
3431 Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
Tim S. Lyon, Sebastian Rudolph
🔮 The Ethereal cs.LO 0 3 years ago
3432 Variable Independence in Linear Real Arithmetic
Alexander Mayorov
🔮 The Ethereal cs.LO 0 3 years ago
3433 Small But Unwieldy: A Lower Bound on Adjacency Labels for Small Classes
Édouard Bonnet, Julien Duron, ... (+3 more)
🔮 The Ethereal math.CO 0 3 years ago
3434 Compositional Verification in Rewriting Logic
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
🔮 The Ethereal cs.LO 0 2 years ago
3435 Syntactically and semantically regular languages of lambda-terms coincide through logical relations
Vincent Moreau, Lê Thành Dũng Nguyên
🔮 The Ethereal cs.LO 0 2 years ago
3436 Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Charles Koll, Anik Momtaz, ... (+2 more)
🔮 The Ethereal cs.LO 0 2 years ago
3437 QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring
Ernest Bonnah, Khaza Anuarul Hoque
🔮 The Ethereal cs.LO 0 2 years ago
3438 A Characterization of Entropy as a Universal Monoidal Natural Transformation
Cheuk Ting Li
🔮 The Ethereal math.CT 0 2 years ago
3439 Proofs about Network Communication: For Humans and Machines
Wolfgang Jeltsch, Javier Díaz
🔮 The Ethereal cs.LO 0 2 years ago
3440 Implementation of Formal Semantics and the Potential of Non-Classical Logic Systems for the Enhancement of Access Control Models: A Literature Review
Alvin Tang
🔮 The Ethereal cs.LO 0 2 years ago
3441 OCTAL: Graph Representation Learning for LTL Model Checking
Prasita Mukherjee, Haoteng Yin
🔮 The Ethereal cs.LO 0 2 years ago
3442 Solving the insecurity problem for assertions
R Ramanujam, Vaishnavi Sundararajan, S P Suresh
🔮 The Ethereal cs.LO 0 2 years ago
3443 On Feasibility of Declarative Diagnosis
Włodzimierz Drabent
🔮 The Ethereal cs.LO 0 2 years ago
3444 Lower Bounds on the Complexity of Mixed-Integer Programs for Stable Set and Knapsack
Jamico Schade, Makrand Sinha, Stefan Weltge
🔮 The Ethereal cs.DM 0 2 years ago
3445 Multirole Logic and Multiparty Channels
Hongwei Xi, Hanwen Wu
🔮 The Ethereal cs.LO 0 2 years ago
3446 Lifting the Reasoning Level in Generic Weak Memory Verification (Extended Version)
Lara Bargmann, Heike Wehrheim
🔮 The Ethereal cs.LO 0 2 years ago
3447 Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report)
Marie-Christine Jakobs, Tim Pollandt
🔮 The Ethereal cs.LO 0 2 years ago
3448 Shortest Path with Positive Disjunctive Constraints -- a Parameterized Perspective
Susobhan Bandopadhyay, Suman Banerjee, ... (+2 more)
🔮 The Ethereal cs.DM 0 2 years ago
3449 Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics
Claudio Antares Mezzina, Georgiana Caltais
🔮 The Ethereal cs.LO 0 2 years ago
3450 The Way We Were: Structural Operational Semantics Research in Perspective
Luca Aceto, Pierluigi Crescenzi, ... (+2 more)
🔮 The Ethereal cs.LO 0 2 years ago