💀 The Wall of Shame

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

Page 70, showing 50 papers

# Paper Cause of Death Category Citations Published
3451 Using Pi-Calculus Names as Locks
Daniel Hirschkoff, Enguerrand Prebet
🔮 The Ethereal cs.LO 0 2 years ago
3452 On Ideal Secret-Sharing Schemes for $k$-homogeneous access structures
Younjin Kim, Jihye Kwon, Hyang-Sook Lee
🔮 The Ethereal math.CO 0 2 years ago
3453 On Supmodular Matrices
Shmuel Onn
🔮 The Ethereal math.CO 0 2 years ago
3454 A note on the Assmus--Mattson theorem for some ternary codes (a resume)
Eiichi Bannai, Tsuyoshi Miezaki, Hiroyuki Nakasora
🔮 The Ethereal math.CO 0 2 years ago
3455 The Upper Clique Transversal Problem
Martin Milanič, Yushi Uno
🔮 The Ethereal math.CO 0 2 years ago
3456 Enumeration Complexity: Incremental Time, Delay and Space
Yann Strozecki
🔮 The Ethereal cs.CC 0 2 years ago
3457 Bounded Simultaneous Messages
Andrej Bogdanov, Krishnamoorthy Dinesh, ... (+4 more)
🔮 The Ethereal cs.CC 0 2 years ago
3458 Invariant Relations: A Bridge from Programs to Equations
Wided Ghardallou, Hessamaldin Mohammadi, ... (+2 more)
🔮 The Ethereal cs.LO 0 2 years ago
3459 Polyhedral approach to weighted connected matchings in general graphs
Phillippe Samer, Phablo F. S. Moura
🔮 The Ethereal cs.DM 0 2 years ago
3460 Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation
Tijana Minic, Marco T. Morazán
🔮 The Ethereal cs.FL 0 2 years ago
3461 Connected Components and Disjunctive Existential Rules
Enrique Matos Alfonso, Giorgos Stamou
🔮 The Ethereal cs.LO 0 2 years ago
3462 Infinite series of $3$-designs in the extended quadratic residue code
Madoka Awada
🔮 The Ethereal math.CO 0 2 years ago
3463 On Chaitin's Heuristic Principle and Halting Probability
Saeed Salehi
🔮 The Ethereal math.LO 0 2 years ago
3464 Linear MIM-width of the Square of Trees
Svein Høgemo
🔮 The Ethereal cs.DM 0 2 years ago
3465 A criterion for determining whether multiple shells support a $t$-design
Madoka Awada, Reina Ishikawa, ... (+2 more)
🔮 The Ethereal math.CO 0 2 years ago
3466 Constructing disjoint Steiner trees in Sierpiński graphs
Chenxu Yang, Ping Li, ... (+3 more)
🔮 The Ethereal math.CO 0 2 years ago
3467 Semiring Provenance for Lightweight Description Logics
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza
🔮 The Ethereal cs.LO 0 2 years ago
3468 piHyFlow Operational Semantics
Fernando J. Barros
🔮 The Ethereal cs.LO 0 2 years ago
3469 The differential properties of certain permutation polynomials over finite fields
Kirpa Garg, Sartaj Ul Hasan, Pantelimon Stanica
🔮 The Ethereal math.CO 0 2 years ago
3470 Finding a Maximum Restricted $t$-Matching via Boolean Edge-CSP
Yuni Iwamasa, Yusuke Kobayashi, Kenjiro Takazawa
🔮 The Ethereal math.CO 0 2 years ago
3471 A feasible and unitary quantum programming language
Alejandro Díaz-Caro, Emmanuel Hainry, ... (+2 more)
🔮 The Ethereal cs.LO 0 2 years ago
3472 A new proof of Euclid's algorithm
Andrzej Salwicki
🔮 The Ethereal cs.LO 0 2 years ago
3473 Lengths of divisible codes -- the missing cases
Sascha Kurz
🔮 The Ethereal math.CO 0 2 years ago
3474 Combinatorics of nondeterministic walks
Élie de Panafieu, Michael Wallner
🔮 The Ethereal math.CO 0 2 years ago
3475 Using Symmetries to Lift Satisfiability Checking
Pierre Carbonnelle, Gottfried Schenner, ... (+3 more)
🔮 The Ethereal cs.LO 0 2 years ago
3476 Computing pivot-minors
Konrad K. Dabrowski, François Dross, ... (+5 more)
🔮 The Ethereal math.CO 0 2 years ago
3477 On the Complexity of the Virtual Network Embedding in Specific Tree Topologies
Sergey Pankratov, Vitaly Aksenov, Stefan Schmid
🔮 The Ethereal cs.CC 0 2 years ago
3478 3vLTL: A Tool to Generate Automata for Three-valued LTL
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
🔮 The Ethereal cs.FL 0 2 years ago
3479 Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Alberto Ciaffaglione, Carlos Olarte
🔮 The Ethereal cs.LO 0 2 years ago
3480 Promise Algebra: An Algebraic Model of Non-Deterministic Computations
Eugenia Ternovska
🔮 The Ethereal cs.LO 0 2 years ago
3481 Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols
Nisansala P. Yatapanage, Cliff B. Jones
🔮 The Ethereal cs.LO 0 2 years ago
3482 Relative Fractional Packing Number and Its Properties
Mehrshad Taziki
🔮 The Ethereal math.CO 0 2 years ago
3483 On the Verification of the Correctness of a Subgraph Construction Algorithm
Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey
🔮 The Ethereal cs.LO 0 2 years ago
3484 Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications
Giuseppe De Giacomo, Marco Favorito, Luciana Silo
🔮 The Ethereal cs.LO 0 2 years ago
3485 Disjoint Dominating and 2-Dominating Sets in Graphs: Hardness and Approximation results
Soumyashree Rana, Sounaka Mishra, Bhawani Sankar Panda
🔮 The Ethereal cs.CC 0 2 years ago
3486 Edge coloring of products of signed graphs
Robert Janczewski, Krzysztof Turowski, Bartłomiej Wróblewski
🔮 The Ethereal math.CO 0 2 years ago
3487 A Relation Algebra for Term Rewriting: A differential approach to sequential reduction (Revised Version)
Lorenzo Pace
🔮 The Ethereal cs.LO 0 2 years ago
3488 Enumerating Complexity Revisited
Alexander Shekhovtsov, Georgii Zakharov
🔮 The Ethereal cs.CC 0 2 years ago
3489 A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
Zhibo Chen, Frank Pfenning
🔮 The Ethereal cs.LO 0 2 years ago
3490 Proceedings of the Sixth International Conference on Applied Category Theory 2023
Sam Staton, Christina Vasilakopoulou
🔮 The Ethereal cs.LO 0 2 years ago
3491 An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
Antoine Martina, Alexander Steen
🔮 The Ethereal cs.LO 0 2 years ago
3492 On Searching for Minimal Integer Representation of Undirected Graphs
Victor Parque, Tomoyuki Miyashita
🔮 The Ethereal cs.DM 0 2 years ago
3493 Approximation Algorithms for Preference Aggregation Using CP-Nets
Abu Mohammmad Hammad Ali, Boting Yang, Sandra Zilles
🔮 The Ethereal cs.CC 0 2 years ago
3494 Improving Uniquely Decodable Codes in Binary Adder Channels
József Balogh, The Nguyen, ... (+3 more)
🔮 The Ethereal math.CO 0 2 years ago
3495 On the complexity of sabotage games for network security
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
🔮 The Ethereal cs.CC 0 2 years ago
3496 Denotational semantics for languages for inference: semirings, monads, and tensors
Cristina Matache, Sean Moss, ... (+2 more)
🔮 The Ethereal cs.LO 0 2 years ago
3497 On SAT information content, its polynomial-time solvability and fixed code algorithms
Maciej Drozdowski
🔮 The Ethereal cs.CC 0 2 years ago
3498 On the on-line coloring of unit interval graphs with proper interval representation
Israel R. Curbelo, Hannah R. Malko
🔮 The Ethereal math.CO 0 2 years ago
3499 Graded modal logic and counting message passing automata
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
🔮 The Ethereal cs.LO 0 2 years ago
3500 Verification under TSO with an infinite Data Domain
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+2 more)
🔮 The Ethereal cs.FL 0 2 years ago