💀 The Wall of Shame

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

Page 71, showing 50 papers

# Paper Cause of Death Category Citations Published
3501 Reconfigurable routing in data center networks
David C. Kutner, Iain A. Stewart
🔮 The Ethereal cs.CC 0 2 years ago
3502 Foundations of Substructural Dependent Type Theory
C. B. Aberlé
🔮 The Ethereal cs.LO 0 2 years ago
3503 New results on sparse representations in unions of orthonormal bases
Tao Zhang, Gennian Ge
🔮 The Ethereal math.CO 0 2 years ago
3504 Semitopology: distributed collaborative action via topology, algebra, and logic
Murdoch J. Gabbay
🔮 The Ethereal cs.LO 0 2 years ago
3505 Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani
🔮 The Ethereal cs.LO 0 2 years ago
3506 Vectorial Negabent Concepts: Similarities, Differences, and Generalizations
Nurdagül Anbar, Sadmir Kudin, ... (+3 more)
🔮 The Ethereal math.CO 0 2 years ago
3507 Finding hardness reductions automatically using SAT solvers
Helena Bergold, Manfred Scheucher, Felix Schröder
🔮 The Ethereal cs.CC 0 2 years ago
3508 Nearest Neighbor Representations of Neural Circuits
Kordag Mehmet Kilic, Jin Sima, Jehoshua Bruck
🔮 The Ethereal cs.CC 0 2 years ago
3509 On a recent extension of a family of biprojective APN functions
Lukas Kölsch
🔮 The Ethereal math.CO 0 2 years ago
3510 A Simple Proof that Ricochet Robots is PSPACE-Complete
Jose Balanza-Martinez, Angel A. Cantu, ... (+2 more)
🔮 The Ethereal cs.CC 0 2 years ago
3511 List Coloring of some Cayley graphs using Kernel perfections
Prajnanaswaroopa S
🔮 The Ethereal math.CO 0 2 years ago
3512 Equational Bit-Vector Solving via Strong Gröbner Bases
Jiaxin Song, Hongfei Fu, Charles Zhang
🔮 The Ethereal cs.LO 0 2 years ago
3513 Enumeration for MSO-Queries on Compressed Trees
Markus Lohrey, Markus L. Schmid
🔮 The Ethereal cs.FL 0 2 years ago
3514 Length Functions and the Dimension of Points in Self-Similar Fractal Trees
Christopher P. Porter
🔮 The Ethereal math.LO 0 2 years ago
3515 On $[1,2]$-Domination in Interval and Circle Graphs
Mohsen Alambardar Meybodi, Abolfazl Poureidi
🔮 The Ethereal cs.CC 0 2 years ago
3516 Realizability in Semantics-Guided Synthesis Done Eagerly
Roland Meyer, Jakob Tepe, Sebastian Wolff
🔮 The Ethereal cs.LO 0 2 years ago
3517 Approximating Maximum Edge 2-Coloring by Normalizing Graphs
Tobias Mömke, Alexandru Popa, ... (+3 more)
🔮 The Ethereal cs.DM 0 2 years ago
3518 A bargain for mergesorts -- How to prove your mergesort correct and stable, almost for free
Cyril Cohen, Kazuhiko Sakaguchi
🔮 The Ethereal cs.LO 0 2 years ago
3519 The q-ary Gilbert-Varshamov bound can be improved for all but finitely many positive integers q
Xue-Bin Liang
🔮 The Ethereal math.CO 0 2 years ago
3520 Fregean Flows
Eric Easthope
🔮 The Ethereal math.LO 0 2 years ago
3521 On extended perfect codes
Konstantin Vorob'ev
🔮 The Ethereal math.CO 0 2 years ago
3522 PackIt! Gamified Rectangle Packing
Thomas Garrison, Marijn J. H. Heule, Bernardo Subercaseaux
🔮 The Ethereal math.CO 0 2 years ago
3523 Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
Frédéric Lang, Matthias Volk
🔮 The Ethereal cs.LO 0 2 years ago
3524 Modelling the Raft Distributed Consensus Protocol in mCRL2
Parth Bora, Pham Duc Minh, Tim A. C. Willemse
🔮 The Ethereal cs.LO 0 2 years ago
3525 Hardness of Learning Boolean Functions from Label Proportions
Venkatesan Guruswami, Rishi Saket
🔮 The Ethereal cs.CC 0 2 years ago
3526 Representing Knowledge and Querying Data using Double-Functorial Semantics
Michael Lambert, Evan Patterson
🔮 The Ethereal math.CT 0 2 years ago
3527 Computing a Fixed Point of Contraction Maps in Polynomial Queries
Xi Chen, Yuhao Li, Mihalis Yannakakis
🔮 The Ethereal cs.CC 0 2 years ago
3528 A formal specification of the jq language
Michael Färber
🔮 The Ethereal cs.LO 0 2 years ago
3529 Degree Sequence Optimization and Extremal Degree Enumerators
Shmuel Onn
🔮 The Ethereal math.CO 0 2 years ago
3530 A classification of overlapping clustering schemes for hypergraphs
Vilhelm Agdur
🔮 The Ethereal math.CO 0 2 years ago
3531 Parametricity via Cohesion
C. B. Aberlé
🔮 The Ethereal cs.LO 0 2 years ago
3532 Association schemes arising from non-weakly regular bent functions
Yadi Wei, Jiaxin Wang, Fang-Wei Fu
🔮 The Ethereal math.CO 0 2 years ago
3533 The Central Spanning Tree Problem
Enrique Fita Sanmartín, Christoph Schnörr, Fred A. Hamprecht
🔮 The Ethereal cs.DM 0 2 years ago
3534 Fourier Analysis of Iterative Algorithms
Chris Jones, Lucas Pesenti
🔮 The Ethereal cs.CC 0 2 years ago
3535 Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
Temur Kutsia, Daniel Ventura, ... (+2 more)
🔮 The Ethereal cs.LO 0 2 years ago
3536 On the sizes of BDDs and ZDDs representing matroids
Hiromi Emoto, Yuni Iwamasa, Shin-ichi Minato
🔮 The Ethereal math.CO 0 2 years ago
3537 $α_i$-Metric Graphs: Hyperbolicity
Feodor F. Dragan, Guillaume Ducoffe
🔮 The Ethereal math.CO 0 2 years ago
3538 More Church-Rosser Proofs in BELUGA
Alberto Momigliano, Martina Sassella
🔮 The Ethereal cs.LO 0 2 years ago
3539 An Encoding for CLP Problems in SMT-LIB
Daneshvar Amrollahi, Hossein Hojjat, Philipp Rümmer
🔮 The Ethereal cs.LO 0 2 years ago
3540 muRelBench: MicroBenchmarks for Zonotope Domains
Kenny Ballou, Elena Sherman
🔮 The Ethereal cs.LO 0 2 years ago
3541 Tightening I/O Lower Bounds through the Hourglass Dependency Pattern
Lionel Eyraud-Dubois, Guillaume Iooss, ... (+2 more)
🔮 The Ethereal cs.CC 0 2 years ago
3542 The distance function on Coxeter-like graphs and self-dual codes
Marko Orel, Draženka Višnjić
🔮 The Ethereal math.CO 0 2 years ago
3543 Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
Yuanrui Zhang
🔮 The Ethereal cs.LO 0 2 years ago
3544 Useful Evaluation: Syntax and Semantics (Technical Report)
Pablo Barenbaum, Delia Kesner, Mariana Milicich
🔮 The Ethereal cs.LO 0 2 years ago
3545 Partially Ordered Sets Corresponding to the Partition Problem
Susumu Kubo
🔮 The Ethereal cs.DM 0 2 years ago
3546 Data reification in a concurrent rely-guarantee algebra
Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones
🔮 The Ethereal cs.LO 0 2 years ago
3547 Dimensionality and randomness
George Barmpalias, Xiaoyan Zhang
🔮 The Ethereal math.LO 0 2 years ago
3548 A Pair of Bayesian Network Structures has Undecidable Conditional Independencies
Cheuk Ting Li
🔮 The Ethereal cs.CC 0 2 years ago
3549 On the Paley RIP and Paley graph extractor
Shohei Satake
🔮 The Ethereal math.CO 0 2 years ago
3550 Kolmogorov complexity as a combinatorial tool
Alexander Shen
🔮 The Ethereal cs.DM 0 2 years ago