FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Hampe, Felix; Hampe, J. - F.; Schoenert, S.
Mobile Support for Communities of Interest in the Leisure Industry: A Concept and Prototype Development2003
Kuhn, Thomas A.; Jürjens, Jan
Mobile Web-based Applications with UML: Concepts and Tools: A Half-day tutorialInternational Conference WWW/Internet 2003. 2003
Zobel, Matthias; Denzler, Joachim; Heigl, Benno et al.
MOBSY: Integration of Vision and Dialogue in Service RobotsMachine Vision and Applications. Bd. 14. H. 1. Berlin: Springer 2003 S. 26 - 34
Baumgartner, Peter; Furbach, Ulrich; Thomas, Bernd
Model Based Deduction for Knowledge RepresentationBertram Fronhöfer; Steffen Hölldobler (Hrsg). 17. Workshop Logische Programmierung: Technische Universität Dresden, 11. - 13. Dezember 2002. Dresden: Technische Universität Dresden Fakultät Informatik 2003 S. 156 - 166
Jürjens, Jan
Model-based Security with UMLsec - Invited talkUML Forum Tokyo. 2003
Jürjens, Jan
Model-based Testing of Embedded Systems with UML: A Half-day tutorialConference on Software Testing (ICSTEST-E). Bilbao (Spain). 2003
Grünbauer, Johannes; Hollmann, Helia; Jürjens, Jan et al.
Modelling and Verification of Layered Security Protocols: A Bank ApplicationStuart Anderson; Massimo Felici; Bev Littlewood (Hrsg). Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings. Berlin: Springer 2003 S. 116 - 129
Jürjens, Jan
Modelling for IT-Security- and Risk-AnalysisInfotage. Starnberger See. 2003
Becker, Jörg; Delfmann, Patrick; Falk, Thorsten et al.
Multiperspektivische ereignisgesteuerte ProzesskettenMarkus Nüttgens; Frank J. Rump (Hrsg). EPK 2003 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten: Proceedings des GI-Workshops und Arbeitskreistreffens. Hamburg: Universität Hamburg, Lehrstuhl für Wirtschaftsinformatik 2003 S. 45 - 60
Staab, Steffen; Heylighen, Francis; Gershenson, Carlos et al.
Neurons, Viscose Fluids, Freshwater Polyp Hydra-and Self-Organizing Information SystemsIEEE Intelligent Systems. Bd. 18. H. 4. New York, NY: IEEE Computer Society 2003 S. 72 - 86