💀 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 Probabilistic Couplings for Probabilistic Reasoning
Justin Hsu
🔮 The Ethereal cs.LO 24 8 years ago
402 Java & Lambda: a Featherweight Story
Lorenzo Bettini, Viviana Bono, ... (+3 more)
🔮 The Ethereal cs.LO 24 8 years ago
403 Hidden Hamiltonian Cycle Recovery via Linear Programming
Vivek Bagaria, Jian Ding, ... (+3 more)
🔮 The Ethereal cs.DM 24 8 years ago
404 Solving Horn Clauses on Inductive Data Types Without Induction
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
🔮 The Ethereal cs.LO 24 8 years ago
405 PaMpeR: Proof Method Recommendation System for Isabelle/HOL
Yutaka Nagashima, Yilun He
🔮 The Ethereal cs.LO 24 7 years ago
406 Coaxioms: flexible coinductive definitions by inference systems
Francesco Dagnino
🔮 The Ethereal cs.LO 24 7 years ago
407 A certifying extraction with time bounds from Coq to call-by-value $λ$-calculus
Yannick Forster, Fabian Kunze
🔮 The Ethereal cs.LO 24 6 years ago
408 Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu
🔮 The Ethereal cs.LO 24 6 years ago
409 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
410 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
411 Parameterized Verification of Systems with Global Synchronization and Guards
Nouraldin Jaber, Swen Jacobs, ... (+3 more)
🔮 The Ethereal cs.FL 24 6 years ago
412 When Votes Change and Committees Should (Not)
Robert Bredereck, Till Fluschnik, Andrzej Kaczmarczyk
🔮 The Ethereal cs.CC 24 5 years ago
413 Conformance Checking of Mixed-paradigm Process Models
Boudewijn van Dongen, Johannes De Smedt, ... (+2 more)
🔮 The Ethereal cs.FL 24 5 years ago
414 Blocking sets, minimal codes and trifferent codes
Anurag Bishnoi, Jozefien D'haeseleer, ... (+2 more)
🔮 The Ethereal math.CO 24 3 years ago
415 Reassembling trees for the traveling salesman
Jens Vygen
🔮 The Ethereal cs.DM 23 11 years ago
416 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 10 years ago
417 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
418 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
419 Abstraction/Representation Theory for Heterotic Physical Computing
Dominic C. Horsman
🔮 The Ethereal cs.LO 23 10 years ago
420 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
421 Separating hash families: A Johnson-type bound and new constructions
Chong Shangguan, Gennian Ge
🔮 The Ethereal cs.DM 23 10 years ago
422 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
423 First-Order Query Evaluation with Cardinality Conditions
Martin Grohe, Nicole Schweikardt
🔮 The Ethereal cs.LO 23 8 years ago
424 Optimal rate list decoding over bounded alphabets using algebraic-geometric codes
Venkatesan Guruswami, Chaoping Xing
🔮 The Ethereal cs.CC 23 8 years ago
425 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
426 Lower bounds over Boolean inputs for deep neural networks with ReLU gates
Anirbit Mukherjee, Amitabh Basu
🔮 The Ethereal cs.CC 23 8 years ago
427 Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
Mathys Rennela, Sam Staton
🔮 The Ethereal cs.LO 23 8 years ago
428 Functorial Semantics for Relational Theories
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski
🔮 The Ethereal cs.LO 23 8 years ago
429 Majorization and Rényi Entropy Inequalities via Sperner Theory
Mokshay Madiman, Liyao Wang, Jae Oh Woo
🔮 The Ethereal math.CO 23 8 years ago
430 Bundled fragments of first-order modal logic: (un)decidability
Anantha Padmanabha, R. Ramanujam, Yanjing Wang
🔮 The Ethereal cs.LO 23 8 years ago
431 Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
Kuldeep S. Meel
🔮 The Ethereal cs.LO 23 7 years ago
432 Semantic Integration in the Information Flow Framework
Robert E. Kent
🔮 The Ethereal cs.LO 23 7 years ago
433 Cluster Editing with Vertex Splitting
Faisal N. Abu-Khzam, Emmanuel Arrighi, ... (+8 more)
🔮 The Ethereal cs.CC 23 7 years ago
434 How fast can we reach a target vertex in stochastic temporal graphs?
Eleni C. Akrida, George B. Mertzios, ... (+4 more)
🔮 The Ethereal cs.CC 23 7 years ago
435 Neural network identifiability for a family of sigmoidal nonlinearities
Verner Vlačić, Helmut Bölcskei
🔮 The Ethereal math.CO 23 6 years ago
436 Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
Romain Péchoux, Simon Perdrix, ... (+2 more)
🔮 The Ethereal cs.LO 23 6 years ago
437 Open Diagrams via Coend Calculus
Mario Román
🔮 The Ethereal math.CT 23 6 years ago
438 Towards making formal methods normal: meeting developers where they are
Alastair Reid, Luke Church, ... (+4 more)
🔮 The Ethereal cs.LO 23 5 years ago
439 Graph Tikhonov Regularization and Interpolation via Random Spanning Forests
Yusuf Pilavci, Pierre-Olivier Amblard, ... (+2 more)
🔮 The Ethereal cs.DM 23 5 years ago
440 Optimal-Degree Polynomial Approximations for Exponentials and Gaussian Kernel Density Estimation
Amol Aggarwal, Josh Alman
🔮 The Ethereal cs.CC 23 3 years ago
441 Prophecy Variables for Hyperproperty Verification
Raven Beutner, Bernd Finkbeiner
🔮 The Ethereal cs.LO 23 3 years ago
442 Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)
Upamanyu Sharma, Ralf Jung, ... (+3 more)
🔮 The Ethereal cs.LO 23 2 years ago
443 A natural counting of lambda terms
Maciej Bendkowski, Katarzyna Grygiel, ... (+2 more)
🔮 The Ethereal cs.LO 22 10 years ago
444 Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
🔮 The Ethereal cs.LO 22 10 years ago
445 Symmetries of matrix multiplication algorithms. I
V. P. Burichenko
🔮 The Ethereal cs.CC 22 10 years ago
446 Sparsification Upper and Lower Bounds for Graph Problems and Not-All-Equal SAT
Bart M. P. Jansen, Astrid Pieterse
🔮 The Ethereal cs.CC 22 10 years ago
447 Motivating Time-Inconsistent Agents: A Computational Approach
Susanne Albers, Dennis Kraft
🔮 The Ethereal cs.CC 22 10 years ago
448 Concurrent Data Structures Linked in Time
Germán Andrés Delbianco, Ilya Sergey, ... (+2 more)
🔮 The Ethereal cs.LO 22 9 years ago
449 Biabduction (and Related Problems) in Array Separation Logic
James Brotherston, Nikos Gorogiannis, Max Kanovich
🔮 The Ethereal cs.LO 22 9 years ago
450 Accounting for the Role of Long Walks on Networks via a New Matrix Function
Ernesto Estrada, Grant Silver
🔮 The Ethereal math.CO 22 9 years ago