| SL-COMP: Competition of Solvers for Separation Logic. | 0 | 0.34 | 2019 |
| An Entailment Checker for Separation Logic with Inductive Definitions. | 0 | 0.34 | 2018 |
| A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. | 0 | 0.34 | 2018 |
| Complete Cyclic Proof Systems for Inductive Entailments. | 0 | 0.34 | 2017 |
| Combining Image Retrieval, Metadata Processing and Naive Bayes Classification at Plant Identification 2013. | 4 | 0.84 | 2013 |
