💀 The Wall of Shame

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

Page 61, showing 50 papers

# Paper Cause of Death Category Citations Published
3001 A greedy algorithm for the minimization of a ratio of same-index element sums from two positive arrays
Alexander Lozovskiy
🔮 The Ethereal math.CO 0 10 years ago
3002 Polar Grassmannians and their Codes
Ilaria Cardinali, Luca Giuzzi
🔮 The Ethereal math.CO 0 10 years ago
3003 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems
Nathalie Bertrand, Mirco Tribastone
🔮 The Ethereal cs.LO 0 10 years ago
3004 Integrality Gaps and Approximation Algorithms for Dispersers and Bipartite Expanders
Xue Chen
🔮 The Ethereal cs.CC 0 10 years ago
3005 SAT as a game
Olivier Bailleux
🔮 The Ethereal cs.CC 0 10 years ago
3006 Proceedings Workshop on Models for Formal Analysis of Real Systems
Rob van Glabbeek, Jan Friso Groote, Peter Höfner
🔮 The Ethereal cs.LO 0 10 years ago
3007 Proceedings First International Workshop on Focusing
Iliano Cervesato, Carsten Schürmann
🔮 The Ethereal cs.LO 0 10 years ago
3008 Improved bounds on the peak sidelobe level of binary sequences
Idris Mercer
🔮 The Ethereal math.CO 0 10 years ago
3009 Remark on a result of Constantine
Padraig Ó Catháin
🔮 The Ethereal math.CO 0 10 years ago
3010 Querying with Łukasiewicz logic
Stefano Aguzzoli, Pietro Codara, ... (+3 more)
🔮 The Ethereal cs.LO 0 10 years ago
3011 Type Theory and its Meaning Explanations
Jonathan Sterling
🔮 The Ethereal cs.LO 0 10 years ago
3012 A token-passing net implementation of optimal reduction with embedded read-back
Anton Salikhmetov
🔮 The Ethereal cs.LO 0 10 years ago
3013 On maximum components of a class of perfect codes
I. Yu. Mogilnykh, F. I. Solov'eva
🔮 The Ethereal math.CO 0 10 years ago
3014 On the extention of propelinear structures of Nordstrom-Robinson code to Hamming code
I. Yu. Mogilnykh
🔮 The Ethereal math.CO 0 10 years ago
3015 Probing Graph Proper Total Colorings With Additional Constrained Conditions
Bing Yao, Ming Yao, Xiang-en Chen
🔮 The Ethereal math.CO 0 10 years ago
3016 Linear time algorithm for computing the rank of divisors on cactus graphs
Phan Thi Ha Duong
🔮 The Ethereal math.CO 0 10 years ago
3017 Universality of causal graph dynamics
Simon Martiel, Bruno Martin
🔮 The Ethereal cs.DM 0 10 years ago
3018 The IMP game: Learnability, approximability and adversarial learning beyond $Σ^0_1$
Michael Brand, David L. Dowe
🔮 The Ethereal cs.LO 0 10 years ago
3019 Revisiting the Sanders-Freiman-Ruzsa Theorem in $\mathbb{F}_p^n$ and its Application to Non-malleable Codes
Divesh Aggarwal, Jop Briët
🔮 The Ethereal cs.DM 0 10 years ago
3020 Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking
Baltasar Trancón y Widemann
🔮 The Ethereal cs.LO 0 10 years ago
3021 Zero-Suppressed Computation: A New Computation Inspired by ZDDs
Hiroki Morizumi
🔮 The Ethereal cs.CC 0 10 years ago
3022 Proving completeness of logic programs with the cut
Włodzimierz Drabent
🔮 The Ethereal cs.LO 0 10 years ago
3023 Proceedings of the Eleventh International Workshop on Developments in Computational Models
César A. Muñoz, Jorge A. Pérez
🔮 The Ethereal cs.LO 0 10 years ago
3024 Formalising Confluence in PVS
Mauricio Ayala-Rincón
🔮 The Ethereal cs.LO 0 10 years ago
3025 Minimization of Büchi Automata using Fair Simulation
Daniel Tischner
🔮 The Ethereal cs.FL 0 10 years ago
3026 A fixed-parameter algorithm for a routing open shop problem: unit processing times, few machines and locations
René van Bevern, Artem V. Pyatkin
🔮 The Ethereal cs.DM 0 10 years ago
3027 On the Complexity of Detecting Constrained Negative Cost Cycles
Longkun Guo, Peng Li
🔮 The Ethereal cs.CC 0 10 years ago
3028 A comprehensive theory of cascading via-paths and the reciprocal pointer chain method
Brandon Smock, Joseph Wilson
🔮 The Ethereal cs.DM 0 10 years ago
3029 Building the Signature of Set Theory Using the MathSem Program
Andrey Luxemburg
🔮 The Ethereal cs.LO 0 10 years ago
3030 The Existence of the Tau One-Way Functions Class as a Proof that P != NP
Javier A. Arroyo-Figueroa
🔮 The Ethereal cs.CC 0 10 years ago
3031 Fault tolerant supergraphs with automorphisms
Ashwin Ganesan
🔮 The Ethereal cs.DM 0 10 years ago
3032 On the Grundy number of Cameron graphs
Wing-Kai Hon, Ton Kloks, ... (+3 more)
🔮 The Ethereal cs.DM 0 10 years ago
3033 Advances in Property-Based Testing for $α$Prolog
James Cheney, Alberto Momigliano, Matteo Pessina
🔮 The Ethereal cs.LO 0 10 years ago
3034 The Complexity of Simulation and Matrix Multiplication
Massimo Cairo, Romeo Rizzi
🔮 The Ethereal cs.CC 0 10 years ago
3035 On "Exponential Lower Bounds for Polytopes in Combinatorial Optimization" by Fiorini et al. (2015): A Refutation For Models With Disjoint Sets of Descriptive Variables
Moustapha Diaby, Mark H. Karwan, Lei Sun
🔮 The Ethereal cs.CC 0 10 years ago
3036 Parallelizing asymptotically optimal algorithms for large-scale dualization problems
Elena V. Djukova, Andrey G. Nikiforov, Petr A. Prokofyev
🔮 The Ethereal cs.DM 0 10 years ago
3037 Proceedings First International Workshop on Hammers for Type Theories
Jasmin Christian Blanchette, Cezary Kaliszyk
🔮 The Ethereal cs.LO 0 10 years ago
3038 Efficient Verification of Concurrent Programs Over TSO Memory Model
Chinmay Narayan, Subodh Sharma, S. Arun-Kumar
🔮 The Ethereal cs.LO 0 10 years ago
3039 Secure Multiparty Sessions with Topics
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
🔮 The Ethereal cs.LO 0 10 years ago
3040 A verified abstract machine for functional coroutines
Tristan Crolard
🔮 The Ethereal cs.LO 0 10 years ago
3041 The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
Ranald Clouston, Aleš Bizjak, ... (+2 more)
🔮 The Ethereal cs.LO 0 10 years ago
3042 On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract
Diego Latella
🔮 The Ethereal cs.LO 0 10 years ago
3043 Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$
Milan Banković
🔮 The Ethereal cs.LO 0 10 years ago
3044 Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis
John P. Gallagher, Philipp Rümmer
🔮 The Ethereal cs.LO 0 10 years ago
3045 Removing Unnecessary Variables from Horn Clause Verification Conditions
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
🔮 The Ethereal cs.LO 0 10 years ago
3046 A Search Algorithm for Simplicial Complexes
Subhrajit Bhattacharya
🔮 The Ethereal cs.DM 0 10 years ago
3047 A flow based pruning scheme for enumerative equitable coloring algorithms
Arie Koster, Robert Schweidweiler, Martin Tieves
🔮 The Ethereal math.CO 0 9 years ago
3048 Stable Models for Infinitary Formulas with Extensional Atoms
Amelia Harrison, Vladimir Lifschitz
🔮 The Ethereal cs.LO 0 9 years ago
3049 Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics
Daniel Gebler, Kirstin Peters
🔮 The Ethereal cs.LO 0 9 years ago
3050 Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints
Grzegorz Gutowski, Patryk Mikos
🔮 The Ethereal math.CO 0 9 years ago