💀 The Wall of Shame

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

Page 39, showing 50 papers

# Paper Cause of Death Category Citations Published
1901 Shortest (A+B)-path packing via hafnian
Hiroshi Hirai, Hiroyuki Namba
🔮 The Ethereal math.CO 3 10 years ago
1902 An Estimation of the Size of Non-Compact Suffix Trees
Bálint Vásárhelyi
🔮 The Ethereal math.CO 3 10 years ago
1903 Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions
Christoph Flamm, Daniel Merkle, ... (+2 more)
🔮 The Ethereal cs.DM 3 10 years ago
1904 Proof nets for the Displacement calculus
Richard Moot
🔮 The Ethereal cs.LO 3 10 years ago
1905 On the Computational Complexities of Three Privacy Measures for Large Networks Under Active Attack
Tanima Chatterjee, Bhaskar DasGupta, ... (+3 more)
🔮 The Ethereal cs.CC 3 10 years ago
1906 Counting matchings with k unmatched vertices in planar graphs
Radu Curticapean
🔮 The Ethereal cs.CC 3 9 years ago
1907 State machines for large scale computer software and systems
Victor Yodaiken
🔮 The Ethereal cs.FL 3 9 years ago
1908 Two-connected spanning subgraphs with at most $\frac{10}{7}$OPT edges
Klaus Heeger, Jens Vygen
🔮 The Ethereal math.CO 3 9 years ago
1909 On Robust Colorings of Hamming-Distance Graphs
Isaiah Harney, Heide Gluesing-Luerssen
🔮 The Ethereal math.CO 3 9 years ago
1910 A Language-theoretic View on Network Protocols
Pierre Ganty, Boris Köpf, Pedro Valero
🔮 The Ethereal cs.FL 3 9 years ago
1911 Operational Calculus for Differentiable Programming
Žiga Sajovic, Martin Vuk
🔮 The Ethereal cs.FL 3 9 years ago
1912 On ($1$, $ε$)-Restricted Max-Min Fair Allocation Problem
T-H. Hubert Chan, Zhihao Gavin Tang, Xiaowei Wu
🔮 The Ethereal cs.DM 3 9 years ago
1913 Asymmetric Hat Game with three players and three colors
Theo van Uem
🔮 The Ethereal math.CO 3 9 years ago
1914 DroidStar: Callback Typestates for Android Classes
Arjun Radhakrishna, Nicholas V. Lewchenko, ... (+6 more)
🔮 The Ethereal cs.LO 3 9 years ago
1915 An Efficient Runtime Validation Framework based on the Theory of Refinement
Mitesh Jain, Panagiotis Manolios
🔮 The Ethereal cs.LO 3 9 years ago
1916 Multirole Logic (Extended Abstract)
Hongwei Xi, Hanwen Wu
🔮 The Ethereal math.LO 3 9 years ago
1917 On Resource-bounded versions of the van Lambalgen theorem
Diptarka Chakraborty, Satyadev Nandakumar, Himanshu Shukla
🔮 The Ethereal cs.CC 3 9 years ago
1918 Shared processor scheduling
Dariusz Dereniowski, Wieslaw Kubiak
🔮 The Ethereal cs.DM 3 9 years ago
1919 Finding Minimum Spanning Forests in a Graph
Abdel-Rahman Madkour, Phillip Nadolny, Matthew Wright
🔮 The Ethereal math.CO 3 9 years ago
1920 Unit Incomparability Dimension and Clique Cover Width in Graphs
Farhad Shahrokhi
🔮 The Ethereal math.CO 3 9 years ago
1921 On the heapability of finite partial orders
János Balogh, Cosmin Bonchiş, ... (+3 more)
🔮 The Ethereal math.CO 3 9 years ago
1922 Memoisation: Purely, Left-recursively, and with (Continuation Passing) Style
Samer Abdallah
🔮 The Ethereal cs.LO 3 9 years ago
1923 A Logic for Global and Local Announcements
Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
🔮 The Ethereal cs.LO 3 8 years ago
1924 A Computational Interpretation of Context-Free Expressions
Martin Sulzmann, Peter Thiemann
🔮 The Ethereal cs.FL 3 8 years ago
1925 Formalising Type-Logical Grammars in Agda
Wen Kokke
🔮 The Ethereal cs.LO 3 8 years ago
1926 Weighted and locally bounded list-colorings in split graphs, cographs, and partial k-trees
Cédric Bentz
🔮 The Ethereal cs.DM 3 8 years ago
1927 An infinite class of unsaturated rooted trees corresponding to designable RNA secondary structures
Jonathan Jedwab, Tara Petrie, Samuel Simon
🔮 The Ethereal math.CO 3 8 years ago
1928 A Game Semantics of Concurrent Separation Logic
Paul-André Melliès, Léo Stefanesco
🔮 The Ethereal cs.LO 3 8 years ago
1929 Causality-based Model Checking
Bernd Finkbeiner, Andrey Kupriyanov
🔮 The Ethereal cs.LO 3 8 years ago
1930 Convolutional neural networks on irregular domains based on approximate vertex-domain translations
Bastien Pasdeloup, Vincent Gripon, ... (+3 more)
🔮 The Ethereal cs.DM 3 8 years ago
1931 Counter Simulations via Higher Order Quantifier Elimination: a preliminary report
Silvio Ghilardi, Elena Pagani
🔮 The Ethereal cs.LO 3 8 years ago
1932 On tractable query evaluation for SPARQL
Stefan Mengel, Sebastian Skritek
🔮 The Ethereal cs.CC 3 8 years ago
1933 On Periodicity Lemma for Partial Words
Tomasz Kociumaka, Jakub Radoszewski, ... (+2 more)
🔮 The Ethereal cs.DM 3 8 years ago
1934 A high-performance analog Max-SAT solver and its application to Ramsey numbers
Botond Molnár, Melinda Varga, ... (+2 more)
🔮 The Ethereal cs.CC 3 8 years ago
1935 Stable gonality is computable
Ragnar Groot Koerkamp, Marieke van der Wegen
🔮 The Ethereal cs.DM 3 8 years ago
1936 Multi-optional Many-sorted Past Present Future structures and its description
Sergio Miguel Tomé
🔮 The Ethereal cs.LO 3 8 years ago
1937 Random Walk Fundamental Tensor and Its Applications to Network Analysis
Golshan Golnari, Zhi-Li Zhang, Daniel Boley
🔮 The Ethereal cs.DM 3 8 years ago
1938 Classical Higher-Order Processes
Fabrizio Montesi
🔮 The Ethereal cs.LO 3 8 years ago
1939 Proceedings 14th International Conference on Quantum Physics and Logic
Bob Coecke, Aleks Kissinger
🔮 The Ethereal cs.LO 3 8 years ago
1940 Optimal subspace codes in ${\rm PG}(4,q)$
Antonio Cossidente, Francesco Pavese, Leo Storme
🔮 The Ethereal math.CO 3 8 years ago
1941 An efficient algorithm to test forcibly-connectedness of graphical degree sequences
Kai Wang
🔮 The Ethereal math.CO 3 8 years ago
1942 Weakly Aggregative Modal Logic: Characterization and Interpolation (new version)
Jixin Liu, Yanjing Wang, Yifeng Ding
🔮 The Ethereal cs.LO 3 8 years ago
1943 Decidability of Timed Communicating Automata
Lorenzo Clemente
🔮 The Ethereal cs.FL 3 8 years ago
1944 DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
🔮 The Ethereal cs.FL 3 8 years ago
1945 Changing Observations in Epistemic Temporal Logic
Aurèle Barrière, Bastien Maubert, ... (+2 more)
🔮 The Ethereal cs.LO 3 8 years ago
1946 Monotonous betting strategies in warped casinos
George Barmpalias, Nan Fang, Andrew Lewis-Pye
🔮 The Ethereal math.LO 3 8 years ago
1947 Transfinite fractal dimension of trees and hierarchical scale-free graphs
Júlia Komjáthy, Roland Molontay, Károly Simon
🔮 The Ethereal math.CO 3 7 years ago
1948 Context-Free Session Types for Applied Pi-Calculus
Jens Aagaard, Hans Hüttel, ... (+2 more)
🔮 The Ethereal cs.LO 3 7 years ago
1949 The Warm-starting Sequential Selection Problem and its Multi-round Extension
Mathilde Fekom, Nicolas Vayatis, Argyris Kalogeratos
🔮 The Ethereal cs.DM 3 7 years ago
1950 On the Inner Product Predicate and a Generalization of Matching Vector Families
Balthazar Bauer, Jevgēnijs Vihrovs, Hoeteck Wee
🔮 The Ethereal cs.CC 3 7 years ago