💀 The Wall of Shame

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

Page 67, showing 50 papers

# Paper Cause of Death Category Citations Published
3301 Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
Ornela Dardha, Jurriaan Rot
🔮 The Ethereal cs.LO 0 5 years ago
3302 Can determinism and compositionality coexist in RML?
Davide Ancona, Angelo Ferrando, Viviana Mascardi
🔮 The Ethereal cs.LO 0 5 years ago
3303 Proceedings 36th International Conference on Logic Programming (Technical Communications)
Francesco Ricca, Alessandra Russo, ... (+10 more)
🔮 The Ethereal cs.LO 0 5 years ago
3304 Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis
Mara Downing, Abtin Molavi, Lucas Bang
🔮 The Ethereal cs.LO 0 5 years ago
3305 Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
Grant Passmore, Ruben Gamboa
🔮 The Ethereal cs.LO 0 5 years ago
3306 Digraph homomorphism problem and weak near unanimity polymorphism
Tomas Feder, Jeff Kinne, ... (+2 more)
🔮 The Ethereal cs.CC 0 5 years ago
3307 Complexity Analysis of Tree Share Structure
Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin
🔮 The Ethereal cs.LO 0 5 years ago
3308 Group Testing for Efficiently Sampling Hypergraphs When Tests Have Variable Costs
Laurence A. Clarfeld, Margaret J. Eppstein
🔮 The Ethereal cs.DM 0 5 years ago
3309 Ghost Signals: Verifying Termination of Busy-Waiting (Extended Version)
Tobias Reinhard, Bart Jacobs
🔮 The Ethereal cs.LO 0 5 years ago
3310 Verification of Patterns
Yong Wang
🔮 The Ethereal cs.LO 0 5 years ago
3311 Three computational models and its equivalence
Ciro Ivan Garcia Lopez
🔮 The Ethereal cs.LO 0 5 years ago
3312 Approximability results for the $p$-centdian and the converse centdian problems
Yen Hung Chen
🔮 The Ethereal math.CO 0 5 years ago
3313 PCP Theorems, SETH and More: Towards Proving Sub-linear Time Inapproximability
Hengzhao Ma, Jianzhong Li
🔮 The Ethereal cs.CC 0 5 years ago
3314 Exact Phase Transitions of Model RB with Slower-Growing Domains
Jun Liu, Ke Xu, Guangyan Zhou
🔮 The Ethereal math.CO 0 5 years ago
3315 Some remarks on hypergraph matching and the Füredi-Kahn-Seymour conjecture
Nikhil Bansal, David G. Harris
🔮 The Ethereal math.CO 0 5 years ago
3316 Learning of Structurally Unambiguous Probabilistic Grammars
Dolav Nitay, Dana Fisman, Michal Ziv-Ukelson
🔮 The Ethereal cs.FL 0 5 years ago
3317 Safety Synthesis Sans Specification
Roderick Bloem, Hana Chockler, ... (+3 more)
🔮 The Ethereal cs.FL 0 5 years ago
3318 Discrete logarithm problem in some families of sandpile groups
Krisztián Dsupin, Szabolcs Tengely
🔮 The Ethereal math.CO 0 5 years ago
3319 Further Results on Pure Summing Registers and Complementary Ones
Jianrui Xie
🔮 The Ethereal math.CO 0 5 years ago
3320 Tight Bounds for Potential Maximal Cliques Parameterized by Vertex Cover
Tuukka Korhonen
🔮 The Ethereal math.CO 0 5 years ago
3321 Proceedings Second Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Marie Farrell
🔮 The Ethereal cs.LO 0 5 years ago
3322 Describing the syntax of programming languages using conjunctive and Boolean grammars
Alexander Okhotin
🔮 The Ethereal cs.FL 0 5 years ago
3323 Recursive methods for some problems in coding and random permutations
Ghurumuruhan Ganesan
🔮 The Ethereal math.CO 0 5 years ago
3324 Incremental Verification of Fixed-Point Implementations of Neural Networks
Luiz Sena, Erickson Alves, ... (+3 more)
🔮 The Ethereal cs.LO 0 5 years ago
3325 A Generalized Information-Theoretic Approach for Bounding the Number of Independent Sets in Bipartite Graphs
Igal Sason
🔮 The Ethereal math.CO 0 5 years ago
3326 Graph Theory in the Classification of Information Systems
Daniel Zentai
🔮 The Ethereal cs.DM 0 5 years ago
3327 A constructive method to minimize couple matchings
Pierre Bertrand, Michel Broniatowski, Jean-François Marcotorchino
🔮 The Ethereal cs.DM 0 5 years ago
3328 Erdős-Selfridge Theorem for Nonmonotone CNFs
Md Lutfar Rahman, Thomas Watson
🔮 The Ethereal cs.DM 0 4 years ago
3329 The Ideal Membership Problem and Abelian Groups
Andrei A. Bulatov, Akbar Rafiey
🔮 The Ethereal cs.CC 0 4 years ago
3330 Leveraging the Power of Graph Algorithms: Efficient Algorithms for Computer-Aided Verification
Alexander Svozil
🔮 The Ethereal cs.LO 0 4 years ago
3331 A Note on the Hardness of Problems from Cryptographic Group Actions
Giuseppe D'Alconzo
🔮 The Ethereal cs.CC 0 4 years ago
3332 Local Hadwiger's Conjecture
Benjamin Moore, Luke Postle, Lise Turner
🔮 The Ethereal math.CO 0 4 years ago
3333 Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems
Clemens Dubslaff, Bas Luttik
🔮 The Ethereal cs.LO 0 4 years ago
3334 New Distinguishers for Negation-Limited Weak Pseudorandom Functions
Zhihuai Chen, Siyao Guo, ... (+3 more)
🔮 The Ethereal cs.CC 0 4 years ago
3335 On $d$-stable locally checkable problems parameterized by mim-width
Carolina Lucía Gonzalez, Felix Mann
🔮 The Ethereal cs.DM 0 4 years ago
3336 MaxSAT with Absolute Value Functions: A Parameterized Perspective
Max Bannach, Pamela Fleischmann, Malte Skambath
🔮 The Ethereal cs.CC 0 4 years ago
3337 Enumeration Classes Defined by Circuits
Nadia Creignou, Arnaud Durand, Heribert Vollmer
🔮 The Ethereal cs.CC 0 4 years ago
3338 Constrained Backward Time Travel Planning is in P
Quentin Bramas, Jean-Romain Luttringer, Sébastien Tixeuil
🔮 The Ethereal cs.CC 0 4 years ago
3339 DPER: Dynamic Programming for Exist-Random Stochastic SAT
Vu H. N. Phan, Moshe Y. Vardi
🔮 The Ethereal cs.LO 0 4 years ago
3340 The complexity of blocking (semi)total dominating sets with edge contractions
Esther Galby
🔮 The Ethereal cs.DM 0 4 years ago
3341 A Proof of the Tree of Shapes in n-D
Thierry GÉraud, Nicolas Boutry, ... (+3 more)
🔮 The Ethereal cs.DM 0 4 years ago
3342 A remark on Kashin's discrepancy argument and partial coloring in the Komlós conjecture
Afonso S. Bandeira, Antoine Maillard, Nikita Zhivotovskiy
🔮 The Ethereal math.CO 0 4 years ago
3343 Robust Factorizations and Colorings of Tensor Graphs
Joshua Brakensiek, Sami Davies
🔮 The Ethereal cs.DM 0 4 years ago
3344 Covariant-Contravariant Refinement Modal $μ$-calculus
Huili Xing
🔮 The Ethereal cs.LO 0 3 years ago
3345 Jumping Evaluation of Nested Regular Path Queries
Joachim Niehren, Sylvain Salvati, Rustam Azimov
🔮 The Ethereal cs.CC 0 3 years ago
3346 Criteria for toroidal embedding of one-vertex ribbon graphs
Tim Berezin
🔮 The Ethereal math.CO 0 3 years ago
3347 A Verified Implementation of B+-Trees in Isabelle/HOL
Niels Mündler, Tobias Nipkow
🔮 The Ethereal cs.LO 0 3 years ago
3348 On the arboreal jump number of a poset
Evellyn S. Cavalcante, Sebastián Urrutia, Vinicius F. dos Santos
🔮 The Ethereal math.CO 0 3 years ago
3349 Polynomial time multiplication and normal forms in free bands
R. Cirpons, J. D. Mitchell
🔮 The Ethereal cs.FL 0 3 years ago
3350 $b$-Coloring Parameterized by Pathwidth is XNLP-complete
Lars Jaffke, Paloma T. Lima, Roohani Sharma
🔮 The Ethereal cs.CC 0 3 years ago