Suche
Kategorie
Erscheinungsjahr
23080 Treffer
×
Publikationen
×
Universität Koblenz
×
Katholische Hochschule Mainz
×
Hochschule Kaiserslautern
×
Hochschule Worms
- Kasten, Andreas; Scherp, Ansgar
- Iterative Signing of RDF(S) Graphs, Named Graphs, and OWL Graphs: Formalization and Application
- Koblenz. 2013 S. 3 - 28 (Arbeitsberichte aus dem Fachbereich Informatik 3)
- Becker, Stefan; Hück, Benjamin; Naujokat, Katharina et al.
- ODRL 2.0 Revisited.
- GI-Jahrestagung. 2013 S. 3081 - 3095
- Ludwig, Christian
- Comics in the Classroom
- IATEFL voices. Bd. 2013. H. 233. Canterbury: IATEFL 2013 -
- Kasten, Andreas; Scherp, Ansgar
- Towards a Configurable Framework for Iterative Signing of Distributed Graph Data
- CEUR Workshop Proceedings (Hrsg). Proceedings of the Workshop on Society, Privacy and the Semantic Web - Policy and Technology (PrivOn2013). Bd. 1121. Sydney. 2013 12 S.
- Kasten, Andreas; Scherp, Ansgar; Armknecht, Frederik et al.
- Towards Search on Encrypted Graph Data
- CEUR Workshop Proceedings (Hrsg). Proceedings of the Workshop on Society, Privacy and the Semantic Web - Policy and Technology (PrivOn2013). Bd. 1121. Sydney, Australien. 2013 12 S.
- Kasten, Andreas; Scherp, Ansgar
- Towards a framework for iteratively signing graph data.
- K-CAP. 2013 S. 141 - 142
- Horbach, Matthias; Sofronie-Stokkermans, Viorica
- Obtaining Finite Local Theory Axiomatizations via Saturation.
- FroCos. 2013 S. 198 - 213
- Sofronie-Stokkermans, Viorica
- Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems.
- CADE. 2013 S. 360 - 376
- Bauks, Michaela; Horowitz, Wayne; Lange, Armin et al.
- Between text and text : the hermeneutics of intertextuality in ancient cultures and their afterlife in medieval and modern times
- Göttingen: Vandenhoeck & Ruprecht 2013 363 S. (Journal of ancient Judaism / Supplements ; Vol. 6)
- Baumgärtner, Ulrich; Woelk, Wolfgang
- Horizonte 2 Geschichte Gymnasium Hessen
- Braunschweig: Westermann 2013