Specifying Security Policies for Electronic Health Records. - Felix Apitzsch; Stefan Liske; Thomas Scheffler; Bettina Schnor (HEALTHINF (2), 2008)

A Simple Distributed Conflict-Driven Answer Set Solver. - Enrico Ellguth; Martin Gebser; Markus Gusowski; Benjamin Kaufmann; Roland Kaminski; Stefan Liske; Torsten Schaub; Lars Schneidenbach; Bettina Schnor (LPNMR, 2009)