💀 The Wall of Shame

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

Page 74, showing 50 papers

# Paper Cause of Death Category Citations Published
3651 Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
Marcos Grandury, Aleksandar Nanevski, Alexander Gryzlov
🔮 The Ethereal cs.LO 0 1 year ago
3652 Graphs with no long claws: An improved bound for the analog of the Gyárfás' path argument
Romain Bourneuf, Jana Masaříková, ... (+2 more)
🔮 The Ethereal math.CO 0 1 year ago
3653 Quantifier Elimination and Craig Interpolation, Quantitatively
Kevin Batz, Joost-Pieter Katoen, Nora Orhan
🔮 The Ethereal cs.LO 0 1 year ago
3654 Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
Giorgio Cignarale, Stephan Felber, ... (+3 more)
🔮 The Ethereal cs.LO 0 1 year ago
3655 Formalising Propositional Information via Implication Hypergraphs
Vibhu Dalal
🔮 The Ethereal math.LO 0 1 year ago
3656 Dismountability in Temporal Cliques Revisited
Daniele Carnevale, Arnaud Casteigts, Timothée Corsini
🔮 The Ethereal cs.DM 0 1 year ago
3657 Space-bounded online Kolmogorov complexity is additive
Bruno Bauwens, Maria Marchenko
🔮 The Ethereal cs.CC 0 1 year ago
3658 A Quadratic Lower Bound for Stable Roommates Solvability
Will Rosenbaum
🔮 The Ethereal cs.CC 0 1 year ago
3659 Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
George Kaye
🔮 The Ethereal cs.LO 0 1 year ago
3660 Abstract questionnaires and FS-decision digraphs
Jiaye Chen, Suzan Kadri, ... (+2 more)
🔮 The Ethereal math.CO 0 1 year ago
3661 Data Structures for Finite Downsets of Natural Vectors: Theory and Practice
Michaël Cadilhac, Vanessa Flügel, ... (+2 more)
🔮 The Ethereal cs.LO 0 1 year ago
3662 Autonomous Task Completion Based on Goal-directed Answer Set Programming
Alexis R. Tudor
🔮 The Ethereal cs.LO 0 1 year ago
3663 Relating Answer Set Programming and Many-sorted Logics for Formal Verification
Zachary Hansen
🔮 The Ethereal cs.LO 0 1 year ago
3664 Early Validation of High-level Requirements on Cyber-Physical Systems
Ondřej Vašíček
🔮 The Ethereal cs.LO 0 1 year ago
3665 A Program Logic for Under-approximating Worst-case Resource Usage
Ziyue Jin, Di Wang
🔮 The Ethereal cs.LO 0 1 year ago
3666 The Agafonov and Schnorr-Stimm theorems for probabilistic automata
Laurent Bienvenu, Hugo Gimbert, Subin Pulari
🔮 The Ethereal cs.FL 0 1 year ago
3667 Slant/Gokigen Naname is NP-complete, and Some Variations are in P
Jayson Lynch, Jack Spalding-Jamieson
🔮 The Ethereal cs.DM 0 1 year ago
3668 The 2-Adjunction that relates Universal Arrows and Extensive Monads
Adrian Vazquez-Marquez, Jenylin Zuniga-Apipilhuasco
🔮 The Ethereal math.CT 0 1 year ago
3669 Proof systems for partial incorrectness logic (partial reverse Hoare logic)
Yukihiro Oda
🔮 The Ethereal cs.LO 0 1 year ago
3670 A Graph Width Perspective on Partially Ordered Hamiltonian Paths
Jesse Beisegel, Katharina Klost, ... (+3 more)
🔮 The Ethereal cs.DM 0 1 year ago
3671 On the minimum Hamming distance between vectorial Boolean and affine functions
Gabor P. Nagy
🔮 The Ethereal math.CO 0 1 year ago
3672 Linearization via Rewriting (Long Version)
Ugo Dal Lago, Federico Olimpieri
🔮 The Ethereal cs.LO 0 1 year ago
3673 Existence of Deadlock-Free Routing for Arbitrary Networks
Uri Mendlovic, Yossi Matias
🔮 The Ethereal math.CO 0 1 year ago
3674 Deterministically approximating the volume of a Kostka polytope
Hariharan Narayanan, Piyush Srivastava
🔮 The Ethereal math.CO 0 1 year ago
3675 A Quadratic Vertex Kernel and a Subexponential Algorithm for Subset-FAST
Satyabrata Jana, Lawqueen Kanesh, ... (+3 more)
🔮 The Ethereal cs.DM 0 1 year ago
3676 An upper bound on the size of a code with $s$ distances
Ivan Landjev, Konstantin Vorobev
🔮 The Ethereal math.CO 0 1 year ago
3677 Towards Transitive-free Digraphs
Ankit Abhinav, Satyabrata Jana, Abhishek Sahu
🔮 The Ethereal cs.DM 0 1 year ago
3678 Contract Based Program Models for Software Model Checking
Jesper Amilon, Dilian Gurov
🔮 The Ethereal cs.FL 0 1 year ago
3679 Semi-Streaming Algorithms for Graph Property Certification
Avinandan Das, Pierre Fraigniaud, ... (+2 more)
🔮 The Ethereal cs.CC 0 1 year ago
3680 Connected Partitions via Connected Dominating Sets
Aikaterini Niklanovits, Kirill Simonov, ... (+2 more)
🔮 The Ethereal math.CO 0 1 year ago
3681 Deciding if a DAG is Interesting is Hard
Jean-Lou De Carufel, Anil Maheshwari, ... (+4 more)
🔮 The Ethereal cs.CC 0 1 year ago
3682 $k$-Universality of Regular Languages Revisited
Duncan Adamson, Pamela Fleischmann, ... (+3 more)
🔮 The Ethereal cs.FL 0 1 year ago
3683 Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
Jörg Endrullis, Dominik Grzelak, ... (+2 more)
🔮 The Ethereal cs.LO 0 1 year ago
3684 Zippy -- Generic White-Box Proof Search with Zippers
Kevin Kappelmann
🔮 The Ethereal cs.LO 0 1 year ago
3685 An Algebraic Approach to Weighted Answer-set Programming
Francisco Coelho, Bruno Dinis, ... (+2 more)
🔮 The Ethereal cs.LO 0 1 year ago
3686 Algorithmic randomness and the weak merging of computable probability measures
Simon M. Huttegger, Sean Walsh, Francesca Zaffora Blando
🔮 The Ethereal math.LO 0 1 year ago
3687 Improved Bounds for Coin Flipping, Leader Election, and Random Selection
Eshan Chattopadhyay, Mohit Gurumukhani, ... (+2 more)
🔮 The Ethereal cs.CC 0 1 year ago
3688 Semidefinite lower bounds for covering codes
Dion Gijswijt, Sven Polak
🔮 The Ethereal math.CO 0 1 year ago
3689 Example-Free Learning of Regular Languages with Prefix Queries
Eve Fernando, Sasha Rubin, Rahul Gopinath
🔮 The Ethereal cs.FL 0 1 year ago
3690 Interval Graphs are Reconstructible
Irene Heinrich, Masashi Kiyomi, ... (+2 more)
🔮 The Ethereal math.CO 0 1 year ago
3691 Mind the Gap? Not for SVP Hardness under ETH!
Divesh Aggarwal, Rishav Gupta, Aditya Morolia
🔮 The Ethereal cs.CC 0 1 year ago
3692 Constant Rate Isometric Embeddings of Hamming Metric into Edit Metric
Sudatta Bhattacharya, Sanjana Dey, ... (+5 more)
🔮 The Ethereal cs.DM 0 1 year ago
3693 The Minimum Eternal Vertex Cover Problem on a Subclass of Series-Parallel Graphs
Tiziana Calamoneri, Federico Corò, Giacomo Paesani
🔮 The Ethereal math.CO 0 1 year ago
3694 Key-agreement exists if and only if the "interactive vs non interactive Kolmogorov problem" is not in ioBPP: a short proof
Bruno Bauwens, Bruno Loff
🔮 The Ethereal cs.CC 0 1 year ago
3695 Projective systems and bounds on the length of codes of non-zero defect
Tim L. Alderson, Zhipeng Zhang
🔮 The Ethereal math.CO 0 1 year ago
3696 Weighted GKAT: Completeness and Complexity
Spencer Van Koevering, Wojciech Różowski, Alexandra Silva
🔮 The Ethereal cs.LO 0 1 year ago
3697 The Planted Orthogonal Vectors Problem
David Kühnemann, Adam Polak, Alon Rosen
🔮 The Ethereal cs.CC 0 1 year ago
3698 On optimal distinguishers for Planted Clique
Ansh Nagda, Prasad Raghavendra
🔮 The Ethereal cs.CC 0 1 year ago
3699 GNU Aris: a web application for students
Saksham Attri, Zoltán Kovács, Aaron Windischbauer
🔮 The Ethereal cs.LO 0 1 year ago
3700 Scheduled Jacobian Chaining
Simon Märtens, Uwe Naumann
🔮 The Ethereal cs.DM 0 1 year ago