💀 The Wall of Shame

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

Page 73, showing 50 papers

# Paper Cause of Death Category Citations Published
3601 Locally seeded embeddings, and Ramsey numbers of bipartite graphs with sublinear bandwidth
Dylan J. Altschuler, Han Huang, Konstantin Tikhomirov
🔮 The Ethereal math.CO 0 1 year ago
3602 Automata Size Reduction by Procedure Finding
Michal Šedý, Lukáš Holík
🔮 The Ethereal cs.FL 0 1 year ago
3603 Parameterized Saga of First-Fit and Last-Fit Coloring
Akanksha Agrawal, Daniel Lokshtanov, ... (+3 more)
🔮 The Ethereal cs.DM 0 1 year ago
3604 On the number of relevant variables for discrete functions
V. N. Potapov
🔮 The Ethereal math.CO 0 1 year ago
3605 Erdős-Gyárfás conjecture on graphs without long induced paths
Anand Shripad Hegde, R. B. Sandeep, P. Shashank
🔮 The Ethereal math.CO 0 1 year ago
3606 Converting BPMN Diagrams to Privacy Calculus
Georgios V. Pitsiladis, Petros S. Stefaneas
🔮 The Ethereal cs.LO 0 1 year ago
3607 Tracer: A Tool for Race Detection in Software Defined Network Models
Georgiana Caltais, Mahboobeh Zangiabady, Ervin Zvirbulis
🔮 The Ethereal cs.FL 0 1 year ago
3608 A Type System for Data Flow and Alias Analysis in ReScript
Nicky Ask Lund, Hans Hüttel
🔮 The Ethereal cs.LO 0 1 year ago
3609 Early Announcement: Parametricity for GADTs
Pierre Cagne, Patricia Johann
🔮 The Ethereal cs.LO 0 1 year ago
3610 Decidability Issues for Petri Nets -- a survey
Javier Esparza, Mogens Nielsen
🔮 The Ethereal cs.FL 0 1 year ago
3611 Reconstructing edge-deleted unicyclic graphs
Anthony E. Pizzimenti, Umarkhon Rakhimov
🔮 The Ethereal math.CO 0 1 year ago
3612 Noisy Linear Group Testing: Exact Thresholds and Efficient Algorithms
Lukas Hintze, Lena Krieg, ... (+2 more)
🔮 The Ethereal cs.DM 0 1 year ago
3613 Learning Aggregate Queries Defined by First-Order Logic with Counting
Steffen van Bergerem, Nicole Schweikardt
🔮 The Ethereal cs.LO 0 1 year ago
3614 Automated Strategy Invention for Confluence of Term Rewrite Systems
Liao Zhang, Fabian Mitterwallner, ... (+2 more)
🔮 The Ethereal cs.LO 0 1 year ago
3615 Typed Non-determinism in Concurrent Calculi: The Eager Way
Bas van den Heuvel, Daniele Nantes-Sobrinho, ... (+2 more)
🔮 The Ethereal cs.LO 0 1 year ago
3616 A Zero-Knowledge PCP Theorem
Tom Gur, Jack O'Connor, Nicholas Spooner
🔮 The Ethereal cs.CC 0 1 year ago
3617 Nearly Tight Bounds on Testing of Metric Properties
Yiqiao Bao, Sampath Kannan, Erik Waingarten
🔮 The Ethereal cs.DM 0 1 year ago
3618 Learning Quantitative Automata Modulo Theories
Eric Hsiung, Swarat Chaudhuri, Joydeep Biswas
🔮 The Ethereal cs.FL 0 1 year ago
3619 SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout
Bohan Li, Dawei Li, ... (+2 more)
🔮 The Ethereal cs.LO 0 1 year ago
3620 Strong XOR Lemma for Information Complexity
Pachara Sawettamalya, Huacheng Yu
🔮 The Ethereal cs.CC 0 1 year ago
3621 Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck, Mengwei Xu
🔮 The Ethereal cs.LO 0 1 year ago
3622 A Hierarchical Scale-free Graph Generator under Limited Resources
Xiaorui Qi, Yanlong Wen, Xiaojie Yuan
🔮 The Ethereal cs.DM 0 1 year ago
3623 Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
Syed Ali Asadullah Bukhari, Thomas Flinkow, ... (+3 more)
🔮 The Ethereal cs.LO 0 1 year ago
3624 A $k^{\frac{q}{q-2}}$ Lower Bound for Odd Query Locally Decodable Codes from Bipartite Kikuchi Graphs
Oliver Janzer, Peter Manohar
🔮 The Ethereal cs.CC 0 1 year ago
3625 Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems
Jan Gruteser, Jan Roßbach, ... (+2 more)
🔮 The Ethereal cs.LO 0 1 year ago
3626 Reducibility among NP-Hard graph problems and boundary classes
Syed Mujtaba Hassan, Shahid Hussain, Abdul Samad
🔮 The Ethereal cs.CC 0 1 year ago
3627 The Polymatroid Representation of a Greedoid, and Associated Galois Connections
Robert Streit, Vijay K. Garg
🔮 The Ethereal math.CO 0 1 year ago
3628 Bow Metrics and Hyperbolicity
Feodor F. Dragan, Guillaume Ducoffe, ... (+2 more)
🔮 The Ethereal math.CO 0 1 year ago
3629 Social Distancing Induced Coronavirus Optimization Algorithm (COVO): Application to Multimodal Function Optimization and Noise Removal
Om Ramakisan Varma, Mala Kalra
🔮 The Ethereal cs.CC 0 1 year ago
3630 Bounds for Quantum Circuits using Logic-Based Analysis
Benedikt Fauseweh, Ben Hermann, Falk Howar
🔮 The Ethereal cs.LO 0 1 year ago
3631 On the matching arrangement of a graph, improper weight function problem and its application
Aleksey Bolotnikov, Anwar Irmatov
🔮 The Ethereal math.CO 0 1 year ago
3632 Summa Summarum: Moessner's Theorem without Dynamic Programming
Olivier Danvy
🔮 The Ethereal cs.DM 0 1 year ago
3633 VEL: A Formally Verified Reasoner for OWL2 EL Profile
Atalay Mert Ileri, Nalen Rangarajan, ... (+2 more)
🔮 The Ethereal cs.LO 0 1 year ago
3634 Congruence-based Learning of Probabilistic Deterministic Finite Automata
Matías Carrasco, Franz Mayr, Sergio Yovine
🔮 The Ethereal cs.FL 0 1 year ago
3635 Linear Equations with Min and Max Operators: Computational Complexity
Krishnendu Chatterjee, Ruichen Luo, ... (+2 more)
🔮 The Ethereal cs.CC 0 1 year ago
3636 Localized RETE for Incremental Graph Queries with Nested Graph Conditions
Matthias Barkowsky, Holger Giese
🔮 The Ethereal cs.LO 0 1 year ago
3637 A Computationally Grounded Framework for Cognitive Attitudes (extended version)
Tiago de Lima, Emiliano Lorini, ... (+2 more)
🔮 The Ethereal cs.LO 0 1 year ago
3638 Expressivity of AuDaLa: Turing Completeness and Possible Extensions
Tom T. P. Franken, Thomas Neele
🔮 The Ethereal cs.LO 0 1 year ago
3639 Distance Vector Domination
Gennaro Cordasco, Luisa Garagano, Adele A. Rescigno
🔮 The Ethereal cs.CC 0 1 year ago
3640 Parameterized Complexity of (d,r)-Domination via Modular Decomposition
Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno
🔮 The Ethereal cs.CC 0 1 year ago
3641 Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
Jahid Chowdhury Choton, Lipsy Gupta, Pavithra Prabhakar
🔮 The Ethereal cs.LO 0 1 year ago
3642 Two Cases of Deduction with Non-referring Descriptions
Jiří Raclavský
🔮 The Ethereal cs.LO 0 1 year ago
3643 An Algorithmic Approach to Finding Degree-Doubling Nodes in Oriented Graphs
Charles Glover
🔮 The Ethereal math.CO 0 1 year ago
3644 Young domination on Hamming rectangles
Janko Gravner, Matjaž Krnc, ... (+2 more)
🔮 The Ethereal math.CO 0 1 year ago
3645 Technical Report: Exploring Automatic Model-Checking of the Ethereum specification
Igor Konnov, Jure Kukovec, ... (+3 more)
🔮 The Ethereal cs.LO 0 1 year ago
3646 Provenance Guided Rollback Suggestions
David Zhao, Pavle Subotic, ... (+2 more)
🔮 The Ethereal cs.LO 0 1 year ago
3647 Homotopical Entropy
Andrés Ortiz-Muñoz
🔮 The Ethereal math.CT 0 1 year ago
3648 Logical Relations for Formally Verified Authenticated Data Structures
Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti
🔮 The Ethereal cs.LO 0 1 year ago
3649 Packing Dijoins in Weighted Chordal Digraphs
Gérard Cornuéjols, Siyue Liu, R. Ravi
🔮 The Ethereal math.CO 0 1 year ago
3650 Generalized graph codes and thier minimum distances
Naoki Fujii
🔮 The Ethereal math.CO 0 1 year ago