FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten; Jacobs, Swen
Local Theory Extensions, Hierarchical Reasoning and Applications to VerificationFranz Baader; Byron Cook; Jürgen Giesl; Robert Nieuwenhuis (Hrsg). Deduction and Decision Procedures - Dagstuhl Seminar 07401: 30.09. - 05.10.2007; Schloß Dagstuhl. Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik 2007 S. 1 - 22
Li, Xu; Frey, Hannes; Santoro, Nicola et al.
Localized Self-Deployment of Mobile Sensors for Optimal Focused-Coverage Formation: (Technical Report)2007
Ringelstein, Christoph; Staab, Steffen
Logging in Distributed WorkflowsTim Finin; Lalana Kagal; Daniel Olmedilla (Hrsg). Proceedings of the Workshop on Privacy Enforcement and Accountability with Semantics. Aachen: CEUR/RWTH 2007 S. 1 - 12
Troitzsch, Klaus G.
Lothar Krempel: Visualisierung komplexer Strukturen. Grundlagen der Darstellung mehrdimensionaler Netzwerke. Schriften des Max-Planck-Instituts für Gesellschaftsforschung, SonderbandKZfSS Kölner Zeitschrift für Soziologie und Sozialpsychologie. Bd. 59. H. 3. Springer Science and Business Media LLC 2007 S. 541 - 542
Schueler, Bernhard; Sizov, Sergej; Staab, Steffen
Management of Meta Knowledge for RDF RepositoriesPhillip C. Y. Sheu; Paul Croll; Max Muhlhauser; Hiroshi Yamaguchi (Hrsg). Proceedings of the First IEEE International Conference on Semantic Computing ICSC 2007: September 17-19, 2007; Irvine, California, USA. Los Alamitos, CA: IEEE Computer Society 2007 S. 543 - 550
Hampe, J. Felix; Stein, Stefan; Botterweck, Götz
Mobile Dienste und Sensor Fusion im Forschungsprojekt Enhanced RealityKoblenz: Universität Koblenz-Landau, Institut für Wirtschafts- und Verwaltungsinformatik 2007
Botterweck, Götz; Hampe, J. Felix; Westenberg, Sven
Mobile RFID Management - An Application Scenario on the Handling of Industrial Liquid ContainersM. Lynne Markus;J. Felix Hampe;Jozé Gricár;Andreja Pucihar;Gregor Lenart (Hrsg). Proceedings of the 20th Bled eConference: eMergence: Merging and Emerging Technologies, Processes, and Institutions, Bled, Slovenia, June 3-6, 2007. Atlanta, GA: Association for Information Systems/AIS eLibrary 2007 S. 12
Jürjens, Jan
Model-based Security Engineering for Compliance with Regulatory and Business RequirementsHeinz-Gerd Hegering; Helmut Reiser; Michael Schiffers; T. Nebe (Hrsg). Proceedings of the 14th Annual Workshop of HP Software University Association, Hosted by the Leibniz Computing Center and the Munich Network Management Team, July 8-11, 2007. Stuttgart: Infonomics-Consulting 2007 S. 219 - 226
Best, Bastian; Jürjens, Jan; Nuseibeh, Bashar
Model-based Security Engineering of Distributed Information Systems using UMLsecJohn Knight; Wolfgang Emmerich; Gregg Rothermel (Hrsg). Proceedings of the 29th International Conference on Software Engineering ICSE 2007: May 20. - 26. 2007; Minneapolis, Minnesota. Los Alamitos, CA: IEEE Computer Society 2007 S. 581 - 590
Jürjens, Jan
Model-based Security Engineering: Run-time AssuranceThird International Workshop on Software Engineering for Secure Systems (SESS 2007 @ ICSE 2007). Minneapolis (MN) (USA). 2007