💀 The Wall of Shame

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

Page 76, showing 50 papers

# Paper Cause of Death Category Citations Published
3751 Product-Congruence Games: A Unified Impartial-Game Framework for RSA ($φ$-MuM) and AES (poly-MuM)
Satyam Tyagi
🔮 The Ethereal cs.DM 0 12 months ago
3752 Asymptotically Optimal Inapproximability of E$k$-SAT Reconfiguration
Shuichi Hirahara, Naoto Ohsaka
🔮 The Ethereal cs.CC 0 11 months ago
3753 Towards EXPTIME One Way Functions: Bloom Filters, Succinct Graphs, Cliques, & Self Masking
Shlomi Dolev
🔮 The Ethereal cs.CC 0 11 months ago
3754 Design Support for Multitape Turing Machines
Marco T. Morazán, Oliwia Kempinski, Andrés M. Garced
🔮 The Ethereal cs.FL 0 11 months ago
3755 A Design Recipe and Recipe-Based Errors for Regular Expressions
Marco T. Morazán, Shamil Dzhatdoyev, ... (+4 more)
🔮 The Ethereal cs.FL 0 11 months ago
3756 Visual Execution and Validation of Finite-State Machines and Pushdown Automata
Marco T. Morazán, David Anthony K. Fields, ... (+2 more)
🔮 The Ethereal cs.FL 0 11 months ago
3757 Polynomial-time sampling despite disorder chaos
Eric Ma, Tselil Schramm
🔮 The Ethereal cs.CC 0 11 months ago
3758 Millions of inequivalent quadratic APN functions in eight variables
Christof Beierle, Philippe Langevin, ... (+3 more)
🔮 The Ethereal math.CO 0 11 months ago
3759 NP-Hardness and ETH-Based Inapproximability of Communication Complexity via Relaxed Interlacing
Serge Gaspers, Tao Zixu He, Simon Mackenzie
🔮 The Ethereal cs.CC 0 11 months ago
3760 Sandwich Monotonicity and the Recognition of Weighted Graph Classes
Jesse Beisegel, Nina Chiarelli, ... (+6 more)
🔮 The Ethereal cs.DM 0 11 months ago
3761 Higher and extended Jacobi polynomials for codes
Himadri Shekhar Chakraborty, Tsuyoshi Miezaki
🔮 The Ethereal math.CO 0 11 months ago
3762 Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
Ryunosuke Endo, Tachio Terauchi
🔮 The Ethereal cs.LO 0 11 months ago
3763 The linear programming optimum for packings in classical association schemes
Kai-Uwe Schmidt, Charlene Weiß
🔮 The Ethereal math.CO 0 11 months ago
3764 On the complexity of constrained reconfiguration and motion planning
Nicolas Bousquet, Remy El Sabeh, ... (+2 more)
🔮 The Ethereal cs.CC 0 11 months ago
3765 Analog computation with transcriptional networks
David Doty, Mina Latifi, David Soloveichick
🔮 The Ethereal cs.CC 0 11 months ago
3766 Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
Radosław Jan Rowicki, Adrian Francalanza, Alceste Scalas
🔮 The Ethereal cs.LO 0 11 months ago
3767 Disjunctions of Two Dependence Atoms
Nicolas Fröhlich, Phokion G. Kolaitis, Arne Meier
🔮 The Ethereal cs.LO 0 11 months ago
3768 Automata Learning -- Expect Delays!
Gabriel Dengler, Sven Apel, Holger Hermanns
🔮 The Ethereal cs.FL 0 11 months ago
3769 On systematic construction of correct logic programs
Włodzimierz Drabent
🔮 The Ethereal cs.LO 0 11 months ago
3770 On the Parameterized Complexity of Grundy Domination and Zero Forcing Problems
Robert Scheffler
🔮 The Ethereal cs.CC 0 11 months ago
3771 Compositional Verification in Concurrent Separation Logic with Permissions Regions
Quang Loc Le
🔮 The Ethereal cs.LO 0 11 months ago
3772 To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
Anjo Seidel, Sarah Winkler, ... (+3 more)
🔮 The Ethereal cs.LO 0 11 months ago
3773 Reconstructing graphs and their connectivity using graphlets
David Hartman, Aneta Pokorná, ... (+2 more)
🔮 The Ethereal math.CO 0 11 months ago
3774 An extension of Priestley duality to fuzzy topologies and positive MV-algebras
Marby Zuley Bolaños Ortiz, Ciro Russo
🔮 The Ethereal math.CT 0 11 months ago
3775 An algorithm for accurate and simple-looking metaphorical maps
Eleni Katsanou, Tamara Mchedlidze, ... (+2 more)
🔮 The Ethereal cs.DM 0 11 months ago
3776 Unclustered BWTs of any Length over Non-Binary Alphabets
Gabriele Fici, Estéban Gabory, ... (+2 more)
🔮 The Ethereal cs.DM 0 11 months ago
3777 Some Applications and Limitations of Convex Optimization Hierarchies for Discrete and Continuous Optimization Problems
Mrinalkanti Ghosh
🔮 The Ethereal cs.CC 0 11 months ago
3778 Constructive l2-Discrepancy Minimization with Additive Deviations
Kunal Dutta
🔮 The Ethereal cs.DM 0 11 months ago
3779 Derivation and Verification of Array Sorting by Merging, and its Certification in Dafny
Juan Pablo Carbonell, José E. Solsona, ... (+2 more)
🔮 The Ethereal cs.LO 0 10 months ago
3780 Lower Bounds for Linear Operators
Young Kun Ko
🔮 The Ethereal cs.CC 0 10 months ago
3781 Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
Kaustuv Mukherji, Jaikrishna Manojkumar Patil, ... (+6 more)
🔮 The Ethereal cs.LO 0 10 months ago
3782 Forall-Exists Relational Verification by Filtering to Forall-Forall
Ramana Nagasamudram, Anindya Banerjee, David A. Naumann
🔮 The Ethereal cs.LO 0 10 months ago
3783 Capturing an Invisible Robber using Separators
Igor Potapov, Tymofii Prokopenko, John Sylvester
🔮 The Ethereal cs.DM 0 10 months ago
3784 Subgroup perfect codes of $S_n$ in Cayley sum graphs
Ankan Shaw, Biswajit Mondal, Satya Bagchi
🔮 The Ethereal math.CO 0 10 months ago
3785 Vertex-ordering and arc-partitioning problems
Nóra A. Borsik, Péter Madarasi
🔮 The Ethereal math.CO 0 10 months ago
3786 The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations
Grigory Kondyrev, David I. Spivak
🔮 The Ethereal math.CT 0 10 months ago
3787 Separable convex optimization over indegree polytopes
Nóra A. Borsik, Péter Madarasi
🔮 The Ethereal math.CO 0 10 months ago
3788 Dorst-Smeulders Coding for Arbitrary Binary Words
Alessandro De Luca, Gabriele Fici
🔮 The Ethereal cs.DM 0 10 months ago
3789 Liar's vertex-edge domination in unit disk graph
Debojyoti Bhattacharya, Subhabrata Paul
🔮 The Ethereal math.CO 0 10 months ago
3790 Proceedings 9th edition of Working Formal Methods Symposium
Andrei Arusoaie, Horaţiu Cheval, Radu Iosif
🔮 The Ethereal cs.LO 0 10 months ago
3791 The Hidden Strength of Costrong Functors
Adriana Balan, Silviu-George Pantelimon
🔮 The Ethereal cs.LO 0 10 months ago
3792 Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
Max Barth, Marie-Christine Jakobs
🔮 The Ethereal cs.LO 0 10 months ago
3793 Smaller Circuits for Bit Addition
Mikhail Goncharov, Alexander S. Kulikov, Georgie Levtsov
🔮 The Ethereal cs.CC 0 10 months ago
3794 An MDL-Style Cost Functional KC, Distribution-Preserving Reductions ($A2^d$), and an $AC^0$+log Lower Bound for 3SAT via Balanced 3XOR
Marko Lela
🔮 The Ethereal cs.CC 0 10 months ago
3795 The Complexity of Finding and Counting Subtournaments
Simon Döring, Sarah Houdaigoui, ... (+2 more)
🔮 The Ethereal cs.CC 0 10 months ago
3796 Theorem Provers: One Size Fits All?
Harrison Oates, Hyeonggeun Yun, Nikhila Gurusinghe
🔮 The Ethereal cs.LO 0 10 months ago
3797 Entropy approximations of algebraic matroids over finite fields
Guillermo Matera
🔮 The Ethereal math.CO 0 10 months ago
3798 Gödel Mirror: A Formal System For Contradiction-Driven Recursion
Jhet Chan
🔮 The Ethereal cs.LO 0 10 months ago
3799 Equivalence of Halting Problem to Convergence of Power Series
Antonio Joaquim Fernandes
🔮 The Ethereal cs.LO 0 10 months ago
3800 A multiset approach to MacWilliams identities
Hopein Christofen Tang
🔮 The Ethereal math.CO 0 10 months ago