FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Delfmann, Patrick; Becker, Jörg; Knackstedt, Ralf
Adaptive Reference Modeling: Integrating Configurative and Generic Adaptation Techniques for Information ModelsJörg Becker; Patrick Delfmann (Hrsg). Reference Modeling: Efficient Information Systems Design Through Reuse of Information Models. Heidelberg: Physica 2007 S. 23 - 58
Houmb, Siv Hilde; Georg, Geri; Jürjens, Jan et al.
An Integrated Security Verification and Security Solution Design Trade-off Analysis ApproachHaralambos Mouratidis;Paolo Giorgini (Hrsg). Integrating Security and Software Engineering: Advances and Future Visions. Hershey, PA: IGI Global 2007 S. 190 - 219
Strohmaier, Markus; Yu, Eric S. K.; Horkoff, Jennifer et al.
Analyzing Knowledge Transfer Effectiveness - An Agent-Oriented Modeling ApproachRalph H. Sprague (Hrsg). Proceedings of the 40th Annual Hawaii International Conference on System Sciences HICSS 2007: Waikoloa; Big Island, Hawaii; January 3-6, 2007. Los Alamitos, CA: IEEE Computer Society 2007 S. 188
Delfmann, Patrick; Rieke, Tobias; Stein, Armin
Anpassung von Referenzmodellen mit adapt(x)Jörg Becker; Patrick Delfmann; Tobias Rieke (Hrsg). Effiziente Softwareentwicklung mit Referenzmodellen. Berlin: Physica 2007 S. 43 - 59
Furbach, Ulrich; Obermaier, Claudia
Applications of Automated ReasoningChristian Freksa; Michael Kohlhase; Kerstin Schill (Hrsg). KI 2006: Advances in Artificial Intelligence; 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings. Berlin: Springer 2007 S. 174 - 187
Jacobs, Swen; Sofronie-Stokkermans, Viorica
Applications of Hierarchical Reasoning in the Verification of Complex Systems 3Electronic Notes in Theoretical Computer Science. Bd. 174. H. 8. Amsterdam: Elsevier 2007 S. 39 - 54
Loukis, Euripides; Wimmer, Maria A.; Charalabidis, Yannis et al.
Argumentation Systems and Ontologies for Enhancing Public Participation in the Legislation ProcessAke Grönlund;Hans Jochen Scholl;Maria A. Wimmer (Hrsg). Electronic Government: 6th International EGOV Conference; Proceedings of ongoing Research, Project Contributions and Workshops; September 3 - 6, 2007, Regensburg, Germany. Linz: Trauner 2007 S. 19 - 28
Kunegis, Jérôme; Lommatzsch, Andreas; Mehlitz, Martin et al.
Assessing the Value of Unrated Items in Collaborative FilteringYouakim Badr (Hrsg). Proceedings of the Second IEEE International Conference on Digital Information Management ICDIM 2007: October 28th - October 31st 2007; INSA de Lyon, Lyon, France. Los Alamitos, CA: IEEE Computer Society 2007 S. 212 - 216
Zöbel, Dieter; Weyand, Christian
Augmenting sensitivity analysis for embedded applications by program level derivation of process parametersLuis Gomes; Eric Dekneuvel; João Paulo Barros (Hrsg). 2007 Symposium on Industrial Embedded Systems Proceedings: Hotel Costa da Caparica, Lisbon, Portugal; 4-6 July 2007. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2007 S. 17 - 24
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Automated Reasoning in Some Local Extensions of Ordered StructuresJournal of Multiple-Valued Logic and Soft Computing. Bd. 13. H. 4-6. Philadelphia, PA: Old City Publishing 2007 S. 397 - 414