FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Jürjens, Jan; Kuhn, Thomas A.
Practical Security Analysis of C Programs Using Automated Theorem Proving2004
Steinmetz, Ralf; Mauthe, Andreas; Crnkovic, Ivica et al.
Proceedings of the 30th EUROMICRO Conference EUROMICRO 2004: Rennes, France; 31 August - 3 September 2004Los Alamitos, CA: IEEE Computer Society 2004
Palkovits, Silke; Rössler, Thomas; Wimmer, Maria A.
Process Modelling - Burden or Relief? Living Process Modelling within a Public OrganisationIsabel Seruca (Hrsg). Proceedings of the 6th International Conference on Enterprise Information Systems ICEIS: Porto, Portugal, April 14-17, 2004; Volume 3. Setúbal: Institute for Systems and Technologies of Information, Control and Communication 2004 S. 94 - 102
Mauthe, Andreas U.; Thomas, Peter
Professional Content Management Systems: Handling Digital Media AssetsChichester: John Wiley & Sons 2004
Friedland, Noah S.; Allen, Paul G.; Matthews, Gavin et al.
Project Halo: Towards a Digital AristotleAI Magazine. Bd. 25. H. 4. Menlo Park, CA: Association for the Advancement of Artificial Intelligence 2004 S. 29 - 48
Becker, Jörg; Algermissen, Lars; Delfmann, Patrick et al.
Prozessorientierte Reorganisation in öffentlichen Verwaltungen - Erfahrungen bei der Anwendung eines ReferenzvorgehensmodellsJörg Becker; Patrick Delfmann (Hrsg). Referenzmodellierung: Grundlagen, Techniken und domänenbezogene Anwendung. Heidelberg: Physica 2004 S. 151 - 175
Ehrig, Marc; Staab, Steffen
QOM - Quick Ontology MappingSheila A. McIlraith; Dimitris Plexousakis; Frank Harmelen (Hrsg). The Semantic Web - ISWC 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings. Berlin: Springer 2004 S. 683 - 697
Ehrig, Marc; Staab, Steffen
QOM- quick ontology mappingPeter Dadam; Manfred Reichert (Hrsg). INFORMATIK 2004 - Innovative Informatikanwendungen, Band 1: Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI); September 20. - 24., 2004; Ulm. Bonn: Gesellschaft für Informatik 2004 S. 356 - 361
Becker, Jörg; Delfmann, Patrick
Referenzmodellierung: Grundlagen, Techniken und domänenbezogene AnwendungHeidelberg: Physica 2004 180 S.
Becker, Jörg; Delfmann, Patrick; Rieke, Tobias
RefMod06 – Wiederverwendung fachkonzeptioneller Softwaremodelle für kleine und mittlere Softwareunternehmen durch adaptive, komponentenorientierte ReferenzmodellierungProceedings der Eröffnungskonferenz Software Engineering 2006. Münster: Westfälische Wilhelms-Universität Münster European Research Center for Information Systems (ERCIS) 2004 S. 1 - 12