| 2009 | ||
|---|---|---|
| 2 | Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor: A Simple Distributed Conflict-Driven Answer Set Solver. LPNMR 2009: 490-495 | |
| 2008 | ||
| 1 | Felix Apitzsch, Stefan Liske, Thomas Scheffler, Bettina Schnor: Specifying Security Policies for Electronic Health Records. HEALTHINF (2) 2008: 82-90 | |