Barbara Sprick Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick: On the Decidability of Model-Checking Information Flow Properties. ICISS 2008: 26-40
2005
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Biskup, Barbara Sprick, Lena Wiese: Secure Mediation with Mobile Code. DBSec 2005: 267-280
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSudhir Agarwal, Barbara Sprick: Specification of Access Control and Certification Policies for Semantic Web Services. EC-Web 2005: 348-357
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbara Sprick, Sandra Wortmann: Time dependent trust structures. Comput. Syst. Sci. Eng. 20(6): (2005)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak D'Souza, K. R. Raghavendra, Barbara Sprick: An Automata Based Approach for Verifying Information Flow Properties. Electr. Notes Theor. Comput. Sci. 135(1): 39-58 (2005)
2004
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSudhir Agarwal, Barbara Sprick: Access Control for Semantic Web Services. ICWS 2004: 770-773
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandra Wortmann, Barbara Sprick, Christoph Kobusch: Dynamically Changing Trust Structure in Capability Based Access Control Systems. TrustBus 2004: 50-59
2001
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Biskup, Barbara Sprick: Towards Unifying Semantic Constraints and Security Constraints in Distributed Information Systems. Semantics in Databases 2001: 34-62
1998
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Altenschmidt, Joachim Biskup, Jürgen Freitag, Barbara Sprick: Weakly Constraining Multimedia Types Based on a Type Embedding Ordering. Multimedia Information Systems 1998: 121-129
1997
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Biskup, Jürgen Freitag, Yücel Karabulut, Barbara Sprick: Query Evaluation in an Object-Oriented Multimedia Mediator. OOIS 1997: 31-43
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Niebert, Barbara Sprick: A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints. TABLEAUX 1997: 291-306

Coauthor Index

1Sudhir Agarwal [6] [9]
2Christian Altenschmidt [3]
3Joachim Biskup [2] [3] [4] [10]
4Deepak D'Souza [7] [11]
5Jürgen Freitag [2] [3]
6Raveendra Holla [11]
7Yücel Karabulut [2]
8Christoph Kobusch [5]
9Janardhan Kulkarni [11]
10Peter Niebert [1]
11K. R. Raghavendra [7]
12Raghavendra K. Ramesh [11]
13Lena Wiese [10]
14Sandra Wortmann [5] [8]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)