💀 The Wall of Shame

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

Page 1

# Paper Cause of Death Category Citations Published
1 Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Cristina Feier, Antti Kuusisto, Carsten Lutz
🔮 The Ethereal cs.LO 39 9 years ago
2 Conjunctive Queries: Unique Characterizations and Exact Learnability
Balder ten Cate, Victor Dalmau
🔮 The Ethereal cs.LO 30 5 years ago
3 lpopt: A Rule Optimization Tool for Answer Set Programming
Manuel Bichler, Michael Morak, Stefan Woltran
🔮 The Ethereal cs.LO 27 9 years ago
4 PaMpeR: Proof Method Recommendation System for Isabelle/HOL
Yutaka Nagashima, Yilun He
🔮 The Ethereal cs.LO 24 7 years ago
5 First-Order Query Evaluation with Cardinality Conditions
Martin Grohe, Nicole Schweikardt
🔮 The Ethereal cs.LO 23 8 years ago
6 Aggregate Queries on Sparse Databases
Szymon Toruńczyk
🔮 The Ethereal cs.LO 19 6 years ago
7 When Can We Answer Queries Using Result-Bounded Data Interfaces?
Antoine Amarilli, Michael Benedikt
🔮 The Ethereal cs.LO 17 7 years ago
8 Dynamic Graph Queries
Pablo Muñoz, Nils Vortmeier, Thomas Zeume
🔮 The Ethereal cs.LO 15 10 years ago
9 Generating Functions for Probabilistic Programs
Lutz Klinkenberg, Kevin Batz, ... (+4 more)
🔮 The Ethereal cs.LO 14 5 years ago
10 Ranked enumeration of MSO logic on words
Pierre Bourhis, Alejandro Grez, ... (+2 more)
🔮 The Ethereal cs.FL 14 5 years ago
11 Efficient Enumeration Algorithms for Annotated Grammars
Antoine Amarilli, Louis Jachiet, ... (+2 more)
🔮 The Ethereal cs.FL 13 4 years ago
12 Expressive power of linear algebra query languages
Floris Geerts, Thomas Muñoz, ... (+2 more)
🔮 The Ethereal cs.CC 12 5 years ago
13 Towards a Certified Proof Checker for Deep Neural Network Verification
Remi Desmartin, Omri Isac, ... (+4 more)
🔮 The Ethereal cs.LO 11 2 years ago
14 Learning definable hypotheses on trees
Emilie Grienenberger, Martin Ritzert
🔮 The Ethereal cs.LO 7 6 years ago
15 Conjunctive Regular Path Queries with String Variables
Markus L. Schmid
🔮 The Ethereal cs.FL 6 6 years ago
16 Verification of Time-Aware Business Processes using Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, ... (+3 more)
🔮 The Ethereal cs.LO 4 9 years ago
17 Slicing Concurrent Constraint Programs
Moreno Falaschi, Maurizio Gabbrielli, ... (+2 more)
🔮 The Ethereal cs.LO 4 9 years ago
18 Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
Yihao Huang, Jincao Feng, ... (+6 more)
🔮 The Ethereal cs.FL 2 6 years ago
19 S-semantics -- an example
Włodzimierz Drabent
🔮 The Ethereal cs.LO 2 5 years ago
20 Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
Hubie Chen, Stefan Mengel
🔮 The Ethereal cs.LO 1 1 year ago
21 FC-Datalog as a Framework for Efficient String Querying
Owen M. Bell, Joel D. Day, Dominik D. Freydenberger
🔮 The Ethereal cs.LO 1 1 year ago
22 Learning Aggregate Queries Defined by First-Order Logic with Counting
Steffen van Bergerem, Nicole Schweikardt
🔮 The Ethereal cs.LO 0 1 year ago