💀 The Wall of Shame

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

Page 45, showing 50 papers

# Paper Cause of Death Category Citations Published
2201 Equivalences between learning of data and probability distributions, and their applications
George Barmpalias, Nan Fang, Frank Stephan
🔮 The Ethereal math.LO 2 8 years ago
2202 Structure Entropy and Resistor Graphs
Angsheng Li, Yicheng Pan
🔮 The Ethereal cs.DM 2 8 years ago
2203 Characterisation of (Sub)sequential Rational Functions over a General Class Monoids
Stefan Gerdjikov
🔮 The Ethereal cs.FL 2 8 years ago
2204 A Complexity Theory for Labeling Schemes
Maurice Chandoo
🔮 The Ethereal cs.CC 2 8 years ago
2205 A family of ovoids in PG(3, 2^m) from cyclic codes
Cunsheng Ding
🔮 The Ethereal math.CO 2 8 years ago
2206 Singly even self-dual codes of length $24k+10$ and minimum weight $4k+2$
Masaaki Harada
🔮 The Ethereal math.CO 2 8 years ago
2207 On the ratio of prefix codes to all uniquely decodable codes with a given length distribution
Adam Woryna
🔮 The Ethereal math.CO 2 8 years ago
2208 Planar Steiner Orientation is NP-complete
Moritz Beck, Johannes Blum, ... (+3 more)
🔮 The Ethereal cs.DM 2 8 years ago
2209 History-Preserving Bisimulations on Reversible Calculus of Communicating Systems
Clément Aubert, Ioana Cristescu
🔮 The Ethereal cs.LO 2 8 years ago
2210 Presentable signatures and initial semantics
Benedikt Ahrens, André Hirschowitz, ... (+2 more)
🔮 The Ethereal cs.LO 2 8 years ago
2211 Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
Régine Laleau, Dominique Méry, ... (+2 more)
🔮 The Ethereal cs.LO 2 8 years ago
2212 Distributed Automata and Logic
Fabian Reiter
🔮 The Ethereal cs.FL 2 8 years ago
2213 Finding models through graph saturation
Sebastiaan J. C. Joosten
🔮 The Ethereal cs.LO 2 8 years ago
2214 Uniform generation of spanning regular subgraphs of a dense graph
Pu Gao, Catherine Greenhill
🔮 The Ethereal math.CO 2 8 years ago
2215 Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
Adnan Rashid, Osman Hasan
🔮 The Ethereal cs.LO 2 8 years ago
2216 Relaxing and Restraining Queries for OBDA
Medina Andreşel, Yazmin Ibáñez-García, ... (+2 more)
🔮 The Ethereal cs.LO 2 7 years ago
2217 Min (A)cyclic Feedback Vertex Sets and Min Ones Monotone 3-SAT
Irena Rusu
🔮 The Ethereal cs.CC 2 7 years ago
2218 Complexity of Computing the Anti-Ramsey Numbers for Paths
Saeed Akhoondian Amiri, Alexandru Popa, ... (+4 more)
🔮 The Ethereal cs.CC 2 7 years ago
2219 The Zero-Difference Properties of Functions and Their Applications
Zongxiang Yi, Dingyi Pei, ChunmingTang
🔮 The Ethereal math.CO 2 7 years ago
2220 User Support for the Combinator Logic Synthesizer Framework
Jan Bessai, Anna Vasileva
🔮 The Ethereal cs.LO 2 7 years ago
2221 CSS Minification via Constraint Solving (Technical Report)
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
🔮 The Ethereal cs.LO 2 7 years ago
2222 Sequential algorithms and the computational content of classical proofs
Thomas Powell
🔮 The Ethereal cs.LO 2 7 years ago
2223 Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology
Bernd Finkbeiner, Samantha Kleinberg
🔮 The Ethereal cs.LO 2 7 years ago
2224 PrideMM: A Solver for Relaxed Memory Models
Simon Cooksey, Sarah Harris, ... (+3 more)
🔮 The Ethereal cs.LO 2 7 years ago
2225 Deterministic 2-Dimensional Temperature-1 Tile Assembly Systems Cannot Compute
Jérôme Durand-Lose, Hendrik Jan Hoogeboom, Nataša Jonoska
🔮 The Ethereal cs.CC 2 7 years ago
2226 Beating Treewidth for Average-Case Subgraph Isomorphism
Gregory Rosenthal
🔮 The Ethereal cs.CC 2 7 years ago
2227 Automating the Diagram Method to Prove Correctness of Program Transformations
David Sabel
🔮 The Ethereal cs.LO 2 7 years ago
2228 Mutual Coinduction
Moez A. AbdelGawad
🔮 The Ethereal cs.LO 2 7 years ago
2229 Turing-Completeness of Dynamics in Abstract Persuasion Argumentation
Ryuta Arisaka
🔮 The Ethereal cs.LO 2 7 years ago
2230 Towards Ranking Geometric Automated Theorem Provers
Nuno Baeta, Pedro Quaresma
🔮 The Ethereal cs.LO 2 7 years ago
2231 From Linear Logic to Cyclic Sharing
Masahito Hasegawa
🔮 The Ethereal cs.LO 2 7 years ago
2232 Approximating Cumulative Pebbling Cost is Unique Games Hard
Jeremiah Blocki, Seunghoon Lee, Samson Zhou
🔮 The Ethereal cs.CC 2 7 years ago
2233 On $q$-nearly bent Boolean functions
Zhixiong Chen, Andrew Klapper
🔮 The Ethereal math.CO 2 7 years ago
2234 On optimal weak algebraic manipulation detection codes and weighted external difference families
Minfeng Shao, Ying Miao
🔮 The Ethereal math.CO 2 7 years ago
2235 Graph Width Measures for CNF-Encodings with Auxiliary Variables
Stefan Mengel, Romain Wallon
🔮 The Ethereal cs.CC 2 7 years ago
2236 Mechanised Assurance Cases with Integrated Formal Methods in Isabelle
Yakoub Nemouchi, Simon Foster, ... (+2 more)
🔮 The Ethereal cs.LO 2 7 years ago
2237 Fake news and rumors: a trigger for proliferation or fading away
Ahad N. Zehmakan, Serge Galam
🔮 The Ethereal cs.DM 2 7 years ago
2238 Fast Computing the Algebraic Degree of Boolean Functions
Valentin Bakoev
🔮 The Ethereal cs.DM 2 7 years ago
2239 Structural Parameterization for Graph Deletion Problems over Data Streams
Arijit Bishnu, Arijit Ghosh, ... (+3 more)
🔮 The Ethereal cs.CC 2 7 years ago
2240 Fixed-parameter tractability of counting small minimum $(S,T)$-cuts
Pierre Bergé, Benjamin Mouscadet, ... (+2 more)
🔮 The Ethereal cs.CC 2 7 years ago
2241 Majority-logic Decoding with Subspace Designs
Romar dela Cruz, Alfred Wassermann
🔮 The Ethereal math.CO 2 7 years ago
2242 Minimum k-critical bipartite graphs
Sylwia Cichacz, Karol Suchan
🔮 The Ethereal math.CO 2 7 years ago
2243 Time-Stamped Claim Logic
João Rasga, Cristina Sernadas, ... (+2 more)
🔮 The Ethereal cs.LO 2 7 years ago
2244 The simultaneous conjugacy problem in the symmetric group
Andrej Brodnik, Aleksander Malnič, Rok Požar
🔮 The Ethereal cs.DM 2 7 years ago
2245 A Unified Algebraic Framework for Non-Monotonicity
Nourhan Ehab, Haythem O. Ismail
🔮 The Ethereal cs.LO 2 7 years ago
2246 Abstract Solvers for Computing Cautious Consequences of ASP programs
Giovanni Amendola, Carmine Dodaro, Marco Maratea
🔮 The Ethereal cs.LO 2 7 years ago
2247 Better Paracoherent Answer Sets with Less Resources
Giovanni Amendola, Carmine Dodaro, Francesco Ricca
🔮 The Ethereal cs.LO 2 7 years ago
2248 Classification of linear codes using canonical augmentation
Iliya Bouyukliev, Stefka Bouyuklieva
🔮 The Ethereal cs.DM 2 7 years ago
2249 On Uniform Equivalence of Epistemic Logic Programs
Wolfgang Faber, Michael Morak, Stefan Woltran
🔮 The Ethereal cs.LO 2 7 years ago
2250 New nonexistence results on $(m,n)$-generalized bent functions
Ka Hin Leung, Qi Wang
🔮 The Ethereal math.CO 2 6 years ago