💀 The Wall of Shame

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

Page 66, showing 50 papers

# Paper Cause of Death Category Citations Published
3251 Domination in Signed Petri Net
Payal, Sangita Kansal
🔮 The Ethereal cs.DM 0 6 years ago
3252 The geometry of syntax and semantics for directed file transformations
Steve Huntsman, Michael Robinson
🔮 The Ethereal cs.LO 0 6 years ago
3253 Rewriting Structured Cospans
Daniel Cicala
🔮 The Ethereal math.CT 0 6 years ago
3254 Modular Path Queries with Arithmetic
Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
🔮 The Ethereal cs.LO 0 6 years ago
3255 Fuzzy Simultaneous Congruences
Max A. Deppert, Klaus Jansen, Kim-Manuel Klein
🔮 The Ethereal cs.DM 0 6 years ago
3256 BB_Evac: Fast Location-Sensitive Behavior-Based Building Evacuation
Subhra Mazumdar, Arindam Pal, ... (+2 more)
🔮 The Ethereal cs.DM 0 6 years ago
3257 Constructive Game Logic
Rose Bohrer, André Platzer
🔮 The Ethereal cs.LO 0 6 years ago
3258 A Type Checker for a Logical Framework with Union and Intersection Types
Luigi Liquori, Claude Stolze
🔮 The Ethereal cs.LO 0 6 years ago
3259 Two Player Hidden Pointer Chasing and Multi-Pass Lower Bounds in Turnstile Streams
Anay Mehrotra, Vibhor Porwal, Raghunath Tewari
🔮 The Ethereal cs.CC 0 6 years ago
3260 Finite Open-World Query Answering with Number Restrictions
Antoine Amarilli, Michael Benedikt
🔮 The Ethereal cs.LO 0 6 years ago
3261 Dependently Typed Knowledge Graphs
Zhangsheng Lai, Aik Beng Ng, ... (+3 more)
🔮 The Ethereal cs.FL 0 6 years ago
3262 On Degree Sequence Optimization
Shmuel Onn
🔮 The Ethereal math.CO 0 6 years ago
3263 $λ_\infty$ & Maximum Variance Embedding: Measuring and Optimizing Connectivity of A Graph Metric
Majid Farhadi, Anand Louis, ... (+2 more)
🔮 The Ethereal cs.CC 0 6 years ago
3264 Notes on Equitable Partitions into Matching Forests in Mixed Graphs and into $b$-branchings in Digraphs
Kenjiro Takazawa
🔮 The Ethereal math.CO 0 6 years ago
3265 Butson-Hadamard matrices and Plotkin-optimal p^k-ary codes
Damla Acar, Bülent Saraç, Oğuz Yayla
🔮 The Ethereal math.CO 0 6 years ago
3266 The Tandem Duplication Distance Problem is hard over bounded alphabets
Ferdinando Cicalese, Nicolò Pilati
🔮 The Ethereal cs.CC 0 6 years ago
3267 Complexity of majorants
Alexander Shen
🔮 The Ethereal math.LO 0 6 years ago
3268 On the Number of Factorizations of Polynomials over Finite Fields
Rachel N. Berman, Ron M. Roth
🔮 The Ethereal cs.DM 0 6 years ago
3269 The Mathematical Syntax of Architectures
Christoph F. Strnadl
🔮 The Ethereal cs.LO 0 6 years ago
3270 On recursively defined combinatorial classes and labelled trees
Ali Chouria, Vlad-Florin Drǎgoi, Jean-Gabriel Luque
🔮 The Ethereal math.CO 0 6 years ago
3271 Optimal Runtime Verification of Finite State Properties over Lossy Event Streams
Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
🔮 The Ethereal cs.LO 0 6 years ago
3272 On the existence of $s$-extremal singly even self-dual codes
Masaaki Harada
🔮 The Ethereal math.CO 0 6 years ago
3273 Mapping Matchings to Minimum Vertex Covers: Kőnig's Theorem Revisited
Jacob Turner
🔮 The Ethereal math.CO 0 6 years ago
3274 The $(2,k)$-connectivity augmentation problem: Algorithmic aspects
Florian Hörsch, Zoltán Szigeti
🔮 The Ethereal math.CO 0 6 years ago
3275 On the Parameterised Complexity of Induced Multipartite Graph Parameters
Ryan L. Mann, Luke Mathieson, Catherine Greenhill
🔮 The Ethereal cs.CC 0 6 years ago
3276 Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems
Ansgar Fehnker, Hubert Garavel
🔮 The Ethereal cs.LO 0 6 years ago
3277 Partial direct product difference sets and sequences with ideal autocorrelation
Büşra Özden, Oğuz Yayla
🔮 The Ethereal math.CO 0 6 years ago
3278 On motifs in colored graphs
Diego P Rubert, Eloi Araujo, ... (+3 more)
🔮 The Ethereal cs.DM 0 6 years ago
3279 A Note on Generic Tangle Algorithms
Christian Elbracht, Jay Lilian Kneip, Maximilian Teegen
🔮 The Ethereal math.CO 0 6 years ago
3280 Learning to Count up to Symmetry
Pierre Clairambault
🔮 The Ethereal cs.LO 0 6 years ago
3281 Pure Pattern Calculus à la de Bruijn
Alexis Martín, Alejandro Ríos, Andrés Viso
🔮 The Ethereal cs.LO 0 6 years ago
3282 Parametrized Fixed Points on O-Categories and Applications to Session Types
Ryan Kavanagh
🔮 The Ethereal math.CT 0 6 years ago
3283 Compositional theories for host-core languages
Davide Trotta, Margherita Zorzi
🔮 The Ethereal cs.LO 0 6 years ago
3284 Moore's Paradox and the logic of belief
Andrés Páez
🔮 The Ethereal cs.LO 0 6 years ago
3285 New Classes of Quantum Codes Associated with Surface Maps
Debashis Bhowmik, Dipendu Maity, ... (+2 more)
🔮 The Ethereal math.CO 0 6 years ago
3286 Logic, Language, and Calculus
Florian Richter
🔮 The Ethereal cs.LO 0 6 years ago
3287 Inferences and Modal Vocabulary
Florian Richter
🔮 The Ethereal cs.LO 0 6 years ago
3288 Permutree sorting
Vincent Pilaud, Viviane Pons, Daniel Tamayo Jiménez
🔮 The Ethereal math.CO 0 6 years ago
3289 A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report
Tobias Reinhard, Amin Timany, Bart Jacobs
🔮 The Ethereal cs.LO 0 6 years ago
3290 On Algorithms for Solving the Rubik's Cube
Ahmad Kaleem, Ahsan Kaleem
🔮 The Ethereal math.CO 0 6 years ago
3291 On extremal leaf status and internal status of trees
Haiyan Guo, Bo Zhou
🔮 The Ethereal cs.DM 0 5 years ago
3292 Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
Laurent Fribourg, Matthias Heizmann
🔮 The Ethereal cs.LO 0 5 years ago
3293 A Historical Account of My Early Research Interests
Alberto Pettorossi
🔮 The Ethereal cs.LO 0 5 years ago
3294 Transformational Verification of Quicksort
Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti
🔮 The Ethereal cs.LO 0 5 years ago
3295 Upper approximating probabilities of convergence in probabilistic coherence spaces
Thomas Ehrhard
🔮 The Ethereal cs.LO 0 5 years ago
3296 An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems
Muddassar A. Sindhu
🔮 The Ethereal cs.FL 0 5 years ago
3297 Partial Orders, Residuation, and First-Order Linear Logic
Richard Moot
🔮 The Ethereal cs.LO 0 5 years ago
3298 Can determinism and compositionality coexist in RML? (extended version)
Davide Ancona, Angelo Ferrando, Viviana Mascardi
🔮 The Ethereal cs.LO 0 5 years ago
3299 On Fine-Grained Exact Computation in Regular Graphs
Saeed Akhoondian Amiri
🔮 The Ethereal cs.CC 0 5 years ago
3300 Logic Signed Petri Net
Payal, Sangita Kansal
🔮 The Ethereal cs.LO 0 5 years ago