💀 The Wall of Shame

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

Page 58, showing 50 papers

# Paper Cause of Death Category Citations Published
2851 Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
Zhiyang Chen, Jan Gorzny, Martin Derka
🔮 The Ethereal cs.LO 1 1 year ago
2852 Branch-and-cut algorithms for colorful components problems
Claudia Archetti, Martina Cerulli, Carmine Sorgente
🔮 The Ethereal math.CO 1 1 year ago
2853 Galled Perfect Transfer Networks
Alitzel López Sánchez, Manuel Lafond
🔮 The Ethereal cs.DM 1 1 year ago
2854 Improved Hardness and Approximations for Cardinality-Based Minimum $s$-$t$ Cuts Problems in Hypergraphs
Florian Adriaens, Vedangi Bengali, ... (+3 more)
🔮 The Ethereal cs.CC 1 1 year ago
2855 Reasoning about expression evaluation under interference
Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
🔮 The Ethereal cs.LO 1 1 year ago
2856 Compression with wildcards: All induced metric subgraphs
Marcel Wild
🔮 The Ethereal math.CO 1 1 year ago
2857 Fast decision tree learning solves hard coding-theoretic problems
Caleb Koch, Carmen Strassle, Li-Yang Tan
🔮 The Ethereal cs.CC 1 1 year ago
2858 Polynomial Universes in Homotopy Type Theory
C. B. Aberlé, David I. Spivak
🔮 The Ethereal cs.LO 1 1 year ago
2859 $k$-local Graphs
Christian Beth, Pamela Fleischmann, ... (+5 more)
🔮 The Ethereal math.CO 1 1 year ago
2860 Optimal additive quaternary codes of dimension $3.5$
Sascha Kurz
🔮 The Ethereal math.CO 1 1 year ago
2861 On combinatorial descriptions of faces of the cone of supermodular functions
Milan Studený
🔮 The Ethereal math.CO 1 1 year ago
2862 Solving Polynomial Equations Over Finite Fields
Holger Dell, Anselm Haak, ... (+2 more)
🔮 The Ethereal cs.CC 1 1 year ago
2863 Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
Matteo Capucci, David Jaz Myers
🔮 The Ethereal math.CT 1 1 year ago
2864 Focal-free uniform hypergraphs and codes
Xinqi Huang, Chong Shangguan, ... (+2 more)
🔮 The Ethereal math.CO 1 1 year ago
2865 Leveraging Slither and Interval Analysis to build a Static Analysis Tool
Stefan-Claudiu Susan
🔮 The Ethereal cs.LO 1 1 year ago
2866 New classes of reversible cellular automata
Jan Kristian Haugland, Tron Omland
🔮 The Ethereal math.CO 1 1 year ago
2867 Nearly-Linear Time Seeded Extractors with Short Seeds
Dean Doron, João Ribeiro
🔮 The Ethereal cs.CC 1 1 year ago
2868 Positive Focusing is Directly Useful
Beniamino Accattoli, Jui-Hsuan Wu
🔮 The Ethereal cs.LO 1 1 year ago
2869 Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
Hubie Chen, Stefan Mengel
🔮 The Ethereal cs.LO 1 1 year ago
2870 Weak Permission is not Well-Founded, Grounded and Stable
Guido Governatori
🔮 The Ethereal cs.LO 1 1 year ago
2871 The Lambda Calculus is Quantifiable
Valentin Maestracci, Paolo Pistone
🔮 The Ethereal cs.LO 1 1 year ago
2872 On large Sidon sets
Ingo Czerwinski, Alexander Pott
🔮 The Ethereal math.CO 1 1 year ago
2873 Synchronisability in Mailbox Communication
Cinzia Di Giusto, Laetitia Laversa, Kirstin Peters
🔮 The Ethereal cs.FL 1 1 year ago
2874 Application of AI to formal methods - an analysis of current trends
Sebastian Stock, Jannik Dunkelau, Atif Mashkoor
🔮 The Ethereal cs.LO 1 1 year ago
2875 Algorithmics and Complexity of Cost-Driven Task Offloading with Submodular Optimization in Edge-Cloud Environments
Longkun Guo, Jiawei Lin, ... (+2 more)
🔮 The Ethereal cs.DM 1 1 year ago
2876 J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
Kevin Batz, Benjamin Lucien Kaminski, ... (+2 more)
🔮 The Ethereal cs.LO 1 1 year ago
2877 Weakly acyclic diagrams: A data structure for infinite-state symbolic verification
Michael Blondin, Michaël Cadilhac, ... (+4 more)
🔮 The Ethereal cs.LO 1 1 year ago
2878 Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
Conrad Zimmerman, Jenna DiVincenzo
🔮 The Ethereal cs.LO 1 1 year ago
2879 Probability and Angelic Nondeterminism with Multiset Semantics
Shawn Ong, Stephanie Ma, Dexter Kozen
🔮 The Ethereal cs.LO 1 1 year ago
2880 CSSDH: An Ontology for Social Determinants of Health to Operational Continuity of Care Data Interoperability
Subhashis Das, Debashis Naskar, Sara Rodriguez Gonzalez
🔮 The Ethereal cs.LO 1 1 year ago
2881 Direct Encoding of Declare Constraints in ASP
Francesco Chiariello, Valeria Fionda, ... (+2 more)
🔮 The Ethereal cs.LO 1 1 year ago
2882 The Black Ninjas and the Sniper: On Robustness of Population Protocols
Benno Lossin, Philipp Czerner, ... (+3 more)
🔮 The Ethereal cs.FL 1 1 year ago
2883 Whitney Numbers of Rank-Metric Lattices and Code Enumeration
Giuseppe Cotardo, Alberto Ravagnani, Ferdinando Zullo
🔮 The Ethereal math.CO 1 1 year ago
2884 Implicit Rankings for Verifying Liveness Properties in First-Order Logic
Raz Lotan, Sharon Shoham
🔮 The Ethereal cs.LO 1 1 year ago
2885 Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
Daniil Averkov, Tatiana Belova, ... (+9 more)
🔮 The Ethereal cs.LO 1 1 year ago
2886 On the Power and Limitations of Examples for Description Logic Concepts
Balder ten Cate, Raoul Koudijs, Ana Ozaki
🔮 The Ethereal cs.LO 1 1 year ago
2887 On the occupancy fraction of the antiferromagnetic Ising model
Ewan Davies, Olivia LeBlanc
🔮 The Ethereal math.CO 1 1 year ago
2888 Collision-resistant hash-shuffles on the reals
George Barmpalias, Xiaoyan Zhang
🔮 The Ethereal math.LO 1 1 year ago
2889 On H-Intersecting Graph Families and Counting of Homomorphisms
Igal Sason
🔮 The Ethereal math.CO 1 1 year ago
2890 Changing almost perfect nonlinear functions on affine subspaces of small codimensions
Hiroaki Taniguchi, Alexandr Polujan, ... (+2 more)
🔮 The Ethereal math.CO 1 1 year ago
2891 Proof Recommendation System for the HOL4 Theorem Prover
Nour Dekhil, Adnan Rashid, Sofiene Tahar
🔮 The Ethereal cs.LO 1 1 year ago
2892 FC-Datalog as a Framework for Efficient String Querying
Owen M. Bell, Joel D. Day, Dominik D. Freydenberger
🔮 The Ethereal cs.LO 1 1 year ago
2893 Efficient Algorithm for Sparse Fourier Transform of Generalized $q$-ary Functions
Darin Tsui, Kunal Talreja, Amirali Aghazadeh
🔮 The Ethereal cs.CC 1 1 year ago
2894 An O(log n)-Approximation Algorithm for (p,q)-Flexible Graph Connectivity via Independent Rounding
Sharat Ibrahimpur, László A. Végh
🔮 The Ethereal cs.DM 1 1 year ago
2895 Constructive characterisations of the must-preorder for asynchrony
Giovanni Bernardi, Ilaria Castellani, ... (+2 more)
🔮 The Ethereal cs.LO 1 1 year ago
2896 A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances
Xichen Tang
🔮 The Ethereal cs.LO 1 1 year ago
2897 A domain-theoretic framework for conditional probability and Bayesian updating in programming
Pietro Di Gianantonio, Abbas Edalat
🔮 The Ethereal cs.LO 1 1 year ago
2898 Unweighted One-Sided Code Sparsifiers and Thin Subgraphs
Shayan Oveis Gharan, Arvin Sahami
🔮 The Ethereal math.CO 1 1 year ago
2899 On a tree-based variant of bandwidth and forbidding simple topological minors
Hugo Jacob, William Lochet, Christophe Paul
🔮 The Ethereal cs.DM 1 1 year ago
2900 Generalized De Bruijn Words, Invertible Necklaces, and the Burrows-Wheeler Transform
Gabriele Fici, Estéban Gabory
🔮 The Ethereal math.CO 1 1 year ago