| Reducing the search space by closure and simplification paradigms. | 1 | 0.36 | 2017 |
| CAISL: Simplification Logic for Conditional Attribute Implications. | 2 | 0.46 | 2016 |
| Bases via Minimal Generators. | 0 | 0.34 | 2013 |
| Relational dual tableau decision procedure for modal logic K. | 4 | 0.47 | 2012 |
| A Claim To Incorporate Functional Dependencies In Development Tools Benchmarking And Checking Functional Dependencies Algorithms | 0 | 0.34 | 2011 |
| Improving Moodle with WIRIS and M-QIT | 0 | 0.34 | 2010 |
| Integration Of Moodle Quizzes | 0 | 0.34 | 2008 |
