FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Hopp, Mario; Meletiadou, Anastasia; Hampe, J. Felix
Mobile Dienste zum Terminmanagement bei Geschäftsprozessen mit KundenkontaktHans-Dietrich Haasis;Herbert Kopfer;Jörn Schönberger (Hrsg). Operations Research Proceedings 2005: Selected Papers of the Annual International Conference of the German Operations Research Society (GOR); Bremen, September 7-9, 2005. Berlin: Springer 2006 S. 527 - 532
Jürjens, Jan
Model-Based Security Engineering for RealJayadev Misra; Tobias Nipkow; Emil Sekerinski (Hrsg). FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings. Berlin: Springer 2006 S. 600 - 606
Jürjens, Jan
Model-Based Security Engineering with UML: Introducing Security AspectsFrank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever (Hrsg). Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Berlin: Springer 2006 S. 64 - 87
Jürjens, Jan
Model-based Security Engineering: KeynoteSECRYPT. 2006
Jürjens, Jan
Modeling and Compositional Design for Secure Embedded Systems (Invited Talk)NSF-IST workshop: Long Term Challenges in High Confidence Composable Embedded Systems, Helsinki (Finland), June 20--23, 2006. 2006
d’Amato, Claudia; Staab, Steffen
Modeling, Matching and Ranking Services Based on Constraint HardnessJohann Eder; Schahram Dustdar (Hrsg). Business Process Management Workshops: BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings. Berlin: Springer 2006 S. 471 - 482
Hans, Wolfram; Feldmann, Tobias; Paulus, Dietrich et al.
Modell der Bildentstehung mit HDR-KamerasKarl-Heinz Franke (Hrsg). 12. Workshop Farbbildverarbeitung: 5.-6. Oktober 2006; Ilmenau. Ilmenau: Zentrum für Bild- und Signalverarbeitung e.V. Ilmenau 2006 S. 97 - 108
Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe
Modular proof systems for partial functions with Evans equalityInformation and Computation. Bd. 204. H. 10. Amsterdam: Elsevier 2006 S. 1453 - 1492
Schubert, Petra
MRO Procurement for Business Customers: A Longitudinal Case Study AnalysisRodríguez-Abitia Guillermo; Ania B. Ignacio (Hrsg). Proceedings of the 12th Americas Conference on Information Systems AMCIS 2006: August 4-6, 2006; Acapulco, Mexico. Atlanta, GA: Association for Information Systems/AIS eLibrary 2006 S. 1877 - 1886
Wimmer, Maria A.; Liehmann, Michael; Martin, Bernd
Offene Standards und abgestimmte Spezifikationen - das österreichische Interoperabilitätskonzept2006 S. 1 - 11