💀 The Wall of Shame

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

Page 32, showing 50 papers

# Paper Cause of Death Category Citations Published
1551 Causality Analysis for Concurrent Reactive Systems (Extended Abstract)
Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu
🔮 The Ethereal cs.FL 5 7 years ago
1552 On the Parameterized Complexity of $k$-Edge Colouring
Esther Galby, Paloma T. Lima, ... (+2 more)
🔮 The Ethereal cs.DM 5 7 years ago
1553 PML 2 : Integrated Program Verification in ML
Rodolphe Lepigre
🔮 The Ethereal cs.LO 5 7 years ago
1554 Abstract I/O Specification
Willem Penninckx, Amin Timany, Bart Jacobs
🔮 The Ethereal cs.LO 5 7 years ago
1555 Data Consistency in Transactional Storage Systems: a Centralised Approach
Shale Xiong, Andrea Cerone, ... (+2 more)
🔮 The Ethereal cs.LO 5 7 years ago
1556 On the Complexity of Exact Pattern Matching in Graphs: Determinism and Zig-Zag Matching
Massimo Equi, Roberto Grossi, ... (+2 more)
🔮 The Ethereal cs.CC 5 7 years ago
1557 Statistical Model Checking for Hyperproperties
Yu Wang, Siddhartha Nalluri, ... (+2 more)
🔮 The Ethereal cs.LO 5 7 years ago
1558 CSPs with Global Modular Constraints: Algorithms and Hardness via Polynomial Representations
Joshua Brakensiek, Sivakanth Gopi, Venkatesan Guruswami
🔮 The Ethereal cs.CC 5 7 years ago
1559 On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems
Yoshiaki Kanazawa, Naoki Nishida
🔮 The Ethereal cs.LO 5 7 years ago
1560 Induction, Coinduction, and Fixed Points in PL Type Theory
Moez A. AbdelGawad
🔮 The Ethereal cs.LO 5 7 years ago
1561 Regular Expressions with Backreferences: Polynomial-Time Matching Techniques
Markus L. Schmid
🔮 The Ethereal cs.FL 5 7 years ago
1562 Proportionally dense subgraph of maximum size: complexity and approximation
Cristina Bazgan, Janka Chlebíková, ... (+2 more)
🔮 The Ethereal cs.CC 5 7 years ago
1563 Complexity Thresholds in Inclusion Logic
Miika Hannula, Lauri Hella
🔮 The Ethereal cs.LO 5 7 years ago
1564 Fast Commutative Matrix Algorithm
Andreas Rosowski
🔮 The Ethereal cs.CC 5 7 years ago
1565 A Lower Bound for Relaxed Locally Decodable Codes
Tom Gur, Oded Lachish
🔮 The Ethereal cs.CC 5 7 years ago
1566 A Conditional Lower Bound on Graph Connectivity in MapReduce
Sungjin Im, Benjamin Moseley
🔮 The Ethereal cs.CC 5 7 years ago
1567 Quantifying information flow in interactive systems
David Mestel
🔮 The Ethereal cs.LO 5 7 years ago
1568 Complexity of fall coloring for restricted graph classes
Juho Lauri, Christodoulos Mitillos
🔮 The Ethereal cs.CC 5 7 years ago
1569 A concatenation construction for propelinear perfect codes from regular subgroups of GA(r,2)
I. Yu. Mogilnykh, F. I. Solov'eva
🔮 The Ethereal math.CO 5 7 years ago
1570 The ${[46,9,20]_2}$ code is unique
Sascha Kurz
🔮 The Ethereal math.CO 5 7 years ago
1571 Extensions of Generic DOL for Generic Ontology Design Patterns
Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski
🔮 The Ethereal cs.LO 5 7 years ago
1572 Injective envelopes of transition systems and Ferrers languages
Mustapha Kabil, Maurice Pouzet
🔮 The Ethereal math.CO 5 7 years ago
1573 Graph Motif Problems Parameterized by Dual
Guillaume Fertin, Christian Komusiewicz
🔮 The Ethereal cs.CC 5 6 years ago
1574 Controlling a Random Population is EXPTIME-hard
Corto Mascle, Mahsa Shirmohammadi, Patrick Totzke
🔮 The Ethereal cs.LO 5 6 years ago
1575 On the Price of Independence for Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal
Konrad K. Dabrowski, Matthew Johnson, ... (+3 more)
🔮 The Ethereal math.CO 5 6 years ago
1576 Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic
Katrin M. Dannert, Erich Grädel, ... (+2 more)
🔮 The Ethereal cs.LO 5 6 years ago
1577 Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
Christoph Benzmüller, David Fuenmayor
🔮 The Ethereal cs.LO 5 6 years ago
1578 Improved Approximation for Maximum Edge Colouring Problem
L Sunil Chandran, Abhiruk Lahiri, Nitin Singh
🔮 The Ethereal cs.DM 5 6 years ago
1579 Shannon capacity and the categorical product
Gábor Simonyi
🔮 The Ethereal math.CO 5 6 years ago
1580 Pliability and Approximating Max-CSPs
Miguel Romero, Marcin Wrochna, Stanislav Živný
🔮 The Ethereal cs.DM 5 6 years ago
1581 Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions
Emanuele D'Osualdo, Felix Stutz
🔮 The Ethereal cs.LO 5 6 years ago
1582 On the query complexity of estimating the distance to hereditary graph properties
Carlos Hoppen, Yoshiharu Kohayakawa, ... (+3 more)
🔮 The Ethereal math.CO 5 6 years ago
1583 Graph fractal dimension and structure of fractal networks: a combinatorial perspective
Pavel Skums, Leonid Bunimovich
🔮 The Ethereal math.CO 5 6 years ago
1584 A group induced four-circulant construction for self-dual codes and new extremal binary self-dual codes
Joe Gildea, Abidin Kaya, ... (+2 more)
🔮 The Ethereal math.CO 5 6 years ago
1585 Grundy Coloring & friends, Half-Graphs, Bicliques
Pierre Aboulker, Édouard Bonnet, ... (+2 more)
🔮 The Ethereal cs.CC 5 6 years ago
1586 Strong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs
Farzaneh Derakhshan, Frank Pfenning
🔮 The Ethereal cs.LO 5 6 years ago
1587 A Categorical Semantics for Guarded Petri Nets
Fabrizio Genovese, David I. Spivak
🔮 The Ethereal math.CT 5 6 years ago
1588 Directed Graph Hashing
Caleb Helbling
🔮 The Ethereal cs.DM 5 6 years ago
1589 Eccentricity terrain of $δ$-hyperbolic graphs
Feodor F. Dragan, Heather M. Guarnera
🔮 The Ethereal cs.DM 5 6 years ago
1590 Well-partitioned chordal graphs: obstruction set and disjoint paths
Jungho Ahn, Lars Jaffke, ... (+2 more)
🔮 The Ethereal math.CO 5 6 years ago
1591 Enumeration of Irredundant Forests
Florian Ingels, Romain Azaïs
🔮 The Ethereal cs.DM 5 6 years ago
1592 A formula on the weight distribution of linear codes with applications to AMDS codes
Alessio Meneghetti, Marco Pellegrini, Massimiliano Sala
🔮 The Ethereal math.CO 5 6 years ago
1593 Nucleus I: Adjunction spectra in recommender systems and descent
Dusko Pavlovic, Dominic J. D. Hughes
🔮 The Ethereal math.CT 5 6 years ago
1594 An Algorithm for the Exact Treedepth Problem
James Trimble
🔮 The Ethereal cs.DM 5 6 years ago
1595 Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description)
Yutaka Nagashima
🔮 The Ethereal cs.LO 5 6 years ago
1596 Coloring Problems on Bipartite Graphs of Small Diameter
Victor A. Campos, Guilherme C. M. Gomes, ... (+4 more)
🔮 The Ethereal math.CO 5 6 years ago
1597 An Epistemic Approach to the Formal Specification of Statistical Machine Learning
Yusuke Kawamoto
🔮 The Ethereal cs.LO 5 6 years ago
1598 Concurrent Separation Logic Meets Template Games
Paul-André Melliès, Léo Stefanesco
🔮 The Ethereal cs.LO 5 6 years ago
1599 Automated Requirements-Based Testing of Black-Box Reactive Systems
Massimo Narizzano, Luca Pulina, ... (+2 more)
🔮 The Ethereal cs.LO 5 6 years ago
1600 A Note on the Concrete Hardness of the Shortest Independent Vectors Problem in Lattices
Divesh Aggarwal, Eldon Chung
🔮 The Ethereal cs.CC 5 6 years ago