💀 The Wall of Shame

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

Page 62, showing 50 papers

# Paper Cause of Death Category Citations Published
3051 Finite LTL Synthesis is EXPTIME-complete
Jorge A. Baier, Alberto Camacho, ... (+2 more)
🔮 The Ethereal cs.LO 0 9 years ago
3052 Computing Vertex-Disjoint Paths using MAOs
Johanna E. Preißer, Jens M. Schmidt
🔮 The Ethereal cs.DM 0 9 years ago
3053 Five Basic Concepts of Axiomatic Rewriting Theory
Paul-André Melliès
🔮 The Ethereal cs.LO 0 9 years ago
3054 A Decision Procedure for String Logic with Equations, Regular Membership and Length Constraints
Quang Loc Le
🔮 The Ethereal cs.LO 0 9 years ago
3055 On the Optimality of Tape Merge of Two Lists with Similar Size
Qian Li, Xiaoming Sun, Jialin Zhang
🔮 The Ethereal cs.CC 0 9 years ago
3056 Linear separation of connected dominating sets in graphs
Nina Chiarelli, Martin Milanič
🔮 The Ethereal math.CO 0 9 years ago
3057 The Security of Hardware-Based Omega(n^2) Cryptographic One-Way Functions: Beyond Satisfiability and P=NP
Javier A. Arroyo-Figueroa
🔮 The Ethereal cs.CC 0 9 years ago
3058 A Proposed Algorithm for Minimum Vertex Cover Problem and its Testing
Gang Hu
🔮 The Ethereal cs.DM 0 9 years ago
3059 Perfect Memory Context Trees in time series modeling
Tong Zhang
🔮 The Ethereal cs.LO 0 9 years ago
3060 Towards Asymptotically Optimal One-to-One PDP Algorithms for Capacity 2+ Vehicles
Martin Olsen
🔮 The Ethereal cs.CC 0 9 years ago
3061 Some conjectures on codes
Clelia De Felice
🔮 The Ethereal cs.FL 0 9 years ago
3062 Generic and Efficient Solution Solves the Shortest Paths Problem in Square Runtime
Yong Tan
🔮 The Ethereal cs.DM 0 9 years ago
3063 Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Jan Bouda, Lukáš Holík, ... (+3 more)
🔮 The Ethereal cs.LO 0 9 years ago
3064 A Comment on Argumentation
Karl Schlechta
🔮 The Ethereal math.LO 0 9 years ago
3065 The formal-logical characterisation of lies, deception, and associated notions
Toni Heidenreich
🔮 The Ethereal cs.LO 0 9 years ago
3066 Lifted Relational Algebra with Recursion and Connections to Modal Logic
Eugenia Ternovska
🔮 The Ethereal cs.LO 0 9 years ago
3067 Selecting optimal minimum spanning trees that share a topological correspondence with phylogenetic trees
Prabhav Kalaghatgi, Thomas Lengauer
🔮 The Ethereal math.CO 0 9 years ago
3068 Proceedings Fourth International Workshop on Linearity
Iliano Cervesato, Maribel Fernández
🔮 The Ethereal cs.LO 0 9 years ago
3069 High Rate LDPC Codes from Difference Covering Arrays
D. Donovan, A. Rao, E. Şule Yazıcı
🔮 The Ethereal math.CO 0 9 years ago
3070 Recent progress on conditional randomness
Hayato Takahashi
🔮 The Ethereal math.LO 0 9 years ago
3071 Sparse Approximation is Provably Hard under Coherent Dictionaries
Ali Çivril
🔮 The Ethereal cs.CC 0 9 years ago
3072 A Variation of Levin Search for All Well-Defined Problems
Fouad B. Chedid
🔮 The Ethereal cs.CC 0 9 years ago
3073 Contractibility for Open Global Constraints
Michael J. Maher
🔮 The Ethereal cs.LO 0 9 years ago
3074 Upper bounds on the smallest size of a saturating set in projective planes and spaces of even dimension
Daniele Bartoli, Alexander Davydov, ... (+3 more)
🔮 The Ethereal math.CO 0 9 years ago
3075 Über die Präzision interprozeduraler Analysen
Dorothea Jansen
🔮 The Ethereal cs.LO 0 9 years ago
3076 Fleet management for autonomous vehicles: Online PDP under special constraints
Sahar Bsaybes, Alain Quilliot, Annegret K. Wagler
🔮 The Ethereal cs.DM 0 9 years ago
3077 An Outline of Separation Logic
Abhishek Kr Singh, Raja Natrajan
🔮 The Ethereal cs.LO 0 9 years ago
3078 The Kth Traveling Salesman Problem is Pseudopolynomial when TSP is polynomial
Brahim Chaourar
🔮 The Ethereal math.CO 0 9 years ago
3079 Generalized Three and Four Person Hat Game
Theo van Uem
🔮 The Ethereal math.CO 0 9 years ago
3080 Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis
Guillaume Bonfante, Georg Moser
🔮 The Ethereal cs.LO 0 9 years ago
3081 Automated Sized-Type Inference and Complexity Analysis
Martin Avanzini, Ugo Dal Lago
🔮 The Ethereal cs.LO 0 9 years ago
3082 Shifting the Phase Transition Threshold for Random Graphs and 2-SAT using Degree Constraints
Sergey Dovgal, Vlady Ravelomanana
🔮 The Ethereal math.CO 0 9 years ago
3083 Matroids Hitting Sets and Unsupervised Dependency Grammar Induction
Nicholas Harvey, Vahab Mirrokni, ... (+3 more)
🔮 The Ethereal cs.DM 0 9 years ago
3084 A spectral characterisation of t-designs and its applications
Eun-Kyung Cho, Cunsheng Ding, Jong Yoon Hyun
🔮 The Ethereal math.CO 0 9 years ago
3085 A graph model of message passing processes
Andrew M. Mironov
🔮 The Ethereal cs.LO 0 9 years ago
3086 A new method of verification of security protocols
Andrew M. Mironov
🔮 The Ethereal cs.LO 0 9 years ago
3087 Bounds and approximation results for scheduling coupled-tasks with compatibility constraints
Rodolphe Giroudeau, Jean-Claude König, ... (+2 more)
🔮 The Ethereal cs.CC 0 9 years ago
3088 Inner Rank and Lower Bounds for Matrix Multiplication
Joel Friedman
🔮 The Ethereal cs.CC 0 9 years ago
3089 Hypergraphical Clustering Games of Mis-Coordination
Rann Smorodinsky, Shakhar Smorodinsky
🔮 The Ethereal math.CO 0 9 years ago
3090 Signal Machine And Cellular Automaton Time-Optimal Quasi-Solutions Of The Firing Squad/Mob Synchronisation Problem On Connected Graphs
Simon Wacker
🔮 The Ethereal cs.FL 0 9 years ago
3091 Novel Logical Method for Security Analysis of Electronic Payment Protocols
Yi Liu, Xingtong Liu, ... (+3 more)
🔮 The Ethereal cs.LO 0 9 years ago
3092 Complete Call-by-Value Calculi of Control Operators II: Strong Termination
Ryu Hasegawa
🔮 The Ethereal cs.LO 0 9 years ago
3093 Generation and analysis of lamplighter programs
Carlos Martin
🔮 The Ethereal cs.DM 0 9 years ago
3094 Weak Modular Product of Bipartite Graphs, Bicliques and Isomorphism
Danial Dervovic, Simone Severini
🔮 The Ethereal math.CO 0 9 years ago
3095 Online codes for analog signals
Leonard J. Schulman, Piyush Srivastava
🔮 The Ethereal cs.DM 0 9 years ago
3096 Toward an Epistemic-Logical Theory of Categorization
Willem Conradie, Sabine Frittella, ... (+4 more)
🔮 The Ethereal cs.LO 0 9 years ago
3097 A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks
Jasine Babu, K. Murali Krishnan, Vineeth Paleri
🔮 The Ethereal cs.LO 0 8 years ago
3098 A Stronger Foundation for Computer Science and P=NP
Mark Inman
🔮 The Ethereal cs.CC 0 8 years ago
3099 Proceedings Fifth International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei P. Nemytykh, Maurizio Proietti
🔮 The Ethereal cs.LO 0 8 years ago
3100 Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics
Kirstin Peters, Simone Tini
🔮 The Ethereal cs.LO 0 8 years ago