💀 The Wall of Shame

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

Page 44, showing 50 papers

# Paper Cause of Death Category Citations Published
2151 Proving Skipping Refinement with ACL2s
Mitesh Jain, Panagiotis Manolios
🔮 The Ethereal cs.LO 2 10 years ago
2152 $Z_4$-codes and their Gray map images as orthogonal arrays
Peter J. Cameron, Josephine Kusuma, Patrick Solé
🔮 The Ethereal math.CO 2 10 years ago
2153 Minors in graphs of large $θ_r$-girth
Dimitris Chatzidimitriou, Jean-Florent Raymond, ... (+2 more)
🔮 The Ethereal math.CO 2 10 years ago
2154 On the Number of Many-to-Many Alignments of Multiple Sequences
Steffen Eger
🔮 The Ethereal math.CO 2 10 years ago
2155 A Symbolic Logic with Concrete Bounds for Cryptographic Protocols
Anupam Datta, Joseph Y. Halpern, ... (+3 more)
🔮 The Ethereal cs.LO 2 10 years ago
2156 Proceedings of the Third International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei P. Nemytykh, Alberto Pettorossi
🔮 The Ethereal cs.LO 2 10 years ago
2157 Syntax and Semantics of Abstract Binding Trees
Jonathan Sterling, Darin Morrison
🔮 The Ethereal cs.LO 2 10 years ago
2158 On Alternation and the Union Theorem
Mathias Hauptmann
🔮 The Ethereal cs.CC 2 10 years ago
2159 Compositional model checking of concurrent systems, with Petri nets
Paweł Sobociński
🔮 The Ethereal cs.LO 2 10 years ago
2160 A linear algorithm for Brick Wang tiling
Alexandre Derouet-Jourdan, Shizuo Kaji, Yoshihiro Mizoguchi
🔮 The Ethereal cs.DM 2 10 years ago
2161 New extremal binary self-dual codes of lengths 64 and 66 from bicubic planar graphs
Abidin Kaya
🔮 The Ethereal math.CO 2 10 years ago
2162 Improving SAT Solvers via Blocked Clause Decomposition
Jingchao Chen
🔮 The Ethereal cs.LO 2 10 years ago
2163 Practical Subtyping for System F with Sized (Co-)Induction
Rodolphe Lepigre, Christophe Raffalli
🔮 The Ethereal cs.LO 2 10 years ago
2164 Topological Self-Stabilization with Name-Passing Process Calculi
Christina Rickmann
🔮 The Ethereal cs.LO 2 10 years ago
2165 On the performance of optimal double circulant even codes
T. Aaron Gulliver, Masaaki Harada
🔮 The Ethereal math.CO 2 10 years ago
2166 Improving abcdSAT by At-Least-One Recently Used Clause Management Strategy
Jingchao Chen
🔮 The Ethereal cs.LO 2 10 years ago
2167 Designs and codes in affine geometry
Jens Zumbrägel
🔮 The Ethereal math.CO 2 10 years ago
2168 Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques
Luca Aceto, Adrian Francalanza, Anna Ingolfsdottir
🔮 The Ethereal cs.LO 2 10 years ago
2169 A logic for n-dimensional hierarchical refinement
Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa
🔮 The Ethereal cs.LO 2 10 years ago
2170 Parallel Monitors for Self-adaptive Sessions
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
🔮 The Ethereal cs.LO 2 10 years ago
2171 Preference at First Sight
Chanjuan Liu
🔮 The Ethereal cs.LO 2 10 years ago
2172 Dappled tiling
Shizuo Kaji, Alexandre Derouet-Jourdan, Hiroyuki Ochiai
🔮 The Ethereal cs.DM 2 10 years ago
2173 Continuation semantics for multi-quantifier sentences: operation-based approaches
Justyna Grudzinska, Marek Zawadowski
🔮 The Ethereal math.LO 2 9 years ago
2174 Knowledge Representation Analysis of Graph Mining
Matthias van der Hallen, Sergey Paramonov, ... (+2 more)
🔮 The Ethereal cs.LO 2 9 years ago
2175 Global Versus Local Computations: Fast Computing with Identifiers
Rabie Mikaël
🔮 The Ethereal cs.CC 2 9 years ago
2176 Reducing Opacity to Linearizability: A Sound and Complete Method
Alasdair Armstrong, Brijesh Dongol, Simon Doherty
🔮 The Ethereal cs.LO 2 9 years ago
2177 Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
Yuhui Lin, Gudmund Grov, Rob Arthan
🔮 The Ethereal cs.LO 2 9 years ago
2178 Bin Packing Problem: A Linear Constant-Space 3/2-Approximation Algorithm
Abdolahad Noori Zehmakan
🔮 The Ethereal cs.DM 2 10 years ago
2179 Self-reducible with easy decision version counting problems admit additive error approximation. Connections to counting complexity, exponential time complexity, and circuit lower bounds
Eleni Bakali
🔮 The Ethereal cs.CC 2 9 years ago
2180 Asymptotically Good Convolutional Codes
Giuliano Gadioli La Guardia
🔮 The Ethereal math.CO 2 9 years ago
2181 Fast counting of medium-sized rooted subgraphs
P-A. G. Maugis, S. C. Olhede, P. J. Wolfe
🔮 The Ethereal cs.DM 2 9 years ago
2182 On Distance Preserving and Sequentially Distance Preserving Graphs
Jason P. Smith, Emad Zahedi
🔮 The Ethereal cs.DM 2 9 years ago
2183 Average whenever you meet: Opportunistic protocols for community detection
Luca Becchetti, Andrea Clementi, ... (+5 more)
🔮 The Ethereal cs.DM 2 9 years ago
2184 Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers
Bence Czipó, Ákos Hajdu, ... (+2 more)
🔮 The Ethereal cs.LO 2 9 years ago
2185 Dynamic Rank Maximal Matchings
Prajakta Nimbhorkar, Arvind Rameshwar
🔮 The Ethereal cs.DM 2 9 years ago
2186 Efficient Type Checking for Path Polymorphism
Juan Edi, Andrés Viso, Eduardo Bonelli
🔮 The Ethereal cs.LO 2 9 years ago
2187 Sustaining Moore's Law Through Inexactness
John Augustine, Krishna Palem, Parishkrati
🔮 The Ethereal cs.CC 2 9 years ago
2188 The Complexity of Routing with Few Collisions
Till Fluschnik, Marco Morik, Manuel Sorge
🔮 The Ethereal cs.CC 2 9 years ago
2189 Fast algorithms for anti-distance matrices as a generalization of Boolean matrices
Michiel de Bondt
🔮 The Ethereal cs.DM 2 9 years ago
2190 Some complexity and approximation results for coupled-tasks scheduling problem according to topology
Benoit Darties, Rodolphe Giroudeau, ... (+2 more)
🔮 The Ethereal cs.CC 2 9 years ago
2191 Tableaux for Policy Synthesis for MDPs with PCTL* Constraints
Peter Baumgartner, Sylvie Thiébaux, Felipe Trevizan
🔮 The Ethereal cs.LO 2 9 years ago
2192 On the classification of $\mathbb{Z}_4$-codes
Makoto Araya, Masaaki Harada, ... (+2 more)
🔮 The Ethereal math.CO 2 9 years ago
2193 Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination
Diego Latella, Mieke Massink
🔮 The Ethereal cs.LO 2 9 years ago
2194 An Efficient Algorithm for Mixed Domination on Generalized Series-Parallel Graphs
M. Rajaati, P. Sharifani, ... (+3 more)
🔮 The Ethereal cs.DM 2 8 years ago
2195 Excluded $t$-factors in Bipartite Graphs: Unified Framework for Nonbipartite Matchings, Restricted 2-matchings, and Matroids
Kenjiro Takazawa
🔮 The Ethereal math.CO 2 8 years ago
2196 Timed Epistemic Knowledge Bases for Social Networks (Extended Version)
Raúl Pardo, César Sánchez, Gerardo Schneider
🔮 The Ethereal cs.LO 2 8 years ago
2197 The covertime of a biased random walk on $G_{n,p}$
Colin Cooper, Alan Frieze, Samantha Petti
🔮 The Ethereal math.CO 2 8 years ago
2198 An Improved Algorithm for E-Generalization
Jochen Burghardt
🔮 The Ethereal cs.LO 2 8 years ago
2199 Combinatorial and Asymptotical Results on the Neighborhood Grid
Martin Skrodzki, Ulrich Reitebuch, Alex McDonough
🔮 The Ethereal math.CO 2 8 years ago
2200 On the Semantics of Intensionality and Intensional Recursion
G. A. Kavvos
🔮 The Ethereal cs.LO 2 8 years ago