💀 The Wall of Shame

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

Page 9, showing 50 papers

# Paper Cause of Death Category Citations Published
401 Circular Proofs as Session-Typed Processes: A Local Validity Condition
Farzaneh Derakhshan, Frank Pfenning
🔮 The Ethereal cs.LO 25 6 years ago
402 Lower Bounds for QBFs of Bounded Treewidth
Johannes Klaus Fichte, Markus Hecher, Andreas Pfandler
🔮 The Ethereal cs.CC 25 6 years ago
403 Smart Contract Interactions in Coq
Jakob Botsch Nielsen, Bas Spitters
🔮 The Ethereal cs.LO 25 6 years ago
404 On the computational power and complexity of Spiking Neural Networks
Johan Kwisthout, Nils Donselaar
🔮 The Ethereal cs.CC 25 6 years ago
405 Flip-sort and combinatorial aspects of pop-stack sorting
Andrei Asinowski, Cyril Banderier, Benjamin Hackl
🔮 The Ethereal math.CO 25 6 years ago
406 DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
🔮 The Ethereal cs.LO 25 5 years ago
407 Quickly excluding a non-planar graph
Ken-ichi Kawarabayashi, Robin Thomas, Paul Wollan
🔮 The Ethereal math.CO 25 5 years ago
408 Flipper games for monadically stable graph classes
Jakub Gajarský, Nikolas Mählmann, ... (+7 more)
🔮 The Ethereal cs.LO 25 3 years ago
409 New Bounds on Optimal Sorting Networks
Thorsten Ehlers, Mike Müller
🔮 The Ethereal cs.DM 24 11 years ago
410 Comparing Deadlock-Free Session Typed Processes
Ornela Dardha, Jorge A. Pérez
🔮 The Ethereal cs.LO 24 10 years ago
411 Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
Ilya Sergey, Aleksandar Nanevski, ... (+2 more)
🔮 The Ethereal cs.LO 24 10 years ago
412 Modeling and Verification of the Bitcoin Protocol
Kaylash Chaudhary, Ansgar Fehnker, ... (+2 more)
🔮 The Ethereal cs.LO 24 10 years ago
413 A Load-Buffer Semantics for Total Store Ordering
Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+2 more)
🔮 The Ethereal cs.FL 24 9 years ago
414 AG codes and AG quantum codes from the GGS curve
Daniele Bartoli, Maria Montanucci, Giovanni Zini
🔮 The Ethereal math.CO 24 9 years ago
415 Inverse Lyndon words and Inverse Lyndon factorizations of words
Paola Bonizzoni, Clelia De Felice, ... (+2 more)
🔮 The Ethereal cs.FL 24 9 years ago
416 Approaching $\frac{3}{2}$ for the $s$-$t$-path TSP
Vera Traub, Jens Vygen
🔮 The Ethereal cs.DM 24 9 years ago
417 Polynomial tuning of multiparametric combinatorial samplers
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
🔮 The Ethereal math.CO 24 8 years ago
418 Complexity of Scheduling Charging in the Smart Grid
Mathijs de Weerdt, Michael Albert, Vincent Conitzer
🔮 The Ethereal cs.CC 24 8 years ago
419 Probabilistic Couplings for Probabilistic Reasoning
Justin Hsu
🔮 The Ethereal cs.LO 24 8 years ago
420 Java & Lambda: a Featherweight Story
Lorenzo Bettini, Viviana Bono, ... (+3 more)
🔮 The Ethereal cs.LO 24 8 years ago
421 Hidden Hamiltonian Cycle Recovery via Linear Programming
Vivek Bagaria, Jian Ding, ... (+3 more)
🔮 The Ethereal cs.DM 24 8 years ago
422 Solving Horn Clauses on Inductive Data Types Without Induction
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
🔮 The Ethereal cs.LO 24 8 years ago
423 PaMpeR: Proof Method Recommendation System for Isabelle/HOL
Yutaka Nagashima, Yilun He
🔮 The Ethereal cs.LO 24 8 years ago
424 Coaxioms: flexible coinductive definitions by inference systems
Francesco Dagnino
🔮 The Ethereal cs.LO 24 7 years ago
425 A certifying extraction with time bounds from Coq to call-by-value $λ$-calculus
Yannick Forster, Fabian Kunze
🔮 The Ethereal cs.LO 24 7 years ago
426 Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
🔮 The Ethereal cs.LO 24 7 years ago
427 A moment ratio bound for polynomials and some extremal properties of Krawchouk polynomials and Hamming spheres
Naomi Kirshner, Alex Samorodnitsky
🔮 The Ethereal math.CO 24 6 years ago
428 Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
Carol Mak, C. -H. Luke Ong, ... (+2 more)
🔮 The Ethereal cs.LO 24 6 years ago
429 Parameterized Verification of Systems with Global Synchronization and Guards
Nouraldin Jaber, Swen Jacobs, ... (+3 more)
🔮 The Ethereal cs.FL 24 6 years ago
430 When Votes Change and Committees Should (Not)
Robert Bredereck, Till Fluschnik, Andrzej Kaczmarczyk
🔮 The Ethereal cs.CC 24 6 years ago
431 Conformance Checking of Mixed-paradigm Process Models
Boudewijn van Dongen, Johannes De Smedt, ... (+2 more)
🔮 The Ethereal cs.FL 24 5 years ago
432 Blocking sets, minimal codes and trifferent codes
Anurag Bishnoi, Jozefien D'haeseleer, ... (+2 more)
🔮 The Ethereal math.CO 24 3 years ago
433 Reassembling trees for the traveling salesman
Jens Vygen
🔮 The Ethereal cs.DM 23 11 years ago
434 A new property of the Lovász number and duality relations between graph parameters
Antonio Acín, Runyao Duan, ... (+3 more)
🔮 The Ethereal math.CO 23 11 years ago
435 Model Checking Embedded C Software using k-Induction and Invariants (extended version)
Herbert Rocha, Hussama Ismail, ... (+2 more)
🔮 The Ethereal cs.LO 23 10 years ago
436 Parallel algorithms and concentration bounds for the Lovasz Local Lemma via witness DAGs
Bernhard Haeupler, David G. Harris
🔮 The Ethereal cs.DM 23 10 years ago
437 Abstraction/Representation Theory for Heterotic Physical Computing
Dominic C. Horsman
🔮 The Ethereal cs.LO 23 10 years ago
438 An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation
Jan Friso Groote, Anton Wijs
🔮 The Ethereal cs.LO 23 10 years ago
439 Separating hash families: A Johnson-type bound and new constructions
Chong Shangguan, Gennian Ge
🔮 The Ethereal cs.DM 23 10 years ago
440 Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
Raphaël Berthon, Mickael Randour, Jean-François Raskin
🔮 The Ethereal cs.LO 23 9 years ago
441 First-Order Query Evaluation with Cardinality Conditions
Martin Grohe, Nicole Schweikardt
🔮 The Ethereal cs.LO 23 9 years ago
442 Optimal rate list decoding over bounded alphabets using algebraic-geometric codes
Venkatesan Guruswami, Chaoping Xing
🔮 The Ethereal cs.CC 23 8 years ago
443 Erdős-Pósa property of chordless cycles and its applications
Eun Jung Kim, O-joung Kwon
🔮 The Ethereal math.CO 23 8 years ago
444 Lower bounds over Boolean inputs for deep neural networks with ReLU gates
Anirbit Mukherjee, Amitabh Basu
🔮 The Ethereal cs.CC 23 8 years ago
445 Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
Mathys Rennela, Sam Staton
🔮 The Ethereal cs.LO 23 8 years ago
446 Functorial Semantics for Relational Theories
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski
🔮 The Ethereal cs.LO 23 8 years ago
447 Majorization and Rényi Entropy Inequalities via Sperner Theory
Mokshay Madiman, Liyao Wang, Jae Oh Woo
🔮 The Ethereal math.CO 23 8 years ago
448 Bundled fragments of first-order modal logic: (un)decidability
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
🔮 The Ethereal cs.LO 23 8 years ago
449 Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
Kuldeep S. Meel
🔮 The Ethereal cs.LO 23 8 years ago
450 Semantic Integration in the Information Flow Framework
Robert E. Kent
🔮 The Ethereal cs.LO 23 7 years ago