FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Sofronie-Stokkermans, Viorica
Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of AlgebrasAli Sheikholeslami; P. Glenn Gulak (Hrsg). Proceedings of the 34th International Symposium on Multiple-Valued Logic ISMVL 2004; May 19 – 22, 2004; University of Toronto, Toronto, Canada. Los Alamitos, CA: IEEE Computer Society 2004 S. 32 - 37
Jürjens, Jan; Houmb, Siv Hilde
Risk-Driven Development of Security-Critical Systems Using UMLsecRicardo Reis (Hrsg). Information Technology: Selected Tutorials; IFIP 18th World Computer Congress Tutorials; 22–27 August 2004; Toulouse, France. Boston: Springer 2004 S. 21 - 53
Fislake, Martin
Robby RP5. Ein neuer Roboter mit C-ControlUnterricht Arbeit + Technik. Bd. 5. H. 23. Seelze: Friedrich 2004 S. 63
Fislake, Martin; Bogdol, Blandyna
Robonauten-CampVDI/VDE-Gesellschaft Mess- und Automatisierungstechnik (Hrsg). Robotik 2004 : Leistungsstand - Anwendungen - Visionen - Trends ; Tagung VDI/VDE München, 17. und 18. Juni 2004. Düsseldorf: VDI 2004 S. 401 - 408
Frey, Hannes
Scalable geographic routing algorithms for wireless ad-hoc networksIEEE Network. Bd. 18. H. 4. New York, NY: IEEE Computer Society 2004 S. 18 - 22
Jürjens, Jan
Secure Software Architecture Description using UML: Invited talkWorkshop on Software Architecture Description & UML (SADUML2004). Lisbon (Portugal). 2004
Jürjens, Jan
Security Modeling with UMLsecWorkshop regarding Security in Information Systems (SISBD2004). Málaga (Spain). 2004
Jürjens, Jan
Security Software Engineering and Embedded SystemsInfineon. Munich (Germany). 2004
Görgen, Daniel; Frey, Hannes; Lehnert, Johannes K. et al.
SELMA: A Middleware Platform for Self-Organzing Distributed Applications in Mobile Multihop Ad-hoc Networks2004 S. 1 - 16
Kalfoglou, Yannis; Schorlemmer, Marco; Sheth, Amit et al.
Semantic Interoperability and Integration - Dagstuhl Seminar Proceedings 04391: 19.09. - 24.9.2004; Schloß DagstuhlWadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2004