Query Evaluation in an Object-Oriented Multimedia Mediator. - Joachim Biskup; Jürgen Freitag; Yücel Karabulut; Barbara Sprick (OOIS, 1997)

A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints. - Peter Niebert; Barbara Sprick (TABLEAUX, 1997)

Weakly Constraining Multimedia Types Based on a Type Embedding Ordering. - Christian Altenschmidt; Joachim Biskup; Jürgen Freitag; Barbara Sprick (Multimedia Information Systems, 1998)

Towards Unifying Semantic Constraints and Security Constraints in Distributed Information Systems. - Joachim Biskup; Barbara Sprick (Semantics in Databases, 2001)

Towards unifying semantic constraints and security constraints in distributed information systems. - Barbara Sprick (2003)

Access Control for Semantic Web Services. - Sudhir Agarwal 001; Barbara Sprick (ICWS, 2004)

Dynamically Changing Trust Structure in Capability Based Access Control Systems. - Sandra Wortmann; Barbara Sprick; Christoph Kobusch (TrustBus, 2004)

Secure Mediation with Mobile Code. - Joachim Biskup; Barbara Sprick; Lena Wiese (DBSec, 2005)

Specification of Access Control and Certification Policies for Semantic Web Services. - Sudhir Agarwal 001; Barbara Sprick (EC-Web, 2005)

Time dependent trust structures. - Barbara Sprick; Sandra Wortmann (Comput. Syst. Sci. Eng., 2005)

An Automata Based Approach for Verifying Information Flow Properties. - Deepak D'Souza; K. R. Raghavendra; Barbara Sprick (ARSPA@ICALP, 2005)

On the Decidability of Model-Checking Information Flow Properties. - Deepak D'Souza; Raveendra Holla; Janardhan Kulkarni; Raghavendra K. Ramesh; Barbara Sprick (ICISS, 2008)

Service Automata. - Richard Gay; Heiko Mantel; Barbara Sprick (Formal Aspects in Security and Trust, 2011)

Model-checking trace-based information flow properties. - Deepak D'Souza; Raveendra Holla; K. R. Raghavendra; Barbara Sprick (J. Comput. Secur., 2011)

Reusable Big Data System for Industrial Data Mining - A Case Study on Anomaly Detection in Chemical Plants. - Reuben Borrison; Benjamin Klöpper; Moncef Chioua; Marcel Dix; Barbara Sprick (IDEAL (1), 2018)